Matches in SemOpenAlex for { <https://semopenalex.org/work/W1873671437> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1873671437 abstract "Thm 1 states a negative result about the classical semantics of program schemes. Thm 2 investigates the reason for this. We conclude that Thm 2 justifies the Henkin-type semantics ⊨ for which the opposite of the present Thm 1 was proved in Andreka-Nemeti[1]," @default.
- W1873671437 created "2016-06-24" @default.
- W1873671437 creator A5003820161 @default.
- W1873671437 creator A5049340770 @default.
- W1873671437 creator A5080876991 @default.
- W1873671437 date "1979-01-01" @default.
- W1873671437 modified "2023-09-27" @default.
- W1873671437 title "Completeness problems in verification of programs and program schemes" @default.
- W1873671437 cites W2004193076 @default.
- W1873671437 cites W4239479692 @default.
- W1873671437 cites W568910110 @default.
- W1873671437 doi "https://doi.org/10.1007/3-540-09526-8_17" @default.
- W1873671437 hasPublicationYear "1979" @default.
- W1873671437 type Work @default.
- W1873671437 sameAs 1873671437 @default.
- W1873671437 citedByCount "19" @default.
- W1873671437 countsByYear W18736714372013 @default.
- W1873671437 countsByYear W18736714372021 @default.
- W1873671437 crossrefType "book-chapter" @default.
- W1873671437 hasAuthorship W1873671437A5003820161 @default.
- W1873671437 hasAuthorship W1873671437A5049340770 @default.
- W1873671437 hasAuthorship W1873671437A5080876991 @default.
- W1873671437 hasConcept C134306372 @default.
- W1873671437 hasConcept C156325763 @default.
- W1873671437 hasConcept C17231256 @default.
- W1873671437 hasConcept C184337299 @default.
- W1873671437 hasConcept C199360897 @default.
- W1873671437 hasConcept C33923547 @default.
- W1873671437 hasConcept C41008148 @default.
- W1873671437 hasConcept C80444323 @default.
- W1873671437 hasConceptScore W1873671437C134306372 @default.
- W1873671437 hasConceptScore W1873671437C156325763 @default.
- W1873671437 hasConceptScore W1873671437C17231256 @default.
- W1873671437 hasConceptScore W1873671437C184337299 @default.
- W1873671437 hasConceptScore W1873671437C199360897 @default.
- W1873671437 hasConceptScore W1873671437C33923547 @default.
- W1873671437 hasConceptScore W1873671437C41008148 @default.
- W1873671437 hasConceptScore W1873671437C80444323 @default.
- W1873671437 hasLocation W18736714371 @default.
- W1873671437 hasOpenAccess W1873671437 @default.
- W1873671437 hasPrimaryLocation W18736714371 @default.
- W1873671437 hasRelatedWork W1487570243 @default.
- W1873671437 hasRelatedWork W1490966766 @default.
- W1873671437 hasRelatedWork W1544085609 @default.
- W1873671437 hasRelatedWork W1612453857 @default.
- W1873671437 hasRelatedWork W162904547 @default.
- W1873671437 hasRelatedWork W1759699633 @default.
- W1873671437 hasRelatedWork W1978809776 @default.
- W1873671437 hasRelatedWork W1991981864 @default.
- W1873671437 hasRelatedWork W1994586366 @default.
- W1873671437 hasRelatedWork W2006220572 @default.
- W1873671437 hasRelatedWork W2017187886 @default.
- W1873671437 hasRelatedWork W2024016985 @default.
- W1873671437 hasRelatedWork W2031440740 @default.
- W1873671437 hasRelatedWork W2063809508 @default.
- W1873671437 hasRelatedWork W2075350371 @default.
- W1873671437 hasRelatedWork W2087126378 @default.
- W1873671437 hasRelatedWork W2092497338 @default.
- W1873671437 hasRelatedWork W2275990101 @default.
- W1873671437 hasRelatedWork W3146075203 @default.
- W1873671437 hasRelatedWork W69115582 @default.
- W1873671437 isParatext "false" @default.
- W1873671437 isRetracted "false" @default.
- W1873671437 magId "1873671437" @default.
- W1873671437 workType "book-chapter" @default.