Evidence algorithm and inference search in first-order logics (Q286802): Difference between revisions

@@ Property / author @@
+M. Dambrine
@@ Property / author: M. Dambrine / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F07
@@ Property / Mathematics Subject Classification ID: 03F07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585259
@@ Property / zbMATH DE Number: 6585259 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated theorem proving
@@ Property / zbMATH Keywords: automated theorem proving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+evidence algorithm
@@ Property / zbMATH Keywords: evidence algorithm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+classical logic
@@ Property / zbMATH Keywords: classical logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intuitionistic logic
@@ Property / zbMATH Keywords: intuitionistic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+first-order logic
@@ Property / zbMATH Keywords: first-order logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Maslov's inverse method
@@ Property / zbMATH Keywords: Maslov's inverse method / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+clash-resolution method
@@ Property / zbMATH Keywords: clash-resolution method / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent calculus
@@ Property / zbMATH Keywords: sequent calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inference search
@@ Property / zbMATH Keywords: inference search / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SAD
@@ Property / describes a project that uses: SAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ForTheL
@@ Property / describes a project that uses: ForTheL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-015-9346-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2172979345
@@ Property / OpenAlex ID: W2172979345 / rank @@
+Normal rank
@@ Property / cites work @@
+Some problems in the theories of automata and artificial intelligence
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
+Normal rank
@@ Property / cites work @@
+Q5620583
@@ Property / cites work: Q5620583 / rank @@
+Normal rank
@@ Property / cites work @@
+What is the inverse method?
@@ Property / cites work: What is the inverse method? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471536
@@ Property / cites work: Q4471536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938416
@@ Property / cites work: Q4938416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853623
@@ Property / cites work: Q3853623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853622
@@ Property / cites work: Q3853622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766612
@@ Property / cites work: Q4766612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679732
@@ Property / cites work: Q5679732 / rank @@
+Normal rank
@@ Property / cites work @@
+Evidential paradigm: the logical aspect
@@ Property / cites work: Evidential paradigm: the logical aspect / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of Herbrand's theorem for formulas in prenex form
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699355
@@ Property / cites work: Q4699355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:286802