Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094276247> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2094276247 created "2016-06-24" @default.
- W2094276247 creator A5056525216 @default.
- W2094276247 creator A5057061762 @default.
- W2094276247 creator A5070995794 @default.
- W2094276247 date "1994-01-01" @default.
- W2094276247 modified "2023-09-27" @default.
- W2094276247 title "An improved refutation system for intuitionistic predicate logic" @default.
- W2094276247 cites W1605082355 @default.
- W2094276247 cites W1699512023 @default.
- W2094276247 cites W2131739376 @default.
- W2094276247 cites W2243154890 @default.
- W2094276247 cites W4213130966 @default.
- W2094276247 cites W54230469 @default.
- W2094276247 doi "https://doi.org/10.1007/bf00881949" @default.
- W2094276247 hasPublicationYear "1994" @default.
- W2094276247 type Work @default.
- W2094276247 sameAs 2094276247 @default.
- W2094276247 citedByCount "22" @default.
- W2094276247 countsByYear W20942762472012 @default.
- W2094276247 crossrefType "journal-article" @default.
- W2094276247 hasAuthorship W2094276247A5056525216 @default.
- W2094276247 hasAuthorship W2094276247A5057061762 @default.
- W2094276247 hasAuthorship W2094276247A5070995794 @default.
- W2094276247 hasConcept C102993220 @default.
- W2094276247 hasConcept C108710211 @default.
- W2094276247 hasConcept C118615104 @default.
- W2094276247 hasConcept C140146324 @default.
- W2094276247 hasConcept C160131679 @default.
- W2094276247 hasConcept C169896238 @default.
- W2094276247 hasConcept C178421362 @default.
- W2094276247 hasConcept C19689857 @default.
- W2094276247 hasConcept C199343813 @default.
- W2094276247 hasConcept C199360897 @default.
- W2094276247 hasConcept C2524010 @default.
- W2094276247 hasConcept C2777686260 @default.
- W2094276247 hasConcept C33203268 @default.
- W2094276247 hasConcept C33923547 @default.
- W2094276247 hasConcept C41008148 @default.
- W2094276247 hasConcept C62073222 @default.
- W2094276247 hasConcept C69562738 @default.
- W2094276247 hasConcept C71924100 @default.
- W2094276247 hasConceptScore W2094276247C102993220 @default.
- W2094276247 hasConceptScore W2094276247C108710211 @default.
- W2094276247 hasConceptScore W2094276247C118615104 @default.
- W2094276247 hasConceptScore W2094276247C140146324 @default.
- W2094276247 hasConceptScore W2094276247C160131679 @default.
- W2094276247 hasConceptScore W2094276247C169896238 @default.
- W2094276247 hasConceptScore W2094276247C178421362 @default.
- W2094276247 hasConceptScore W2094276247C19689857 @default.
- W2094276247 hasConceptScore W2094276247C199343813 @default.
- W2094276247 hasConceptScore W2094276247C199360897 @default.
- W2094276247 hasConceptScore W2094276247C2524010 @default.
- W2094276247 hasConceptScore W2094276247C2777686260 @default.
- W2094276247 hasConceptScore W2094276247C33203268 @default.
- W2094276247 hasConceptScore W2094276247C33923547 @default.
- W2094276247 hasConceptScore W2094276247C41008148 @default.
- W2094276247 hasConceptScore W2094276247C62073222 @default.
- W2094276247 hasConceptScore W2094276247C69562738 @default.
- W2094276247 hasConceptScore W2094276247C71924100 @default.
- W2094276247 hasLocation W20942762471 @default.
- W2094276247 hasOpenAccess W2094276247 @default.
- W2094276247 hasPrimaryLocation W20942762471 @default.
- W2094276247 hasRelatedWork W1495662780 @default.
- W2094276247 hasRelatedWork W1536217426 @default.
- W2094276247 hasRelatedWork W1564327923 @default.
- W2094276247 hasRelatedWork W1570848118 @default.
- W2094276247 hasRelatedWork W1807903125 @default.
- W2094276247 hasRelatedWork W2003546572 @default.
- W2094276247 hasRelatedWork W2009938424 @default.
- W2094276247 hasRelatedWork W2055558461 @default.
- W2094276247 hasRelatedWork W2072873942 @default.
- W2094276247 hasRelatedWork W2074283846 @default.
- W2094276247 hasRelatedWork W2075692041 @default.
- W2094276247 hasRelatedWork W2077061463 @default.
- W2094276247 hasRelatedWork W2092765780 @default.
- W2094276247 hasRelatedWork W2094946156 @default.
- W2094276247 hasRelatedWork W2131739376 @default.
- W2094276247 hasRelatedWork W2497456301 @default.
- W2094276247 hasRelatedWork W2753667555 @default.
- W2094276247 hasRelatedWork W3032980851 @default.
- W2094276247 hasRelatedWork W3105213457 @default.
- W2094276247 hasRelatedWork W61450922 @default.
- W2094276247 isParatext "false" @default.
- W2094276247 isRetracted "false" @default.
- W2094276247 magId "2094276247" @default.
- W2094276247 workType "article" @default.