Matches in SemOpenAlex for { <https://semopenalex.org/work/W45454823> ?p ?o ?g. }
- W45454823 created "2016-06-24" @default.
- W45454823 creator A5009681012 @default.
- W45454823 creator A5080672580 @default.
- W45454823 date "1990-01-01" @default.
- W45454823 modified "2023-09-23" @default.
- W45454823 title "Il: an artificial intelligence approach to theory formation in mathematics" @default.
- W45454823 cites W109897293 @default.
- W45454823 cites W113520131 @default.
- W45454823 cites W126701707 @default.
- W45454823 cites W132583471 @default.
- W45454823 cites W134991542 @default.
- W45454823 cites W1480049061 @default.
- W45454823 cites W1480866642 @default.
- W45454823 cites W1489281106 @default.
- W45454823 cites W1495111179 @default.
- W45454823 cites W1505595614 @default.
- W45454823 cites W152176039 @default.
- W45454823 cites W1523646877 @default.
- W45454823 cites W1528869148 @default.
- W45454823 cites W1531430512 @default.
- W45454823 cites W1533943506 @default.
- W45454823 cites W1536163009 @default.
- W45454823 cites W1541027418 @default.
- W45454823 cites W1542400614 @default.
- W45454823 cites W154336387 @default.
- W45454823 cites W1549872659 @default.
- W45454823 cites W1560517422 @default.
- W45454823 cites W1563353090 @default.
- W45454823 cites W1567259931 @default.
- W45454823 cites W1567972407 @default.
- W45454823 cites W1569731694 @default.
- W45454823 cites W1571455054 @default.
- W45454823 cites W1578850914 @default.
- W45454823 cites W1588452852 @default.
- W45454823 cites W1597285706 @default.
- W45454823 cites W1600175013 @default.
- W45454823 cites W1602272411 @default.
- W45454823 cites W16144991 @default.
- W45454823 cites W1667012816 @default.
- W45454823 cites W1710862197 @default.
- W45454823 cites W1744725864 @default.
- W45454823 cites W1791948438 @default.
- W45454823 cites W185869606 @default.
- W45454823 cites W195376074 @default.
- W45454823 cites W1963547174 @default.
- W45454823 cites W1964039615 @default.
- W45454823 cites W1968869397 @default.
- W45454823 cites W1974062640 @default.
- W45454823 cites W1974124435 @default.
- W45454823 cites W1983590582 @default.
- W45454823 cites W1988651604 @default.
- W45454823 cites W1996158986 @default.
- W45454823 cites W1997272161 @default.
- W45454823 cites W2001005400 @default.
- W45454823 cites W2001636048 @default.
- W45454823 cites W2009207944 @default.
- W45454823 cites W2011043790 @default.
- W45454823 cites W2011851756 @default.
- W45454823 cites W2016805415 @default.
- W45454823 cites W2020149918 @default.
- W45454823 cites W2022811525 @default.
- W45454823 cites W2023139438 @default.
- W45454823 cites W2026161499 @default.
- W45454823 cites W2028714117 @default.
- W45454823 cites W2030562688 @default.
- W45454823 cites W2032937516 @default.
- W45454823 cites W2039153121 @default.
- W45454823 cites W2049183347 @default.
- W45454823 cites W2056145119 @default.
- W45454823 cites W2058417349 @default.
- W45454823 cites W2058714454 @default.
- W45454823 cites W2064791171 @default.
- W45454823 cites W2071121273 @default.
- W45454823 cites W2072395631 @default.
- W45454823 cites W2072405721 @default.
- W45454823 cites W2074476873 @default.
- W45454823 cites W2078176013 @default.
- W45454823 cites W2082430817 @default.
- W45454823 cites W2085089824 @default.
- W45454823 cites W2098945587 @default.
- W45454823 cites W2101602574 @default.
- W45454823 cites W2103391266 @default.
- W45454823 cites W2112161977 @default.
- W45454823 cites W2112550993 @default.
- W45454823 cites W2117373207 @default.
- W45454823 cites W2118888533 @default.
- W45454823 cites W2130198913 @default.
- W45454823 cites W2131825035 @default.
- W45454823 cites W2132174753 @default.
- W45454823 cites W2142269169 @default.
- W45454823 cites W2146600388 @default.
- W45454823 cites W2152475379 @default.
- W45454823 cites W2153432209 @default.
- W45454823 cites W2156827572 @default.
- W45454823 cites W2159544980 @default.
- W45454823 cites W2163908084 @default.
- W45454823 cites W2169071118 @default.
- W45454823 cites W2180885055 @default.
- W45454823 cites W2261622378 @default.
- W45454823 cites W2274918280 @default.