Matches in SemOpenAlex for { <https://semopenalex.org/work/W2238631904> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2238631904 created "2016-06-24" @default.
- W2238631904 creator A5003483051 @default.
- W2238631904 creator A5015683413 @default.
- W2238631904 creator A5045859619 @default.
- W2238631904 creator A5068312876 @default.
- W2238631904 creator A5086583628 @default.
- W2238631904 date "2015-01-01" @default.
- W2238631904 modified "2023-09-27" @default.
- W2238631904 title "The Lean Theorem Prover" @default.
- W2238631904 hasPublicationYear "2015" @default.
- W2238631904 type Work @default.
- W2238631904 sameAs 2238631904 @default.
- W2238631904 citedByCount "8" @default.
- W2238631904 countsByYear W22386319042015 @default.
- W2238631904 countsByYear W22386319042017 @default.
- W2238631904 countsByYear W22386319042019 @default.
- W2238631904 countsByYear W22386319042021 @default.
- W2238631904 countsByYear W22386319042023 @default.
- W2238631904 crossrefType "journal-article" @default.
- W2238631904 hasAuthorship W2238631904A5003483051 @default.
- W2238631904 hasAuthorship W2238631904A5015683413 @default.
- W2238631904 hasAuthorship W2238631904A5045859619 @default.
- W2238631904 hasAuthorship W2238631904A5068312876 @default.
- W2238631904 hasAuthorship W2238631904A5086583628 @default.
- W2238631904 hasConcept C108710211 @default.
- W2238631904 hasConcept C118615104 @default.
- W2238631904 hasConcept C144237770 @default.
- W2238631904 hasConcept C159718280 @default.
- W2238631904 hasConcept C199343813 @default.
- W2238631904 hasConcept C2524010 @default.
- W2238631904 hasConcept C2777686260 @default.
- W2238631904 hasConcept C33923547 @default.
- W2238631904 hasConcept C71924100 @default.
- W2238631904 hasConceptScore W2238631904C108710211 @default.
- W2238631904 hasConceptScore W2238631904C118615104 @default.
- W2238631904 hasConceptScore W2238631904C144237770 @default.
- W2238631904 hasConceptScore W2238631904C159718280 @default.
- W2238631904 hasConceptScore W2238631904C199343813 @default.
- W2238631904 hasConceptScore W2238631904C2524010 @default.
- W2238631904 hasConceptScore W2238631904C2777686260 @default.
- W2238631904 hasConceptScore W2238631904C33923547 @default.
- W2238631904 hasConceptScore W2238631904C71924100 @default.
- W2238631904 hasLocation W22386319041 @default.
- W2238631904 hasOpenAccess W2238631904 @default.
- W2238631904 hasPrimaryLocation W22386319041 @default.
- W2238631904 hasRelatedWork W133949766 @default.
- W2238631904 hasRelatedWork W1464569014 @default.
- W2238631904 hasRelatedWork W1480909796 @default.
- W2238631904 hasRelatedWork W154368879 @default.
- W2238631904 hasRelatedWork W168451675 @default.
- W2238631904 hasRelatedWork W17889614 @default.
- W2238631904 hasRelatedWork W179065745 @default.
- W2238631904 hasRelatedWork W1986402635 @default.
- W2238631904 hasRelatedWork W2055082904 @default.
- W2238631904 hasRelatedWork W2145108549 @default.
- W2238631904 hasRelatedWork W2158022092 @default.
- W2238631904 hasRelatedWork W2296124584 @default.
- W2238631904 hasRelatedWork W2401255201 @default.
- W2238631904 hasRelatedWork W2485764773 @default.
- W2238631904 hasRelatedWork W2503161610 @default.
- W2238631904 hasRelatedWork W2753707546 @default.
- W2238631904 hasRelatedWork W2787305567 @default.
- W2238631904 hasRelatedWork W2885520215 @default.
- W2238631904 hasRelatedWork W593894321 @default.
- W2238631904 hasRelatedWork W1542579875 @default.
- W2238631904 isParatext "false" @default.
- W2238631904 isRetracted "false" @default.
- W2238631904 magId "2238631904" @default.
- W2238631904 workType "article" @default.