Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Decision_procedure> }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Alonzo_Church wikiPageWikiLink Decision_procedure.
- First-order_logic wikiPageWikiLink Decision_procedure.
- Index_of_philosophy_articles_(D–H) wikiPageWikiLink Decision_procedure.
- Laws_of_Form wikiPageWikiLink Decision_procedure.
- Method_of_analytic_tableaux wikiPageWikiLink Decision_procedure.
- Real_closed_field wikiPageWikiLink Decision_procedure.
- Regular_tree_grammar wikiPageWikiLink Decision_procedure.
- Risch_algorithm wikiPageWikiLink Decision_procedure.
- Tarskis_axioms wikiPageWikiLink Decision_procedure.
- Two-element_Boolean_algebra wikiPageWikiLink Decision_procedure.
- Uclid wikiPageWikiLink Decision_procedure.
- Decision_procedure primaryTopic Decision_procedure.