Theorem prover approach to semistructured data design (Q609020): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-010-0099-4
@@ Property / DOI: 10.1007/s10703-010-0099-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Lore
@@ Property / describes a project that uses: Lore / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / 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/s10703-010-0099-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2052690664
@@ Property / OpenAlex ID: W2052690664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4445643
@@ Property / cites work: Q4445643 / rank @@
+Normal rank
@@ Property / cites work @@
+A first step towardsmodeling semistructured data in hybrid multimodal logic
+Normal rank
@@ Property / cites work @@
+Representing and reasoning on XML documents: a description logic approach
+Normal rank
@@ Property / cites work @@
+Q4441490
@@ Property / cites work: Q4441490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473500
@@ Property / cites work: Q4473500 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of PVS
@@ Property / cites work: A Brief Overview of PVS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530805
@@ Property / cites work: Q4530805 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal object approach to the design of ZML
@@ Property / cites work: A formal object approach to the design of ZML / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680808
@@ Property / cites work: Q4680808 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-010-0099-4
@@ Property / DOI: 10.1007/S10703-010-0099-4 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:609020