bn:00076590n
Noun Concept
Categories: Rewriting systems, Mathematical logic, Elementary mathematics
EN
term  context  Finite terms  First-order terms  linear term
EN
One of the substantive phrases in a logical proposition WordNet 3.0
English:
term rewriting
sequence
logic
Definitions
Examples
Relations
Sources
EN
One of the substantive phrases in a logical proposition WordNet 3.0 & Open English WordNet
In mathematical logic, a term denotes a mathematical object while a formula denotes a mathematical fact. Wikipedia
A component of a logical or mathematical expression Wikipedia Disambiguation
Mathematical expression that may form a separable part of an equation, a series, or another expression; used in in mathematical logic, universal algebra, and rewriting systems Wikidata
A word or phrase, especially one from a specialised area of knowledge. Wiktionary
Word or phrase, especially one from a specialised area of knowledge. Wiktionary (translation)
EN
The major term of a syllogism must occur twice WordNet 3.0 & Open English WordNet
"Algorithm" is a term used in computer science. Wiktionary