{"entities":{"Q2013412":{"pageid":2024154,"ns":120,"title":"Item:Q2013412","lastrevid":52879880,"modified":"2026-01-23T17:22:47Z","type":"item","id":"Q2013412","labels":{"en":{"language":"en","value":"Is mathematics problem solving or theorem proving?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6761783"}},"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":"Q2013412$EC292D46-D45E-4E72-93E7-DDF71DC17543","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5abac9dec177015b4b8e17f2d7f8c94a51eae901","datavalue":{"value":{"text":"Is mathematics problem solving or theorem proving?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2013412$D417925B-97B9-4211-AE7A-22B9B718E814","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7df3384b8b04f21db58b8caa53f9e104b949459","datavalue":{"value":"1368.00018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013412$5A004475-5D92-4010-B819-180C9D82E3A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4be3301cd970292cce02c71608c282412478f911","datavalue":{"value":{"entity-type":"item","numeric-id":360437,"id":"Q360437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$8986129C-E7D4-4A36-8550-82465811487E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d056fa390317638b94cd33674f80c57ad98aec6b","datavalue":{"value":{"entity-type":"item","numeric-id":161821,"id":"Q161821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$3C76CA31-05F3-4089-A0C3-F4FF917D8EF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df0e235d1b1d733bcc53fdadfc8ec0d6b69c89be","datavalue":{"value":{"time":"+2017-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2013412$66537BFA-4FA7-4A32-B4C6-81A78DE33F5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013412$A993DDBE-C7CA-444D-945C-286DBC4C7188","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"936e0cc3ab7496e77484c21dbe081d4fb03bd378","datavalue":{"value":"6761783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013412$F73B23FC-13E2-4087-8601-60FADC0A3BA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baeaf27c29b44a613ac26700723ca8323310e938","datavalue":{"value":"problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013412$9A98BAFF-3B0E-419C-B555-A38F8CFE746B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013412$5CA4C23E-635B-4B78-A01F-B697490FCD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe25a95ff2ecb2dd18eca2bb92dc412127943c72","datavalue":{"value":"analytic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013412$EFE54F4C-C9F6-405A-811E-1C584B97A591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f89a774d2b01461b718c178e7e356709245995","datavalue":{"value":"axiomatic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013412$BE3CA534-93B2-419B-A345-98E2D33E3680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fabb7c8bd4a3d8bbab320add26a4bb9acbc395a","datavalue":{"value":"David Hilbert","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013412$CC37E443-B881-4488-9B77-816632F514FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013412$E03EF8F4-1B23-4AB3-A872-94F11335355A","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":"Q2013412$93F89CEA-1FD3-4AA4-9A0A-BA1BCB35E563","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54a1a7fe46d55d505a76ab8ee2f4317c7d26ea7b","datavalue":{"value":"https://doi.org/10.1007/s10699-015-9475-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013412$77DA3281-666C-4504-8A0E-C5199B1844E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7952c8638e43beb18a8aa0aaabc0eb23700e85ee","datavalue":{"value":"W2275732906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013412$141EEE23-A5EB-4C3C-9C73-061D8D78C409","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6d35cfb0231c8cef36960804af494924cbde44","datavalue":{"value":{"entity-type":"item","numeric-id":4931899,"id":"Q4931899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$4C24E896-ED99-4956-BCF6-8E9139CBD161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d3766e75aa204f065a214a4bd6b832382d09de","datavalue":{"value":{"entity-type":"item","numeric-id":5556389,"id":"Q5556389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$05548590-D411-4D1C-B8FF-36FAB000937F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cc1bd6e7f6c93892143902281cdc6cc17cd99c","datavalue":{"value":{"entity-type":"item","numeric-id":1944232,"id":"Q1944232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$B7375402-4DF2-48FD-A215-42F5673A7AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49ec57c7a6b61dd20b402575a95828bc7d4ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2649307,"id":"Q2649307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$1EF2FAF7-A1B0-4B4E-8A88-62A037EADFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb8dbd9c420c146845939217058a5cbd701d840","datavalue":{"value":{"entity-type":"item","numeric-id":5636838,"id":"Q5636838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$6F02B0B9-DA67-4CF0-A824-5B19FA47D961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee32a0ec1097b74e887d6f1bd2e244ecdb60ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3370621,"id":"Q3370621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$BFFD2C76-2947-44D0-A372-4A5FF78DF3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9873d52a879d61ea5f503e865184e86a80201d","datavalue":{"value":{"entity-type":"item","numeric-id":4237309,"id":"Q4237309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$D5F9C51E-6EAD-4D29-B61E-CCC7C002ADF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5124a39f12a6e4b215f2f99cc495a24e8ff91ad","datavalue":{"value":{"entity-type":"item","numeric-id":3753978,"id":"Q3753978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$74AAB744-E8A6-4D97-8CA8-EEAE038F270E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8f6ddcec8fcd36ef8deb59db6c94aca9d80d53","datavalue":{"value":{"entity-type":"item","numeric-id":4793817,"id":"Q4793817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$B5749AC6-0FDE-4D08-8DB9-9CA5D0D8B163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9821ab0dbe43ab675255917fe52a2d168918419","datavalue":{"value":{"entity-type":"item","numeric-id":3629622,"id":"Q3629622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$E4527567-87DD-4337-A74B-3A937B2A32E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f8e24e97620e71c94a358a7857a384db5af1ff","datavalue":{"value":{"entity-type":"item","numeric-id":3898445,"id":"Q3898445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$C3FA01E9-AFFB-4A05-84E2-8DF7CB8FDB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ee5fae123a50b8d0c316169f0a441190cbefc3","datavalue":{"value":{"entity-type":"item","numeric-id":5096137,"id":"Q5096137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$01AA0F7F-ECC8-487E-8595-0DF60D686C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb339976039cdd54e591a746e964ae22a1cfb41","datavalue":{"value":{"entity-type":"item","numeric-id":4222452,"id":"Q4222452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$A2674F9A-3CFC-4FBE-8BF1-CF93AFCEC6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1145a6252ac1c2f0190a1ae918e36f86e8df7","datavalue":{"value":{"entity-type":"item","numeric-id":4340904,"id":"Q4340904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$BFADB12C-7CD4-42B0-9792-65618104C3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a55b65c101be447d19a6b88824be1d852c8a205","datavalue":{"value":{"entity-type":"item","numeric-id":2870399,"id":"Q2870399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$DE20305F-7D5D-40B6-BC9C-A4CF79BB247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8290cc807a796efc3e027aab2160c2c63494ec22","datavalue":{"value":{"entity-type":"item","numeric-id":2556065,"id":"Q2556065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$A1E21CDF-981B-4609-9699-598FA970D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddaabe512711a58a78dd79949f18ec369dd63cb","datavalue":{"value":{"entity-type":"item","numeric-id":4002447,"id":"Q4002447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$2261C318-BA34-4ED4-A134-36862CA5BB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2e86a75086f5316a83fce4ab2f9f86a564cad3","datavalue":{"value":{"entity-type":"item","numeric-id":4893763,"id":"Q4893763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$0D39E3FA-821B-415B-B6D2-C34796C40F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b23c20bf8749c9ad6652cdd2e6a38408bfc59d4","datavalue":{"value":{"entity-type":"item","numeric-id":1232394,"id":"Q1232394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$962EAE29-442C-4A03-945D-F727297E0304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3385a0fc6b8dec1afbc1ff65dfc38faf76abee","datavalue":{"value":{"entity-type":"item","numeric-id":4760179,"id":"Q4760179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$91E72510-21A5-490C-8516-47A7A46F2F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25b0abd3c2bcc5fb9c5b0a28aa886abc371e32d","datavalue":{"value":{"entity-type":"item","numeric-id":4280718,"id":"Q4280718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$5BC1A973-79EC-45CD-ABD1-ADD234B83F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0194aac5d1b5fafc5d3a8db70fa2e0207b7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2715528,"id":"Q2715528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$5327AF69-43E0-4E3B-AC19-FDB0E6B4EB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b076d4f7ee8ebc0fed4c2be87513d5b495afb32","datavalue":{"value":{"entity-type":"item","numeric-id":5519096,"id":"Q5519096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$6B80B5BE-9149-47F6-BBE3-E55FAFEEB3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eb855fc0749b6cac1defb12a369dba449d18ef","datavalue":{"value":{"entity-type":"item","numeric-id":4377821,"id":"Q4377821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$6AA9045E-DBFA-45EA-8731-E9EE2B3F472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2154bbbe6dd211986cdb116b4a8a936b37932ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5691071,"id":"Q5691071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$138ED302-79BA-4AA2-ACFF-421E1671F6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$ACDFC595-55F3-4D30-85F8-8B48CE1B840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a356108c8b4c2ffd113a1c8f59e2a19bdf0b2966","datavalue":{"value":{"entity-type":"item","numeric-id":4382170,"id":"Q4382170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013412$C8F768BB-D951-476E-8E0E-A13955607559","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b6c4b31b4cfe7db7af1077abae78868edf4f3bb","datavalue":{"value":"10.1007/S10699-015-9475-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013412$5974EC0D-772A-4548-8067-47D398B4429E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e85ea7d6119fbfb6dce9d1a40449a02a79762f6","datavalue":{"value":{"entity-type":"item","numeric-id":2064033,"id":"Q2064033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4f4acdce3b53a516f66da52024ed1f9386824a","datavalue":{"value":{"amount":"+0.7369236350059509","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":"Q2013412$8228B691-17D7-435C-8B80-C74624ED4C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90c63a5ad9d2cf27f1bd48f660e97c958c78525","datavalue":{"value":{"entity-type":"item","numeric-id":5204811,"id":"Q5204811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad80fbf7309aff66b169460eb42ff76f896f197b","datavalue":{"value":{"amount":"+0.7140554785728455","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":"Q2013412$7A2A1879-9BA2-4908-BD23-86A67129788C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca4f782b562d9cfc991032f3d44dbc257f7a37","datavalue":{"value":{"entity-type":"item","numeric-id":1345645,"id":"Q1345645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f2a73f730c841b5c09234dc3a58fd705da6af5","datavalue":{"value":{"amount":"+0.7111812829971313","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":"Q2013412$64FB5C34-714B-4C52-8FDF-F378E96A558F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e3c257ee6fcd7afc089609dff847d4ad87b4e4","datavalue":{"value":{"entity-type":"item","numeric-id":4280718,"id":"Q4280718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b9e227d880826e18e776dedfbaaa049be07dfe","datavalue":{"value":{"amount":"+0.7056215405464172","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":"Q2013412$5CBA9C0E-D6B6-49E8-8AD7-94FA1BE35CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebbe3e59c27e1cf7f669ca6c15fc6a9026ecbf5","datavalue":{"value":{"amount":"+0.6935836672782898","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":"Q2013412$F15CA751-A8B8-4738-94DF-615626CDFD9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2013412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2013412"}}}}}