Matches in SemOpenAlex for { <https://semopenalex.org/work/W76754608> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W76754608 abstract "HyperVenn is a heterogeneous logic resulting from combining the individual homogeneous logics for Euler/Venn diagrams and blocks world diagrams. We provide an example proof from the system along with a brief discussion of some of its inference rules." @default.
- W76754608 created "2016-06-24" @default.
- W76754608 creator A5022448374 @default.
- W76754608 creator A5072093175 @default.
- W76754608 creator A5072416359 @default.
- W76754608 date "2014-01-01" @default.
- W76754608 modified "2023-10-02" @default.
- W76754608 title "An Example HyperVenn Proof" @default.
- W76754608 cites W182508314 @default.
- W76754608 cites W1964935812 @default.
- W76754608 cites W2204071480 @default.
- W76754608 doi "https://doi.org/10.1007/978-3-662-44043-8_8" @default.
- W76754608 hasPublicationYear "2014" @default.
- W76754608 type Work @default.
- W76754608 sameAs 76754608 @default.
- W76754608 citedByCount "1" @default.
- W76754608 countsByYear W767546082018 @default.
- W76754608 crossrefType "book-chapter" @default.
- W76754608 hasAuthorship W76754608A5022448374 @default.
- W76754608 hasAuthorship W76754608A5072093175 @default.
- W76754608 hasAuthorship W76754608A5072416359 @default.
- W76754608 hasConcept C108710211 @default.
- W76754608 hasConcept C11413529 @default.
- W76754608 hasConcept C114614502 @default.
- W76754608 hasConcept C145420912 @default.
- W76754608 hasConcept C154945302 @default.
- W76754608 hasConcept C199343813 @default.
- W76754608 hasConcept C206880738 @default.
- W76754608 hasConcept C2318724 @default.
- W76754608 hasConcept C2524010 @default.
- W76754608 hasConcept C2776214188 @default.
- W76754608 hasConcept C2777686260 @default.
- W76754608 hasConcept C33923547 @default.
- W76754608 hasConcept C3746660 @default.
- W76754608 hasConcept C41008148 @default.
- W76754608 hasConcept C55508974 @default.
- W76754608 hasConcept C66882249 @default.
- W76754608 hasConcept C71924100 @default.
- W76754608 hasConcept C80444323 @default.
- W76754608 hasConceptScore W76754608C108710211 @default.
- W76754608 hasConceptScore W76754608C11413529 @default.
- W76754608 hasConceptScore W76754608C114614502 @default.
- W76754608 hasConceptScore W76754608C145420912 @default.
- W76754608 hasConceptScore W76754608C154945302 @default.
- W76754608 hasConceptScore W76754608C199343813 @default.
- W76754608 hasConceptScore W76754608C206880738 @default.
- W76754608 hasConceptScore W76754608C2318724 @default.
- W76754608 hasConceptScore W76754608C2524010 @default.
- W76754608 hasConceptScore W76754608C2776214188 @default.
- W76754608 hasConceptScore W76754608C2777686260 @default.
- W76754608 hasConceptScore W76754608C33923547 @default.
- W76754608 hasConceptScore W76754608C3746660 @default.
- W76754608 hasConceptScore W76754608C41008148 @default.
- W76754608 hasConceptScore W76754608C55508974 @default.
- W76754608 hasConceptScore W76754608C66882249 @default.
- W76754608 hasConceptScore W76754608C71924100 @default.
- W76754608 hasConceptScore W76754608C80444323 @default.
- W76754608 hasLocation W767546081 @default.
- W76754608 hasOpenAccess W76754608 @default.
- W76754608 hasPrimaryLocation W767546081 @default.
- W76754608 hasRelatedWork W1517268357 @default.
- W76754608 hasRelatedWork W1966301719 @default.
- W76754608 hasRelatedWork W1980139253 @default.
- W76754608 hasRelatedWork W1987578519 @default.
- W76754608 hasRelatedWork W1990923926 @default.
- W76754608 hasRelatedWork W2099971358 @default.
- W76754608 hasRelatedWork W2147347264 @default.
- W76754608 hasRelatedWork W2163094636 @default.
- W76754608 hasRelatedWork W2200003843 @default.
- W76754608 hasRelatedWork W2254428435 @default.
- W76754608 hasRelatedWork W2569484051 @default.
- W76754608 hasRelatedWork W2580399002 @default.
- W76754608 hasRelatedWork W2618186495 @default.
- W76754608 hasRelatedWork W2736558024 @default.
- W76754608 hasRelatedWork W2889066754 @default.
- W76754608 hasRelatedWork W3088380395 @default.
- W76754608 hasRelatedWork W43605392 @default.
- W76754608 hasRelatedWork W1937958053 @default.
- W76754608 hasRelatedWork W2304184743 @default.
- W76754608 hasRelatedWork W2462335174 @default.
- W76754608 isParatext "false" @default.
- W76754608 isRetracted "false" @default.
- W76754608 magId "76754608" @default.
- W76754608 workType "book-chapter" @default.