{"entities":{"Q3066096":{"pageid":3076812,"ns":120,"title":"Item:Q3066096","lastrevid":79961819,"modified":"2026-05-06T15:07:06Z","type":"item","id":"Q3066096","labels":{"en":{"language":"en","value":"A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834037"}},"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":"Q3066096$A8083EBE-76EA-4B8F-BD42-E305F6BAD98D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c672dc3003833bab27027f78c8e657434f90c9b","datavalue":{"value":{"text":"A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066096$E3F9444A-3596-401F-A432-116E51E8C9F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e43c1c37ff7f4fb574b8506e1383e01038be279","datavalue":{"value":"1253.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066096$505FA184-65F1-4F31-BB77-2D8B8DB72FF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2056f5239161535a3858eb50934ec7ca48c9160c","datavalue":{"value":"10.1007/978-3-642-17511-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066096$FBF99CFF-B4FC-43B5-9C33-78877CE7CCE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd3ed2b4f31654a06039d9483f2de0ff47a0ba93","datavalue":{"value":{"entity-type":"item","numeric-id":1685910,"id":"Q1685910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066096$A06605EC-CF41-4693-8F91-C62976E6137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52205c49578ff1cfeedb9fdb2178766a03a9a062","datavalue":{"value":{"entity-type":"item","numeric-id":1035694,"id":"Q1035694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066096$3CEE27FC-800F-479F-A78A-9F2812F2CE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4612e4af430638c532ed32c66043f9363097a630","datavalue":{"value":{"entity-type":"item","numeric-id":2200850,"id":"Q2200850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066096$0CC5DA41-9B49-4740-A48C-10CCC53B84DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb422b0a71c7373d6ef3f0283ecc33ac78f3208","datavalue":{"value":{"entity-type":"item","numeric-id":1083859,"id":"Q1083859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066096$BCD2F5AE-B6C3-41D3-BF87-ECBA1DF02E1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066096$ABE05F6A-AE95-47FB-8F5B-5EC79B725872","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-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":"Q3066096$BE787079-32D0-4840-8E31-24BB4699D97D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b9276ff5762b59f9e714c20c357f0ef798e94cd","datavalue":{"value":"https://arxiv.org/abs/0903.5392","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066096$51D39311-59D4-4F36-89A3-D89349188E5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066096$AF44CF47-DF93-47E9-9B12-7924E165AE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066096$203027CD-605E-485A-A422-1F3EB845B0C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d67568bfccd9b59729b786ec84318db599683dd","datavalue":{"value":"5834037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066096$4C515CFB-E283-43EC-977D-9B0696226B00","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":"Q3066096$70BFA9FE-C3AF-4F9D-B9C9-6482B178AD22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"308b6e18c7376aed33b74b9b085ad39208bbe902","datavalue":{"value":"W4297783029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066096$32BD4946-2647-4E19-82CF-1AF59A6E325C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27eb78913d05df01765fdd47f61aef9a5bbf6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5739889,"id":"Q5739889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b770afd61a3122632985a69f129f88d729cefe34","datavalue":{"value":{"amount":"+0.92182165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$050EEE1E-3853-419C-9987-2D7E2BA98D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc8c39c3346244619f4e7189d05d4e99f2ae68b","datavalue":{"value":{"entity-type":"item","numeric-id":2904403,"id":"Q2904403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce310c3dacd696ea65781932fbd86aaf6e87cdf","datavalue":{"value":{"amount":"+0.8838295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$37639D4E-AAB6-4D89-8C0D-95911A906AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929eede9048cd88ecd70b139d156db1cbbde364c","datavalue":{"value":{"entity-type":"item","numeric-id":5177335,"id":"Q5177335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698cd86c980249775850ffe21f8fac00a1b69c44","datavalue":{"value":{"amount":"+0.85865754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$9C09680A-0B10-4C45-AA82-E68E22E4BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4041bd2b4e07bb18d5cb36a3fdde866a268fa874","datavalue":{"value":{"entity-type":"item","numeric-id":3010365,"id":"Q3010365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5c7a3da27fb2c36baf0f3607642d45a293b7d3","datavalue":{"value":{"amount":"+0.85100645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$A718D28F-7EA8-44B6-9C21-8D4483DA4323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086e0384dfaa2769a4accff060066099d51ba297","datavalue":{"value":{"entity-type":"item","numeric-id":3094143,"id":"Q3094143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db95527e58d0ce6995f924c2cfb580122fa62b3","datavalue":{"value":{"amount":"+0.83518755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$4F6982D8-A272-4F3D-9FD2-E0D0870C9B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6dbb346f4d6438497a93358f9fc5d941f401797","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230311ef38946d7baf9611721f648a01cb9d48e2","datavalue":{"value":{"amount":"+0.81403875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$0D845356-FF7D-4468-84C9-F2E503865E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca499ed0b412ee9031e56b1d6905bd05cbf5d094","datavalue":{"value":{"entity-type":"item","numeric-id":6086001,"id":"Q6086001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd83ceef07bf7455e95cba353b03626879cabb2","datavalue":{"value":{"amount":"+0.812457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$BFAD8154-571D-4D19-9103-B66E9F6EE6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0953ee6fdc6b0ae16674602f33b4bd64054f1fb","datavalue":{"value":{"entity-type":"item","numeric-id":2235970,"id":"Q2235970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474640b56711b63e3f5175a345c6fe28835d500e","datavalue":{"value":{"amount":"+0.81009316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$62A83B2A-45DC-4F96-8C26-33166DC30742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974d96344ca12cfc03361e437c543969bb6bf98e","datavalue":{"value":{"entity-type":"item","numeric-id":2042343,"id":"Q2042343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf122188f2d983fc1040c82928d2efe0dfb372eb","datavalue":{"value":{"amount":"+0.8100745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$FFDD51C8-E1AF-4C5B-801C-086C4DF98A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725ca95a1a291000613403a8d4ed48dcc2a9cbc2","datavalue":{"value":{"entity-type":"item","numeric-id":6100606,"id":"Q6100606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2029d38fe42bb8bcb27ef9692763cc1f6f8b14","datavalue":{"value":{"amount":"+0.8084309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066096$FD906D2B-E1D6-41C7-8DB1-74FE9A2E6C32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae","badges":[]}}}}}