Matches in SemOpenAlex for { <https://semopenalex.org/work/W1485127077> ?p ?o ?g. }
- W1485127077 endingPage "84" @default.
- W1485127077 startingPage "43" @default.
- W1485127077 created "2016-06-24" @default.
- W1485127077 creator A5082604888 @default.
- W1485127077 date "1999-01-01" @default.
- W1485127077 modified "2023-09-29" @default.
- W1485127077 title "A Taxonomy of Theorem-Proving Strategies" @default.
- W1485127077 cites W1480295835 @default.
- W1485127077 cites W1489413905 @default.
- W1485127077 cites W1495396426 @default.
- W1485127077 cites W1495433690 @default.
- W1485127077 cites W1510333080 @default.
- W1485127077 cites W1511155470 @default.
- W1485127077 cites W1512751828 @default.
- W1485127077 cites W1519829133 @default.
- W1485127077 cites W1537279363 @default.
- W1485127077 cites W1538336754 @default.
- W1485127077 cites W1543601803 @default.
- W1485127077 cites W1551505706 @default.
- W1485127077 cites W1552843312 @default.
- W1485127077 cites W155612886 @default.
- W1485127077 cites W1563969441 @default.
- W1485127077 cites W1564537570 @default.
- W1485127077 cites W1576193696 @default.
- W1485127077 cites W1577869834 @default.
- W1485127077 cites W1590286017 @default.
- W1485127077 cites W1592043426 @default.
- W1485127077 cites W1595374223 @default.
- W1485127077 cites W1600228510 @default.
- W1485127077 cites W1603641306 @default.
- W1485127077 cites W1652556981 @default.
- W1485127077 cites W1660563560 @default.
- W1485127077 cites W1664582451 @default.
- W1485127077 cites W1720975781 @default.
- W1485127077 cites W1826979233 @default.
- W1485127077 cites W1849621571 @default.
- W1485127077 cites W1924552249 @default.
- W1485127077 cites W1964421058 @default.
- W1485127077 cites W1972956465 @default.
- W1485127077 cites W1974299393 @default.
- W1485127077 cites W1977877251 @default.
- W1485127077 cites W1980717258 @default.
- W1485127077 cites W1992391625 @default.
- W1485127077 cites W1997189447 @default.
- W1485127077 cites W1997432585 @default.
- W1485127077 cites W1998330152 @default.
- W1485127077 cites W2002310337 @default.
- W1485127077 cites W2002684144 @default.
- W1485127077 cites W2013342254 @default.
- W1485127077 cites W2019751493 @default.
- W1485127077 cites W2020794409 @default.
- W1485127077 cites W2024973091 @default.
- W1485127077 cites W2025252200 @default.
- W1485127077 cites W2026328078 @default.
- W1485127077 cites W2035913237 @default.
- W1485127077 cites W2036475963 @default.
- W1485127077 cites W2037085273 @default.
- W1485127077 cites W2042551813 @default.
- W1485127077 cites W2043314428 @default.
- W1485127077 cites W2044301710 @default.
- W1485127077 cites W2046511504 @default.
- W1485127077 cites W2047669821 @default.
- W1485127077 cites W2049990609 @default.
- W1485127077 cites W2051518991 @default.
- W1485127077 cites W2053515248 @default.
- W1485127077 cites W2056737359 @default.
- W1485127077 cites W2058514808 @default.
- W1485127077 cites W2062032114 @default.
- W1485127077 cites W2062897452 @default.
- W1485127077 cites W2063169961 @default.
- W1485127077 cites W2065338548 @default.
- W1485127077 cites W2067716734 @default.
- W1485127077 cites W2069453418 @default.
- W1485127077 cites W2071100103 @default.
- W1485127077 cites W2073984738 @default.
- W1485127077 cites W2074679569 @default.
- W1485127077 cites W2077429176 @default.
- W1485127077 cites W2082976889 @default.
- W1485127077 cites W2084894656 @default.
- W1485127077 cites W2086747974 @default.
- W1485127077 cites W2090093170 @default.
- W1485127077 cites W2091210577 @default.
- W1485127077 cites W2092775861 @default.
- W1485127077 cites W2100738443 @default.
- W1485127077 cites W2103623017 @default.
- W1485127077 cites W2110641123 @default.
- W1485127077 cites W2145397943 @default.
- W1485127077 cites W2146363063 @default.
- W1485127077 cites W2150470619 @default.
- W1485127077 cites W2153361692 @default.
- W1485127077 cites W2163619482 @default.
- W1485127077 cites W2506980730 @default.
- W1485127077 cites W2507006525 @default.
- W1485127077 cites W2611373917 @default.
- W1485127077 cites W2914834504 @default.
- W1485127077 cites W2914936697 @default.
- W1485127077 cites W3022794709 @default.
- W1485127077 cites W3296631 @default.
- W1485127077 cites W4206370914 @default.
- W1485127077 cites W4229861117 @default.