NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Q2964454): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YAGO
@@ Property / describes a project that uses: YAGO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Darwin
@@ Property / describes a project that uses: Darwin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iProver
@@ Property / describes a project that uses: iProver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1927589922
@@ Property / OpenAlex ID: W1927589922 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05501
@@ Property / arXiv ID: 1502.05501 / rank @@
+Normal rank
@@ Property / cites work @@
+NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment
+Normal rank
@@ Property / cites work @@
+Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Lemma Learning in the Model Evolution Calculus
@@ Property / cites work: Lemma Learning in the Model Evolution Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled splitting
@@ Property / cites work: Labelled splitting / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Superposition for Bounded Domains
@@ Property / cites work: Superposition for Bounded Domains / rank @@
+Normal rank
@@ Property / cites work @@
+iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
+Normal rank
@@ Property / cites work @@
+Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning
+Normal rank
@@ Property / cites work @@
+Non-cyclic Sorts for First-Order Satisfiability
@@ Property / cites work: Non-cyclic Sorts for First-Order Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit representation of terms defined by counter examples
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Systems for Effectively Propositional Logic
@@ Property / cites work: Proof Systems for Effectively Propositional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding effectively propositional logic using DPLL and substitution sets
+Normal rank
@@ Property / cites work @@
+Q2724150
@@ Property / cites work: Q2724150 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Saturation of YAGO
@@ Property / cites work: On the Saturation of YAGO / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751379
@@ Property / cites work: Q2751379 / rank @@
+Normal rank