{"entities":{"Q5360214":{"pageid":7389788,"ns":120,"title":"Item:Q5360214","lastrevid":92343920,"modified":"2026-06-05T01:29:15Z","type":"item","id":"Q5360214","labels":{"en":{"language":"en","value":"Constructive forcing, CPS translations and witness extraction in interactive realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781941"}},"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":"Q5360214$F53B4D11-02CD-43B5-A06A-0AC6DF61C78E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7cb591eb803c4dba8a9a79a26d8da29f31a41f1","datavalue":{"value":{"text":"Constructive forcing, CPS translations and witness extraction in Interactive realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5360214$2400E243-DE45-45AD-AE27-727D421001E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3896f3d171c8af2b6ec523244894b9149e40b528","datavalue":{"value":"1456.03109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360214$5D3E1B55-4498-40D6-B3AF-A8EF741C01BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"478e71c65e6ca1f98faf5120170f6fa4e7ab440f","datavalue":{"value":"10.1017/S0960129515000468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360214$597A62A3-E2F2-40C5-82EA-D7C508CF36E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$7E4F0418-4B3F-450C-BD12-F91D4DF7A412","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":"Q5360214$7BCA05D2-64DC-4D2A-BEA7-BE5DA18B5150","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":"Q5360214$3AE53E04-C19A-4003-989B-0196DBFE921F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360214$F8588D3A-1936-45F3-ABB0-94AE6FBD9A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360214$0019D040-4129-450F-932B-851A3890DC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360214$B01FBE24-CB43-403E-95C0-004D295A7B55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a3a75d20006e93fa0015cb646f7861b7f3207db","datavalue":{"value":"6781941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360214$DF43AB27-4D77-4E2B-8B34-011F95AFA93A","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":"Q5360214$720DAB73-8C1F-47F8-853B-462F5E345EED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca44f069270dc8b8b52d5d1c2fa633a92d119b9","datavalue":{"value":{"entity-type":"item","numeric-id":2915671,"id":"Q2915671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$8CD27904-1B3A-4290-8790-054F45362289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3aa1c95c33036f55f3c08e90cbb6a4de5f4e50","datavalue":{"value":{"entity-type":"item","numeric-id":450942,"id":"Q450942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$204B5F0C-9E5E-4D78-9B01-869994A9E863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f944aa76c758c5eb64b4bcd83ef658a10d106072","datavalue":{"value":{"entity-type":"item","numeric-id":5740401,"id":"Q5740401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$E5D7BCC9-E29F-47A4-97F8-F14073A23E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11792e927ad866d227a06a7669f3558c91fd1159","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$C077B52F-FC08-4531-B28C-B98F8FAC9F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e366e7b3eaee30c8a7b50e86a00285d250c8874","datavalue":{"value":{"entity-type":"item","numeric-id":2776806,"id":"Q2776806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$2AAE7B48-41EE-4797-9EA0-6D4007DAD486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13afc3c63088e3f56111075248ccc851cd772b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5267436,"id":"Q5267436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$B1322A55-D25F-4A71-9AB2-C5327CFAC7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca3374f38546cd0b5f3c54b80aae548e59ad030","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$602615AF-051A-4C25-BA12-7A3D2CFBBB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1a90574c396a1ca159a0401d8596bb5f1e528d","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$2C78330A-7AE2-43B7-BCDC-06A25FE796BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7daef8a49f5aea80129e5b226eef07ddc0057875","datavalue":{"value":{"entity-type":"item","numeric-id":3540181,"id":"Q3540181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$AB386DA8-6384-49F5-9195-2C7C419D3454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13c4bf41c5b2327a4eaf927f35f76b8bac80ab8","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$AA05B4F9-6E80-4EE7-A2A0-A154C3335338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93bfe091c0eaaa12b537a69c57e801ec8d10e88","datavalue":{"value":{"entity-type":"item","numeric-id":265800,"id":"Q265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$BBFEBB80-F7C7-4055-8488-C63F6F2AE2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2d5cf70957811b3c1a72086f7c66b724e20b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3559969,"id":"Q3559969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$2E9257E3-0E34-4952-BB78-799F24D40229","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":"Q5360214$0CC9A06C-038E-48F3-881F-3340347EC704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d11ad722a58de019ca546cb797582b6f9c7fc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4177565,"id":"Q4177565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$32D5DEFA-AC39-4525-B4AD-12DFF430E3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$E8ED4A68-298F-424F-970C-C7427EFAC367","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":"Q5360214$A4FF9910-1957-4937-B67A-A2EDE579B54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$9FF85B48-168B-414B-B0CF-00C66930D889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$428489A3-69DB-43ED-A65B-2D3C94009474","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":"Q5360214$0C93E7D7-57D4-4F87-AFDC-6C5852AFE08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82765c6652fefb7b62b485b8396ead94a739e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$C05C446E-7C06-4036-86BC-C7BDA01AC474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$D2268AC5-7E64-4BC2-B28E-DF168FC316DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$A6D0A568-8E35-4EEB-8D56-AF1F4D7A78D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$B46EA89E-EA73-4DE1-B63B-2B8B207DC6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5360214$8F7A851C-FD25-4A38-B7F1-6B3F63077EC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2124b35adddcf302a744f85c2c3332460f99c587","datavalue":{"value":"https://doi.org/10.1017/s0960129515000468","type":"string"},"datatype":"url"},"type":"statement","id":"Q5360214$41B384FC-0642-4549-8C12-BF041EAB9C52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b06179cfa17e3e2b7a17ab66eaec7b350ed3cc4d","datavalue":{"value":"W2219039436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5360214$F4FA8939-EC80-4D44-89EF-F77DACD6D6AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba26623a7a3bcc65df6ae8537145b5b5e30123a7","datavalue":{"value":{"entity-type":"item","numeric-id":5740401,"id":"Q5740401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab45893bbc654173ca5292d1a8a525d2868424c4","datavalue":{"value":{"amount":"+0.8263447284698486","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":"Q5360214$1C9B0542-4086-4E01-B698-38875C727CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76beca1e87233711001bf84c18fa7740126cc524","datavalue":{"value":{"entity-type":"item","numeric-id":3637195,"id":"Q3637195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7d3ac04351c080443696cd97b5bca72bbb4858","datavalue":{"value":{"amount":"+0.8070676922798157","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":"Q5360214$A1166483-2C69-45C3-8810-B967B5EAD7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01a84da1b2cb1607b7c85a47ec39d04b1220f12","datavalue":{"value":{"entity-type":"item","numeric-id":3003319,"id":"Q3003319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df96adbb94465f7c487b529f3bc2a41103a544ab","datavalue":{"value":{"amount":"+0.7933802008628845","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":"Q5360214$49A1FA18-7772-48C0-AF7A-0C3D1F8EFF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6372b8a24cdca7c3de059415eb18caa3f796d520","datavalue":{"value":{"entity-type":"item","numeric-id":2946659,"id":"Q2946659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78b5d4a91cc737906d166b061174f5b3bf238aa","datavalue":{"value":{"amount":"+0.7933316230773926","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":"Q5360214$495AC539-CEE9-43AE-902D-01BCE1114638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f908016c8de4c7ab1dffa9c501c98537f2530e2","datavalue":{"value":{"entity-type":"item","numeric-id":4981438,"id":"Q4981438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b703195cd83dec211a7f6ad30aa1afe9d5f3e2","datavalue":{"value":{"amount":"+0.7899376153945923","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":"Q5360214$C37D4C2E-1104-42F3-AF24-50872B309AF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive forcing, CPS translations and witness extraction in interactive realizability","badges":[]}}}}}