Matches in SemOpenAlex for { <https://semopenalex.org/work/W2465162351> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2465162351 created "2016-07-22" @default.
- W2465162351 creator A5017237200 @default.
- W2465162351 date "2000-01-01" @default.
- W2465162351 modified "2023-09-23" @default.
- W2465162351 title "Encoding Labelled Non-Classical Logics in Isabelle" @default.
- W2465162351 doi "https://doi.org/10.1007/978-1-4757-3208-5_5" @default.
- W2465162351 hasPublicationYear "2000" @default.
- W2465162351 type Work @default.
- W2465162351 sameAs 2465162351 @default.
- W2465162351 citedByCount "0" @default.
- W2465162351 crossrefType "book-chapter" @default.
- W2465162351 hasAuthorship W2465162351A5017237200 @default.
- W2465162351 hasConcept C102993220 @default.
- W2465162351 hasConcept C108710211 @default.
- W2465162351 hasConcept C11171543 @default.
- W2465162351 hasConcept C140146324 @default.
- W2465162351 hasConcept C15744967 @default.
- W2465162351 hasConcept C159718280 @default.
- W2465162351 hasConcept C19689857 @default.
- W2465162351 hasConcept C199343813 @default.
- W2465162351 hasConcept C199360897 @default.
- W2465162351 hasConcept C203265346 @default.
- W2465162351 hasConcept C206880738 @default.
- W2465162351 hasConcept C2524010 @default.
- W2465162351 hasConcept C2777686260 @default.
- W2465162351 hasConcept C2781140086 @default.
- W2465162351 hasConcept C32241873 @default.
- W2465162351 hasConcept C33923547 @default.
- W2465162351 hasConcept C41008148 @default.
- W2465162351 hasConcept C62073222 @default.
- W2465162351 hasConcept C71924100 @default.
- W2465162351 hasConceptScore W2465162351C102993220 @default.
- W2465162351 hasConceptScore W2465162351C108710211 @default.
- W2465162351 hasConceptScore W2465162351C11171543 @default.
- W2465162351 hasConceptScore W2465162351C140146324 @default.
- W2465162351 hasConceptScore W2465162351C15744967 @default.
- W2465162351 hasConceptScore W2465162351C159718280 @default.
- W2465162351 hasConceptScore W2465162351C19689857 @default.
- W2465162351 hasConceptScore W2465162351C199343813 @default.
- W2465162351 hasConceptScore W2465162351C199360897 @default.
- W2465162351 hasConceptScore W2465162351C203265346 @default.
- W2465162351 hasConceptScore W2465162351C206880738 @default.
- W2465162351 hasConceptScore W2465162351C2524010 @default.
- W2465162351 hasConceptScore W2465162351C2777686260 @default.
- W2465162351 hasConceptScore W2465162351C2781140086 @default.
- W2465162351 hasConceptScore W2465162351C32241873 @default.
- W2465162351 hasConceptScore W2465162351C33923547 @default.
- W2465162351 hasConceptScore W2465162351C41008148 @default.
- W2465162351 hasConceptScore W2465162351C62073222 @default.
- W2465162351 hasConceptScore W2465162351C71924100 @default.
- W2465162351 hasLocation W24651623511 @default.
- W2465162351 hasOpenAccess W2465162351 @default.
- W2465162351 hasPrimaryLocation W24651623511 @default.
- W2465162351 hasRelatedWork W15246410 @default.
- W2465162351 hasRelatedWork W1574253590 @default.
- W2465162351 hasRelatedWork W1823478466 @default.
- W2465162351 hasRelatedWork W1909842525 @default.
- W2465162351 hasRelatedWork W1926673875 @default.
- W2465162351 hasRelatedWork W1966944960 @default.
- W2465162351 hasRelatedWork W1999703197 @default.
- W2465162351 hasRelatedWork W2020595717 @default.
- W2465162351 hasRelatedWork W203833057 @default.
- W2465162351 hasRelatedWork W2051358061 @default.
- W2465162351 hasRelatedWork W2115895996 @default.
- W2465162351 hasRelatedWork W2147302656 @default.
- W2465162351 hasRelatedWork W2148256560 @default.
- W2465162351 hasRelatedWork W2153265271 @default.
- W2465162351 hasRelatedWork W2170954486 @default.
- W2465162351 hasRelatedWork W2222257017 @default.
- W2465162351 hasRelatedWork W2918085923 @default.
- W2465162351 hasRelatedWork W2951915221 @default.
- W2465162351 hasRelatedWork W3195923729 @default.
- W2465162351 hasRelatedWork W1509743236 @default.
- W2465162351 isParatext "false" @default.
- W2465162351 isRetracted "false" @default.
- W2465162351 magId "2465162351" @default.
- W2465162351 workType "book-chapter" @default.