Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q3939271 1982-01-01 Paper Theorem Proving by Covering Expressions 1979-01-01 Paper Semantic Resolution for Horn Sets 1976-01-01 Paper Unit Refutations...10 bytes (18 words) - 02:38, 7 October 2023
- 2020-02-20 Paper Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving 2019-10-01 Paper https://portal.mardi4nfdi.de/entity/Q4631187...10 bytes (16 words) - 15:59, 11 December 2023
- de/entity/Q2908835 2012-08-29 Paper A lower bound on the size of resolution proofs of the Ramsey theorem 2012-07-25 Paper Alternating minima and maxima, Nash equilibria...10 bytes (17 words) - 19:20, 8 December 2023
- 1997-05-13 Paper An average case analysis of a resolution principle algorithm in mechanical theorem proving. 1997-05-13 Paper On the use of adaptive updating...10 bytes (15 words) - 11:06, 24 September 2023
- logic for default reasoning; incompletely specified worlds; top down resolution theorem prover Mathematics Subject Classification ID DB lookup for MSC labels...15 bytes (146 words) - 04:52, 31 January 2024
- 1988-01-01 Paper An extension of Knopp's core theorem 1988-01-01 Paper A minimax proof of the Krein-Smulian theorem 1988-01-01 Paper Nash estimates and the asymptotic...10 bytes (16 words) - 10:02, 24 September 2023
- study. 2019-03-01 Paper A completeness theorem for a Hahn-Fourier system and an associated classical sampling theorem 2019-02-28 Paper On orders of observables...10 bytes (16 words) - 08:10, 7 October 2023
- Some new fixed point theorems for set-valued contractions in complete metric spaces 2013-08-22 Paper On an analog of the Riesz theorem and the basis property...10 bytes (15 words) - 00:59, 25 September 2023
