Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023441400> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2023441400 endingPage "318" @default.
- W2023441400 startingPage "317" @default.
- W2023441400 created "2016-06-24" @default.
- W2023441400 creator A5052847689 @default.
- W2023441400 creator A5081793893 @default.
- W2023441400 creator A5089372145 @default.
- W2023441400 date "1976-01-01" @default.
- W2023441400 modified "2023-10-17" @default.
- W2023441400 title "Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?" @default.
- W2023441400 cites W2066210260 @default.
- W2023441400 cites W2142018213 @default.
- W2023441400 doi "https://doi.org/10.1007/bf00288660" @default.
- W2023441400 hasPublicationYear "1976" @default.
- W2023441400 type Work @default.
- W2023441400 sameAs 2023441400 @default.
- W2023441400 citedByCount "28" @default.
- W2023441400 countsByYear W20234414002020 @default.
- W2023441400 countsByYear W20234414002021 @default.
- W2023441400 crossrefType "journal-article" @default.
- W2023441400 hasAuthorship W2023441400A5052847689 @default.
- W2023441400 hasAuthorship W2023441400A5081793893 @default.
- W2023441400 hasAuthorship W2023441400A5089372145 @default.
- W2023441400 hasConcept C199360897 @default.
- W2023441400 hasConcept C24858836 @default.
- W2023441400 hasConcept C33923547 @default.
- W2023441400 hasConcept C41008148 @default.
- W2023441400 hasConceptScore W2023441400C199360897 @default.
- W2023441400 hasConceptScore W2023441400C24858836 @default.
- W2023441400 hasConceptScore W2023441400C33923547 @default.
- W2023441400 hasConceptScore W2023441400C41008148 @default.
- W2023441400 hasIssue "3" @default.
- W2023441400 hasLocation W20234414001 @default.
- W2023441400 hasOpenAccess W2023441400 @default.
- W2023441400 hasPrimaryLocation W20234414001 @default.
- W2023441400 hasRelatedWork W2013111119 @default.
- W2023441400 hasRelatedWork W2047793074 @default.
- W2023441400 hasRelatedWork W2112962394 @default.
- W2023441400 hasRelatedWork W2118300983 @default.
- W2023441400 hasRelatedWork W2382501300 @default.
- W2023441400 hasRelatedWork W3137189469 @default.
- W2023441400 hasRelatedWork W3162240892 @default.
- W2023441400 hasRelatedWork W4235530921 @default.
- W2023441400 hasRelatedWork W4243252198 @default.
- W2023441400 hasRelatedWork W4245713008 @default.
- W2023441400 hasVolume "6" @default.
- W2023441400 isParatext "false" @default.
- W2023441400 isRetracted "false" @default.
- W2023441400 magId "2023441400" @default.
- W2023441400 workType "article" @default.