Pages that link to "Item:Q1885036"
From MaRDI portal
The following pages link to Three-variable statements of set-pairing (Q1885036):
Displaying 7 items.
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- Web ontology representation and reasoning via fragments of set theory (Q2360184) (← links)
- On Pairs and Tuples (Q3472101) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)
- The axiom of elementary sets on the edge of Peircean expressibility (Q5718697) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)