Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899072317> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2899072317 endingPage "48" @default.
- W2899072317 startingPage "34" @default.
- W2899072317 created "2018-11-09" @default.
- W2899072317 creator A5081043954 @default.
- W2899072317 date "2018-01-01" @default.
- W2899072317 modified "2023-09-27" @default.
- W2899072317 title "A Simple Semi-automated Proof Assistant for First-order Modal Logics." @default.
- W2899072317 cites W121484200 @default.
- W2899072317 cites W1448681095 @default.
- W2899072317 cites W1825294361 @default.
- W2899072317 cites W2070324762 @default.
- W2899072317 cites W2075352622 @default.
- W2899072317 cites W2076819871 @default.
- W2899072317 cites W2093111544 @default.
- W2899072317 cites W2112308928 @default.
- W2899072317 cites W2141978322 @default.
- W2899072317 cites W2142995137 @default.
- W2899072317 cites W2277055931 @default.
- W2899072317 cites W2463991046 @default.
- W2899072317 cites W2517066305 @default.
- W2899072317 cites W2604354869 @default.
- W2899072317 cites W2784544484 @default.
- W2899072317 cites W340252736 @default.
- W2899072317 hasPublicationYear "2018" @default.
- W2899072317 type Work @default.
- W2899072317 sameAs 2899072317 @default.
- W2899072317 citedByCount "0" @default.
- W2899072317 crossrefType "journal-article" @default.
- W2899072317 hasAuthorship W2899072317A5081043954 @default.
- W2899072317 hasConcept C10138342 @default.
- W2899072317 hasConcept C102993220 @default.
- W2899072317 hasConcept C111472728 @default.
- W2899072317 hasConcept C11191006 @default.
- W2899072317 hasConcept C114092440 @default.
- W2899072317 hasConcept C138885662 @default.
- W2899072317 hasConcept C144133560 @default.
- W2899072317 hasConcept C182306322 @default.
- W2899072317 hasConcept C185592680 @default.
- W2899072317 hasConcept C188027245 @default.
- W2899072317 hasConcept C199343813 @default.
- W2899072317 hasConcept C199360897 @default.
- W2899072317 hasConcept C203659156 @default.
- W2899072317 hasConcept C2777686260 @default.
- W2899072317 hasConcept C2780586882 @default.
- W2899072317 hasConcept C33923547 @default.
- W2899072317 hasConcept C41008148 @default.
- W2899072317 hasConcept C71139939 @default.
- W2899072317 hasConcept C71924100 @default.
- W2899072317 hasConceptScore W2899072317C10138342 @default.
- W2899072317 hasConceptScore W2899072317C102993220 @default.
- W2899072317 hasConceptScore W2899072317C111472728 @default.
- W2899072317 hasConceptScore W2899072317C11191006 @default.
- W2899072317 hasConceptScore W2899072317C114092440 @default.
- W2899072317 hasConceptScore W2899072317C138885662 @default.
- W2899072317 hasConceptScore W2899072317C144133560 @default.
- W2899072317 hasConceptScore W2899072317C182306322 @default.
- W2899072317 hasConceptScore W2899072317C185592680 @default.
- W2899072317 hasConceptScore W2899072317C188027245 @default.
- W2899072317 hasConceptScore W2899072317C199343813 @default.
- W2899072317 hasConceptScore W2899072317C199360897 @default.
- W2899072317 hasConceptScore W2899072317C203659156 @default.
- W2899072317 hasConceptScore W2899072317C2777686260 @default.
- W2899072317 hasConceptScore W2899072317C2780586882 @default.
- W2899072317 hasConceptScore W2899072317C33923547 @default.
- W2899072317 hasConceptScore W2899072317C41008148 @default.
- W2899072317 hasConceptScore W2899072317C71139939 @default.
- W2899072317 hasConceptScore W2899072317C71924100 @default.
- W2899072317 hasLocation W28990723171 @default.
- W2899072317 hasOpenAccess W2899072317 @default.
- W2899072317 hasPrimaryLocation W28990723171 @default.
- W2899072317 hasRelatedWork W112643067 @default.
- W2899072317 hasRelatedWork W137995385 @default.
- W2899072317 hasRelatedWork W1490486702 @default.
- W2899072317 hasRelatedWork W1759853938 @default.
- W2899072317 hasRelatedWork W182384250 @default.
- W2899072317 hasRelatedWork W182893793 @default.
- W2899072317 hasRelatedWork W1963666633 @default.
- W2899072317 hasRelatedWork W2025362088 @default.
- W2899072317 hasRelatedWork W2113066314 @default.
- W2899072317 hasRelatedWork W2290279606 @default.
- W2899072317 hasRelatedWork W2579346949 @default.
- W2899072317 hasRelatedWork W2752607305 @default.
- W2899072317 hasRelatedWork W2759672591 @default.
- W2899072317 hasRelatedWork W2759990579 @default.
- W2899072317 hasRelatedWork W28519672 @default.
- W2899072317 hasRelatedWork W290590429 @default.
- W2899072317 hasRelatedWork W623990103 @default.
- W2899072317 hasRelatedWork W74396429 @default.
- W2899072317 hasRelatedWork W932593208 @default.
- W2899072317 hasRelatedWork W2560706666 @default.
- W2899072317 isParatext "false" @default.
- W2899072317 isRetracted "false" @default.
- W2899072317 magId "2899072317" @default.
- W2899072317 workType "article" @default.