Matches in SemOpenAlex for { <https://semopenalex.org/concept/C144791301> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- C144791301 created "2016-06-24" @default.
- C144791301 modified "2023-10-18" @default.
- C144791301 type Concept @default.
- C144791301 seeAlso "https://en.wikipedia.org/wiki/Second-order%20logic" @default.
- C144791301 sameAs Q1548746 @default.
- C144791301 sameAs 144791301 @default.
- C144791301 broader C102993220 @default.
- C144791301 broader C154945302 @default.
- C144791301 broader C169896238 @default.
- C144791301 broader C199360897 @default.
- C144791301 broader C41008148 @default.
- C144791301 broader C80444323 @default.
- C144791301 inScheme concepts @default.
- C144791301 note "extension of first-order logic, which itself is an extension of propositional logic" @default.
- C144791301 prefLabel "Second-order logic" @default.
- C144791301 related C100481476 @default.
- C144791301 related C110039528 @default.
- C144791301 related C124656256 @default.
- C144791301 related C125773388 @default.
- C144791301 related C133142742 @default.
- C144791301 related C153046414 @default.
- C144791301 related C153269930 @default.
- C144791301 related C162670838 @default.
- C144791301 related C167729594 @default.
- C144791301 related C169896238 @default.
- C144791301 related C171636804 @default.
- C144791301 related C180937797 @default.
- C144791301 related C183140480 @default.
- C144791301 related C19689857 @default.
- C144791301 related C200116569 @default.
- C144791301 related C2039508 @default.
- C144791301 related C2780411076 @default.
- C144791301 related C33923547 @default.
- C144791301 related C47030870 @default.
- C144791301 related C47884741 @default.
- C144791301 related C51460 @default.
- C144791301 related C65148605 @default.
- C144791301 related C69562738 @default.
- C144791301 related C73314972 @default.
- C144791301 related C93682546 @default.
- C144791301 related C97489613 @default.
- C144791301 citedByCount "11271" @default.
- C144791301 countsByYear C1447913012012 @default.
- C144791301 countsByYear C1447913012013 @default.
- C144791301 countsByYear C1447913012014 @default.
- C144791301 countsByYear C1447913012015 @default.
- C144791301 countsByYear C1447913012016 @default.
- C144791301 countsByYear C1447913012017 @default.
- C144791301 countsByYear C1447913012018 @default.
- C144791301 countsByYear C1447913012019 @default.
- C144791301 countsByYear C1447913012020 @default.
- C144791301 countsByYear C1447913012021 @default.
- C144791301 countsByYear C1447913012022 @default.
- C144791301 countsByYear C1447913012023 @default.
- C144791301 level "4" @default.
- C144791301 magId "144791301" @default.
- C144791301 worksCount "1087" @default.