Matches in SemOpenAlex for { <https://semopenalex.org/concept/C206880738> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- C206880738 created "2016-06-24" @default.
- C206880738 modified "2023-10-18" @default.
- C206880738 type Concept @default.
- C206880738 seeAlso "https://en.wikipedia.org/wiki/Automated%20theorem%20proving" @default.
- C206880738 sameAs Q431667 @default.
- C206880738 sameAs 206880738 @default.
- C206880738 broader C11413529 @default.
- C206880738 broader C199360897 @default.
- C206880738 broader C33923547 @default.
- C206880738 broader C41008148 @default.
- C206880738 broader C80444323 @default.
- C206880738 inScheme concepts @default.
- C206880738 note "subfield of automated reasoning dealing with proving theorems by computer programs" @default.
- C206880738 prefLabel "Automated theorem proving" @default.
- C206880738 related C100481476 @default.
- C206880738 related C102315432 @default.
- C206880738 related C105605280 @default.
- C206880738 related C110251889 @default.
- C206880738 related C111498074 @default.
- C206880738 related C11413529 @default.
- C206880738 related C124047733 @default.
- C206880738 related C13766981 @default.
- C206880738 related C138268822 @default.
- C206880738 related C154690210 @default.
- C206880738 related C154945302 @default.
- C206880738 related C164155591 @default.
- C206880738 related C167729594 @default.
- C206880738 related C168773769 @default.
- C206880738 related C169896238 @default.
- C206880738 related C173613240 @default.
- C206880738 related C173856430 @default.
- C206880738 related C17435882 @default.
- C206880738 related C180937797 @default.
- C206880738 related C189790780 @default.
- C206880738 related C195344581 @default.
- C206880738 related C198008173 @default.
- C206880738 related C200116569 @default.
- C206880738 related C203265346 @default.
- C206880738 related C2318724 @default.
- C206880738 related C2776235265 @default.
- C206880738 related C2776562800 @default.
- C206880738 related C2776937632 @default.
- C206880738 related C2778975207 @default.
- C206880738 related C31314021 @default.
- C206880738 related C31370731 @default.
- C206880738 related C33923547 @default.
- C206880738 related C39920170 @default.
- C206880738 related C41008148 @default.
- C206880738 related C47030870 @default.
- C206880738 related C47884741 @default.
- C206880738 related C5852641 @default.
- C206880738 related C65880906 @default.
- C206880738 related C69562738 @default.
- C206880738 related C75606506 @default.
- C206880738 related C81721847 @default.
- C206880738 related C86523455 @default.
- C206880738 related C89288958 @default.
- C206880738 citedByCount "119281" @default.
- C206880738 countsByYear C2068807382012 @default.
- C206880738 countsByYear C2068807382013 @default.
- C206880738 countsByYear C2068807382014 @default.
- C206880738 countsByYear C2068807382015 @default.
- C206880738 countsByYear C2068807382016 @default.
- C206880738 countsByYear C2068807382017 @default.
- C206880738 countsByYear C2068807382018 @default.
- C206880738 countsByYear C2068807382019 @default.
- C206880738 countsByYear C2068807382020 @default.
- C206880738 countsByYear C2068807382021 @default.
- C206880738 countsByYear C2068807382022 @default.
- C206880738 countsByYear C2068807382023 @default.
- C206880738 level "2" @default.
- C206880738 magId "206880738" @default.
- C206880738 worksCount "10107" @default.