bn:00260321n
Noun Concept
IT
predicato del primo ordine
EN
In mathematical logic, a first-order predicate is a predicate that takes only individual constants or variables as argument. Wikipedia
Relations
Sources