Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567246034> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1567246034 endingPage "344" @default.
- W1567246034 startingPage "337" @default.
- W1567246034 abstract "We apply chaining techniques to automated theorem proving in many-valued logics. In particular, we show that superposition specializes to a refined version of the many-valued resolution rules introduced by Baaz and Fermuller, and that ordered chaining can be specialized to a refutationally complete inference system for regular clauses." @default.
- W1567246034 created "2016-06-24" @default.
- W1567246034 creator A5002384779 @default.
- W1567246034 creator A5066502627 @default.
- W1567246034 date "2000-01-01" @default.
- W1567246034 modified "2023-09-22" @default.
- W1567246034 title "Chaining Techniques for Automated Theorem Proving in Many-Valued Logics" @default.
- W1567246034 hasPublicationYear "2000" @default.
- W1567246034 type Work @default.
- W1567246034 sameAs 1567246034 @default.
- W1567246034 citedByCount "0" @default.
- W1567246034 crossrefType "journal-article" @default.
- W1567246034 hasAuthorship W1567246034A5002384779 @default.
- W1567246034 hasAuthorship W1567246034A5066502627 @default.
- W1567246034 hasConcept C11413529 @default.
- W1567246034 hasConcept C118615104 @default.
- W1567246034 hasConcept C129916263 @default.
- W1567246034 hasConcept C138268822 @default.
- W1567246034 hasConcept C142614401 @default.
- W1567246034 hasConcept C154945302 @default.
- W1567246034 hasConcept C15744967 @default.
- W1567246034 hasConcept C199343813 @default.
- W1567246034 hasConcept C206880738 @default.
- W1567246034 hasConcept C2776214188 @default.
- W1567246034 hasConcept C2777686260 @default.
- W1567246034 hasConcept C33923547 @default.
- W1567246034 hasConcept C3746660 @default.
- W1567246034 hasConcept C41008148 @default.
- W1567246034 hasConcept C46743427 @default.
- W1567246034 hasConcept C49020025 @default.
- W1567246034 hasConcept C542102704 @default.
- W1567246034 hasConcept C58328972 @default.
- W1567246034 hasConcept C71924100 @default.
- W1567246034 hasConcept C80444323 @default.
- W1567246034 hasConceptScore W1567246034C11413529 @default.
- W1567246034 hasConceptScore W1567246034C118615104 @default.
- W1567246034 hasConceptScore W1567246034C129916263 @default.
- W1567246034 hasConceptScore W1567246034C138268822 @default.
- W1567246034 hasConceptScore W1567246034C142614401 @default.
- W1567246034 hasConceptScore W1567246034C154945302 @default.
- W1567246034 hasConceptScore W1567246034C15744967 @default.
- W1567246034 hasConceptScore W1567246034C199343813 @default.
- W1567246034 hasConceptScore W1567246034C206880738 @default.
- W1567246034 hasConceptScore W1567246034C2776214188 @default.
- W1567246034 hasConceptScore W1567246034C2777686260 @default.
- W1567246034 hasConceptScore W1567246034C33923547 @default.
- W1567246034 hasConceptScore W1567246034C3746660 @default.
- W1567246034 hasConceptScore W1567246034C41008148 @default.
- W1567246034 hasConceptScore W1567246034C46743427 @default.
- W1567246034 hasConceptScore W1567246034C49020025 @default.
- W1567246034 hasConceptScore W1567246034C542102704 @default.
- W1567246034 hasConceptScore W1567246034C58328972 @default.
- W1567246034 hasConceptScore W1567246034C71924100 @default.
- W1567246034 hasConceptScore W1567246034C80444323 @default.
- W1567246034 hasLocation W15672460341 @default.
- W1567246034 hasOpenAccess W1567246034 @default.
- W1567246034 hasPrimaryLocation W15672460341 @default.
- W1567246034 hasRelatedWork W124130449 @default.
- W1567246034 hasRelatedWork W1483284084 @default.
- W1567246034 hasRelatedWork W1502451498 @default.
- W1567246034 hasRelatedWork W1538506032 @default.
- W1567246034 hasRelatedWork W1558816505 @default.
- W1567246034 hasRelatedWork W1598572838 @default.
- W1567246034 hasRelatedWork W1619830180 @default.
- W1567246034 hasRelatedWork W1758843996 @default.
- W1567246034 hasRelatedWork W2017754974 @default.
- W1567246034 hasRelatedWork W2022751246 @default.
- W1567246034 hasRelatedWork W2040193103 @default.
- W1567246034 hasRelatedWork W2115151246 @default.
- W1567246034 hasRelatedWork W2138336393 @default.
- W1567246034 hasRelatedWork W2148854889 @default.
- W1567246034 hasRelatedWork W2168144545 @default.
- W1567246034 hasRelatedWork W2505757016 @default.
- W1567246034 hasRelatedWork W2592839518 @default.
- W1567246034 hasRelatedWork W2916237180 @default.
- W1567246034 hasRelatedWork W2942814310 @default.
- W1567246034 hasRelatedWork W1574793289 @default.
- W1567246034 isParatext "false" @default.
- W1567246034 isRetracted "false" @default.
- W1567246034 magId "1567246034" @default.
- W1567246034 workType "article" @default.