{"entities":{"Q3648737":{"pageid":5678643,"ns":120,"title":"Item:Q3648737","lastrevid":90443012,"modified":"2026-06-04T20:12:10Z","type":"item","id":"Q3648737","labels":{"en":{"language":"en","value":"Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640974"}},"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":"Q3648737$CF11D0C8-2046-435E-A1B6-38C6F9046F71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24bac688375256f606d11e0b061d85a047386ae9","datavalue":{"value":{"text":"Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648737$9727227F-40AF-4B25-89AF-C79DB1D45971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bea9eef3e416e83b4de944dca246792eab692af","datavalue":{"value":"1260.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648737$17A5A67F-24A0-4EE5-AAE6-06B1AE194DCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bff94ff79ff605a1d759fae152f447696a51e85","datavalue":{"value":"10.1007/978-3-642-02716-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648737$4A2178AD-D936-48E3-A72E-A90439865C61","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":"Q3648737$566C23A3-4E54-4CCD-99FC-25E31C1E164B","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":"Q3648737$E1C40809-77E2-4630-BEE7-85C65E5DE0A5","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":"Q3648737$8075E388-F9F2-4B97-934C-F4DAEFBC6646","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648737$3F970483-C2C5-4A42-A6CC-57E134A14735","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8b152504d3cdb395fc73f17a535e09e72223fb2","datavalue":{"value":"http://hdl.handle.net/1822/11310","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648737$4B32AC34-FACF-4C52-A2BB-27061746B22F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648737$CEB981F9-8EA0-4DB7-A32D-F00ABE75AE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648737$76F45276-65AE-44D9-847E-F48BA1D43DF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d90edd6a6d617504101017c6a504f848c045fe12","datavalue":{"value":"5640974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648737$FDFDE6EF-927B-4165-AE43-B7133E4D73AB","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":"Q3648737$9AA7BAF3-4923-4757-8D06-700C953EDDD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93ce947954589be364bf2193a01532c812801170","datavalue":{"value":"W2147768374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648737$4CA0774E-74A5-4719-B0ED-A3EE40FA05A5","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":"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":"Q3648737$F4BA2A3F-31EB-4FF0-B03E-8FD5582358D0","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":"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":"Q3648737$B5895A4E-0B6B-4308-900A-272DF7C8CB7F","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":"89a1939b48986197c1abdddee937c2544b8efddb","datavalue":{"value":{"amount":"+0.8440981507301331","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":"Q3648737$D2D5E89B-1DAE-45DD-85C3-86757560C026","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":"d605d56ca91808db6dfb2e74b68444bbaafd6fb0","datavalue":{"value":{"amount":"+0.841768205165863","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":"Q3648737$FA7AEE91-9498-48D0-89EA-01161BFEC9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76108347c8a8bf618a8b6b2a0263903fc003f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5714444,"id":"Q5714444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f08db000598f4ee5f53ee67fc5f5b7d2042512","datavalue":{"value":{"amount":"+0.8361791968345642","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":"Q3648737$9AECD935-DDBA-4474-88CA-0D28A970C75A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents","badges":[]}}}}}