First Order Clause (Q7361364)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry First_Order_Clause
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | First Order Clause |
AFP entry First_Order_Clause |
Statements
17 January 2025
0 references
Balazs Toth
0 references
First Order Clause (English)
0 references
This entry provides reusable theories that lift properties of first-order (ground and nonground) terms to atoms, literals, and clauses. These properties include substitutions, orders, entailment, and typing. The sessions AFP/First_Order_Terms and AFP/Abstract_Substitution are the basis of this entry.
0 references
