Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892064985> ?p ?o ?g. }
- W2892064985 endingPage "146" @default.
- W2892064985 startingPage "119" @default.
- W2892064985 created "2018-09-27" @default.
- W2892064985 creator A5002981874 @default.
- W2892064985 creator A5018334008 @default.
- W2892064985 creator A5040662218 @default.
- W2892064985 creator A5085623977 @default.
- W2892064985 date "2018-09-06" @default.
- W2892064985 modified "2023-10-12" @default.
- W2892064985 title "Portfolio theorem proving and prover runtime prediction for geometry" @default.
- W2892064985 cites W100047375 @default.
- W2892064985 cites W109897293 @default.
- W2892064985 cites W122603850 @default.
- W2892064985 cites W1276202598 @default.
- W2892064985 cites W144472580 @default.
- W2892064985 cites W1480376833 @default.
- W2892064985 cites W1502948544 @default.
- W2892064985 cites W1513289285 @default.
- W2892064985 cites W1534758548 @default.
- W2892064985 cites W1543031826 @default.
- W2892064985 cites W1543201103 @default.
- W2892064985 cites W1546325545 @default.
- W2892064985 cites W1559406907 @default.
- W2892064985 cites W1570149161 @default.
- W2892064985 cites W1573726182 @default.
- W2892064985 cites W1579011093 @default.
- W2892064985 cites W158485348 @default.
- W2892064985 cites W1588725641 @default.
- W2892064985 cites W1590061888 @default.
- W2892064985 cites W159288436 @default.
- W2892064985 cites W1612256948 @default.
- W2892064985 cites W1776786831 @default.
- W2892064985 cites W1807713839 @default.
- W2892064985 cites W1834745875 @default.
- W2892064985 cites W193263981 @default.
- W2892064985 cites W1965555277 @default.
- W2892064985 cites W1972429843 @default.
- W2892064985 cites W1982238810 @default.
- W2892064985 cites W1982239968 @default.
- W2892064985 cites W1988415275 @default.
- W2892064985 cites W2012978749 @default.
- W2892064985 cites W2013951121 @default.
- W2892064985 cites W2017222169 @default.
- W2892064985 cites W2026253506 @default.
- W2892064985 cites W2032405865 @default.
- W2892064985 cites W2064030682 @default.
- W2892064985 cites W2066387041 @default.
- W2892064985 cites W2118034154 @default.
- W2892064985 cites W2119046062 @default.
- W2892064985 cites W2131408699 @default.
- W2892064985 cites W2144137480 @default.
- W2892064985 cites W2147148915 @default.
- W2892064985 cites W2148169424 @default.
- W2892064985 cites W2155460686 @default.
- W2892064985 cites W2161862543 @default.
- W2892064985 cites W2208593797 @default.
- W2892064985 cites W2257927474 @default.
- W2892064985 cites W2296462965 @default.
- W2892064985 cites W2326179569 @default.
- W2892064985 cites W2400850545 @default.
- W2892064985 cites W2414651070 @default.
- W2892064985 cites W2557804988 @default.
- W2892064985 cites W2575973620 @default.
- W2892064985 cites W2601104151 @default.
- W2892064985 cites W2792493843 @default.
- W2892064985 cites W2963109403 @default.
- W2892064985 cites W2963752350 @default.
- W2892064985 cites W2964281761 @default.
- W2892064985 cites W3143504415 @default.
- W2892064985 cites W4243936012 @default.
- W2892064985 cites W4250846042 @default.
- W2892064985 cites W54298403 @default.
- W2892064985 cites W60686164 @default.
- W2892064985 cites W71637970 @default.
- W2892064985 cites W86824626 @default.
- W2892064985 doi "https://doi.org/10.1007/s10472-018-9598-6" @default.
- W2892064985 hasPublicationYear "2018" @default.
- W2892064985 type Work @default.
- W2892064985 sameAs 2892064985 @default.
- W2892064985 citedByCount "5" @default.
- W2892064985 countsByYear W28920649852019 @default.
- W2892064985 countsByYear W28920649852020 @default.
- W2892064985 countsByYear W28920649852021 @default.
- W2892064985 countsByYear W28920649852022 @default.
- W2892064985 crossrefType "journal-article" @default.
- W2892064985 hasAuthorship W2892064985A5002981874 @default.
- W2892064985 hasAuthorship W2892064985A5018334008 @default.
- W2892064985 hasAuthorship W2892064985A5040662218 @default.
- W2892064985 hasAuthorship W2892064985A5085623977 @default.
- W2892064985 hasConcept C10138342 @default.
- W2892064985 hasConcept C154945302 @default.
- W2892064985 hasConcept C162324750 @default.
- W2892064985 hasConcept C199343813 @default.
- W2892064985 hasConcept C206880738 @default.
- W2892064985 hasConcept C2777686260 @default.
- W2892064985 hasConcept C2780821815 @default.
- W2892064985 hasConcept C33923547 @default.
- W2892064985 hasConcept C41008148 @default.
- W2892064985 hasConcept C47822265 @default.
- W2892064985 hasConcept C71924100 @default.