Mechanising first-order temporal resolution (Q2486579): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2004.10.005
@@ Property / DOI: 10.1016/j.ic.2004.10.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+TeMP
@@ Property / describes a project that uses: TeMP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q98283898
@@ Property / Wikidata QID: Q98283898 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2004.10.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2143353707
@@ Property / OpenAlex ID: W2143353707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230717
@@ Property / cites work: Q4230717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708910
@@ Property / cites work: Q4708910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797416
@@ Property / cites work: Q4797416 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and monodic first-order temporal logic
@@ Property / cites work: Equality and monodic first-order temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal resolution using a breadth-first search algorithm
+Normal rank
@@ Property / cites work @@
+Q4952309
@@ Property / cites work: Q4952309 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for temporal logics of knowledge
@@ Property / cites work: Resolution for temporal logics of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal semantics for concurrent METATEM
@@ Property / cites work: Temporal semantics for concurrent METATEM / rank @@
+Normal rank
@@ Property / cites work @@
+A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
+Normal rank
@@ Property / cites work @@
+Clausal temporal resolution
@@ Property / cites work: Clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines 2004. Advances in Theory and Practice
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q2753192
@@ Property / cites work: Q2753192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715695
@@ Property / cites work: Q5715695 / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic packed fragment with equality is decidable
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Temporalising tableaux
@@ Property / cites work: Temporalising tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331764
@@ Property / cites work: Q4331764 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and incompleteness results for first-order temporal logics of linear time
+Normal rank
@@ Property / cites work @@
+Theorem proving with ordering and equality constrained clauses
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751358
@@ Property / cites work: Q2751358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for BDI logics
@@ Property / cites work: Decision procedures for BDI logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the semantic consequence relation in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+Incompleteness of first-order temporal logic with until
+Normal rank
@@ Property / cites work @@
+Q2782498
@@ Property / cites work: Q2782498 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order modal logics
@@ Property / cites work: Decidable fragments of first-order modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the monodic fragment of first-order temporal logic
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2004.10.005
@@ Property / DOI: 10.1016/J.IC.2004.10.005 / rank @@
+Normal rank