Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Prism(model_checker)> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Prism(model_checker) wikiPageID "20782482".
- Prism(model_checker) wikiPageLength "33".
- Prism(model_checker) wikiPageOutDegree "1".
- Prism(model_checker) wikiPageRedirects PRISM_model_checker.
- Prism(model_checker) wikiPageRevisionID "409163185".
- Prism(model_checker) wikiPageWikiLink PRISM_model_checker.
- Prism(model_checker) label "Prism(model checker)".
- Prism(model_checker) wasDerivedFrom Prism(model_checker)?oldid=409163185.
- Prism(model_checker) isPrimaryTopicOf Prism(model_checker).