{"entities":{"Q4444937":{"pageid":6474536,"ns":120,"title":"Item:Q4444937","lastrevid":41632747,"modified":"2025-05-06T14:54:45Z","type":"item","id":"Q4444937","labels":{"en":{"language":"en","value":"Semantic Labelled Tableaux for Propositional BI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034303"}},"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":"Q4444937$208B2891-23D8-4539-B475-AFE0D6D2E270","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5687f836c4aba6125dab94a1d1499b184784606c","datavalue":{"value":{"text":"Semantic Labelled Tableaux for Propositional BI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4444937$49705109-48F4-49E1-B303-11EF4C9D668A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22b4941e8f8f208e4e63c97b09620056fac5d012","datavalue":{"value":"1041.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444937$F8124C39-340E-4EE5-9EAA-8BB0D23945AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444937$EE8FD009-B573-41B3-AD9B-B0D197D0A735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72e69b77b54b2c4c78170e707f79612e9034369","datavalue":{"value":{"entity-type":"item","numeric-id":2180512,"id":"Q2180512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444937$564584FC-4AE5-417B-B517-1AFB9F634AD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-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":"Q4444937$5DE74CF6-02AC-4298-8255-0A1E2A59D0D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444937$F0F81EE1-7F2D-4CBF-B60C-36297A1A42EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444937$852C4A4B-021A-4AA4-A202-E9378EBA6279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea861bb811bf2be3ee2534fa2e6a02ac3f412e60","datavalue":{"value":"2034303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444937$0005461E-41D6-453A-99C2-F843F346C925","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"711cfccb4fcdab9eae36e688bb111d2207b8e889","datavalue":{"value":"BI-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444937$5F8920B3-E8C7-4109-A6D6-B87CA8819242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444937$366871C9-4A97-4606-93E1-BC2FCEC78DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444937$F195A693-AA02-4034-AC74-150FDC810E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444937$20B7D9BC-B13D-4868-9430-2A15946D8D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444937$A73CFCD7-392E-4B72-8013-6F836DCB6FF8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2804601b97b7e44dbfbde424596bb535899fd316","datavalue":{"value":{"entity-type":"item","numeric-id":16820,"id":"Q16820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444937$A4945B57-C393-4E32-8E66-C39B33363848","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":"Q4444937$FF7DCC1E-C38D-4095-B8FD-40E3691AA2B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9df40134b4ad1b7621626173cc9ff5f8c0824181","datavalue":{"value":"https://doi.org/10.1093/logcom/13.5.707","type":"string"},"datatype":"url"},"type":"statement","id":"Q4444937$E1FE3ACA-6F7D-4CC3-8DEA-5804754C103E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e11c22e5eb5e92d7c21810ca3fc4c1f6fa070c6b","datavalue":{"value":"W2043220080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444937$8646D285-592E-4F00-9360-782A04FB5A7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2509db06b1b14d4ab746dec37eb16a78bdf620d","datavalue":{"value":"10.1093/LOGCOM/13.5.707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444937$0684F77B-AAC5-4743-828B-ADB140E98C7D","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":"Q4444937$01BB98D0-5469-40C4-8BCF-13B3A187C688","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3947eae1d659b20434091c9ad0341ac34ee55447","datavalue":{"value":{"entity-type":"item","numeric-id":2334660,"id":"Q2334660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130f429b54c3f89feb925cd977b7c33f63541345","datavalue":{"value":{"amount":"+0.8736758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$CF83D72A-C925-43D8-BAF7-3777B222EA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75995892d78c5c688e0964a6b158460e90064dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5224691,"id":"Q5224691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60301be3601b627036114f0d3c3d1e36a8e8076d","datavalue":{"value":{"amount":"+0.871767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$7AC951A1-22AD-4E15-8D21-101E93CB3D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ac45f05e91cfadeb5c4432b618fd72281a2fc0","datavalue":{"value":{"entity-type":"item","numeric-id":4518916,"id":"Q4518916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1e1bfe8cb57682d48f3fca13fecb47c0839075","datavalue":{"value":{"amount":"+0.86862737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$6D4D7525-0656-4F62-8BBB-2F480173CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406a809ad049fe542db7dafb6f1021287790e3b8","datavalue":{"value":{"entity-type":"item","numeric-id":2169132,"id":"Q2169132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f49fa02596e180ec7746f541811481f337d176","datavalue":{"value":{"amount":"+0.8670489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$13B56091-9C9A-419B-8328-27D723D43EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefc2b40b942c61d535a368d824ee6414dea98e6","datavalue":{"value":{"entity-type":"item","numeric-id":5411414,"id":"Q5411414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2acedfdd97d77cc9377dd8134d278e3de08077","datavalue":{"value":{"amount":"+0.86670387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$AB660A3B-880C-4D59-BCD1-06D3E915ED55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b15022e34355f7fa0b7bec63329ad827c2ff435","datavalue":{"value":{"entity-type":"item","numeric-id":2843911,"id":"Q2843911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ffe827d7e0415c21c9c5bfdac4e5f020c28821","datavalue":{"value":{"amount":"+0.8625087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$F0BA0BB4-087E-47B4-9E2C-459398733D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081f354e5fc809597cd1b174c84f9cc080d00287","datavalue":{"value":{"entity-type":"item","numeric-id":2701983,"id":"Q2701983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfebb8769ab1fa954aded4ab2397f3eb5ab7cd11","datavalue":{"value":{"amount":"+0.86140394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$FCEE3596-5AA2-4328-AFE4-4F26D0D2548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d842f588130add4695745adbdb446dd4be870ea","datavalue":{"value":{"entity-type":"item","numeric-id":4796462,"id":"Q4796462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044cc24ad5e314f8e82814d1012e10f1e3f37fdd","datavalue":{"value":{"amount":"+0.85723495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$0DD59AB0-AA3B-401E-A31F-4ABB8B302375","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":"696a0fcd6f4d531c72befac83caf1792f8a0a3cd","datavalue":{"value":{"amount":"+0.85717815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$FCE54FAA-B97D-4CA7-89DE-AAB5A7F59BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850774204575c49c350862127e69c80072ebf3d5","datavalue":{"value":{"entity-type":"item","numeric-id":4784862,"id":"Q4784862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0daa3b668857834db8c033ceb956a9ada1ff7a27","datavalue":{"value":{"amount":"+0.85695887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444937$CA707774-3A29-4F85-BA57-A99C166C1E25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4444937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4444937"}}}}}