bn:00260321n
Noun Concept
FR
No term available
EN
In mathematical logic, a first-order predicate is a predicate that takes only individual constants or variables as argument. Wikipedia
Relations
Sources