Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490852651> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1490852651 created "2016-06-24" @default.
- W1490852651 creator A5010032269 @default.
- W1490852651 date "2002-01-01" @default.
- W1490852651 modified "2023-09-26" @default.
- W1490852651 title "Pre- and postcondition reasoning for dynamic first order logic" @default.
- W1490852651 hasPublicationYear "2002" @default.
- W1490852651 type Work @default.
- W1490852651 sameAs 1490852651 @default.
- W1490852651 citedByCount "0" @default.
- W1490852651 crossrefType "journal-article" @default.
- W1490852651 hasAuthorship W1490852651A5010032269 @default.
- W1490852651 hasConcept C10138342 @default.
- W1490852651 hasConcept C144133560 @default.
- W1490852651 hasConcept C182306322 @default.
- W1490852651 hasConcept C195344581 @default.
- W1490852651 hasConcept C199360897 @default.
- W1490852651 hasConcept C33923547 @default.
- W1490852651 hasConcept C41008148 @default.
- W1490852651 hasConceptScore W1490852651C10138342 @default.
- W1490852651 hasConceptScore W1490852651C144133560 @default.
- W1490852651 hasConceptScore W1490852651C182306322 @default.
- W1490852651 hasConceptScore W1490852651C195344581 @default.
- W1490852651 hasConceptScore W1490852651C199360897 @default.
- W1490852651 hasConceptScore W1490852651C33923547 @default.
- W1490852651 hasConceptScore W1490852651C41008148 @default.
- W1490852651 hasLocation W14908526511 @default.
- W1490852651 hasOpenAccess W1490852651 @default.
- W1490852651 hasPrimaryLocation W14908526511 @default.
- W1490852651 hasRelatedWork W140959013 @default.
- W1490852651 hasRelatedWork W1486772436 @default.
- W1490852651 hasRelatedWork W1526357656 @default.
- W1490852651 hasRelatedWork W1528237133 @default.
- W1490852651 hasRelatedWork W1542582773 @default.
- W1490852651 hasRelatedWork W1556256464 @default.
- W1490852651 hasRelatedWork W1557197361 @default.
- W1490852651 hasRelatedWork W1654365180 @default.
- W1490852651 hasRelatedWork W1883136482 @default.
- W1490852651 hasRelatedWork W1965633185 @default.
- W1490852651 hasRelatedWork W1976330002 @default.
- W1490852651 hasRelatedWork W2034645154 @default.
- W1490852651 hasRelatedWork W2145806860 @default.
- W1490852651 hasRelatedWork W216799570 @default.
- W1490852651 hasRelatedWork W2476396007 @default.
- W1490852651 hasRelatedWork W2490793602 @default.
- W1490852651 hasRelatedWork W2524829341 @default.
- W1490852651 hasRelatedWork W2568603940 @default.
- W1490852651 hasRelatedWork W3184427385 @default.
- W1490852651 hasRelatedWork W166779186 @default.
- W1490852651 isParatext "false" @default.
- W1490852651 isRetracted "false" @default.
- W1490852651 magId "1490852651" @default.
- W1490852651 workType "article" @default.