logicStyle
P115737
predicate
Indicates how an entity’s reasoning, argumentation, or inference process is structured or conducted.
Sample triples (2)
| Subject | Object |
|---|---|
|
ACL2 theorem proving system
surface form:
ACL2
|
quantifier-free first-order logic with induction ⓘ |
| Isabelle/ZF | classical higher-order logic with sets as objects ⓘ |