Matches in SemOpenAlex for { <https://semopenalex.org/work/W432846297> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W432846297 created "2016-06-24" @default.
- W432846297 creator A5065232050 @default.
- W432846297 date "2000-01-01" @default.
- W432846297 modified "2023-09-22" @default.
- W432846297 title "Proof planning for imperative program development" @default.
- W432846297 hasPublicationYear "2000" @default.
- W432846297 type Work @default.
- W432846297 sameAs 432846297 @default.
- W432846297 citedByCount "2" @default.
- W432846297 countsByYear W4328462972013 @default.
- W432846297 crossrefType "dissertation" @default.
- W432846297 hasAuthorship W432846297A5065232050 @default.
- W432846297 hasConcept C134306372 @default.
- W432846297 hasConcept C2776542497 @default.
- W432846297 hasConcept C33923547 @default.
- W432846297 hasConcept C41008148 @default.
- W432846297 hasConceptScore W432846297C134306372 @default.
- W432846297 hasConceptScore W432846297C2776542497 @default.
- W432846297 hasConceptScore W432846297C33923547 @default.
- W432846297 hasConceptScore W432846297C41008148 @default.
- W432846297 hasLocation W4328462971 @default.
- W432846297 hasOpenAccess W432846297 @default.
- W432846297 hasPrimaryLocation W4328462971 @default.
- W432846297 hasRelatedWork W1544331224 @default.
- W432846297 hasRelatedWork W16700250 @default.
- W432846297 hasRelatedWork W1974066084 @default.
- W432846297 hasRelatedWork W1990306052 @default.
- W432846297 hasRelatedWork W1996860174 @default.
- W432846297 hasRelatedWork W2010145286 @default.
- W432846297 hasRelatedWork W2059138077 @default.
- W432846297 hasRelatedWork W2146534945 @default.
- W432846297 hasRelatedWork W2203602368 @default.
- W432846297 hasRelatedWork W2314096518 @default.
- W432846297 hasRelatedWork W2319480058 @default.
- W432846297 hasRelatedWork W2609560486 @default.
- W432846297 hasRelatedWork W2726351085 @default.
- W432846297 hasRelatedWork W2799804667 @default.
- W432846297 hasRelatedWork W52655955 @default.
- W432846297 hasRelatedWork W637102270 @default.
- W432846297 hasRelatedWork W656203903 @default.
- W432846297 hasRelatedWork W823701543 @default.
- W432846297 hasRelatedWork W83179537 @default.
- W432846297 hasRelatedWork W2103205425 @default.
- W432846297 isParatext "false" @default.
- W432846297 isRetracted "false" @default.
- W432846297 magId "432846297" @default.
- W432846297 workType "dissertation" @default.