LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128): Difference between revisions

@@ Property / describes a project that uses @@
+Leo-III
@@ Property / describes a project that uses: Leo-III / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Teyjus
@@ Property / describes a project that uses: Teyjus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963739488
@@ Property / OpenAlex ID: W2963739488 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01629
@@ Property / arXiv ID: 1505.01629 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783476
@@ Property / cites work: Q2783476 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751539
@@ Property / cites work: Q2751539 / rank @@
+Normal rank
@@ Property / cites work @@
+Combined reasoning by automated cooperation
@@ Property / cites work: Combined reasoning by automated cooperation / rank @@
+Normal rank
@@ Property / cites work @@
+LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
+Normal rank
@@ Property / cites work @@
+Extending Sledgehammer with SMT solvers
@@ Property / cites work: Extending Sledgehammer with SMT solvers / rank @@
+Normal rank
@@ Property / cites work @@
+A taxonomy of parallel strategies for deduction
@@ Property / cites work: A taxonomy of parallel strategies for deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Satallax: An Automatic Higher-Order Prover
@@ Property / cites work: Satallax: An Automatic Higher-Order Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Spine Calculus
@@ Property / cites work: A Linear Spine Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The Abella Interactive Theorem Prover (System Description)
+Normal rank
@@ Property / cites work @@
+Alpha-conversion and typability
@@ Property / cites work: Alpha-conversion and typability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751378
@@ Property / cites work: Q2751378 / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+Q3075241
@@ Property / cites work: Q3075241 / rank @@
+Normal rank