Removing irrelevant information in temporal resolution proofs (Q4421286): Difference between revisions

@@ Property / describes a project that uses @@
+STeP
@@ Property / describes a project that uses: STeP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / 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.1080/095281399146634
+Normal rank
@@ Property / OpenAlex ID @@
+W2022782457
@@ Property / OpenAlex ID: W2022782457 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonclausal deduction in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+Temporal resolution using a breadth-first search algorithm
+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 @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264717
@@ Property / cites work: Q4264717 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying concurrent processes using temporal logic
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q3994754
@@ Property / cites work: Q3994754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5507984
@@ Property / cites work: Q5507984 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4421286