The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for skolemization with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1998 (17) 1999-2006 (15) 2007-2015 (15) 2016-2023 (12)
Publication types (Num. hits)
article(23) inproceedings(36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 18 keywords

Results
Found 59 publication records. Showing 59 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
74Matthias Baaz, George Metcalfe Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Herbrand Theorem, Fuzzy Logics, Skolemization
47Philip T. Cox, Tomasz Pietrzykowski A Complete, Nonredundant Algorithm for Reversed Skolemization. Search on Bibsonomy CADE The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
46Matthias Baaz, Rosalie Iemhoff Gentzen Calculi for the Existence Predicate. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
46Matthias Baaz, Rosalie Iemhoff On Interpolation in Existence Logics. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
38Hans de Nivelle Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Eugenio G. Omodeo, Jacob T. Schwartz A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Uwe Egly On the Value of Antiprenexing. Search on Bibsonomy LPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Gilles Dowek Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Stefan Hetzl, Jannik Vierling Induction and Skolemization in saturation theorem proving. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Matthias Baaz, Anela Lolic Effective Skolemization. Search on Bibsonomy WoLLIC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Matthias Baaz, Anela Lolic Andrews Skolemization May Shorten Resolution Proofs Non-elementarily. Search on Bibsonomy LFCS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Stefan Hetzl, Jannik Vierling Induction and Skolemization in saturation theorem proving. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
28Petr Cintula, Denisa Diaconescu, George Metcalfe Skolemization and Herbrand theorems for lattice-valued logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Martin Diller, Adam Wyner 0001, Hannes Strass Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization. Search on Bibsonomy IWCS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Kaustuv Chaudhuri, Matteo Manighetti, Dale Miller 0001 A proof-theoretic approach to certifying skolemization. Search on Bibsonomy CPP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Alex Kruckman, Nicholas Ramsey Generic expansion and Skolemization in NSOP1 theories. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
28Rosalie Iemhoff On the Existence of Alternative Skolemization Methods. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
28Timm Lampert A Decision Procedure for Herbrand Formulae without Skolemization. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
28Matthias Baaz, Rosalie Iemhoff Skolemization in intermediate logics with the finite model property. Search on Bibsonomy Log. J. IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Richard Bonichon, Olivier Hermant A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
28Petr Cintula, Denisa Diaconescu, George Metcalfe Skolemization for Substructural Logics. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
28Konstantin Korovin, Margus Veanes Skolemization Modulo Theories. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Guy Van den Broeck, Wannes Meert, Adnan Darwiche Skolemization for Weighted First-Order Model Counting. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
28Guy Van den Broeck, Wannes Meert, Adnan Darwiche Skolemization for Weighted First-Order Model Counting. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
28Kiyoshi Akama, Ekawit Nantajeewarawat Meaning-preserving Skolemization. Search on Bibsonomy KEOD The full citation details ... 2011 DBLP  BibTeX  RDF
28Matthias Baaz, George Metcalfe Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28Claus-Peter Wirth Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
28Matthias Baaz, Rosalie Iemhoff On Skolemization in constructive theories. Search on Bibsonomy J. Symb. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Matthias Baaz, Rosalie Iemhoff The Skolemization of existential quantifiers in intuitionistic logic. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Marco Benedetti Evaluating QBFs via Symbolic Skolemization. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Alexander V. Lyaletski Computer-Oriented Sequent Inferring without Preliminary Skolemization. Search on Bibsonomy IIS The full citation details ... 2003 DBLP  BibTeX  RDF
28Claus-Peter Wirth Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo Global Skolemization with Grouped Quantifiers. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
28Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux On Skolemization in Constrained Logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Jean Goubault A BDD-Based Simplification and Skolemization Procedure. Search on Bibsonomy Log. J. IGPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Matthias Baaz, Alexander Leitsch On Skolemization and Proof Complexity. Search on Bibsonomy Fundam. Informaticae The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Philip T. Cox, Tomasz Pietrzykowski A Complete, Nonredundant Algorithm for Reversed Skolemization. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
27Domenico Cantone, Marianna Nicolosi Asmundo A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF free-variable semantic tableaux, ?-rule, Skolemization
27Sandip Ray Quantification in tail-recursive function definitions. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal methods, logic, ACL2, conservativity, skolemization
27Gilles Dowek, Thérèse Hardin, Claude Kirchner Theorem Proving Modulo. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
19Guillaume Burel Automating Theories in Intuitionistic Logic. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Marc Bezem, Dimitri Hendriks On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving
19Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Matthias Baaz, George Metcalfe Proof Theory for First Order Lukasiewicz Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Marc Bezem, Thierry Coquand Automating Coherent Logic. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Marco Benedetti sKizzo: A Suite to Evaluate and Certify QBFs. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Stefan Brass, Christian Goldberg Proving the Safety of SQL Queries. Search on Bibsonomy QSIC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Runtime Errors, SQL, Consistency
19Stéphane Coulondre A top-down proof procedure for generalized data dependencies. Search on Bibsonomy Acta Informatica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Arild Waaler, Roger Antonsen A Free Variable Sequent Calculus with Uniform Variable Splitting. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets Evidence Algorithm and Sequent Logical Inference Search. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19John Harrison 0001 Formalizing Basic First Order Model Theory. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Andreas Nonnengart, Georg Rock, Christoph Weidenbach On Generating Small Clause Normal Forms. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19François Bry, Sunna Torge 0001 A Deduction Method Complete for Refutation and Finite Satisfiability. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Uwe Egly Quantifers and the System KE: Some Surprising Results. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Slim Abdennadher, Heribert Schütz Model Generation with Existentially Quantified Variables and Constraints. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Natarajan Shankar Proof Search in the Intuitionistic Sequent Calculus. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
19Matthias Baaz, Alexander Leitsch A Strong Problem Reduction Method Based on Function Introduction. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
19D. Duchier, Drew V. McDermott LOGICALC: An Environment for Interactive Proof Development. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
19Jieh Hsiang, Mandayam K. Srivas PROLOG-Based Inductive Theorem Proving. Search on Bibsonomy FSTTCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license