{"entities":{"Q5739889":{"pageid":7769441,"ns":120,"title":"Item:Q5739889","lastrevid":92862878,"modified":"2026-06-05T02:56:56Z","type":"item","id":"Q5739889","labels":{"en":{"language":"en","value":"Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601108"}},"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":"Q5739889$1451D119-08D7-4EAC-959C-293054D5F1CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03863a78ff84856a36a16852f20802262973ff67","datavalue":{"value":{"text":"Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739889$FC01931D-2049-4781-B555-8A1E2369770E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcb255ff2eb7570033ed17c65bf68bbd14d0b988","datavalue":{"value":"1448.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739889$84D6D430-A56B-4D64-8902-15F7A01F2D15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08f4d299f628908caad26fde1f56f83fd01d5c5c","datavalue":{"value":"10.2168/LMCS-12(2:5)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739889$BB283449-53E3-45E6-95D4-50FDECC89A61","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":"Q5739889$7A6ADC14-06AF-4440-8975-1C5841A6795F","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":"Q5739889$9A9903F7-3FCE-478B-8D24-9C6F7E972BFA","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":"Q5739889$BC8718A4-8C68-4477-9047-1F3344769F92","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":"Q5739889$0251D746-88F6-4E07-8B21-6F061A66A49C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739889$AD790AAF-A00F-4C09-99AC-939C1EAB513A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa0c76dadf16d518dc4d05a67d37c73c921d6123","datavalue":{"value":{"time":"+2016-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739889$3E85CFF9-65C8-4EA3-942F-41B71E453767","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739889$AB34B643-CE30-4C60-BD56-8BDEDECB9945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739889$B181BE68-122A-41FB-B67E-B8F881DA9EF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11fc869bb70d80d5993cfcc84175d0237895e789","datavalue":{"value":"6601108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739889$090F67B7-CF6E-457F-B542-211845E96C68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739889$51671ED4-C4CB-4D3E-A345-0684D89929B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739889$4D99FEEC-85CF-4F03-A65A-40DA7D0CC1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739889$D798240C-A6AA-4D8C-B108-EB7FAE11DDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f958f1f1caf56a0e3143111463ca67fa81df9aa5","datavalue":{"value":"threshold functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739889$1BF71BF3-B42E-41F0-B1AB-77D2C7059254","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":"Q5739889$A4990265-1A57-40F6-B0F4-E57CCBC57A9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c9abb6fa586eb03d948fbc7ff3b60fdb6ec582","datavalue":{"value":{"entity-type":"item","numeric-id":3066096,"id":"Q3066096"},"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":"Q5739889$15F153E3-9276-41D9-8BB5-3BD909D39032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c14ddd13672110c817bc0726d8db6c9f1a9ff48","datavalue":{"value":{"entity-type":"item","numeric-id":3518275,"id":"Q3518275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83afd1a3ab03e1b83bf5cba9fd3951bb21143e0","datavalue":{"value":{"amount":"+0.89370984","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":"Q5739889$8F9C7444-2A49-4A95-9421-A3864624EB71","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":"f249dee129b691e45c958d646a082d5e1758fc45","datavalue":{"value":{"amount":"+0.8719371","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":"Q5739889$A0CB7073-9D3F-4E57-B8C7-80CF5DE85B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd5fb560170573d87aa1691219aceacad727163","datavalue":{"value":{"entity-type":"item","numeric-id":4998956,"id":"Q4998956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68203d0eb728de12e9935b3ac1f8deb8e415289d","datavalue":{"value":{"amount":"+0.8524398","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":"Q5739889$6EFDFCE3-6ED6-40D3-AA80-212B3C0EE3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bd80ecf51895030c76583c578f40ed82a04ca8","datavalue":{"value":{"entity-type":"item","numeric-id":5898803,"id":"Q5898803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad53ef912205ef218f6e7d2bcbad0708dc6ba48e","datavalue":{"value":{"amount":"+0.8450105","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":"Q5739889$EAE9DF8B-3E76-4FF5-B8BC-AF0767A834A4","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":"658c520984e8ea93963a78ed2c52bbd0e0362cf3","datavalue":{"value":{"amount":"+0.8331466","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":"Q5739889$C0129BBC-0289-4B14-AF88-1F0B84ECA4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b1139cf3131b8976c040ea87f2f5c912a70738","datavalue":{"value":{"entity-type":"item","numeric-id":6132292,"id":"Q6132292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab98d33490b33bc42283f45779534f3fdb4f61a","datavalue":{"value":{"amount":"+0.83188","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":"Q5739889$E7E878E3-B7D8-4F13-BFC6-12590BD9E007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98fac942521208367ab0f8a094aaa9659a1e7c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2185719,"id":"Q2185719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e07e4ac6128493de4dc168cffb51ff75ff65133","datavalue":{"value":{"amount":"+0.82863104","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":"Q5739889$01543D5C-72D4-4B22-9EA0-4163A0E49012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07437051b4b94ffa66171ff711c63a06108379a","datavalue":{"value":{"entity-type":"item","numeric-id":663924,"id":"Q663924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd12a225fc2f58683cd17ae96913dfc0173d8971","datavalue":{"value":{"amount":"+0.819242","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":"Q5739889$68CC2D0A-75C6-4E8F-88A3-C73EE3F7F64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5957c054ac0b71260fcb06a406b62aaba015a3a","datavalue":{"value":{"entity-type":"item","numeric-id":2104579,"id":"Q2104579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60586a5b6ab65c1b28645cbf7e9e8d1e980ec63","datavalue":{"value":{"amount":"+0.81686914","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":"Q5739889$B62DDFA1-2DC8-461D-A891-EAFC23928244","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae","badges":[]}}}}}