coreLogic

P172059
predicate

Indicates that something represents the essential, central reasoning or fundamental operational rules governing a system, process, or decision.

Sample triples (1)

Subject Object
LCF intuitionistic higher-order logic