Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Category:Model_checkers> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- Category:Model_checkers wikiPageID "8232149".
- Category:Model_checkers wikiPageRevisionID "413363687".
- Category:Model_checkers wikiPageUsesTemplate Template:Cat_main.
- Category:Model_checkers type Concept.
- Category:Model_checkers label "Model checkers".
- Category:Model_checkers sameAs Q11705815.
- Category:Model_checkers sameAs Q11705815.
- Category:Model_checkers broader Category:Formal_methods_tools.
- Category:Model_checkers broader Category:Mathematical_software.
- Category:Model_checkers broader Category:Model_checking.
- Category:Model_checkers broader Category:Systems_biology.
- Category:Model_checkers prefLabel "Model checkers".
- Category:Model_checkers subject List_of_model_checking_tools.
- Category:Model_checkers wasDerivedFrom Category:Model_checkers?oldid=413363687.