{"entities":{"Q5434482":{"pageid":7464046,"ns":120,"title":"Item:Q5434482","lastrevid":50242595,"modified":"2026-01-13T15:23:30Z","type":"item","id":"Q5434482","labels":{"en":{"language":"en","value":"A Cut-Free Sequent Calculus for Bi-intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223548"}},"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":"Q5434482$14F50C00-6C7D-4C68-80DD-234F5404F29F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4308251b00e37e8974526b32566b84aae56f1b01","datavalue":{"value":{"text":"A Cut-Free Sequent Calculus for Bi-intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434482$E90DB522-4EDE-411F-A217-76CEDF7E3C16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8732e11ca3196a562b92fff8237c56d2b73dcb56","datavalue":{"value":"1133.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434482$87B045BA-E903-479C-8EBC-702AD24570CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee2fce5073e8c8ea47bdefb36e4764926e2d3c17","datavalue":{"value":"10.1007/978-3-540-73099-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434482$8D78088F-CA44-4F6B-8707-C4438AA8B1CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b7d74a22e22c153ef2617d9f32ddcbe5e1219cc","datavalue":{"value":{"entity-type":"item","numeric-id":5434481,"id":"Q5434481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434482$074D388E-9A21-4016-8DA0-57EB9538DEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434482$1D0192ED-A2AE-4F8B-8E38-F1E229F44588","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434482$FEA3DA42-5016-4CD7-AC91-AC972F7ECB00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-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":"Q5434482$035D1E65-E269-4F52-AEDF-865DF6694A4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434482$B2AB9CAA-B444-4C5D-8943-70C358BECD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434482$CCDB314A-6B93-4104-B141-89262DAE8D00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d901f57b8d9632e37997be14a6d9a7e916838fac","datavalue":{"value":"5223548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434482$888CA002-84F8-4ED0-AFB0-723FAC74C487","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":"Q5434482$79F53443-B6D8-41D2-B620-9C8C7E8FA7A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0521b127053dc0a664051cb59e6c7cfde12b78aa","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73099-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434482$FB7CBD15-0785-450C-84B7-43937C2ADC92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"386187deaa4bbb3abc5988c5080c977382d5a53c","datavalue":{"value":"W1854821975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434482$FC086C1A-2F99-478F-B521-37E2534F409B","rank":"normal"}],"P1643":[{"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":"700f4d8cf1640280a9021e0acdae4711de6c3e2f","datavalue":{"value":{"amount":"+0.9337167143821716","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":"Q5434482$2E57DEC8-940A-4ACA-98E4-0B91D1ED7FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc9daa157874e5b08af6ccfb4800f13c2735dac","datavalue":{"value":{"entity-type":"item","numeric-id":4964699,"id":"Q4964699"},"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":"Q5434482$A1DD2F76-142C-4C04-B8D0-283AFC0CA8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af609f1d780ea6d3c95607b4f4f96086dfcc0659","datavalue":{"value":{"entity-type":"item","numeric-id":5274878,"id":"Q5274878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13ca9d1454fc1016c60ec330d9448cab2440d2f","datavalue":{"value":{"amount":"+0.8937473297119141","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":"Q5434482$01FB90E6-EB00-449D-8BD5-83AC0195B712","rank":"normal"},{"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":"57ec107a0c59fd31789cb316e755c4498324f8e6","datavalue":{"value":{"amount":"+0.8774257898330688","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":"Q5434482$9AB1498A-26A8-43C6-B097-14672286BB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54400e226c42e05b9eacec803b7adbdadb9bd72c","datavalue":{"value":{"entity-type":"item","numeric-id":3086939,"id":"Q3086939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326f6f1612366704ae4ead1eb751699729e6bd7a","datavalue":{"value":{"amount":"+0.8649357557296753","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":"Q5434482$6F425878-59F5-49E7-AAF0-02E57F67CD64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5434482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5434482"}}}}}