Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285348515> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4285348515 abstract "The notion of clause set cycle abstracts a family of methods for automated inductive theorem proving based on the detection of cyclic dependencies between clause sets. By discerning the underlying logical features of clause set cycles, we are able to characterize clause set cycles by a logical theory. We make use of this characterization to provide practically relevant unprovability results for clause set cycles that exploit different logical features." @default.
- W4285348515 created "2022-07-14" @default.
- W4285348515 creator A5031837650 @default.
- W4285348515 creator A5058192101 @default.
- W4285348515 date "2021-10-07" @default.
- W4285348515 modified "2023-10-16" @default.
- W4285348515 title "Unprovability results for clause set cycles" @default.
- W4285348515 doi "https://doi.org/10.48550/arxiv.2110.03246" @default.
- W4285348515 hasPublicationYear "2021" @default.
- W4285348515 type Work @default.
- W4285348515 citedByCount "0" @default.
- W4285348515 crossrefType "posted-content" @default.
- W4285348515 hasAuthorship W4285348515A5031837650 @default.
- W4285348515 hasAuthorship W4285348515A5058192101 @default.
- W4285348515 hasBestOaLocation W42853485151 @default.
- W4285348515 hasConcept C11413529 @default.
- W4285348515 hasConcept C134510687 @default.
- W4285348515 hasConcept C171250308 @default.
- W4285348515 hasConcept C177264268 @default.
- W4285348515 hasConcept C192562407 @default.
- W4285348515 hasConcept C199360897 @default.
- W4285348515 hasConcept C204321447 @default.
- W4285348515 hasConcept C2777530160 @default.
- W4285348515 hasConcept C2780841128 @default.
- W4285348515 hasConcept C41008148 @default.
- W4285348515 hasConceptScore W4285348515C11413529 @default.
- W4285348515 hasConceptScore W4285348515C134510687 @default.
- W4285348515 hasConceptScore W4285348515C171250308 @default.
- W4285348515 hasConceptScore W4285348515C177264268 @default.
- W4285348515 hasConceptScore W4285348515C192562407 @default.
- W4285348515 hasConceptScore W4285348515C199360897 @default.
- W4285348515 hasConceptScore W4285348515C204321447 @default.
- W4285348515 hasConceptScore W4285348515C2777530160 @default.
- W4285348515 hasConceptScore W4285348515C2780841128 @default.
- W4285348515 hasConceptScore W4285348515C41008148 @default.
- W4285348515 hasLocation W42853485151 @default.
- W4285348515 hasOpenAccess W4285348515 @default.
- W4285348515 hasPrimaryLocation W42853485151 @default.
- W4285348515 hasRelatedWork W1859752461 @default.
- W4285348515 hasRelatedWork W2148757832 @default.
- W4285348515 hasRelatedWork W2151447942 @default.
- W4285348515 hasRelatedWork W2283261054 @default.
- W4285348515 hasRelatedWork W2513110718 @default.
- W4285348515 hasRelatedWork W2611614995 @default.
- W4285348515 hasRelatedWork W2748952813 @default.
- W4285348515 hasRelatedWork W2900389025 @default.
- W4285348515 hasRelatedWork W851785710 @default.
- W4285348515 hasRelatedWork W2169928498 @default.
- W4285348515 isParatext "false" @default.
- W4285348515 isRetracted "false" @default.
- W4285348515 workType "article" @default.