Term algebra
Wikipage disambiguates
Wikipage redirect
Algebraic Petri netAlgebraic structureAtomic formulaClone (algebra)Closure (mathematics)Constraint Handling RulesDirector stringDomain of discourseFree objectGreg Nelson (computer scientist)Herbrand UniverseHerbrand atom setHerbrand structureHerbrand termHypergraphIntegerList of mathematical logic topicsNatural deductionNonelementary problemQuantifier eliminationRegular tree grammarRewritingTermTerm (logic)Uninterpreted functionUniversal algebra
Link from a Wikipage to another Wikipage
primaryTopic
Term algebra
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,003,845,039
Link from a Wikipage to another Wikipage
date
October 2018
@en
title
Herbrand Universe
@en
urlname
HerbrandUniverse
@en
wikiPageUsesTemplate
label
Term algebra
@en