{"entities":{"Q4684356":{"pageid":6713937,"ns":120,"title":"Item:Q4684356","lastrevid":53215745,"modified":"2026-01-24T11:49:31Z","type":"item","id":"Q4684356","labels":{"en":{"language":"en","value":"A proof-theoretic study of bi-intuitionistic propositional sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6945512"}},"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":"Q4684356$1F3AB92D-2D2F-4672-B7D0-C47FDA4D0280","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61d2d8b22427b21ab43f25af03bdc05d8a9c8d82","datavalue":{"value":{"text":"A proof-theoretic study of bi-intuitionistic propositional sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4684356$173A3DE0-B7EA-401B-8C58-88DAF9D6F0D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a955ba71c0b1f3a364b749a5bd8c0eeab3ce0c97","datavalue":{"value":"1444.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684356$C6785EB5-6DD7-4E7E-B586-87698C7C87F5","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":"Q4684356$24AB5584-3DC8-4A33-B985-92292F2C7AB7","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":"Q4684356$6380429B-C2EB-4E9F-9EED-DEC9A1B140E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9412cc0b838ce826c6c373a55efa96fe02ee4527","datavalue":{"value":{"time":"+2018-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4684356$846CDB3B-456B-496F-83C4-33BA82A16224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc03c3223ab68800085640cedf60020c5783b2e2","datavalue":{"value":"http://hdl.handle.net/1822/58110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4684356$A93827F0-9EE2-4BAD-8AA4-849C788C8F3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684356$13BFFAD1-918A-42F7-A8E6-329B7089296A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684356$C490DFA0-7019-4D88-84B5-16C1B1575356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5879aafd863144ad4a96e61487de60ce5471e508","datavalue":{"value":"6945512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684356$C67FEFBA-1DA3-4E8C-965A-754AF604C309","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":"Q4684356$1C031CEF-95FB-4CC8-8529-65423CF37FD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c613e2a52762a6a72551583d01c00565157bdb33","datavalue":{"value":"W2790333035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684356$F1B40AB6-2AA8-4E74-A31A-43FDC20A9FE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cc8ea307c62af8ead3051d1f09788bea857c191","datavalue":{"value":"10.1093/LOGCOM/EXX044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684356$75B62944-25A0-43E9-B2DA-CB3DB660015B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4684356$0F57117B-042B-4041-A5FB-5196CC1970F3","rank":"normal"}],"P1643":[{"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":"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":"Q4684356$8141FAD5-F874-42A9-9FE8-58EF39E64539","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":"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":"Q4684356$839E02C8-A2D6-4473-8216-CE208F4070D1","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":"9ec6f12bbcfd9952c12e9ff3f7984d100f8d90f5","datavalue":{"value":{"amount":"+0.8707205653190613","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":"Q4684356$9213F9C7-196C-4D19-9365-F461B02D1532","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":"20cfa5af66bc27ee03eb588384d03f7a83d4acd6","datavalue":{"value":{"amount":"+0.8591515421867371","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":"Q4684356$44E68451-F99D-4526-97FF-BA25189886ED","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":"b5958f11846f55434e1fb43d4696dadf0272295f","datavalue":{"value":{"amount":"+0.8571194410324097","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":"Q4684356$A333264F-35BF-4F9F-885B-5DEFD8972799","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4684356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4684356"}}}}}