Matches in SemOpenAlex for { <https://semopenalex.org/work/W75355178> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W75355178 endingPage "350" @default.
- W75355178 startingPage "336" @default.
- W75355178 created "2016-06-24" @default.
- W75355178 creator A5076668701 @default.
- W75355178 creator A5084550853 @default.
- W75355178 date "1992-01-01" @default.
- W75355178 modified "2023-09-23" @default.
- W75355178 title "Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs." @default.
- W75355178 hasPublicationYear "1992" @default.
- W75355178 type Work @default.
- W75355178 sameAs 75355178 @default.
- W75355178 citedByCount "1" @default.
- W75355178 countsByYear W753551782016 @default.
- W75355178 crossrefType "journal-article" @default.
- W75355178 hasAuthorship W75355178A5076668701 @default.
- W75355178 hasAuthorship W75355178A5084550853 @default.
- W75355178 hasConcept C108710211 @default.
- W75355178 hasConcept C11413529 @default.
- W75355178 hasConcept C124416688 @default.
- W75355178 hasConcept C168773036 @default.
- W75355178 hasConcept C199343813 @default.
- W75355178 hasConcept C199360897 @default.
- W75355178 hasConcept C2524010 @default.
- W75355178 hasConcept C2777686260 @default.
- W75355178 hasConcept C33923547 @default.
- W75355178 hasConcept C41008148 @default.
- W75355178 hasConcept C71924100 @default.
- W75355178 hasConcept C80444323 @default.
- W75355178 hasConcept C94375191 @default.
- W75355178 hasConceptScore W75355178C108710211 @default.
- W75355178 hasConceptScore W75355178C11413529 @default.
- W75355178 hasConceptScore W75355178C124416688 @default.
- W75355178 hasConceptScore W75355178C168773036 @default.
- W75355178 hasConceptScore W75355178C199343813 @default.
- W75355178 hasConceptScore W75355178C199360897 @default.
- W75355178 hasConceptScore W75355178C2524010 @default.
- W75355178 hasConceptScore W75355178C2777686260 @default.
- W75355178 hasConceptScore W75355178C33923547 @default.
- W75355178 hasConceptScore W75355178C41008148 @default.
- W75355178 hasConceptScore W75355178C71924100 @default.
- W75355178 hasConceptScore W75355178C80444323 @default.
- W75355178 hasConceptScore W75355178C94375191 @default.
- W75355178 hasLocation W753551781 @default.
- W75355178 hasOpenAccess W75355178 @default.
- W75355178 hasPrimaryLocation W753551781 @default.
- W75355178 hasRelatedWork W125721120 @default.
- W75355178 hasRelatedWork W1482572800 @default.
- W75355178 hasRelatedWork W1508046216 @default.
- W75355178 hasRelatedWork W1575892537 @default.
- W75355178 hasRelatedWork W1980527029 @default.
- W75355178 hasRelatedWork W1987693120 @default.
- W75355178 hasRelatedWork W2041937391 @default.
- W75355178 hasRelatedWork W2082393912 @default.
- W75355178 hasRelatedWork W2090307683 @default.
- W75355178 hasRelatedWork W2123640792 @default.
- W75355178 hasRelatedWork W2501953491 @default.
- W75355178 hasRelatedWork W2564359929 @default.
- W75355178 hasRelatedWork W2576910171 @default.
- W75355178 hasRelatedWork W2615155304 @default.
- W75355178 hasRelatedWork W2808968707 @default.
- W75355178 hasRelatedWork W2949106240 @default.
- W75355178 hasRelatedWork W2953355824 @default.
- W75355178 hasRelatedWork W2953378180 @default.
- W75355178 hasRelatedWork W3099640838 @default.
- W75355178 hasRelatedWork W3162779894 @default.
- W75355178 isParatext "false" @default.
- W75355178 isRetracted "false" @default.
- W75355178 magId "75355178" @default.
- W75355178 workType "article" @default.