Pages that link to "Item:Q1819950"
From MaRDI portal
The following pages link to Circumscription and implicit definability (Q1819950):
Displaying 11 items.
- Implicit definability of subfields (Q558423) (← links)
- Using approximate reasoning to represent default knowledge (Q578935) (← links)
- Decidability and definability with circumscription (Q579240) (← links)
- On the satisfiability of circumscription (Q1073786) (← links)
- Completeness results for circumscription (Q1073787) (← links)
- Closed-world databases and circumscription (Q1079022) (← links)
- The importance of open and recursive circumscription (Q1117210) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- Addressing Circular Definitions via Systems of Proofs (Q3305628) (← links)
- (Q4298366) (← links)
- Mutual definability does not imply definitional equivalence, a simple example (Q5704809) (← links)