On temporal logic S4Dbr (Q2471628): Difference between revisions

@@ Property / DOI @@
-.1007/s10986-006-0020-4
@@ Property / DOI: 10.1007/s10986-006-0020-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SWI-Prolog
@@ Property / describes a project that uses: SWI-Prolog / 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/s10986-006-0020-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2084441573
@@ Property / OpenAlex ID: W2084441573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938418
@@ Property / cites work: Q4938418 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical foundations of handling large substitution sets in temporal integrity monitoring
+Normal rank
@@ Property / cites work @@
+Monitoring dynamic integrity constraints based on temporal logic
+Normal rank
@@ Property / cites work @@
+Q3972527
@@ Property / cites work: Q3972527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281258
@@ Property / cites work: Q4281258 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of some classes of modal logic
@@ Property / cites work: Decidability of some classes of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668435
@@ Property / cites work: Q5668435 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10986-006-0020-4
@@ Property / DOI: 10.1007/S10986-006-0020-4 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2471628