Agent-Based HOL Reasoning (Q2819202): Difference between revisions

@@ Property / cites work @@
+Higher-order semantics and extensionality
@@ Property / cites work: Higher-order semantics and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+The higher-order prover \textsc{Leo}-II
@@ Property / cites work: The higher-order prover \textsc{Leo}-II / 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 @@
+Computational Aspects of Cooperative Game Theory
@@ Property / cites work: Computational Aspects of Cooperative Game Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight relevance filtering for machine-generated resolution problems
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+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 @@
+LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners
+Normal rank
@@ Property / cites work @@
+Effective Normalization Techniques for HOL
@@ Property / cites work: Effective Normalization Techniques for HOL / rank @@
+Normal rank