Matches in SemOpenAlex for { <https://semopenalex.org/work/W2736915698> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2736915698 created "2017-07-31" @default.
- W2736915698 creator A5000839306 @default.
- W2736915698 creator A5004071745 @default.
- W2736915698 creator A5004958754 @default.
- W2736915698 creator A5007577192 @default.
- W2736915698 creator A5008794714 @default.
- W2736915698 creator A5015428068 @default.
- W2736915698 creator A5019381036 @default.
- W2736915698 creator A5020794048 @default.
- W2736915698 creator A5023882792 @default.
- W2736915698 creator A5032042061 @default.
- W2736915698 creator A5033965489 @default.
- W2736915698 creator A5041005761 @default.
- W2736915698 creator A5047241589 @default.
- W2736915698 creator A5055776480 @default.
- W2736915698 creator A5058685624 @default.
- W2736915698 creator A5060487163 @default.
- W2736915698 creator A5064315130 @default.
- W2736915698 creator A5069836964 @default.
- W2736915698 creator A5073164575 @default.
- W2736915698 creator A5078307853 @default.
- W2736915698 creator A5084552310 @default.
- W2736915698 creator A5087128953 @default.
- W2736915698 creator A5087283928 @default.
- W2736915698 creator A5087963362 @default.
- W2736915698 creator A5088153468 @default.
- W2736915698 creator A5090935369 @default.
- W2736915698 date "2002-01-01" @default.
- W2736915698 modified "2023-10-17" @default.
- W2736915698 title "New Results - La formalisation des mathématiques et le développement du système Coq" @default.
- W2736915698 hasPublicationYear "2002" @default.
- W2736915698 type Work @default.
- W2736915698 sameAs 2736915698 @default.
- W2736915698 citedByCount "0" @default.
- W2736915698 crossrefType "journal-article" @default.
- W2736915698 hasAuthorship W2736915698A5000839306 @default.
- W2736915698 hasAuthorship W2736915698A5004071745 @default.
- W2736915698 hasAuthorship W2736915698A5004958754 @default.
- W2736915698 hasAuthorship W2736915698A5007577192 @default.
- W2736915698 hasAuthorship W2736915698A5008794714 @default.
- W2736915698 hasAuthorship W2736915698A5015428068 @default.
- W2736915698 hasAuthorship W2736915698A5019381036 @default.
- W2736915698 hasAuthorship W2736915698A5020794048 @default.
- W2736915698 hasAuthorship W2736915698A5023882792 @default.
- W2736915698 hasAuthorship W2736915698A5032042061 @default.
- W2736915698 hasAuthorship W2736915698A5033965489 @default.
- W2736915698 hasAuthorship W2736915698A5041005761 @default.
- W2736915698 hasAuthorship W2736915698A5047241589 @default.
- W2736915698 hasAuthorship W2736915698A5055776480 @default.
- W2736915698 hasAuthorship W2736915698A5058685624 @default.
- W2736915698 hasAuthorship W2736915698A5060487163 @default.
- W2736915698 hasAuthorship W2736915698A5064315130 @default.
- W2736915698 hasAuthorship W2736915698A5069836964 @default.
- W2736915698 hasAuthorship W2736915698A5073164575 @default.
- W2736915698 hasAuthorship W2736915698A5078307853 @default.
- W2736915698 hasAuthorship W2736915698A5084552310 @default.
- W2736915698 hasAuthorship W2736915698A5087128953 @default.
- W2736915698 hasAuthorship W2736915698A5087283928 @default.
- W2736915698 hasAuthorship W2736915698A5087963362 @default.
- W2736915698 hasAuthorship W2736915698A5088153468 @default.
- W2736915698 hasAuthorship W2736915698A5090935369 @default.
- W2736915698 hasConcept C138885662 @default.
- W2736915698 hasConceptScore W2736915698C138885662 @default.
- W2736915698 hasLocation W27369156981 @default.
- W2736915698 hasOpenAccess W2736915698 @default.
- W2736915698 hasPrimaryLocation W27369156981 @default.
- W2736915698 isParatext "false" @default.
- W2736915698 isRetracted "false" @default.
- W2736915698 magId "2736915698" @default.
- W2736915698 workType "article" @default.