Stem skolem$ (all stems)

8 papers:

KR-2014-BroeckMD #first-order

Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).

CSL-2012-Aschieri #axiom #interactive

Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms (FA), pp. 31–45.

KEOD-2011-AkamaN

Meaning-preserving Skolemization (KA, EN), pp. 322–327.

CAV-2011-BalabanovJ #evaluation #proving

Resolution Proofs and Skolem Functions in QBF Evaluation and Applications (VB, JHRJ), pp. 149–164.

LICS-2001-Avigad #first-order #logic

Eliminating Definitions and Skolem Functions in First-Order Logic (JA), pp. 139–146.

CADE-1999-GribomontS #using #validation #verification

System Description: Using OBDD’s for the validation of Skolem verification conditions (EPG, NS), pp. 222–226.

ICALP-1985-Hansel #proving #theorem

A Simple Proof of the Skolem-Mahler-Lech Theorem (GH), pp. 244–249.

CADE-1980-CoxP #algorithm

A Complete, Nonredundant Algorithm for Reversed Skolemization (PTC, TP), pp. 374–385.