Matches in SemOpenAlex for { <https://semopenalex.org/work/W2885010049> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2885010049 abstract "We propose an extension of the automated theorem prover E by the weighted path ordering. Weighted path ordering is theoretically stronger than all the orderings used in E-prover, however its parametrization is more involved than those normally used in automated reasoning. In particular, it depends on a term algebra. We discuss how the parameters for the ordering can be proposed automatically for particular theorem proving problem strategies. We integrate the ordering in E-prover and perform an evaluation on the standard theorem proving benchmarks. The ordering is complementary to the ones used in E prover so far." @default.
- W2885010049 created "2018-08-03" @default.
- W2885010049 creator A5028662024 @default.
- W2885010049 creator A5070698573 @default.
- W2885010049 date "2018-01-01" @default.
- W2885010049 modified "2023-10-16" @default.
- W2885010049 title "Towards a Unified Ordering for Superposition-Based Automated Reasoning" @default.
- W2885010049 cites W1510333080 @default.
- W2885010049 cites W1781094 @default.
- W2885010049 cites W1987185067 @default.
- W2885010049 cites W2045294429 @default.
- W2885010049 cites W2073351681 @default.
- W2885010049 cites W2126967023 @default.
- W2885010049 cites W2583369873 @default.
- W2885010049 cites W2588018425 @default.
- W2885010049 cites W2792493843 @default.
- W2885010049 cites W4238923739 @default.
- W2885010049 doi "https://doi.org/10.1007/978-3-319-96418-8_29" @default.
- W2885010049 hasPublicationYear "2018" @default.
- W2885010049 type Work @default.
- W2885010049 sameAs 2885010049 @default.
- W2885010049 citedByCount "1" @default.
- W2885010049 countsByYear W28850100492020 @default.
- W2885010049 crossrefType "book-chapter" @default.
- W2885010049 hasAuthorship W2885010049A5028662024 @default.
- W2885010049 hasAuthorship W2885010049A5070698573 @default.
- W2885010049 hasBestOaLocation W28850100492 @default.
- W2885010049 hasConcept C134306372 @default.
- W2885010049 hasConcept C154945302 @default.
- W2885010049 hasConcept C195344581 @default.
- W2885010049 hasConcept C199360897 @default.
- W2885010049 hasConcept C27753989 @default.
- W2885010049 hasConcept C33923547 @default.
- W2885010049 hasConcept C41008148 @default.
- W2885010049 hasConcept C80444323 @default.
- W2885010049 hasConceptScore W2885010049C134306372 @default.
- W2885010049 hasConceptScore W2885010049C154945302 @default.
- W2885010049 hasConceptScore W2885010049C195344581 @default.
- W2885010049 hasConceptScore W2885010049C199360897 @default.
- W2885010049 hasConceptScore W2885010049C27753989 @default.
- W2885010049 hasConceptScore W2885010049C33923547 @default.
- W2885010049 hasConceptScore W2885010049C41008148 @default.
- W2885010049 hasConceptScore W2885010049C80444323 @default.
- W2885010049 hasLocation W28850100491 @default.
- W2885010049 hasLocation W28850100492 @default.
- W2885010049 hasOpenAccess W2885010049 @default.
- W2885010049 hasPrimaryLocation W28850100491 @default.
- W2885010049 hasRelatedWork W2013111119 @default.
- W2885010049 hasRelatedWork W2112962394 @default.
- W2885010049 hasRelatedWork W2118300983 @default.
- W2885010049 hasRelatedWork W2166247150 @default.
- W2885010049 hasRelatedWork W2382501300 @default.
- W2885010049 hasRelatedWork W3137189469 @default.
- W2885010049 hasRelatedWork W3162240892 @default.
- W2885010049 hasRelatedWork W4235530921 @default.
- W2885010049 hasRelatedWork W4243252198 @default.
- W2885010049 hasRelatedWork W4245713008 @default.
- W2885010049 isParatext "false" @default.
- W2885010049 isRetracted "false" @default.
- W2885010049 magId "2885010049" @default.
- W2885010049 workType "book-chapter" @default.