SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2498187078> ?p ?o ?g. }

Showing items 1 to 100 of ±208 with 100 items per page.

W2498187078 endingPage "56" @default.
W2498187078 startingPage "37" @default.
W2498187078 abstract "it is only the very unsophisticated outsider who imagines that mathematicians make discoveries by turning the handle of some miraculous machine.(Hardy, A Mathematician's Apology)" @default.
W2498187078 created "2016-08-23" @default.
W2498187078 creator A5000924049 @default.
W2498187078 date "2003-04-24" @default.
W2498187078 modified "2023-09-26" @default.
W2498187078 title "Communicating with automated theorem provers" @default.
W2498187078 cites W12175793 @default.
W2498187078 cites W1221281049 @default.
W2498187078 cites W135311339 @default.
W2498187078 cites W1422646585 @default.
W2498187078 cites W1477768477 @default.
W2498187078 cites W1489232789 @default.
W2498187078 cites W1492392933 @default.
W2498187078 cites W1500458205 @default.
W2498187078 cites W1510237842 @default.
W2498187078 cites W1513764355 @default.
W2498187078 cites W1528326162 @default.
W2498187078 cites W1536900577 @default.
W2498187078 cites W1540074734 @default.
W2498187078 cites W1551177513 @default.
W2498187078 cites W1553322733 @default.
W2498187078 cites W1564530086 @default.
W2498187078 cites W1573384260 @default.
W2498187078 cites W1589463641 @default.
W2498187078 cites W1597847454 @default.
W2498187078 cites W1634676445 @default.
W2498187078 cites W1661352576 @default.
W2498187078 cites W1682706204 @default.
W2498187078 cites W1789645782 @default.
W2498187078 cites W1813946704 @default.
W2498187078 cites W1826551887 @default.
W2498187078 cites W1834721337 @default.
W2498187078 cites W1881765559 @default.
W2498187078 cites W1891950217 @default.
W2498187078 cites W1963512899 @default.
W2498187078 cites W1973799895 @default.
W2498187078 cites W1977631923 @default.
W2498187078 cites W1978701263 @default.
W2498187078 cites W1979395357 @default.
W2498187078 cites W1985274881 @default.
W2498187078 cites W1987296456 @default.
W2498187078 cites W1989324470 @default.
W2498187078 cites W1990273506 @default.
W2498187078 cites W1992295614 @default.
W2498187078 cites W1995530003 @default.
W2498187078 cites W2011080089 @default.
W2498187078 cites W2020076172 @default.
W2498187078 cites W2020606208 @default.
W2498187078 cites W2020786574 @default.
W2498187078 cites W2024484915 @default.
W2498187078 cites W2028007266 @default.
W2498187078 cites W2034065427 @default.
W2498187078 cites W2035312286 @default.
W2498187078 cites W2037651558 @default.
W2498187078 cites W2037781377 @default.
W2498187078 cites W2042911292 @default.
W2498187078 cites W2044720368 @default.
W2498187078 cites W2050844970 @default.
W2498187078 cites W2053464422 @default.
W2498187078 cites W2054771837 @default.
W2498187078 cites W2055680852 @default.
W2498187078 cites W2056935096 @default.
W2498187078 cites W2058622906 @default.
W2498187078 cites W2060607727 @default.
W2498187078 cites W2061720797 @default.
W2498187078 cites W2063716984 @default.
W2498187078 cites W2072324557 @default.
W2498187078 cites W2072534883 @default.
W2498187078 cites W2073085121 @default.
W2498187078 cites W2075523296 @default.
W2498187078 cites W2076930507 @default.
W2498187078 cites W2077327565 @default.
W2498187078 cites W2081040658 @default.
W2498187078 cites W2087068464 @default.
W2498187078 cites W2092646886 @default.
W2498187078 cites W2096001350 @default.
W2498187078 cites W2101321937 @default.
W2498187078 cites W2102816475 @default.
W2498187078 cites W2109912207 @default.
W2498187078 cites W2118381650 @default.
W2498187078 cites W2120713972 @default.
W2498187078 cites W2126229793 @default.
W2498187078 cites W2137427950 @default.
W2498187078 cites W2146168872 @default.
W2498187078 cites W2149704892 @default.
W2498187078 cites W2152043396 @default.
W2498187078 cites W2154023390 @default.
W2498187078 cites W2155695333 @default.
W2498187078 cites W2169714676 @default.
W2498187078 cites W22043025 @default.
W2498187078 cites W2217690748 @default.
W2498187078 cites W2260472198 @default.
W2498187078 cites W2278725035 @default.
W2498187078 cites W2320543258 @default.
W2498187078 cites W2321114768 @default.
W2498187078 cites W2325843010 @default.
W2498187078 cites W2327501667 @default.
W2498187078 cites W2328338456 @default.