Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024920908> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2024920908 endingPage "48" @default.
- W2024920908 startingPage "45" @default.
- W2024920908 created "2016-06-24" @default.
- W2024920908 creator A5066454537 @default.
- W2024920908 date "1991-09-01" @default.
- W2024920908 modified "2023-10-18" @default.
- W2024920908 title "Computer programs and mathematical proofs" @default.
- W2024920908 cites W1980026967 @default.
- W2024920908 cites W3021845913 @default.
- W2024920908 cites W4251522599 @default.
- W2024920908 cites W4252836670 @default.
- W2024920908 doi "https://doi.org/10.1007/bf03028342" @default.
- W2024920908 hasPublicationYear "1991" @default.
- W2024920908 type Work @default.
- W2024920908 sameAs 2024920908 @default.
- W2024920908 citedByCount "2" @default.
- W2024920908 crossrefType "journal-article" @default.
- W2024920908 hasAuthorship W2024920908A5066454537 @default.
- W2024920908 hasConcept C108710211 @default.
- W2024920908 hasConcept C199343813 @default.
- W2024920908 hasConcept C199360897 @default.
- W2024920908 hasConcept C2524010 @default.
- W2024920908 hasConcept C2777686260 @default.
- W2024920908 hasConcept C33923547 @default.
- W2024920908 hasConcept C41008148 @default.
- W2024920908 hasConcept C71924100 @default.
- W2024920908 hasConceptScore W2024920908C108710211 @default.
- W2024920908 hasConceptScore W2024920908C199343813 @default.
- W2024920908 hasConceptScore W2024920908C199360897 @default.
- W2024920908 hasConceptScore W2024920908C2524010 @default.
- W2024920908 hasConceptScore W2024920908C2777686260 @default.
- W2024920908 hasConceptScore W2024920908C33923547 @default.
- W2024920908 hasConceptScore W2024920908C41008148 @default.
- W2024920908 hasConceptScore W2024920908C71924100 @default.
- W2024920908 hasIssue "4" @default.
- W2024920908 hasLocation W20249209081 @default.
- W2024920908 hasOpenAccess W2024920908 @default.
- W2024920908 hasPrimaryLocation W20249209081 @default.
- W2024920908 hasRelatedWork W1987272770 @default.
- W2024920908 hasRelatedWork W1995284689 @default.
- W2024920908 hasRelatedWork W2025910816 @default.
- W2024920908 hasRelatedWork W2112962394 @default.
- W2024920908 hasRelatedWork W2118300983 @default.
- W2024920908 hasRelatedWork W2143578351 @default.
- W2024920908 hasRelatedWork W2321824256 @default.
- W2024920908 hasRelatedWork W2333819912 @default.
- W2024920908 hasRelatedWork W3137189469 @default.
- W2024920908 hasRelatedWork W4243252198 @default.
- W2024920908 hasVolume "13" @default.
- W2024920908 isParatext "false" @default.
- W2024920908 isRetracted "false" @default.
- W2024920908 magId "2024920908" @default.
- W2024920908 workType "article" @default.