Model checker

http://dbpedia.org/resource/Model_checker an entity of type: MusicGenre

rdfs:label

rdf:langString Model checker

dbpedia-owl:wikiPageID

xsd:integer 2285649

dbpedia-owl:wikiPageRevisionID

xsd:integer 19361764

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 28

dbpedia-owl:MusicGenre

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Model_checking>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Model_checking>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Model_checker?oldid=19361764&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Model_checker>

data from the linked data cloud