Search results
From MaRDI portal
- sequent calculi 2019-10-07 Paper Reasoning in circles 2019-07-24 Paper The Skolemization of prenex formulas in intermediate logics 2019-05-02 Paper Terminating...10 bytes (16 words) - 16:43, 24 September 2023
- Publication Type Effective Skolemization 2024-02-28 Paper Sequent calculi for choice logics 2022-12-07 Paper Andrews Skolemization may shorten resolution proofs...10 bytes (16 words) - 10:17, 6 October 2023
- Events through MV-algebras and non-Archimedean States 2019-08-20 Paper Skolemization and Herbrand theorems for lattice-valued logics 2019-03-26 Paper Mutually...10 bytes (16 words) - 19:05, 24 September 2023
- Publication Date of Publication Type On Skolemization in constrained logics 1998-05-17 Paper https://portal.mardi4nfdi.de/entity/Q4867026 1996-03-19 Paper...10 bytes (16 words) - 09:38, 24 September 2023
- Unprovability results for clause set cycles 2022-10-14 Paper Induction and Skolemization in saturation theorem proving 2022-10-14 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 23:12, 24 September 2023
- Publication Date of Publication Type Effective Skolemization 2024-02-28 Paper Andrews Skolemization may shorten resolution proofs non-elementarily 2022-07-01...10 bytes (17 words) - 19:05, 24 September 2023
- Paper AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS 2019-06-07 Paper Skolemization and Herbrand theorems for lattice-valued logics 2019-03-26 Paper Representing...10 bytes (17 words) - 16:51, 9 December 2023
- 2019-07-24 Paper Uniform interpolation and coherence 2019-05-02 Paper Skolemization and Herbrand theorems for lattice-valued logics 2019-03-26 Paper Checking...10 bytes (17 words) - 06:31, 7 October 2023
- Deduction 1985-01-01 Paper A complete, nonredundant algorithm for reversed Skolemization 1984-01-01 Paper Deduction Plans: A Basis for Intelligent Backtracking...10 bytes (16 words) - 18:52, 12 December 2023
- 2010-08-27 Paper Cardinality restrictions on concepts 1998-07-23 Paper On Skolemization in constrained logics 1998-05-17 Paper Consistency checking reduced to...10 bytes (16 words) - 12:20, 7 October 2023
- de/entity/Q3786007 1986-01-01 Paper A complete, nonredundant algorithm for reversed Skolemization 1984-01-01 Paper Deduction Plans: A Basis for Intelligent Backtracking...10 bytes (18 words) - 04:02, 7 October 2023
- character of Kim-independence 2019-02-12 Paper Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories 2018-06-05 Paper On model-theoretic...10 bytes (16 words) - 19:56, 6 October 2023
- principle for a logic with restricted quantifiers 2002-05-22 Paper On Skolemization in constrained logics 1998-05-17 Paper Reasoning about temporal relations...10 bytes (18 words) - 04:03, 7 October 2023
- countably categorical theories 2019-05-29 Paper Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories 2018-06-05 Paper Actions arising from...10 bytes (16 words) - 22:06, 24 September 2023
- Reality 2015-12-07 Paper Implementing Conflict Resolution 2015-12-07 Paper Skolemization Modulo Theories 2014-09-08 Paper Towards Conflict-Driven Learning for...10 bytes (16 words) - 15:05, 24 September 2023
- Paper Static Analysis of String Encoders and Decoders 2014-11-03 Paper Skolemization Modulo Theories 2014-09-08 Paper Minimization of symbolic automata 2014-04-10...10 bytes (16 words) - 09:50, 7 October 2023
- Unprovability results for clause set cycles 2022-10-14 Paper Induction and Skolemization in saturation theorem proving 2022-10-14 Paper On the Herbrand content...10 bytes (17 words) - 13:50, 7 October 2023
- in relational databases: a proof theoretic basis 1989-01-01 Paper Un-Skolemizing clause sets 1988-01-01 Paper Erratum to ``A case study in automated theorem...10 bytes (18 words) - 16:06, 10 December 2023
- Publication Date of Publication Type Skolemizing algebraically closed universal classes of algebras 2015-10-14 Paper Multi-algebras as tolerance quotients...10 bytes (18 words) - 10:34, 9 December 2023
- Publication date: 20 November 2006 zbMATH Keywords resolution; tableau system; Skolemization Mathematics Subject Classification ID 03F99: Proof theory and constructive...15 bytes (26 words) - 18:49, 4 February 2024
