Matches in SemOpenAlex for { <https://semopenalex.org/concept/C203265346> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- C203265346 created "2016-06-24" @default.
- C203265346 modified "2023-10-18" @default.
- C203265346 type Concept @default.
- C203265346 seeAlso "https://en.wikipedia.org/wiki/Proof%20assistant" @default.
- C203265346 sameAs Q11387554 @default.
- C203265346 sameAs 203265346 @default.
- C203265346 broader C108710211 @default.
- C203265346 broader C2524010 @default.
- C203265346 broader C33923547 @default.
- C203265346 inScheme concepts @default.
- C203265346 note "software tool to assist with the development of formal proofs by human-machine collaboration" @default.
- C203265346 prefLabel "Proof assistant" @default.
- C203265346 related C102315432 @default.
- C203265346 related C108710211 @default.
- C203265346 related C111498074 @default.
- C203265346 related C13766981 @default.
- C203265346 related C173613240 @default.
- C203265346 related C17435882 @default.
- C203265346 related C180937797 @default.
- C203265346 related C195344581 @default.
- C203265346 related C20528804 @default.
- C203265346 related C206880738 @default.
- C203265346 related C2318724 @default.
- C203265346 related C41008148 @default.
- C203265346 related C47884741 @default.
- C203265346 related C85343465 @default.
- C203265346 related C93682546 @default.
- C203265346 depiction "https://upload.wikimedia.org/wikipedia/commons/0/0d/CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png" @default.
- C203265346 citedByCount "47003" @default.
- C203265346 countsByYear C2032653462012 @default.
- C203265346 countsByYear C2032653462013 @default.
- C203265346 countsByYear C2032653462014 @default.
- C203265346 countsByYear C2032653462015 @default.
- C203265346 countsByYear C2032653462016 @default.
- C203265346 countsByYear C2032653462017 @default.
- C203265346 countsByYear C2032653462018 @default.
- C203265346 countsByYear C2032653462019 @default.
- C203265346 countsByYear C2032653462020 @default.
- C203265346 countsByYear C2032653462021 @default.
- C203265346 countsByYear C2032653462022 @default.
- C203265346 countsByYear C2032653462023 @default.
- C203265346 imageThumbnail "https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png/100px-CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png" @default.
- C203265346 level "3" @default.
- C203265346 magId "203265346" @default.
- C203265346 worksCount "3992" @default.
