Matches in SemOpenAlex for { <https://semopenalex.org/work/W1444201407> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1444201407 endingPage "324" @default.
- W1444201407 startingPage "310" @default.
- W1444201407 created "2016-06-24" @default.
- W1444201407 creator A5086172311 @default.
- W1444201407 creator A5086739687 @default.
- W1444201407 date "2005-01-01" @default.
- W1444201407 modified "2023-10-04" @default.
- W1444201407 title "Idempotent Relations in Isabelle/HOL" @default.
- W1444201407 cites W1527018329 @default.
- W1444201407 cites W1546449686 @default.
- W1444201407 cites W2092530416 @default.
- W1444201407 cites W2093397547 @default.
- W1444201407 cites W4234528212 @default.
- W1444201407 cites W4240747429 @default.
- W1444201407 doi "https://doi.org/10.1007/978-3-540-31862-0_23" @default.
- W1444201407 hasPublicationYear "2005" @default.
- W1444201407 type Work @default.
- W1444201407 sameAs 1444201407 @default.
- W1444201407 citedByCount "0" @default.
- W1444201407 crossrefType "book-chapter" @default.
- W1444201407 hasAuthorship W1444201407A5086172311 @default.
- W1444201407 hasAuthorship W1444201407A5086739687 @default.
- W1444201407 hasConcept C11413529 @default.
- W1444201407 hasConcept C118615104 @default.
- W1444201407 hasConcept C136119220 @default.
- W1444201407 hasConcept C14036430 @default.
- W1444201407 hasConcept C171250308 @default.
- W1444201407 hasConcept C172252984 @default.
- W1444201407 hasConcept C17435882 @default.
- W1444201407 hasConcept C192562407 @default.
- W1444201407 hasConcept C199360897 @default.
- W1444201407 hasConcept C202444582 @default.
- W1444201407 hasConcept C25343380 @default.
- W1444201407 hasConcept C2780841128 @default.
- W1444201407 hasConcept C33923547 @default.
- W1444201407 hasConcept C41008148 @default.
- W1444201407 hasConcept C77088390 @default.
- W1444201407 hasConcept C78458016 @default.
- W1444201407 hasConcept C80444323 @default.
- W1444201407 hasConcept C86803240 @default.
- W1444201407 hasConceptScore W1444201407C11413529 @default.
- W1444201407 hasConceptScore W1444201407C118615104 @default.
- W1444201407 hasConceptScore W1444201407C136119220 @default.
- W1444201407 hasConceptScore W1444201407C14036430 @default.
- W1444201407 hasConceptScore W1444201407C171250308 @default.
- W1444201407 hasConceptScore W1444201407C172252984 @default.
- W1444201407 hasConceptScore W1444201407C17435882 @default.
- W1444201407 hasConceptScore W1444201407C192562407 @default.
- W1444201407 hasConceptScore W1444201407C199360897 @default.
- W1444201407 hasConceptScore W1444201407C202444582 @default.
- W1444201407 hasConceptScore W1444201407C25343380 @default.
- W1444201407 hasConceptScore W1444201407C2780841128 @default.
- W1444201407 hasConceptScore W1444201407C33923547 @default.
- W1444201407 hasConceptScore W1444201407C41008148 @default.
- W1444201407 hasConceptScore W1444201407C77088390 @default.
- W1444201407 hasConceptScore W1444201407C78458016 @default.
- W1444201407 hasConceptScore W1444201407C80444323 @default.
- W1444201407 hasConceptScore W1444201407C86803240 @default.
- W1444201407 hasLocation W14442014071 @default.
- W1444201407 hasOpenAccess W1444201407 @default.
- W1444201407 hasPrimaryLocation W14442014071 @default.
- W1444201407 hasRelatedWork W1444201407 @default.
- W1444201407 hasRelatedWork W1510833535 @default.
- W1444201407 hasRelatedWork W1560655349 @default.
- W1444201407 hasRelatedWork W2088318881 @default.
- W1444201407 hasRelatedWork W2166247150 @default.
- W1444201407 hasRelatedWork W2581893892 @default.
- W1444201407 hasRelatedWork W2797934247 @default.
- W1444201407 hasRelatedWork W4243252198 @default.
- W1444201407 hasRelatedWork W2521929038 @default.
- W1444201407 hasRelatedWork W3085888268 @default.
- W1444201407 isParatext "false" @default.
- W1444201407 isRetracted "false" @default.
- W1444201407 magId "1444201407" @default.
- W1444201407 workType "book-chapter" @default.