{"entities":{"Q5360216":{"pageid":7389790,"ns":120,"title":"Item:Q5360216","lastrevid":58540386,"modified":"2026-04-05T16:14:39Z","type":"item","id":"Q5360216","labels":{"en":{"language":"en","value":"Classical realizability and arithmetical formul\u00e6"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781943"}},"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":"Q5360216$8448C5C7-5E58-4A2E-8F61-E87A4EB88589","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d44282e3d28e9bdb4d804c957f0e4e57755dd31b","datavalue":{"value":{"text":"Classical realizability and arithmetical formul\u00e6","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5360216$727033EE-9F40-4391-ABF3-5E7CB70C50EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff7ee831d9f38a883d5b895f5cd901bd77e0dec4","datavalue":{"value":"1456.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360216$E9679495-E9BA-4FF6-B866-3F12F361F84A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da738b7805c9e12a273cdd546b30df31d67e0c27","datavalue":{"value":"10.1017/S0960129515000559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360216$33BBAB4F-9742-4AFF-B0A0-FEF0C2DA2580","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1047bbea383d0b9f5a07cb915390a4618eb4b03","datavalue":{"value":{"entity-type":"item","numeric-id":2973241,"id":"Q2973241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$177316CA-7B6F-46F8-B382-15082F12A562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d25e6dfe9704fbad90bb3edf4deb2c92e5bbbb","datavalue":{"value":{"entity-type":"item","numeric-id":1652989,"id":"Q1652989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$4C24A48D-6C59-4857-980E-DAFAAD155465","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$5394E677-FDF7-4548-BD87-4D8A3FC94C4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72265dfaac0bc8e24a1f91fd4a1bc20423d8c4c","datavalue":{"value":{"time":"+2017-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5360216$21A406B4-1384-40A1-859E-FE490738BE66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"608218f40956bcdec88b34b937db379de3ab83d9","datavalue":{"value":"https://arxiv.org/abs/1403.0875","type":"string"},"datatype":"url"},"type":"statement","id":"Q5360216$FA3152B2-A19F-4BB9-8AB3-74D42C82F936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360216$75DCA862-E65D-44D2-96BB-6C6098628654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360216$22429107-DE03-4DB7-91EB-74B88C20B71E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"501cec64f24bdfc697df773e2cc37b02cba78887","datavalue":{"value":"6781943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360216$B40E8E5F-2B58-4D62-AA61-47F068F7A9FA","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":"Q5360216$E05D643C-526A-489F-BB55-75D3C72D9F16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$F38C4F94-FE9B-469B-8D22-EEFC5A37528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$135D220B-B2EF-43EC-95C3-43D03DD173E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$7B4872FD-2B6F-4346-ACDA-062A2C6F6962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$18D75D80-80E3-4A8F-A719-C6D26A68A2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$8A54B877-687E-4A34-B802-72FEB2716666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$359BE6E3-1FBA-4A90-BFD6-50D853C466B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$16C25891-D855-4E61-8BB3-5075DE7159AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db55fbec7f6c9bd80c157746fbb26b91e023c059","datavalue":{"value":{"entity-type":"item","numeric-id":3548539,"id":"Q3548539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$FDB9FD0F-25FE-4BCE-ABC4-57B60CAF4EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$74B060AE-BDB6-41BE-B921-22F5BF364139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9583f2914b1bbbfcb962ff41042ec83ae2749cab","datavalue":{"value":{"entity-type":"item","numeric-id":2973242,"id":"Q2973242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$9B2013C4-5E59-4C29-ACC2-55E3DB17D695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86a3499083cc91a74d948bcac34aaf5b5f01ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5277975,"id":"Q5277975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$23960B4C-3F3D-4342-8C95-13B13814047E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$1861220D-BB48-4201-BFAD-0CD1A9D9E35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$3E7400FE-33C7-4084-B27D-29A3C756600F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$27CD3B05-598E-4526-A810-046204588E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$E45E91EE-EAAE-4FBF-87C9-8609D84B82B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b75dd3fb8b48431eb9ad5b02ce91286f91c46a4","datavalue":{"value":{"entity-type":"item","numeric-id":5945009,"id":"Q5945009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$106F67B8-FE55-43AC-817C-3010B3EE3742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc492aae6606d7fc7e30022e1b80faa51ce6ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$A1DE1E74-9E87-4619-8C57-45FD1319702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$8435C320-CC4E-42BE-A80A-BF0A9BFB91CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b40679641f16410d40f78d2866535cc8e592da","datavalue":{"value":{"entity-type":"item","numeric-id":3224668,"id":"Q3224668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$8DE9A448-478A-42C4-8607-EE2FA88A6BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1d404143589372d7b9efbbb23dc7c5621d0e4","datavalue":{"value":{"entity-type":"item","numeric-id":2881077,"id":"Q2881077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$76DC6A19-65B4-41F9-90C6-30BBCBB55E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2c02b05c2ffc277b192845d028d6cda648ad61","datavalue":{"value":{"entity-type":"item","numeric-id":3608421,"id":"Q3608421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$2597B5B6-696C-4ABD-A785-81F051F68E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f467bc7e738d5a5a1046302aa48cf4cb7d8fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3003319,"id":"Q3003319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$684507EE-D347-4622-933F-6CD7ADF8DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3016d682304afdefa3549c5dc01183ffe1b21820","datavalue":{"value":{"entity-type":"item","numeric-id":3532205,"id":"Q3532205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$E3D76529-0397-4322-A911-B23073094633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360216$B17FB0AA-A350-4E18-A1F2-89EC8884ACE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac0153598a102dfb3c9d1199853200c8f256fbf4","datavalue":{"value":"W2963002228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360216$B47964AD-16D7-4F7E-9A90-A6CBDD506CFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7691ab4a57caec0bda90e060a83fdf013d327509","datavalue":{"value":{"entity-type":"item","numeric-id":2973242,"id":"Q2973242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81532e6c47a7991f872d0c8f9cee4a6fc059e43a","datavalue":{"value":{"amount":"+0.8397977948188782","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":"Q5360216$1F8F5FA7-977C-4D33-B6D0-C52378E83A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692accb3f7a444e19c1bda74f604ab28829a7938","datavalue":{"value":{"entity-type":"item","numeric-id":3007652,"id":"Q3007652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec10aa1f84b0f064d1ebdfa126e36864f93596ce","datavalue":{"value":{"amount":"+0.777668297290802","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":"Q5360216$E96A2FE0-B637-4145-AE4B-E37B85C42446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c3d59f8a85e21137b2bc0ffefb37206b266eb7","datavalue":{"value":{"amount":"+0.7532010674476624","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":"Q5360216$9EA0D97C-F326-4A53-885E-8CC2DFAF7716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65ea139cbd1b472cb8aaf49a16264799fe6325d","datavalue":{"value":{"entity-type":"item","numeric-id":4964695,"id":"Q4964695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33eadf4eeaf37145e821b3cd19b1c5e00cbbf5ae","datavalue":{"value":{"amount":"+0.750006377696991","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":"Q5360216$DD8A8806-3B07-44B7-96B7-B86FDD72501D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2f69a68b77f3314fe1ffe66c45fa74ede0d992","datavalue":{"value":{"entity-type":"item","numeric-id":5300895,"id":"Q5300895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9871221cd544941fc9f877d96472004aefd5eac5","datavalue":{"value":{"amount":"+0.7496650218963623","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":"Q5360216$7643D94E-650A-468C-9901-8BF26CE6549F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5360216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5360216"}}}}}