{"entities":{"Q2234052":{"pageid":2244795,"ns":120,"title":"Item:Q2234052","lastrevid":71633661,"modified":"2026-04-13T23:32:11Z","type":"item","id":"Q2234052","labels":{"en":{"language":"en","value":"Short-circuiting the definition of mathematical knowledge for an artificial general intelligence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410622"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$7CC2D67B-415A-45EF-B8F5-3F963B467D32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf0c48e8489608dd38b210bd738dccbfa59dfbac","datavalue":{"value":{"text":"Short-circuiting the definition of mathematical knowledge for an artificial general intelligence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234052$B10C406D-B98C-47C9-922E-D2A5183E1D16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de03af91991b7f97137a111b2c61bdff1ed220dc","datavalue":{"value":"1474.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234052$48A5E00B-3C46-4328-A545-D696EA031B52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3b47eaa25c3f7d1ce5169aec7c708ed03d55a22","datavalue":{"value":"10.1007/978-3-030-67220-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234052$89467EA6-2DA6-4EB2-9769-6D790F01BA6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234052$9BE8D18D-5603-4045-B92C-40F4C2370EA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae2ad7d7c421865eadf47145e6c444b320b1d3ad","datavalue":{"value":"https://philpapers.org/rec/ALESTD-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234052$8479AE39-E288-4E32-A957-88229BFB971D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234052$961D8E9E-10AB-4258-A694-22B1CF3D6242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234052$3E8108D2-4FF2-4BEB-AC55-E2607A194600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234052$BB20B90F-E7AB-4358-999C-7EF6EC9DF8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234052$DCFFE132-8D00-4980-B860-87C890BE1A36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c48968a16e7969f9a91e1f35c42cd78c41468df4","datavalue":{"value":"7410622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234052$4186486C-AF6F-49A2-B671-5CAF25333560","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0050939e5503085a5c20fb62798d71454a3b98","datavalue":{"value":"AGI","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234052$22176C39-9954-440D-BB19-544BB7B4105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e024503b3a1e28df2f0bd15cc413a8dbfaf23f","datavalue":{"value":"machine knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234052$1DBB6E1F-7B2E-40E1-A912-7DD22EB20A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234052$7B29DCA5-C0D9-41AF-96EF-5856EDCDA953","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fa9d9620d364bcd7eee2043b88ffd44dff64082","datavalue":{"value":{"entity-type":"item","numeric-id":318140,"id":"Q318140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$A2888DF2-8F55-4934-8D6E-3CFED0129DF7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$97418B41-5DF7-4E7D-9352-CB01C1106DFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c954ec5a845d1def0ee5099ba8dc5043a31a3c2","datavalue":{"value":"W3121355668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234052$7D15B314-8C7A-46B0-81D9-21DD674D1F5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e97326e28d329ca20ccdcfdef6e056beeb8b06","datavalue":{"value":{"entity-type":"item","numeric-id":456969,"id":"Q456969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$E86FF2B5-EE87-437E-9AC0-168035011BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc90c117d798c80119dce498ddffe8eb30a6dbb8","datavalue":{"value":{"entity-type":"item","numeric-id":2350213,"id":"Q2350213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$BC3EDB5F-BEF9-4866-A7AC-EDAB8EEE8703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f2fe923d8f62c2dbe1c2e8e4eef8d9473c95ff","datavalue":{"value":{"entity-type":"item","numeric-id":1818592,"id":"Q1818592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$9BF9EB43-C8AB-451A-B894-51796D843B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9414faf3a299bc0651d94c6665c04d6b9c2a45e","datavalue":{"value":{"entity-type":"item","numeric-id":1591373,"id":"Q1591373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$C36C2BF7-C984-4B8B-9551-E711FFE69689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b9b99dc091333125086dc0ca9d7430b4f2fe82","datavalue":{"value":{"entity-type":"item","numeric-id":1989989,"id":"Q1989989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$208E6386-2B0B-43BE-9E18-BAA6AE377AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb2285c8a941ba61ae041f917d026e280c870f9","datavalue":{"value":{"entity-type":"item","numeric-id":3138043,"id":"Q3138043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$2F9750EB-E9E3-4FE2-9AA8-E4A820DE073F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c338d1e5ca3b5e43f79b86f7417774ec97e6ffdc","datavalue":{"value":{"entity-type":"item","numeric-id":5275663,"id":"Q5275663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$7EAC99E9-120B-4316-B162-74B30BBF67CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a7a6f8cd1040cba3aa4e1f28c926c68b639ebe","datavalue":{"value":{"entity-type":"item","numeric-id":1094407,"id":"Q1094407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$4408AF15-264D-4F7A-96A7-EB8995BCEB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fd46ab013fa0df7a03d2db93b148b9403f6040","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234052$82F7BDDD-8145-4568-AE08-A42980DE9D7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f756c2a2a12a0b530bc4ca092ff0cb572b3ee4","datavalue":{"value":{"entity-type":"item","numeric-id":391747,"id":"Q391747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e2145270d14b4f412823a443e828b22ef74bb5","datavalue":{"value":{"amount":"+0.6245253086090088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234052$C9BB22B5-EB6E-4B25-8F42-6825DAE61038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ec32bf43a4aeb06193c84684fd1af50f128e38","datavalue":{"value":{"entity-type":"item","numeric-id":4295878,"id":"Q4295878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc8b10d645935d81ca013494e8117f964e5e98e","datavalue":{"value":{"amount":"+0.613221287727356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234052$FD0AB604-7C3C-41B8-A70A-60FDA531207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc080941bc15c4c86c33366b6610e7c42b730a6","datavalue":{"value":{"entity-type":"item","numeric-id":3093964,"id":"Q3093964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391cfe961bca6d6c06e3aaaa96f44ca631793e3d","datavalue":{"value":{"amount":"+0.613054633140564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234052$3206A4E4-397C-4F55-AD4B-6510B238966A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece2bfdd1296a48bdc73a70a88dcae1204bd9099","datavalue":{"value":{"entity-type":"item","numeric-id":456969,"id":"Q456969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9eac9b1c3bfad604beedd6078468ba981ba099d","datavalue":{"value":{"amount":"+0.6090692281723022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234052$256351BE-E5A6-4066-9683-08D20AA97510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10b219ad4d1e434068cb2ff38731417861ca79c","datavalue":{"value":{"entity-type":"item","numeric-id":1370611,"id":"Q1370611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f36dea849c1da43dca1cba118b18b15a45f49e","datavalue":{"value":{"amount":"+0.607571005821228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234052$99EDBA38-9BBE-421D-AA2D-AACDBB298350","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Short-circuiting the definition of mathematical knowledge for an artificial general intelligence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Short-circuiting_the_definition_of_mathematical_knowledge_for_an_artificial_general_intelligence"}}}}}