Un-Skolemizing clause sets (Q920968): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q5679729 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A complete, nonredundant algorithm for reversed Skolemization / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Extracting information from resolution proof trees / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Maintaining state constraints in relational databases: a proof theoretic basis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Schubert's steamroller problem: Formulations and solutions / rank | |||
Normal rank | |||
Latest revision as of 10:21, 21 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Un-Skolemizing clause sets |
scientific article |
Statements
Un-Skolemizing clause sets (English)
0 references
1988
0 references
quantification
0 references
satisfiability
0 references
clauses
0 references
algorithm
0 references
