{"entities":{"Q3637195":{"pageid":5667101,"ns":120,"title":"Item:Q3637195","lastrevid":87476102,"modified":"2026-06-04T11:46:40Z","type":"item","id":"Q3637195","labels":{"en":{"language":"en","value":"Relating Classical Realizability and Negative Translation for Existential Witness Extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576328"}},"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":"Q3637195$C2730D61-AA9C-40D5-A4CD-3470E6693156","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1c2fdbacad52b376f42147f6fdd2e20ff1f28b3","datavalue":{"value":{"text":"Relating Classical Realizability and Negative Translation for Existential Witness Extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637195$25E9888C-A860-496D-ABE9-C4175849F24C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"947ace71d72099c7f47541bfbf53dbbf7cb04f70","datavalue":{"value":"1218.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637195$118B6034-2859-48B3-966A-F5E32BC8B22E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6507d9524ea6d2cd20fa77201d42f0552e231512","datavalue":{"value":"10.1007/978-3-642-02273-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637195$FB0D8903-3B4D-48C2-B297-F2CB839974A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0842fcbe111f9be8377f324c26e11a51d0a9daee","datavalue":{"value":{"entity-type":"item","numeric-id":2482839,"id":"Q2482839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637195$6CCD095F-722E-4D6B-AA21-0AB74B7DB152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637195$955A4261-D529-42D4-841E-B64197070F38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637195$A5ED8A62-1A09-4B4E-AB1A-E89DA5FBAFFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637195$9B9FB01E-678D-4FBB-AB56-2FA8955F6FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637195$CBD11842-E992-43B4-9A82-9499E59BFE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637195$AE0A1988-DA3D-4E75-9807-9386471DFE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637195$58FA1661-391D-4B16-B712-743BC7F35A74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22e1d9e61b4eabdc4f3acf51811dd4dd919ec056","datavalue":{"value":"5576328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637195$49086506-0A5E-4F32-AD8A-97F78415DD84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637195$1B73BDE2-2EAF-43CD-9EB2-C5475F2E6E89","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":"Q3637195$0011FADE-0004-41F3-A249-F3F74C565FC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8704b52ed122a0eac291d35a1657f55f06981b49","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02273-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637195$C6B6D082-8185-4137-B057-41A15869DD0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26050a96c2e116d4c57facbcd83d6dd5d6576b30","datavalue":{"value":"W1856816820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637195$8A498F43-CBE7-4A06-AECA-4FCD6D55C425","rank":"normal"}],"P223":[{"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":"Q3637195$AEF51BB3-2613-44AB-90BE-4D082CC2B661","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":"Q3637195$C7FA256A-3292-4238-9948-9EADA5524DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce42f54bdfef08bd435c92bb6ed780dad4891a10","datavalue":{"value":{"entity-type":"item","numeric-id":1329740,"id":"Q1329740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637195$18C668A7-6463-4A08-A66A-44DCD8C0DDCB","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":"Q3637195$1087F156-2271-47AB-AF26-C655248DCDCD","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":"Q3637195$D33727A4-E0A5-4F2B-807A-B398F8D5E887","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":"Q3637195$537DFD63-702C-4238-9F38-4930FB5F42DA","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":"Q3637195$0178EBFE-2A4D-4E8A-8A9C-6DCE008EE0D1","rank":"normal"}],"P1643":[{"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":"76a53bd4e7b34cdd9c0e3893880f702f6456a773","datavalue":{"value":{"amount":"+0.9334243535995485","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":"Q3637195$0C01BA20-9FF2-4AA9-9F35-BB0BB0385438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3729b0e8c4dddb325f1b0df9df0be3d5efa45e","datavalue":{"value":{"entity-type":"item","numeric-id":4883280,"id":"Q4883280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef752fac59d6bced3b330ca1016ec87d42915bb","datavalue":{"value":{"amount":"+0.8438901305198669","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":"Q3637195$CDE90F1C-8B7A-410B-B6AD-EE4E3D651010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c9ae8585d8fd6544f9507dda37ac873e11a49a","datavalue":{"value":{"entity-type":"item","numeric-id":5360214,"id":"Q5360214"},"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":"Q3637195$6477188A-2949-4843-8FDF-06A9D5373F35","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":"f898c843232769240f8f29578addb197b21914fc","datavalue":{"value":{"amount":"+0.8010945320129395","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":"Q3637195$91A4CEEF-1C74-4984-99C3-47EF6F472D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f049ad994992d3502281cb465c6a726710ff80d4","datavalue":{"value":{"entity-type":"item","numeric-id":4012886,"id":"Q4012886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d575557cc8a1531566f540d6b4b81e954564989f","datavalue":{"value":{"amount":"+0.7999159693717957","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":"Q3637195$ED6D3573-1835-4BB1-BED4-B56BC95C0BF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating Classical Realizability and Negative Translation for Existential Witness Extraction","badges":[]}}}}}