Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Normal_forms_(logic)> }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Algebraic_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Beta_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Blake_canonical_form wikiPageWikiLink Category:Normal_forms_(logic).
- Conjunctive_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Disjunctive_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Head_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Herbrand_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Herbrandization wikiPageWikiLink Category:Normal_forms_(logic).
- Horn_clause wikiPageWikiLink Category:Normal_forms_(logic).
- List_of_mathematics_categories wikiPageWikiLink Category:Normal_forms_(logic).
- Negation_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Prenex_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Skolem_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Algebraic_normal_form subject Category:Normal_forms_(logic).
- Beta_normal_form subject Category:Normal_forms_(logic).
- Blake_canonical_form subject Category:Normal_forms_(logic).
- Conjunctive_normal_form subject Category:Normal_forms_(logic).
- Disjunctive_normal_form subject Category:Normal_forms_(logic).
- Head_normal_form subject Category:Normal_forms_(logic).
- Herbrand_normal_form subject Category:Normal_forms_(logic).
- Herbrandization subject Category:Normal_forms_(logic).
- Horn_clause subject Category:Normal_forms_(logic).
- Negation_normal_form subject Category:Normal_forms_(logic).
- Prenex_normal_form subject Category:Normal_forms_(logic).
- Skolem_normal_form subject Category:Normal_forms_(logic).