Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Herbrandization> }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Herbrand_normal_form wikiPageRedirects Herbrandization.
- Herbrandized_form wikiPageRedirects Herbrandization.
- DPLL_algorithm wikiPageWikiLink Herbrandization.
- Davis–Putnam_algorithm wikiPageWikiLink Herbrandization.
- First-order_logic wikiPageWikiLink Herbrandization.
- Herbrand_normal_form wikiPageWikiLink Herbrandization.
- Herbrand_structure wikiPageWikiLink Herbrandization.
- Herbrandized_form wikiPageWikiLink Herbrandization.
- Herbrands_theorem wikiPageWikiLink Herbrandization.
- Index_of_logic_articles wikiPageWikiLink Herbrandization.
- Prenex_normal_form wikiPageWikiLink Herbrandization.
- Skolem_normal_form wikiPageWikiLink Herbrandization.
- Herbrandization primaryTopic Herbrandization.