Q4823141 (Q4823141): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / Recommended article @@
+Higher-Order Separation Logic in Isabelle/HOLCF
+Normal rank
+Similarity Score: 0.9436582Amount 0.9436582
Unit 1
-Amount
+.9436582
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
+Similarity Score: 0.9340358Amount 0.9340358
Unit 1
-Amount
+.9340358
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Formalizing axiomatic systems for propositional logic in Isabelle/HOL
+Normal rank
+Similarity Score: 0.9151766Amount 0.9151766
Unit 1
-Amount
+.9151766
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4790664
@@ Property / Recommended article: Q4790664 / rank @@
+Normal rank
@@ Property / Recommended article: Q4790664 / qualifier @@
+Similarity Score: 0.91357404Amount 0.91357404
Unit 1
-Amount
+.91357404
 Unit
@@ Property / Recommended article: Q4790664 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A sequent calculus for first-order logic formalized in Isabelle/HOL
+Normal rank
+Similarity Score: 0.91056633Amount 0.91056633
Unit 1
-Amount
+.91056633
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4018961
@@ Property / Recommended article: Q4018961 / rank @@
+Normal rank
@@ Property / Recommended article: Q4018961 / qualifier @@
+Similarity Score: 0.9041115Amount 0.9041115
Unit 1
-Amount
+.9041115
 Unit
@@ Property / Recommended article: Q4018961 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4435474
@@ Property / Recommended article: Q4435474 / rank @@
+Normal rank
@@ Property / Recommended article: Q4435474 / qualifier @@
+Similarity Score: 0.9011725Amount 0.9011725
Unit 1
-Amount
+.9011725
 Unit
@@ Property / Recommended article: Q4435474 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Formalizing Hilbert’s Grundlagen in Isabelle/Isar
+Normal rank
+Similarity Score: 0.90115786Amount 0.90115786
Unit 1
-Amount
+.90115786
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
+Normal rank
+Similarity Score: 0.9008224Amount 0.9008224
Unit 1
-Amount
+.9008224
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Effective Axiomatizations of Hoare Logics
+Normal rank
+Similarity Score: 0.9007423Amount 0.9007423
Unit 1
-Amount
+.9007423
 Unit
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:4823141