Matches in SemOpenAlex for { <https://semopenalex.org/work/W861895685> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W861895685 created "2016-06-24" @default.
- W861895685 creator A5006506367 @default.
- W861895685 date "1988-01-01" @default.
- W861895685 modified "2023-09-28" @default.
- W861895685 title "Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA" @default.
- W861895685 doi "https://doi.org/10.4064/-21-1-427-436" @default.
- W861895685 hasPublicationYear "1988" @default.
- W861895685 type Work @default.
- W861895685 sameAs 861895685 @default.
- W861895685 citedByCount "0" @default.
- W861895685 crossrefType "journal-article" @default.
- W861895685 hasAuthorship W861895685A5006506367 @default.
- W861895685 hasBestOaLocation W8618956851 @default.
- W861895685 hasConcept C110729354 @default.
- W861895685 hasConcept C118615104 @default.
- W861895685 hasConcept C176181172 @default.
- W861895685 hasConcept C199343813 @default.
- W861895685 hasConcept C199360897 @default.
- W861895685 hasConcept C2777686260 @default.
- W861895685 hasConcept C33923547 @default.
- W861895685 hasConcept C41008148 @default.
- W861895685 hasConcept C71924100 @default.
- W861895685 hasConceptScore W861895685C110729354 @default.
- W861895685 hasConceptScore W861895685C118615104 @default.
- W861895685 hasConceptScore W861895685C176181172 @default.
- W861895685 hasConceptScore W861895685C199343813 @default.
- W861895685 hasConceptScore W861895685C199360897 @default.
- W861895685 hasConceptScore W861895685C2777686260 @default.
- W861895685 hasConceptScore W861895685C33923547 @default.
- W861895685 hasConceptScore W861895685C41008148 @default.
- W861895685 hasConceptScore W861895685C71924100 @default.
- W861895685 hasLocation W8618956851 @default.
- W861895685 hasOpenAccess W861895685 @default.
- W861895685 hasPrimaryLocation W8618956851 @default.
- W861895685 hasRelatedWork W1595031677 @default.
- W861895685 hasRelatedWork W1606528032 @default.
- W861895685 hasRelatedWork W1766867734 @default.
- W861895685 hasRelatedWork W1951384642 @default.
- W861895685 hasRelatedWork W2022963984 @default.
- W861895685 hasRelatedWork W2041580396 @default.
- W861895685 hasRelatedWork W2049766150 @default.
- W861895685 hasRelatedWork W2108613905 @default.
- W861895685 hasRelatedWork W2110126675 @default.
- W861895685 hasRelatedWork W2395119740 @default.
- W861895685 hasRelatedWork W2466670484 @default.
- W861895685 hasRelatedWork W2616454653 @default.
- W861895685 hasRelatedWork W2895078906 @default.
- W861895685 hasRelatedWork W2964052308 @default.
- W861895685 hasRelatedWork W2999871955 @default.
- W861895685 hasRelatedWork W3121728303 @default.
- W861895685 hasRelatedWork W3162960536 @default.
- W861895685 hasRelatedWork W3195114123 @default.
- W861895685 hasRelatedWork W1886429788 @default.
- W861895685 hasRelatedWork W2109517606 @default.
- W861895685 isParatext "false" @default.
- W861895685 isRetracted "false" @default.
- W861895685 magId "861895685" @default.
- W861895685 workType "article" @default.