Matches in SemOpenAlex for { <https://semopenalex.org/work/W52582525> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W52582525 endingPage "133" @default.
- W52582525 startingPage "122" @default.
- W52582525 abstract "In recent years interesting decidability results for syntactically specified classes of clause sets have been achieved by employing resolution as a decision procedure. We extend this line of research by considering also clauses with equality literals. We use a special version of ordered paramodulation and resolution to decide a class of clause sets that corresponds to an extension of the Ackermann class with equality (i.e., prenex formulas with prefixes of type ∃*∀∃*). By encoding Turing machines we also show that slight modifications of the defining conditions for this class lead to undecidability." @default.
- W52582525 created "2016-06-24" @default.
- W52582525 creator A5004258961 @default.
- W52582525 creator A5048207102 @default.
- W52582525 date "1993-01-01" @default.
- W52582525 modified "2023-09-23" @default.
- W52582525 title "Ordered paramodulation and resolution as decision procedure" @default.
- W52582525 cites W134510267 @default.
- W52582525 cites W1552596904 @default.
- W52582525 cites W1572633878 @default.
- W52582525 cites W2014117644 @default.
- W52582525 cites W2043314428 @default.
- W52582525 cites W2123319860 @default.
- W52582525 doi "https://doi.org/10.1007/3-540-56944-8_47" @default.
- W52582525 hasPublicationYear "1993" @default.
- W52582525 type Work @default.
- W52582525 sameAs 52582525 @default.
- W52582525 citedByCount "15" @default.
- W52582525 countsByYear W525825252012 @default.
- W52582525 countsByYear W525825252014 @default.
- W52582525 countsByYear W525825252017 @default.
- W52582525 countsByYear W525825252023 @default.
- W52582525 crossrefType "book-chapter" @default.
- W52582525 hasAuthorship W52582525A5004258961 @default.
- W52582525 hasAuthorship W52582525A5048207102 @default.
- W52582525 hasConcept C138268822 @default.
- W52582525 hasConcept C154945302 @default.
- W52582525 hasConcept C41008148 @default.
- W52582525 hasConceptScore W52582525C138268822 @default.
- W52582525 hasConceptScore W52582525C154945302 @default.
- W52582525 hasConceptScore W52582525C41008148 @default.
- W52582525 hasLocation W525825251 @default.
- W52582525 hasOpenAccess W52582525 @default.
- W52582525 hasPrimaryLocation W525825251 @default.
- W52582525 hasRelatedWork W2093578348 @default.
- W52582525 hasRelatedWork W2183268662 @default.
- W52582525 hasRelatedWork W2358668433 @default.
- W52582525 hasRelatedWork W2376932109 @default.
- W52582525 hasRelatedWork W2379250586 @default.
- W52582525 hasRelatedWork W2390279801 @default.
- W52582525 hasRelatedWork W2748952813 @default.
- W52582525 hasRelatedWork W2899084033 @default.
- W52582525 hasRelatedWork W2966235325 @default.
- W52582525 hasRelatedWork W3107474891 @default.
- W52582525 isParatext "false" @default.
- W52582525 isRetracted "false" @default.
- W52582525 magId "52582525" @default.
- W52582525 workType "book-chapter" @default.