Quick specifications for the busy programmer (Q5371995): Difference between revisions

@@ Property / describes a project that uses @@
+QuickSpec
@@ Property / describes a project that uses: QuickSpec / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Theorema
@@ Property / describes a project that uses: Theorema / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Daikon
@@ Property / describes a project that uses: Daikon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IsaCoSy
@@ Property / describes a project that uses: IsaCoSy / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114116626
@@ Property / Wikidata QID: Q114116626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993363
@@ Property / cites work: Q3993363 / rank @@
+Normal rank
@@ Property / cites work @@
+The octonions
@@ Property / cites work: The octonions / rank @@
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+Automating Inductive Proofs Using Theory Exploration
+Normal rank
@@ Property / cites work @@
+The Daikon system for dynamic detection of likely invariants
+Normal rank
@@ Property / cites work @@
+Functional geometry
@@ Property / cites work: Functional geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Conjecture synthesis for inductive theories
@@ Property / cites work: Conjecture synthesis for inductive theories / rank @@
+Normal rank
@@ Property / cites work @@
+Hipster: Integrating Theory Exploration in a Proof Assistant
+Normal rank
@@ Property / cites work @@
+Zur Struktur von Alternativkörpern
@@ Property / cites work: Zur Struktur von Alternativkörpern / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951437
@@ Property / cites work: Q4951437 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796817000090
+Normal rank
@@ Property / OpenAlex ID @@
+W2559071439
@@ Property / OpenAlex ID: W2559071439 / rank @@
+Normal rank