{"entities":{"Q4649556":{"pageid":6679137,"ns":120,"title":"Item:Q4649556","lastrevid":82273571,"modified":"2026-05-06T20:30:44Z","type":"item","id":"Q4649556","labels":{"en":{"language":"en","value":"A computational interpretation of the axiom of determinacy in arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109843"}},"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":"Q4649556$F789691E-5163-4190-8FEE-1152C5423C4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb25fdc254b7f01353073f7e18206c08cf70335f","datavalue":{"value":"1252.03134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649556$5F40BBF9-D172-444D-89AE-18EC04F60635","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d44286f647e02fdf12301a41e8d8df80d7b41cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2112748,"id":"Q2112748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649556$557C8165-6574-48C4-98CF-E3D412E98F27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649556$09298479-153B-4230-A4DD-EB5A689C3D31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649556$BF41E288-85E0-4CB2-8BDC-3B0969A2D825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649556$949A09B3-3A51-4160-855F-02EE763D674E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd754b7c21d78b094a4633e2db3175082692ddc2","datavalue":{"value":"6109843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649556$D50DADE3-14B9-4F33-BC4E-A363961A5364","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d451d48ec6bea33e6f5638bb74e6420fe45f307","datavalue":{"value":"axiom of determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649556$C81CF559-4E25-4EE8-920E-0D22C366937E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d5cbcbc606174ff62085848124aac61017c25cf","datavalue":{"value":"Gale-Stewart's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649556$31BA7891-1CD3-4D40-A3A8-225BBA6E13D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08704eaf3e6e5fd8a3fa8b7f95ed6e0364f0d267","datavalue":{"value":"syntactic continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649556$D8E56DBE-E2BD-4090-B7D8-4B6480F4B28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649556$8666E97D-6ACE-4501-B57B-00A391879DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b8edb8b9472ce52a4455a8ffa9888225337ee4","datavalue":{"value":"Coquand's game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649556$7E01A91D-DA7F-41D4-BEDB-9D4736BEB7C7","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":"Q4649556$55F6D65E-BB8F-4B45-910D-61FF3F5FFD67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3d3abbf578e203f5f2d5cc05e678d761b99ee11","datavalue":{"value":"10.4230/LIPICS.CSL.2012.335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649556$79CF687F-1F1D-4494-8414-DFE7BBD1FA75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14338fac203005828e9642d20df6d731dbb3b644","datavalue":{"value":{"entity-type":"item","numeric-id":3024822,"id":"Q3024822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de47d6c5a642477a0e380f7e25d562413014f621","datavalue":{"value":{"amount":"+0.7783998250961304","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":"Q4649556$491A951B-AD3B-4DC1-B33E-94A14ADA7B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feac0e89c86c9d55f61debc8de36c8304fbe7186","datavalue":{"value":{"entity-type":"item","numeric-id":3708796,"id":"Q3708796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a9a96515bb2c10a17deb0ba10b7875451834ad","datavalue":{"value":{"amount":"+0.772908627986908","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":"Q4649556$B880A0B1-6262-475A-87F9-19F2E6F0EA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bc028fec08914a58afd553ea2feac85a93309d","datavalue":{"value":{"entity-type":"item","numeric-id":5108869,"id":"Q5108869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539e552f366b1794b5576f352f179b8d00e11fca","datavalue":{"value":{"amount":"+0.7453715205192566","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":"Q4649556$6137DB21-D725-4EC8-ACEB-F8A826C86A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63aec78da829bd91e6cc07af26cb400916d402d5","datavalue":{"value":{"amount":"+0.7422038316726685","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":"Q4649556$58E76937-4162-4DD5-B980-67D45CD07405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15978ee46f154c058a13299f51b4fb9d5983739b","datavalue":{"value":{"entity-type":"item","numeric-id":3116522,"id":"Q3116522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba52171d521e4b555454b33694a5e26bf9a63e5","datavalue":{"value":{"amount":"+0.7413787841796875","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":"Q4649556$F942D89B-DCD4-4B76-B0DF-36DA9810A60B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A computational interpretation of the axiom of determinacy in arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_computational_interpretation_of_the_axiom_of_determinacy_in_arithmetic"}}}}}