Data storage interpretation of labeled modal logic (Q1919761): Difference between revisions

@@ Property / author @@
-Q593409
@@ Property / author: Q593409 / rank @@
-Normal rank
@@ Property / author @@
-Vladimir Nikolaevich Krupskiĭ
@@ Property / author: Vladimir Nikolaevich Krupskiĭ / rank @@
-Normal rank
@@ Property / author @@
+Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / rank @@
+Normal rank
@@ Property / author @@
+Vladimir Nikolaevich Krupskiĭ
@@ Property / author: Vladimir Nikolaevich Krupskiĭ / 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.1016/0168-0072(95)00062-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1995457698
@@ Property / OpenAlex ID: W1995457698 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs
@@ Property / cites work: Logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484383
@@ Property / cites work: Q3484383 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1919761