{"entities":{"Q2883080":{"pageid":2893805,"ns":120,"title":"Item:Q2883080","lastrevid":83898839,"modified":"2026-05-07T13:33:48Z","type":"item","id":"Q2883080","labels":{"en":{"language":"en","value":"Focused proof search for linear logic in the calculus of structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033334"}},"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":"Q2883080$0A145ACC-5E6A-43C0-9F4E-0FF6127F5A5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121700ec722d796c64f4166aac8a2fe6ab79d034","datavalue":{"value":"1237.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883080$73961D8E-C145-4683-8E4F-639F0C4AACF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9bee5c1672027541373794fd16d90e809b7e77","datavalue":{"value":{"entity-type":"item","numeric-id":2883079,"id":"Q2883079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883080$3C108DD7-A70B-4DAD-A9F0-EABF23290850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883080$B83FC6F3-5CCF-481C-A02F-614C9D7E2472","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88d71264c672868665ab457fab440b48c5399b34","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_fddd.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883080$41DDBC7E-F500-4245-8E1E-F0DEECD35026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883080$86F41004-0BC1-4F07-82FE-C03EA4BCDBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883080$6A1845AD-C550-43B7-B85F-A76E0F46E0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883080$EC84BB77-618B-4A2F-9312-F1C0AD4A2950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dec702e3b52204de5b2fa18bdee740320fead8a1","datavalue":{"value":"6033334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883080$7E6576C3-81A5-403B-BE44-CEE02E6ADD74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883080$C01F16EE-EEBE-49B9-9305-758C79BC7FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883080$CA495257-8DBC-44DE-B41E-6979BC00CD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883080$87BE5D69-252B-4C30-B02E-3757C9F211B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883080$6A0EE259-067D-4ADC-8059-1B4634E41116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883080$5EDC22CD-AFF4-4BC1-AD84-95E469CED53D","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":"Q2883080$9A1F5356-0258-462D-8B2B-8892B61D9213","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77cfc42de89b07a7ca1f7988719e4bec0224f8ee","datavalue":{"value":"W2133487056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883080$09FC4F61-4D94-46FF-8F54-CA8AB324D719","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0930a11266adb50ccd0fbc0954652b2863a711fe","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883080$EC5D2581-BF52-4525-B002-F4630534303A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3549992ada90f9fdb94f49970411756c3213a9ac","datavalue":{"value":{"text":"Focused proof search for linear logic in the calculus of structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883080$13BF8154-3118-4DFD-BA10-84B53A52D248","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaeae3d30e1ea51c387009d9460fa0f84319494","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdca2bb168cb7b581f926798ca76c211dddb85f0","datavalue":{"value":{"amount":"+0.8019916415214539","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":"Q2883080$FB515498-50BF-4D88-B5E7-9E41469FD10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf88b88aebaa6c15e5b97b65b18de64adb9919c6","datavalue":{"value":{"amount":"+0.7991229891777039","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":"Q2883080$11EF4D92-6CD3-4016-811E-E383E697518C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b8f364d0ce24d4957868e5fc73a88e93d220e4","datavalue":{"value":{"entity-type":"item","numeric-id":3408152,"id":"Q3408152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf88b88aebaa6c15e5b97b65b18de64adb9919c6","datavalue":{"value":{"amount":"+0.7991229891777039","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":"Q2883080$8F0942EF-45BF-4B10-B01D-CA7AE3819F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2816a2e0785ea7f14c7001eeac53eb415d9709","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8187a139610f6eaf3e4b1cda65fd60205ae39e8","datavalue":{"value":{"amount":"+0.7870920300483704","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":"Q2883080$66D55B79-A5AB-4876-A58C-FF6CE6606DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73235cc97e104d751cb8398ce3c6254aa0af2357","datavalue":{"value":{"entity-type":"item","numeric-id":5971394,"id":"Q5971394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2aca6b11162e494928e5f5b00b2cabc0cbd3ca","datavalue":{"value":{"amount":"+0.7790952324867249","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":"Q2883080$35737362-B4E8-4455-ABCE-323DA1E0532B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Focused proof search for linear logic in the calculus of structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Focused_proof_search_for_linear_logic_in_the_calculus_of_structures"}}}}}