FRINK Linked Data Fragments server

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

• W2125851141 endingPage "156" @default.
• W2125851141 startingPage "135" @default.
• W2125851141 abstract "A method for proof by structural induction is studied, and problems of automatizing the method is investigated. We specially consider the equational part of such proofs and we observe that the ability to cope with possibly infinite searches for non-existent equational proofs is crucial. Completion as a means to find an equational proof of equivalence of two given terms is studied. By heuristics we weaken the requirements of completeness on the resulting set, and thereby present modifications of both standard completion and ordered completion which guarantee termination." @default.
• W2125851141 created "2016-06-24" @default.
• W2125851141 creator A5000542963 @default.
• W2125851141 date "1994-03-01" @default.
• W2125851141 modified "2023-09-26" @default.
• W2125851141 title "Heuristics for completion in automatic proofs by structural induction" @default.
• W2125851141 cites W1527996124 @default.
• W2125851141 cites W1538192303 @default.
• W2125851141 cites W1554754022 @default.
• W2125851141 cites W1595374223 @default.
• W2125851141 cites W1598005203 @default.
• W2125851141 cites W1603788080 @default.
• W2125851141 cites W1608891104 @default.
• W2125851141 cites W1780530600 @default.
• W2125851141 cites W1968386045 @default.
• W2125851141 cites W1969319414 @default.
• W2125851141 cites W1980051887 @default.
• W2125851141 cites W1991856459 @default.
• W2125851141 cites W1992371661 @default.
• W2125851141 cites W2021173362 @default.
• W2125851141 cites W2027329270 @default.
• W2125851141 cites W2056774266 @default.
• W2125851141 cites W2099078002 @default.
• W2125851141 cites W2109576922 @default.
• W2125851141 cites W2115592109 @default.
• W2125851141 cites W2134338128 @default.
• W2125851141 cites W2159709550 @default.
• W2125851141 hasPublicationYear "1994" @default.
• W2125851141 type Work @default.
• W2125851141 sameAs 2125851141 @default.
• W2125851141 citedByCount "0" @default.
• W2125851141 crossrefType "journal-article" @default.
• W2125851141 hasAuthorship W2125851141A5000542963 @default.
• W2125851141 hasConcept C108710211 @default.
• W2125851141 hasConcept C111919701 @default.
• W2125851141 hasConcept C11413529 @default.
• W2125851141 hasConcept C118615104 @default.
• W2125851141 hasConcept C127705205 @default.
• W2125851141 hasConcept C134306372 @default.
• W2125851141 hasConcept C136119220 @default.
• W2125851141 hasConcept C17231256 @default.
• W2125851141 hasConcept C177264268 @default.
• W2125851141 hasConcept C199343813 @default.
• W2125851141 hasConcept C199360897 @default.
• W2125851141 hasConcept C202444582 @default.
• W2125851141 hasConcept C206743973 @default.
• W2125851141 hasConcept C2524010 @default.
• W2125851141 hasConcept C2777686260 @default.
• W2125851141 hasConcept C2780069185 @default.
• W2125851141 hasConcept C33923547 @default.
• W2125851141 hasConcept C41008148 @default.
• W2125851141 hasConcept C71924100 @default.
• W2125851141 hasConcept C80444323 @default.
• W2125851141 hasConceptScore W2125851141C108710211 @default.
• W2125851141 hasConceptScore W2125851141C111919701 @default.
• W2125851141 hasConceptScore W2125851141C11413529 @default.
• W2125851141 hasConceptScore W2125851141C118615104 @default.
• W2125851141 hasConceptScore W2125851141C127705205 @default.
• W2125851141 hasConceptScore W2125851141C134306372 @default.
• W2125851141 hasConceptScore W2125851141C136119220 @default.
• W2125851141 hasConceptScore W2125851141C17231256 @default.
• W2125851141 hasConceptScore W2125851141C177264268 @default.
• W2125851141 hasConceptScore W2125851141C199343813 @default.
• W2125851141 hasConceptScore W2125851141C199360897 @default.
• W2125851141 hasConceptScore W2125851141C202444582 @default.
• W2125851141 hasConceptScore W2125851141C206743973 @default.
• W2125851141 hasConceptScore W2125851141C2524010 @default.
• W2125851141 hasConceptScore W2125851141C2777686260 @default.
• W2125851141 hasConceptScore W2125851141C2780069185 @default.
• W2125851141 hasConceptScore W2125851141C33923547 @default.
• W2125851141 hasConceptScore W2125851141C41008148 @default.
• W2125851141 hasConceptScore W2125851141C71924100 @default.
• W2125851141 hasConceptScore W2125851141C80444323 @default.
• W2125851141 hasIssue "1" @default.
• W2125851141 hasLocation W21258511411 @default.
• W2125851141 hasOpenAccess W2125851141 @default.
• W2125851141 hasPrimaryLocation W21258511411 @default.
• W2125851141 hasRelatedWork W103159429 @default.
• W2125851141 hasRelatedWork W1538192303 @default.
• W2125851141 hasRelatedWork W1556936708 @default.
• W2125851141 hasRelatedWork W1803381130 @default.
• W2125851141 hasRelatedWork W1987150355 @default.
• W2125851141 hasRelatedWork W1991856459 @default.
• W2125851141 hasRelatedWork W1995618662 @default.
• W2125851141 hasRelatedWork W1996064523 @default.
• W2125851141 hasRelatedWork W2007008828 @default.
• W2125851141 hasRelatedWork W2013342254 @default.
• W2125851141 hasRelatedWork W2044301710 @default.
• W2125851141 hasRelatedWork W2113577335 @default.
• W2125851141 hasRelatedWork W2135853107 @default.
• W2125851141 hasRelatedWork W2496972307 @default.
• W2125851141 hasRelatedWork W2564359929 @default.
• W2125851141 hasRelatedWork W2898994572 @default.
• W2125851141 hasRelatedWork W2969538927 @default.
• W2125851141 hasRelatedWork W3020741357 @default.
• W2125851141 hasRelatedWork W2135473658 @default.
• W2125851141 hasRelatedWork W2164178488 @default.
• W2125851141 hasVolume "1" @default.

• next