\textit{Once} and \textit{for all} (Q439961): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6067713
@@ Property / zbMATH DE Number: 6067713 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logic
@@ Property / zbMATH Keywords: temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+past-time operators
@@ Property / zbMATH Keywords: past-time operators / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+expressive power
@@ Property / zbMATH Keywords: expressive power / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decision procedures
@@ Property / zbMATH Keywords: decision procedures / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+alternating automata
@@ Property / zbMATH Keywords: alternating automata / rank @@
+Normal rank

Revision as of 01:50, 30 June 2023