Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517365746> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1517365746 abstract "We show that any predicate transformer is rendered (semantically) by a first-order theory, provided it is propositionally closed, i.e. closed under the rules of Consequence, Conjunction and Disjunction." @default.
- W1517365746 created "2016-06-24" @default.
- W1517365746 creator A5018841823 @default.
- W1517365746 date "1985-01-01" @default.
- W1517365746 modified "2023-09-27" @default.
- W1517365746 title "Partial-correctness theories as first-order theories" @default.
- W1517365746 cites W2012213337 @default.
- W1517365746 cites W2087821987 @default.
- W1517365746 cites W2095224573 @default.
- W1517365746 cites W2987907651 @default.
- W1517365746 cites W4236364473 @default.
- W1517365746 cites W1980335312 @default.
- W1517365746 doi "https://doi.org/10.1007/3-540-15648-8_15" @default.
- W1517365746 hasPublicationYear "1985" @default.
- W1517365746 type Work @default.
- W1517365746 sameAs 1517365746 @default.
- W1517365746 citedByCount "1" @default.
- W1517365746 crossrefType "book-chapter" @default.
- W1517365746 hasAuthorship W1517365746A5018841823 @default.
- W1517365746 hasConcept C10138342 @default.
- W1517365746 hasConcept C11413529 @default.
- W1517365746 hasConcept C162324750 @default.
- W1517365746 hasConcept C182306322 @default.
- W1517365746 hasConcept C199343813 @default.
- W1517365746 hasConcept C2777686260 @default.
- W1517365746 hasConcept C41008148 @default.
- W1517365746 hasConcept C55439883 @default.
- W1517365746 hasConcept C71924100 @default.
- W1517365746 hasConcept C80444323 @default.
- W1517365746 hasConceptScore W1517365746C10138342 @default.
- W1517365746 hasConceptScore W1517365746C11413529 @default.
- W1517365746 hasConceptScore W1517365746C162324750 @default.
- W1517365746 hasConceptScore W1517365746C182306322 @default.
- W1517365746 hasConceptScore W1517365746C199343813 @default.
- W1517365746 hasConceptScore W1517365746C2777686260 @default.
- W1517365746 hasConceptScore W1517365746C41008148 @default.
- W1517365746 hasConceptScore W1517365746C55439883 @default.
- W1517365746 hasConceptScore W1517365746C71924100 @default.
- W1517365746 hasConceptScore W1517365746C80444323 @default.
- W1517365746 hasLocation W15173657461 @default.
- W1517365746 hasOpenAccess W1517365746 @default.
- W1517365746 hasPrimaryLocation W15173657461 @default.
- W1517365746 hasRelatedWork W124433265 @default.
- W1517365746 hasRelatedWork W1482474516 @default.
- W1517365746 hasRelatedWork W1483444285 @default.
- W1517365746 hasRelatedWork W1548268448 @default.
- W1517365746 hasRelatedWork W1751510650 @default.
- W1517365746 hasRelatedWork W2043056708 @default.
- W1517365746 hasRelatedWork W2069531716 @default.
- W1517365746 hasRelatedWork W2077954219 @default.
- W1517365746 hasRelatedWork W2109953994 @default.
- W1517365746 hasRelatedWork W2129865151 @default.
- W1517365746 hasRelatedWork W2134788346 @default.
- W1517365746 hasRelatedWork W220146932 @default.
- W1517365746 hasRelatedWork W2569257544 @default.
- W1517365746 hasRelatedWork W2606491029 @default.
- W1517365746 hasRelatedWork W2889548529 @default.
- W1517365746 hasRelatedWork W32330612 @default.
- W1517365746 hasRelatedWork W74168825 @default.
- W1517365746 hasRelatedWork W837646209 @default.
- W1517365746 hasRelatedWork W8551796 @default.
- W1517365746 hasRelatedWork W93385149 @default.
- W1517365746 isParatext "false" @default.
- W1517365746 isRetracted "false" @default.
- W1517365746 magId "1517365746" @default.
- W1517365746 workType "book-chapter" @default.