Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Harrop_formula> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Harrop_formula wikiPageID "22649777".
- Harrop_formula wikiPageLength "3702".
- Harrop_formula wikiPageOutDegree "13".
- Harrop_formula wikiPageRevisionID "499311369".
- Harrop_formula wikiPageWikiLink Antecedent_(logic).
- Harrop_formula wikiPageWikiLink Category:Constructivism_(mathematics).
- Harrop_formula wikiPageWikiLink Category:Intuitionism.
- Harrop_formula wikiPageWikiLink Constructivism_(mathematics).
- Harrop_formula wikiPageWikiLink Helena_Rasiowa.
- Harrop_formula wikiPageWikiLink Heyting_arithmetic.
- Harrop_formula wikiPageWikiLink Horn_clause.
- Harrop_formula wikiPageWikiLink Intuitionistic_logic.
- Harrop_formula wikiPageWikiLink Logic_programming.
- Harrop_formula wikiPageWikiLink Ronald_Harrop.
- Harrop_formula wikiPageWikiLink ΛProlog.
- Harrop_formula wikiPageWikiLinkText "Harrop formula".
- Harrop_formula wikiPageWikiLinkText "Harrop formula#Hereditary Harrop formulae and logic programming".
- Harrop_formula wikiPageWikiLinkText "hereditary Harrop formulas".
- Harrop_formula wikiPageUsesTemplate Template:Reflist.
- Harrop_formula subject Category:Constructivism_(mathematics).
- Harrop_formula subject Category:Intuitionism.
- Harrop_formula type Theory.
- Harrop_formula label "Harrop formula".
- Harrop_formula sameAs Q5666472.
- Harrop_formula sameAs m.05zjzh4.
- Harrop_formula sameAs Q5666472.
- Harrop_formula wasDerivedFrom Harrop_formula?oldid=499311369.
- Harrop_formula isPrimaryTopicOf Harrop_formula.