scientific article; zbMATH DE number 6985093
From MaRDI portal
Publication:4557854
zbMath1402.68013MaRDI QIDQ4557854
Publication date: 27 November 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Extensional higher-order paramodulation in Leo-III, Making higher-order superposition work, Making higher-order superposition work, Superposition with first-class booleans and inprocessing clausification, Restricted combinatory unification, A Knuth-Bendix-like ordering for orienting combinator equations, A combinator-based superposition calculus for higher-order logic
Uses Software
