{"entities":{"Q2343127":{"pageid":2353870,"ns":120,"title":"Item:Q2343127","lastrevid":57864882,"modified":"2026-04-02T20:54:44Z","type":"item","id":"Q2343127","labels":{"en":{"language":"en","value":"Quantitative classical realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432702"}},"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":"Q2343127$B5EA4F84-29B0-4274-91A8-2BFC5A3A0A5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ded5982b946bacb8af2e0bdf4ac42a75fa5595a1","datavalue":{"value":{"text":"Quantitative classical realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2343127$494EBDF9-FF4B-4471-B294-772EA5E1CC58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"380e11d5c347b8a630d3689141f5ff21a1eba5bf","datavalue":{"value":"1323.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343127$1B2BA19E-D22D-486F-8B11-B9E3DFA1D339","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49b5af76041dffa05da9518344b26ff1f15c9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2343126,"id":"Q2343126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$9B37287E-0F7B-4507-B9A6-026B35EC5DAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$EB36FB33-B4D3-4A64-AF67-9C27BE79F180","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3d99bc4b033c565fb0342435936dda6246db079","datavalue":{"value":{"time":"+2015-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2343127$87C02F23-AE19-4DC6-81BE-44CEA354DD6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d70190c3f05113db68028c95c78c1c5100b5372a","datavalue":{"value":"https://arxiv.org/abs/1201.4307","type":"string"},"datatype":"url"},"type":"statement","id":"Q2343127$58FA023F-1A1F-4CBF-A66D-E91DE52527A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343127$636AC2BF-9A96-49F8-9CBE-B33E6ED92EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343127$AF51788B-393A-468B-BD99-A46ED905831E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343127$34BD1DA7-8047-45A5-A659-ABB917A3F32B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb309796a3fb1fbff497dc131739cc5d9d37b90c","datavalue":{"value":"6432702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343127$4934A275-D97B-4246-A3B0-3B2E24D499F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48751977d74fc4c82dec71cfb28310017a530892","datavalue":{"value":"quantitative realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343127$DCE450BE-6185-4C7A-B5EC-4F2F46B66F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343127$B7C803BD-863A-41F5-9814-0A9FBAA2BE95","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ba023c7f135ba18b22b41637860e39011205da1","datavalue":{"value":{"entity-type":"item","numeric-id":23300,"id":"Q23300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$B3A9899B-A32F-45B4-AFFE-B20986ECFA88","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":"Q2343127$C8BD7847-8E6C-4727-96CC-520C983CE4CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d29d6f91b562033fb9b6c661977ebb2cd6dae5e","datavalue":{"value":"W2032195084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343127$18BF33E8-76A7-4241-BEF5-2583280BE8B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08e2dc1c427cd45e0eb44edcce51f432eb4f96f","datavalue":{"value":{"entity-type":"item","numeric-id":5308440,"id":"Q5308440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$348FA9BB-D361-4B58-A170-2A51167826B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97535c16ff9110182a78f8ecf62c340fe59baa5","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$09A6E22A-D0E0-4E6F-BE27-270B937A3ADE","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":"Q2343127$4BD06E62-9364-4794-917D-098E86BD845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55abaa567248a298d22e474159debbc488cee66","datavalue":{"value":{"entity-type":"item","numeric-id":5901226,"id":"Q5901226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$AEBA622D-85D2-4A75-BEB3-2C212580E6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$0D891D5F-B54F-43B2-B2D6-B184AD71DBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$6C0507EC-0DC0-4D83-88B2-C90E16B344C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$F9073707-C4A5-4E6A-8913-F3617F525076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998e5a2d437a0ab5e5dc5d27be5b655cf47cdd9a","datavalue":{"value":{"entity-type":"item","numeric-id":1827395,"id":"Q1827395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$52AB5501-CABF-4DB3-9035-F1D9E5631260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$FF9E1284-4634-45CB-86C5-EDF2948FF7D6","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":"Q2343127$E35EE1FC-AEBC-4822-839A-791C8C86CB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d122fa04c1ae2beb257077277364510718cb6a5","datavalue":{"value":{"entity-type":"item","numeric-id":5902142,"id":"Q5902142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$D733873C-8EDB-44E1-917C-BA403845551C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56079f4315d57683f7ac986dd68231174e9401","datavalue":{"value":{"entity-type":"item","numeric-id":987375,"id":"Q987375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$C3698229-5CCF-4B65-B8A0-32FEBFDD8CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d41bc368794651eefaa5e01225b43165e58b5bb","datavalue":{"value":{"entity-type":"item","numeric-id":534712,"id":"Q534712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$2E65783A-D15B-4DDF-9EED-4ADBB9129B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd21fe6abd494371ff51f6c929645f455284b5f","datavalue":{"value":{"entity-type":"item","numeric-id":2482840,"id":"Q2482840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$58B06764-C588-4D03-B47C-EF3D699D7770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5271492c702d4627ca19fd1d259ccdd17031ac73","datavalue":{"value":{"entity-type":"item","numeric-id":3080087,"id":"Q3080087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$37C0BD64-9EA4-4D2D-BE9F-2F42160691F5","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":"Q2343127$47B9792F-75CC-43A1-8375-CFE1734E7E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46680db2c947d92e8cc79553fc58bbd7edb3ebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3644763,"id":"Q3644763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$D7F82FF3-25C1-413A-816B-9BD5191918F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$5F3D5924-B68F-4F48-A8A2-6DC7623D8C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4fdc336b43063ea23854b1e9b2526543940aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1044837,"id":"Q1044837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$196D76B9-40B7-4C2F-940D-3A67D9101A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecd85fac6a91f87d421a94407c81aa413d02af3","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343127$5F122DE6-F6DF-4F60-9C4E-F8EBEFB92176","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccaa47771800eddf2ffc78f1fadeec9ce3276300","datavalue":{"value":"10.1016/J.IC.2014.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343127$5DACB536-72A1-4D24-BAAE-3C7602959917","rank":"normal"}],"P1643":[{"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":"f982671f3254dfbc5fd911d5372dd45e2b6bfc32","datavalue":{"value":{"amount":"+0.7650415897369385","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":"Q2343127$E8E81A9A-B208-4775-976C-2D43DDA2FA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76182377442106b02e1d56bad5ef7978bc948450","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af7c2f2b9f4f37588f7165d30b4605c62d2dcdf","datavalue":{"value":{"amount":"+0.7317180633544922","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":"Q2343127$7ACC5E84-A7BA-41C0-85B7-8D8EB6E7D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a7982718079b5c5af997f2e2f70141f8b7df04","datavalue":{"value":{"entity-type":"item","numeric-id":4499139,"id":"Q4499139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ae79e67e3283d616d9254da35e4586315c50e7","datavalue":{"value":{"amount":"+0.7268534302711487","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":"Q2343127$675762A3-09EC-4BBF-9DB4-C9685EB157C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f67b3caa0cab9f6becb2e5e56ed56d1e621b7a","datavalue":{"value":{"entity-type":"item","numeric-id":1827395,"id":"Q1827395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2467c9f781306a1bec207c14b41371f0a64be7c3","datavalue":{"value":{"amount":"+0.7259558439254761","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":"Q2343127$9D36B8DE-6F85-4405-B20D-67D1F627BD0A","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":"abb0a8eda7474751e8f452d685b11d0c71252098","datavalue":{"value":{"amount":"+0.7178583145141602","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":"Q2343127$BEC09D67-AEB3-4DCC-94C3-19D7701F438A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2343127","badges":[]}}}}}