Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/SPIN_(model_checker)> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- SPIN_(model_checker) wikiPageID "603330".
- SPIN_(model_checker) wikiPageLength "32".
- SPIN_(model_checker) wikiPageOutDegree "1".
- SPIN_(model_checker) wikiPageRedirects SPIN_model_checker.
- SPIN_(model_checker) wikiPageRevisionID "16432371".
- SPIN_(model_checker) wikiPageWikiLink SPIN_model_checker.
- SPIN_(model_checker) label "SPIN (model checker)".
- SPIN_(model_checker) sameAs m.04hnrd.
- SPIN_(model_checker) wasDerivedFrom SPIN_(model_checker)?oldid=16432371.
- SPIN_(model_checker) isPrimaryTopicOf SPIN_(model_checker).