Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Herbrand_interpretation> }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Automated_theorem_proving wikiPageWikiLink Herbrand_interpretation.
- Ground_expression wikiPageWikiLink Herbrand_interpretation.
- Herbrand_structure wikiPageWikiLink Herbrand_interpretation.
- Herbrands_theorem wikiPageWikiLink Herbrand_interpretation.
- Interpretation_(logic) wikiPageWikiLink Herbrand_interpretation.
- Jacques_Herbrand wikiPageWikiLink Herbrand_interpretation.
- List_of_mathematical_logic_topics wikiPageWikiLink Herbrand_interpretation.
- Markov_logic_network wikiPageWikiLink Herbrand_interpretation.
- Scientific_phenomena_named_after_people wikiPageWikiLink Herbrand_interpretation.
- Term_algebra wikiPageWikiLink Herbrand_interpretation.
- books?vid=ISBN978-0-7637-3230-1 isCitedBy Herbrand_interpretation.
- Herbrand_interpretation primaryTopic Herbrand_interpretation.