Matches in SemOpenAlex for { <https://semopenalex.org/work/W1789528896> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1789528896 endingPage "75" @default.
- W1789528896 startingPage "60" @default.
- W1789528896 created "2016-06-24" @default.
- W1789528896 creator A5018394339 @default.
- W1789528896 date "2002-01-01" @default.
- W1789528896 modified "2023-09-27" @default.
- W1789528896 title "Higher-Order Quantification and Proof Search*" @default.
- W1789528896 cites W1488945699 @default.
- W1789528896 cites W1579694940 @default.
- W1789528896 cites W1606971543 @default.
- W1789528896 cites W1867986337 @default.
- W1789528896 cites W1969881696 @default.
- W1789528896 cites W1972358050 @default.
- W1789528896 cites W1996404651 @default.
- W1789528896 cites W2034676877 @default.
- W1789528896 cites W2040807747 @default.
- W1789528896 cites W2052436826 @default.
- W1789528896 cites W2070324762 @default.
- W1789528896 cites W2072666085 @default.
- W1789528896 cites W2075352622 @default.
- W1789528896 cites W2093111544 @default.
- W1789528896 cites W2106458801 @default.
- W1789528896 cites W2128932399 @default.
- W1789528896 cites W2131895477 @default.
- W1789528896 cites W2156950788 @default.
- W1789528896 cites W2169526198 @default.
- W1789528896 cites W2911865844 @default.
- W1789528896 cites W4237428230 @default.
- W1789528896 doi "https://doi.org/10.1007/3-540-45719-4_5" @default.
- W1789528896 hasPublicationYear "2002" @default.
- W1789528896 type Work @default.
- W1789528896 sameAs 1789528896 @default.
- W1789528896 citedByCount "6" @default.
- W1789528896 countsByYear W17895288962012 @default.
- W1789528896 crossrefType "book-chapter" @default.
- W1789528896 hasAuthorship W1789528896A5018394339 @default.
- W1789528896 hasConcept C100481476 @default.
- W1789528896 hasConcept C102993220 @default.
- W1789528896 hasConcept C108710211 @default.
- W1789528896 hasConcept C11413529 @default.
- W1789528896 hasConcept C118615104 @default.
- W1789528896 hasConcept C128838566 @default.
- W1789528896 hasConcept C144791301 @default.
- W1789528896 hasConcept C169896238 @default.
- W1789528896 hasConcept C189790780 @default.
- W1789528896 hasConcept C199360897 @default.
- W1789528896 hasConcept C2524010 @default.
- W1789528896 hasConcept C2780069185 @default.
- W1789528896 hasConcept C33923547 @default.
- W1789528896 hasConcept C3746660 @default.
- W1789528896 hasConcept C41008148 @default.
- W1789528896 hasConcept C70846408 @default.
- W1789528896 hasConcept C80444323 @default.
- W1789528896 hasConceptScore W1789528896C100481476 @default.
- W1789528896 hasConceptScore W1789528896C102993220 @default.
- W1789528896 hasConceptScore W1789528896C108710211 @default.
- W1789528896 hasConceptScore W1789528896C11413529 @default.
- W1789528896 hasConceptScore W1789528896C118615104 @default.
- W1789528896 hasConceptScore W1789528896C128838566 @default.
- W1789528896 hasConceptScore W1789528896C144791301 @default.
- W1789528896 hasConceptScore W1789528896C169896238 @default.
- W1789528896 hasConceptScore W1789528896C189790780 @default.
- W1789528896 hasConceptScore W1789528896C199360897 @default.
- W1789528896 hasConceptScore W1789528896C2524010 @default.
- W1789528896 hasConceptScore W1789528896C2780069185 @default.
- W1789528896 hasConceptScore W1789528896C33923547 @default.
- W1789528896 hasConceptScore W1789528896C3746660 @default.
- W1789528896 hasConceptScore W1789528896C41008148 @default.
- W1789528896 hasConceptScore W1789528896C70846408 @default.
- W1789528896 hasConceptScore W1789528896C80444323 @default.
- W1789528896 hasLocation W17895288961 @default.
- W1789528896 hasOpenAccess W1789528896 @default.
- W1789528896 hasPrimaryLocation W17895288961 @default.
- W1789528896 hasRelatedWork W1559099005 @default.
- W1789528896 hasRelatedWork W1602563381 @default.
- W1789528896 hasRelatedWork W1789528896 @default.
- W1789528896 hasRelatedWork W2018616641 @default.
- W1789528896 hasRelatedWork W2099767492 @default.
- W1789528896 hasRelatedWork W2135177708 @default.
- W1789528896 hasRelatedWork W2185369970 @default.
- W1789528896 hasRelatedWork W2569890278 @default.
- W1789528896 hasRelatedWork W91422207 @default.
- W1789528896 hasRelatedWork W2788343810 @default.
- W1789528896 isParatext "false" @default.
- W1789528896 isRetracted "false" @default.
- W1789528896 magId "1789528896" @default.
- W1789528896 workType "book-chapter" @default.