FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2147996890> ?p ?o ?g. }

• W2147996890 endingPage "425" @default.
• W2147996890 startingPage "410" @default.
• W2147996890 abstract "This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using semantic labeling with infinite models in combination with lexicographic path orders. We replace semantic labeling with predictive labeling to weaken the quasi-model constraints and we combine it with dependency pairs (usable rules and argument filtering) to increase the power of the method. Encoding the resulting search problem as a propositional satisfiability problem and calling a state-of-the-art SAT solver yields a powerful technique for proving termination automatically." @default.
• W2147996890 created "2016-06-24" @default.
• W2147996890 creator A5006048860 @default.
• W2147996890 creator A5049118633 @default.
• W2147996890 date "2007-08-30" @default.
• W2147996890 modified "2023-09-26" @default.
• W2147996890 title "Predictive Labeling with Dependency Pairs Using SAT" @default.
• W2147996890 cites W1495283197 @default.
• W2147996890 cites W1518705996 @default.
• W2147996890 cites W1531034707 @default.
• W2147996890 cites W1558166004 @default.
• W2147996890 cites W1629587635 @default.
• W2147996890 cites W1953115831 @default.
• W2147996890 cites W1970547272 @default.
• W2147996890 cites W1980527029 @default.
• W2147996890 cites W2001932052 @default.
• W2147996890 cites W2005604519 @default.
• W2147996890 cites W2024821946 @default.
• W2147996890 cites W2031948276 @default.
• W2147996890 cites W2090855107 @default.
• W2147996890 cites W2099083823 @default.
• W2147996890 cites W2164290630 @default.
• W2147996890 cites W2168096396 @default.
• W2147996890 cites W2170550263 @default.
• W2147996890 cites W2911875343 @default.
• W2147996890 cites W4230919050 @default.
• W2147996890 doi "https://doi.org/10.1007/978-3-540-73595-3_31" @default.
• W2147996890 hasPublicationYear "2007" @default.
• W2147996890 type Work @default.
• W2147996890 sameAs 2147996890 @default.
• W2147996890 citedByCount "11" @default.
• W2147996890 countsByYear W21479968902012 @default.
• W2147996890 countsByYear W21479968902014 @default.
• W2147996890 crossrefType "book-chapter" @default.
• W2147996890 hasAuthorship W2147996890A5006048860 @default.
• W2147996890 hasAuthorship W2147996890A5049118633 @default.
• W2147996890 hasConcept C11413529 @default.
• W2147996890 hasConcept C114614502 @default.
• W2147996890 hasConcept C125411270 @default.
• W2147996890 hasConcept C136764020 @default.
• W2147996890 hasConcept C154945302 @default.
• W2147996890 hasConcept C159254197 @default.
• W2147996890 hasConcept C164155591 @default.
• W2147996890 hasConcept C168773769 @default.
• W2147996890 hasConcept C195818886 @default.
• W2147996890 hasConcept C19768560 @default.
• W2147996890 hasConcept C199360897 @default.
• W2147996890 hasConcept C2778770139 @default.
• W2147996890 hasConcept C2780615836 @default.
• W2147996890 hasConcept C33923547 @default.
• W2147996890 hasConcept C41008148 @default.
• W2147996890 hasConcept C48103436 @default.
• W2147996890 hasConcept C6943359 @default.
• W2147996890 hasConcept C69562738 @default.
• W2147996890 hasConcept C80444323 @default.
• W2147996890 hasConceptScore W2147996890C11413529 @default.
• W2147996890 hasConceptScore W2147996890C114614502 @default.
• W2147996890 hasConceptScore W2147996890C125411270 @default.
• W2147996890 hasConceptScore W2147996890C136764020 @default.
• W2147996890 hasConceptScore W2147996890C154945302 @default.
• W2147996890 hasConceptScore W2147996890C159254197 @default.
• W2147996890 hasConceptScore W2147996890C164155591 @default.
• W2147996890 hasConceptScore W2147996890C168773769 @default.
• W2147996890 hasConceptScore W2147996890C195818886 @default.
• W2147996890 hasConceptScore W2147996890C19768560 @default.
• W2147996890 hasConceptScore W2147996890C199360897 @default.
• W2147996890 hasConceptScore W2147996890C2778770139 @default.
• W2147996890 hasConceptScore W2147996890C2780615836 @default.
• W2147996890 hasConceptScore W2147996890C33923547 @default.
• W2147996890 hasConceptScore W2147996890C41008148 @default.
• W2147996890 hasConceptScore W2147996890C48103436 @default.
• W2147996890 hasConceptScore W2147996890C6943359 @default.
• W2147996890 hasConceptScore W2147996890C69562738 @default.
• W2147996890 hasConceptScore W2147996890C80444323 @default.
• W2147996890 hasLocation W21479968901 @default.
• W2147996890 hasOpenAccess W2147996890 @default.
• W2147996890 hasPrimaryLocation W21479968901 @default.
• W2147996890 hasRelatedWork W146765414 @default.
• W2147996890 hasRelatedWork W1484559376 @default.
• W2147996890 hasRelatedWork W1495283197 @default.
• W2147996890 hasRelatedWork W1508261706 @default.
• W2147996890 hasRelatedWork W1518705996 @default.
• W2147996890 hasRelatedWork W1583295953 @default.
• W2147996890 hasRelatedWork W1820313840 @default.
• W2147996890 hasRelatedWork W1913470731 @default.
• W2147996890 hasRelatedWork W2001932052 @default.
• W2147996890 hasRelatedWork W2086747974 @default.
• W2147996890 hasRelatedWork W2090855107 @default.
• W2147996890 hasRelatedWork W2099083823 @default.
• W2147996890 hasRelatedWork W2133527541 @default.
• W2147996890 hasRelatedWork W2136514805 @default.
• W2147996890 hasRelatedWork W2164290630 @default.
• W2147996890 hasRelatedWork W2168096396 @default.
• W2147996890 hasRelatedWork W2170550263 @default.
• W2147996890 hasRelatedWork W2911875343 @default.
• W2147996890 hasRelatedWork W91193428 @default.
• W2147996890 hasRelatedWork W2762668203 @default.
• W2147996890 isParatext "false" @default.

• next