Matches in SemOpenAlex for { <https://semopenalex.org/work/W2810262843> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2810262843 abstract "The absence of a finite axiomatization of the first-order theory of datatypes and codatatypes represents a challenge for automatic theorem provers. We propose two approaches to reason by saturation in this theory: one is a conservative theory extension with a finite number of axioms; the other is an extension of the superposition calculus, in conjunction with axioms. Both techniques are refutationally complete with respect to nonstandard models of datatypes and nonbranching codatatypes. They take into account the acyclicity of datatype values and the existence and uniqueness of cyclic codatatype values. We implemented them in the first-order prover Vampire and compare them experimentally." @default.
- W2810262843 created "2018-07-10" @default.
- W2810262843 creator A5011013779 @default.
- W2810262843 creator A5079200257 @default.
- W2810262843 creator A5079985573 @default.
- W2810262843 date "2018-07-14" @default.
- W2810262843 modified "2023-10-14" @default.
- W2810262843 title "Superposition with Datatypes and Codatatypes" @default.
- W2810262843 cites W100631053 @default.
- W2810262843 cites W121595607 @default.
- W2810262843 cites W1480909796 @default.
- W2810262843 cites W1507112684 @default.
- W2810262843 cites W1553543780 @default.
- W2810262843 cites W1781094 @default.
- W2810262843 cites W1856554806 @default.
- W2810262843 cites W2033074970 @default.
- W2810262843 cites W2037085273 @default.
- W2810262843 cites W2106192381 @default.
- W2810262843 cites W2133750287 @default.
- W2810262843 cites W2152762348 @default.
- W2810262843 cites W2157200381 @default.
- W2810262843 cites W2159595840 @default.
- W2810262843 cites W2183062003 @default.
- W2810262843 cites W2346936556 @default.
- W2810262843 cites W2563639488 @default.
- W2810262843 cites W2749302087 @default.
- W2810262843 cites W2811385959 @default.
- W2810262843 cites W2969885736 @default.
- W2810262843 cites W836255558 @default.
- W2810262843 cites W85997518 @default.
- W2810262843 hasPublicationYear "2018" @default.
- W2810262843 type Work @default.
- W2810262843 sameAs 2810262843 @default.
- W2810262843 citedByCount "1" @default.
- W2810262843 countsByYear W28102628432020 @default.
- W2810262843 crossrefType "proceedings-article" @default.
- W2810262843 hasAuthorship W2810262843A5011013779 @default.
- W2810262843 hasAuthorship W2810262843A5079200257 @default.
- W2810262843 hasAuthorship W2810262843A5079985573 @default.
- W2810262843 hasBestOaLocation W28102628431 @default.
- W2810262843 hasConcept C134306372 @default.
- W2810262843 hasConcept C199360897 @default.
- W2810262843 hasConcept C27753989 @default.
- W2810262843 hasConcept C33923547 @default.
- W2810262843 hasConcept C41008148 @default.
- W2810262843 hasConceptScore W2810262843C134306372 @default.
- W2810262843 hasConceptScore W2810262843C199360897 @default.
- W2810262843 hasConceptScore W2810262843C27753989 @default.
- W2810262843 hasConceptScore W2810262843C33923547 @default.
- W2810262843 hasConceptScore W2810262843C41008148 @default.
- W2810262843 hasLocation W28102628431 @default.
- W2810262843 hasLocation W28102628432 @default.
- W2810262843 hasLocation W28102628433 @default.
- W2810262843 hasOpenAccess W2810262843 @default.
- W2810262843 hasPrimaryLocation W28102628431 @default.
- W2810262843 hasRelatedWork W1977264433 @default.
- W2810262843 hasRelatedWork W2012943989 @default.
- W2810262843 hasRelatedWork W2347371661 @default.
- W2810262843 hasRelatedWork W2372481764 @default.
- W2810262843 hasRelatedWork W2610947892 @default.
- W2810262843 hasRelatedWork W2746368218 @default.
- W2810262843 hasRelatedWork W2748952813 @default.
- W2810262843 hasRelatedWork W2899084033 @default.
- W2810262843 hasRelatedWork W4308448008 @default.
- W2810262843 hasRelatedWork W4308749380 @default.
- W2810262843 isParatext "false" @default.
- W2810262843 isRetracted "false" @default.
- W2810262843 magId "2810262843" @default.
- W2810262843 workType "article" @default.