Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 13 results in range #1 to #13.
- Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach: Label: en
- (Dual) Hoops Have Unique Halving: Label: en
- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction: Label: en
- A Geometric Procedure with Prover9: Label: en
- Group Embedding of the Projective Plane PG(2, 3): Label: en
- MACE4 and SEM: A Comparison of Finite Model Generators: Label: en
- Superposition for Bounded Domains: Label: en
- Simple and Efficient Clause Subsumption with Feature Vector Indexing: Label: en
- The Strategy Challenge in SMT Solving: Label: en
- The Legacy of a Great Researcher: Label: en
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field: Label: en
- Toward a Procedure for Data Mining Proofs: Label: en
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants: Label: en