Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569183350> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1569183350 endingPage "276" @default.
- W1569183350 startingPage "262" @default.
- W1569183350 created "2016-06-24" @default.
- W1569183350 creator A5053945031 @default.
- W1569183350 creator A5087898463 @default.
- W1569183350 date "1998-01-01" @default.
- W1569183350 modified "2023-10-03" @default.
- W1569183350 title "Deleting Redundancy in Proof Reconstruction" @default.
- W1569183350 cites W1495396426 @default.
- W1569183350 cites W1499443302 @default.
- W1569183350 cites W1570374618 @default.
- W1569183350 cites W1607410148 @default.
- W1569183350 cites W1787768633 @default.
- W1569183350 cites W1862061328 @default.
- W1569183350 cites W2010939537 @default.
- W1569183350 cites W2084894656 @default.
- W1569183350 cites W2100738443 @default.
- W1569183350 cites W2103614325 @default.
- W1569183350 cites W2111792525 @default.
- W1569183350 cites W2124044295 @default.
- W1569183350 cites W2134977256 @default.
- W1569183350 cites W2156307264 @default.
- W1569183350 cites W4254134740 @default.
- W1569183350 doi "https://doi.org/10.1007/3-540-69778-0_27" @default.
- W1569183350 hasPublicationYear "1998" @default.
- W1569183350 type Work @default.
- W1569183350 sameAs 1569183350 @default.
- W1569183350 citedByCount "6" @default.
- W1569183350 crossrefType "book-chapter" @default.
- W1569183350 hasAuthorship W1569183350A5053945031 @default.
- W1569183350 hasAuthorship W1569183350A5087898463 @default.
- W1569183350 hasConcept C108710211 @default.
- W1569183350 hasConcept C111919701 @default.
- W1569183350 hasConcept C11413529 @default.
- W1569183350 hasConcept C124978682 @default.
- W1569183350 hasConcept C152124472 @default.
- W1569183350 hasConcept C199343813 @default.
- W1569183350 hasConcept C199360897 @default.
- W1569183350 hasConcept C2318724 @default.
- W1569183350 hasConcept C2524010 @default.
- W1569183350 hasConcept C2777686260 @default.
- W1569183350 hasConcept C33923547 @default.
- W1569183350 hasConcept C41008148 @default.
- W1569183350 hasConcept C71924100 @default.
- W1569183350 hasConcept C80444323 @default.
- W1569183350 hasConcept C89421646 @default.
- W1569183350 hasConceptScore W1569183350C108710211 @default.
- W1569183350 hasConceptScore W1569183350C111919701 @default.
- W1569183350 hasConceptScore W1569183350C11413529 @default.
- W1569183350 hasConceptScore W1569183350C124978682 @default.
- W1569183350 hasConceptScore W1569183350C152124472 @default.
- W1569183350 hasConceptScore W1569183350C199343813 @default.
- W1569183350 hasConceptScore W1569183350C199360897 @default.
- W1569183350 hasConceptScore W1569183350C2318724 @default.
- W1569183350 hasConceptScore W1569183350C2524010 @default.
- W1569183350 hasConceptScore W1569183350C2777686260 @default.
- W1569183350 hasConceptScore W1569183350C33923547 @default.
- W1569183350 hasConceptScore W1569183350C41008148 @default.
- W1569183350 hasConceptScore W1569183350C71924100 @default.
- W1569183350 hasConceptScore W1569183350C80444323 @default.
- W1569183350 hasConceptScore W1569183350C89421646 @default.
- W1569183350 hasLocation W15691833501 @default.
- W1569183350 hasOpenAccess W1569183350 @default.
- W1569183350 hasPrimaryLocation W15691833501 @default.
- W1569183350 hasRelatedWork W1479042755 @default.
- W1569183350 hasRelatedWork W1569183350 @default.
- W1569183350 hasRelatedWork W2095441824 @default.
- W1569183350 hasRelatedWork W2793983771 @default.
- W1569183350 hasRelatedWork W2806893870 @default.
- W1569183350 hasRelatedWork W2891688494 @default.
- W1569183350 hasRelatedWork W3022665703 @default.
- W1569183350 hasRelatedWork W3212503723 @default.
- W1569183350 hasRelatedWork W4210480840 @default.
- W1569183350 hasRelatedWork W2584260698 @default.
- W1569183350 isParatext "false" @default.
- W1569183350 isRetracted "false" @default.
- W1569183350 magId "1569183350" @default.
- W1569183350 workType "book-chapter" @default.