Certifying standard and stratified Datalog inference engines in SSReflect (Q1687733): Difference between revisions

@@ Property / describes a project that uses @@
+Yedalog
@@ Property / describes a project that uses: Yedalog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq/SSReflect
@@ Property / describes a project that uses: Coq/SSReflect / 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/978-3-319-66107-0_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2748190963
@@ Property / OpenAlex ID: W2748190963 / rank @@
+Normal rank
@@ Property / cites work @@
+Datalog in academia and industry. Second international workshop, Datalog 2.0, Vienna, Austria, September 11--13, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and Decidability Results for CTL in Coq
+Normal rank
@@ Property / cites work @@
+Point-Free, Set-Free Concrete Linear Algebra
@@ Property / cites work: Point-Free, Set-Free Concrete Linear Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Checked Proof of the Odd Order Theorem
@@ Property / cites work: A Machine-Checked Proof of the Odd Order Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank