Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Herbrandization> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Herbrandization wikiPageID "5821699".
- Herbrandization wikiPageLength "3574".
- Herbrandization wikiPageOutDegree "14".
- Herbrandization wikiPageRevisionID "439798612".
- Herbrandization wikiPageWikiLink Category:Logic.
- Herbrandization wikiPageWikiLink Category:Normal_forms_(logic).
- Herbrandization wikiPageWikiLink First-order_logic.
- Herbrandization wikiPageWikiLink Herbrands_theorem.
- Herbrandization wikiPageWikiLink Jacques_Herbrand.
- Herbrandization wikiPageWikiLink Logical_equivalence.
- Herbrandization wikiPageWikiLink Löwenheim–Skolem_theorem.
- Herbrandization wikiPageWikiLink Predicate_functor_logic.
- Herbrandization wikiPageWikiLink Satisfiability.
- Herbrandization wikiPageWikiLink Skolem_normal_form.
- Herbrandization wikiPageWikiLink Thoralf_Skolem.
- Herbrandization wikiPageWikiLink Validity.
- Herbrandization wikiPageWikiLinkText "Herbrandization".
- Herbrandization subject Category:Logic.
- Herbrandization subject Category:Normal_forms_(logic).
- Herbrandization label "Herbrandization".
- Herbrandization sameAs Q5736209.
- Herbrandization sameAs Herbrandização.
- Herbrandization sameAs m.0f7898.
- Herbrandization sameAs Q5736209.
- Herbrandization wasDerivedFrom Herbrandization?oldid=439798612.
- Herbrandization isPrimaryTopicOf Herbrandization.