{"entities":{"Q5361260":{"pageid":7390834,"ns":120,"title":"Item:Q5361260","lastrevid":58537098,"modified":"2026-04-05T15:52:52Z","type":"item","id":"Q5361260","labels":{"en":{"language":"en","value":"A game-theoretic computational interpretation of proofs in classical analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781296"}},"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":"Q5361260$2BB97772-7FC1-4E2A-8B03-83E4E383FEA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc5fbd149cc8c14ae88e3f8825a966f08a719969","datavalue":{"value":{"text":"A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361260$3BA64660-ECAF-4C97-B315-291469774A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d3a68749de1046e58a49f01f4e38b8cfb08f79f","datavalue":{"value":"1378.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361260$8FB115F7-6F5B-4870-9EEA-A69019BBCDDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0473bceedaed585e4c9608ddfb15ae5c3f936a56","datavalue":{"value":"10.1007/978-3-319-10103-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361260$6C0F976E-A0A1-46BE-9145-6BFF990E6ACA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b850175c1f26a72d4f19f54bef6aaf6493e2ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5361241,"id":"Q5361241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361260$6D5F91C4-4E69-4764-9B99-B492C5240539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361260$5AC95C78-FD7F-4B4B-BE6F-6DA0B44A3082","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2150812f3bbc2bc6f146cf6d2313586249c08967","datavalue":{"value":"https://arxiv.org/abs/1204.5244","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361260$1DA10474-209B-4707-99A1-13BD46E27F61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361260$3D69699C-BE67-4694-B2F5-8E1EA8EF4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361260$225F7AD1-62EA-4473-BD22-26E14CAE2577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361260$10EEDD52-24ED-4A23-A361-7F29350E6192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361260$16E9A36B-E8B7-454C-B975-E64A48B4D5C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe4c7cbbb9cecdd7dbfae43124c76581022dbf06","datavalue":{"value":"6781296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361260$2D6ABAB0-8B49-47F3-B525-010841619892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d9560a7909dd6f8e46ae5146bcb8350fb4a4d1","datavalue":{"value":"functional interpretation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361260$0B7D8108-B1EA-4693-BCB1-51CCD7C0EE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c399b714360cc4708b683e4c54d80be3988a01","datavalue":{"value":"product of selection functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361260$D45BD6E1-85A3-4D54-A376-F6C54967D175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"179608fe48db8f2c8c11735430f3c7f10f446d39","datavalue":{"value":"sequential games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361260$7ECF3C14-BF35-4721-8FEF-327B5BDF4F56","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":"Q5361260$B8E0D2C0-AC22-4192-9F26-99F7D2D8D72E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2188364d90d9d7d2130c03470a9b401e0372a17e","datavalue":{"value":"W2268047087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361260$3D9C0024-DE1C-48B7-9605-71B7E37B2227","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53570b256a0060b1d16de9e699916f74c03508be","datavalue":{"value":{"entity-type":"item","numeric-id":3104817,"id":"Q3104817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2462c9d77a53f4dc5b1365c3f800c0d296a3b9a","datavalue":{"value":{"amount":"+0.7954160571098328","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":"Q5361260$FE68F69A-BABF-4A75-BA00-21A4636BE080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50f605d150da26b2c8b819834dd31dc01786100","datavalue":{"value":{"entity-type":"item","numeric-id":2831257,"id":"Q2831257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c291d05501fffafddf49c7cb2d3e1962eb5ee5f1","datavalue":{"value":{"amount":"+0.7719544768333435","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":"Q5361260$46A6F4B7-5271-4EDE-AE29-F3AA93A6E9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985e263b1ed9e38682253c5fe9c98576a9cbc404","datavalue":{"value":{"entity-type":"item","numeric-id":5740680,"id":"Q5740680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30bea714c15c775cc660e4afab2276c7b556cbcf","datavalue":{"value":{"amount":"+0.7696224451065063","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":"Q5361260$1D2D7C71-C7BE-4AD0-98A8-259137D57C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcfec6923d877a66364e1c8dd13f763f23c875e3","datavalue":{"value":{"entity-type":"item","numeric-id":3612668,"id":"Q3612668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826225fcebc63030f28d544fc573ef5d27649f0d","datavalue":{"value":{"amount":"+0.7521653175354004","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":"Q5361260$6CA61B3E-95DF-43D2-BF34-195BE84EA252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78060097943999012c70895f22edd7724bc6dd1e","datavalue":{"value":{"entity-type":"item","numeric-id":964504,"id":"Q964504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910c6e961ed3e31f3a1f232eb8708b2ae76a98fc","datavalue":{"value":{"amount":"+0.7484261393547058","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":"Q5361260$DDEC7E1F-2BD6-4531-9D55-D445432D40BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361260"}}}}}