Goals and benchmarks for automated map reasoning (Q5927984): Difference between revisions

@@ Property / describes a project that uses @@
+SETL
@@ Property / describes a project that uses: SETL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/ZF
@@ Property / describes a project that uses: Isabelle/ZF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2032047212
@@ Property / OpenAlex ID: W2032047212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011707
@@ Property / cites work: Q4011707 / rank @@
+Normal rank
@@ Property / cites work @@
+Baltic computer science. Selected papers
@@ Property / cites work: Baltic computer science. Selected papers / rank @@
+Normal rank
@@ Property / cites work @@
+Rapid construction of algebraic axioms from samples
+Normal rank
@@ Property / cites work @@
+Computer proofs in Gödel's class theory with equational definitions for composite and cross
+Normal rank
@@ Property / cites work @@
+On the relative expressiveness of description logics and predicate logics
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
+Normal rank
@@ Property / cites work @@
+Embedding Boolean expressions into logic programming
+Normal rank
@@ Property / cites work @@
+Q3999861
@@ Property / cites work: Q3999861 / rank @@
+Normal rank
@@ Property / cites work @@
+The automation of syllogistic. II: Optimization and complexity issues
+Normal rank
@@ Property / cites work @@
+Q5810602
@@ Property / cites work: Q5810602 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for rough sets
@@ Property / cites work: A logic for rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
+Normal rank
@@ Property / cites work @@
+\(T\)-resolution: Refinements and model elimination
+Normal rank
@@ Property / cites work @@
+A Finite Axiomatization for Fork Algebras
@@ Property / cites work: A Finite Axiomatization for Fork Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q5807694
@@ Property / cites work: Q5807694 / rank @@
+Normal rank
@@ Property / cites work @@
+Program derivation with verified transformations — a case study
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The origin of relation algebras in the development and axiomatization of the calculus of relations
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586197
@@ Property / cites work: Q5586197 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory for verification. II: Induction and recursion
+Normal rank
@@ Property / cites work @@
+Expressing infinity without foundation
@@ Property / cites work: Expressing infinity without foundation / rank @@
+Normal rank
@@ Property / cites work @@
+\(T\)-theorem proving. I
@@ Property / cites work: \(T\)-theorem proving. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626600
@@ Property / cites work: Q5626600 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras: Concept of points and representability
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741005
@@ Property / cites work: Q3741005 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Problem corner: Robbins algebra: Conditions that make a near-Boolean algebra Boolean
+Normal rank