{"entities":{"Q4964699":{"pageid":6994278,"ns":120,"title":"Item:Q4964699","lastrevid":58379550,"modified":"2026-04-04T23:23:36Z","type":"item","id":"Q4964699","labels":{"en":{"language":"en","value":"Relating sequent calculi for bi-intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317231"}},"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":"Q4964699$00EA479C-3DA9-4506-B0D8-49C864626E73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df7407198bc4b28f06b07b97aa4df43c5987e039","datavalue":{"value":"1456.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964699$4E2F6F9C-4999-426F-BC9A-265C7ED9B862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964699$31A76E76-0236-4C3B-B8B4-ECA99899A533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964699$BCF867AC-6146-4315-97F1-A965D2646FD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964699$B7E1B6B7-5ED2-4143-ACA5-B7C36C9930A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15a87b1cc56771ffb846d3341eb8a236d7b1479b","datavalue":{"value":"https://arxiv.org/abs/1101.5445","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964699$44095DEC-4699-46B2-96DF-F28C851A2920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e051e4d68e0830eb6aeb2da92c5d5d475c768f0a","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC10.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964699$5F15B128-56DD-4F45-9912-025D287C08FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964699$B9AA785A-C157-4BFA-A984-8C33FBCA71F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964699$F2DC6C2C-ECA8-45B1-9351-16E0E4795133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964699$CFA336F2-9D4E-4BBD-AFF2-8D35EFFE4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964699$FE5CF8CD-3459-4E7B-A9DC-B77023B749E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c58298dab517a501b308254de6a2883ff6288cab","datavalue":{"value":"7317231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964699$FD7E94F3-B667-4CB9-ABEC-E9F510C4C8D9","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":"Q4964699$8642CE0B-CED0-47F9-84B2-A12B0A3F7E30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08ec7b34734d13056cce5b006cb11a937d7a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4684356,"id":"Q4684356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8927eb99f41c9fc387dbe50d1ae6488ec1dd4a85","datavalue":{"value":{"amount":"+0.9437201023101808","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":"Q4964699$2285F48C-38F6-4B18-8D78-540C5F3A01AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5dcf1a2299d81855b3393fb005c184540780957","datavalue":{"value":{"amount":"+0.8947755694389343","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":"Q4964699$B1D0E583-5DD3-4EE7-A295-F8F2306BCC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b89ef05c0f7e3c19a9146f82007b89a968e0317","datavalue":{"value":{"entity-type":"item","numeric-id":3638293,"id":"Q3638293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ff933487513f5887e7f6671577a693b95b8874","datavalue":{"value":{"amount":"+0.8542672395706177","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":"Q4964699$46FC6285-72A4-44BC-81DC-FCD75C126F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec39c26452f972e83213a0f251838ecdfe61a79","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3783524f70b97cad643fa3b861cd0a39ca873bfc","datavalue":{"value":{"amount":"+0.8534383773803711","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":"Q4964699$3458FA5F-6567-4DF8-BD42-244E153C59A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20897afd5b0052e26f40cb20f82ba7bf2afec2e3","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134d6820301ad5a6d635d3c1fcca27ee2c2721c7","datavalue":{"value":{"amount":"+0.8462154865264893","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":"Q4964699$71885C8F-CD0B-441C-A2B6-61E45997DF0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964699"}}}}}