{"entities":{"Q2506829":{"pageid":2517572,"ns":120,"title":"Item:Q2506829","lastrevid":74280447,"modified":"2026-04-14T19:19:43Z","type":"item","id":"Q2506829","labels":{"en":{"language":"en","value":"A general tableau method for propositional interval temporal logics: theory and implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061798"}},"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":"Q2506829$C247952D-AABB-46D3-B945-089713B96505","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f78797d41cc3396923a1e5b140ac7c0d34536df","datavalue":{"value":{"text":"A general tableau method for propositional interval temporal logics: theory and implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506829$096D7EF8-D1ED-4E4D-B87A-24022B313936","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26077f8a54026bc134c2eb5827bbe03c98ff0d88","datavalue":{"value":"1104.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506829$62B85DA1-CECA-40A4-9CF9-F512C3DCA758","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$A9C8AC98-8EC4-4114-8EBF-E81137373666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$DD7DF5C6-2112-45EF-8A7D-23CAECF6E847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$2A79CC11-693D-4E12-863C-92B34606843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$3B12A3F1-6320-42C0-9B9B-DCDF067D372D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$BACD4B2C-79D0-4CED-A055-D26B1F0B5722","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506829$698D4C36-DF74-4526-8E6A-5EFC674934C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a67059c33fb1a042535c0c32710a616e365ccbb1","datavalue":{"value":"Propositional interval temporal logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. The authors develop a general tableau method for Venema's CDT logic interpreted over partial orders, called non-strict branching CDT, and denoted by BCDT\\(^+\\). As it is interpreted over partial orders, it is expressive enough to include as subsystems a number of well-known approaches to propositional interval logics. After introducing the syntax and semantics of BCDT\\(^+\\), its expressive power is compared with that of the main propositional interval logics. Then, a survey of existing tableau methods is presented, followed by the proposed method, which is proved to be sound and complete. The method combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management. Contrarily to other existing tableau methods, the proposed method is only a semi-decision procedure for unsatisfiability. Finally, the description of the most relevant features of an implementation in C of the method concludes the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506829$2D224504-5F2D-4692-A22B-972561D2D811","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9c7994377655925beca167212c6ec3527b954b5","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$B4084E79-917F-4F09-B05F-3435155B546D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506829$55AF6D10-75B7-4292-A848-9AA5F982BB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506829$79B8C2AB-58EB-4301-9BD7-CDE2C9E24343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506829$472BD7E5-AFE5-4531-BBC5-02361A745A8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cb5afeb3105c070805cf2d862b7d393574d81ba","datavalue":{"value":"5061798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506829$C7176B6A-8045-4088-AF0B-9D00C2CD882A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506829$4DD80171-039E-488F-AE31-E62356E8D9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506829$1F4C991C-CD07-4D6B-8AFD-0F696C2512EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ac5f87c2452a4bb9221668c72755935919ba5b","datavalue":{"value":"tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506829$28B04679-092E-4589-B3B2-33830E5AF923","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c5e0741386db5544b604ac150c771bd2ac0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":24297,"id":"Q24297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$067ECB6C-94DA-4455-8BAE-161DCDBBDD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bec249a9f2158ac9024acac21e3dec3b5d305ee5","datavalue":{"value":{"entity-type":"item","numeric-id":29522,"id":"Q29522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$63C2D998-E5A4-40E5-B53D-91C3D9A8F157","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":"Q2506829$262EA50D-CF71-4718-9D17-0328363EDE68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"198859d68ec90b96a28836b6c6c01e0df3c0924c","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506829$8611C9E9-DEE7-4B69-BD94-C90307E2C795","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af1dc72fdf006f49e704b30532887767b35464b7","datavalue":{"value":"W2123194086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506829$0F88D739-61B4-4738-840D-67C843CA0ECC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac72f9a252ec6d982aab9a0e64927e092a3380a","datavalue":{"value":{"entity-type":"item","numeric-id":5187870,"id":"Q5187870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$E88227C9-DC58-4565-AA7C-645E2A7B8C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$59D700C5-C69E-4811-8EFC-ACD882F23567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c41c3dc82af541fc9c595061b1bfba9eb47dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$1068A680-108A-4076-8570-B89AF279CB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$E70D55B9-76B1-46B0-A10C-1AFBC8C7194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047c685839d245002c26b6f6d82939ffe164f329","datavalue":{"value":{"entity-type":"item","numeric-id":3838808,"id":"Q3838808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$0E93DCC5-1286-4671-87E7-DD2689D47C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a45a747987605de7892fbed09e314bbb40e837e","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$47765CCE-BEED-41A0-B459-F082F03ECCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9cd4d4d55ef4d0915ddd0bf1e8ecf5edf006eb","datavalue":{"value":{"entity-type":"item","numeric-id":4528041,"id":"Q4528041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$B3E03613-AC87-4E38-B208-713F2EFFA6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$D526ADB2-A647-47FD-A6F9-F587D3A9F5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$86981A10-68DC-45CF-8B9B-D14CE30F1012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$8B953B68-6DC5-4529-AD38-9089BE809FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249a894dab2a39153d08ac7e25364e55c580150","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$5C546185-404F-43CF-8655-C7408ACAC6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31304e152c67cc63dd3eba6611dad012b377fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$2B1D8CDE-FD59-4160-88D3-5E76F2413547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b5b7aba87383fd08faa4de788adb1a1c64f6a5","datavalue":{"value":{"entity-type":"item","numeric-id":5738962,"id":"Q5738962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$3939340D-874D-471C-89D6-D51DC90FFE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0a36b5e5a2f5cb80d9359e24f77fcf45641717","datavalue":{"value":{"entity-type":"item","numeric-id":2721185,"id":"Q2721185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$86042875-C37D-431A-9BC2-05318C2117BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3879ee60597c3a81e5748d390acbacdd09ab49a","datavalue":{"value":{"entity-type":"item","numeric-id":4518443,"id":"Q4518443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$DCAA8677-1507-4D63-8967-66BC7B6C387C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$1BB066E9-AC98-40C8-83D6-2115FAA35CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd68e36e1fe801649f887329d63136eed8f71abd","datavalue":{"value":{"entity-type":"item","numeric-id":1826368,"id":"Q1826368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$9F16C5BA-49E7-4676-B5BB-A333F12AFB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$3E259E39-1035-4C36-951C-9C4F1D5E9463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94996af8d8a255ed97ecc2ff191ae3c1e5e8a06","datavalue":{"value":{"entity-type":"item","numeric-id":4412861,"id":"Q4412861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$F6A424FB-FE07-4324-AB4F-E1E84AF33230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ba0d7a787c3ddf27f1ee78a59c4dec37184a75","datavalue":{"value":{"entity-type":"item","numeric-id":4520767,"id":"Q4520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$0A6FD246-09FF-4C5E-9037-5A92A180D503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$3B52F9A7-1741-4C91-B6CD-480873E73427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$B90776B2-CA01-4D3E-9267-491868FBD8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$5AA041A4-92E4-480D-B793-7B624F1D8544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$FD9A00D6-70B1-4FDB-9FBC-B9971B496E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$40BD76D3-BDF1-4EC4-A38B-11B8460D579F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f798c194049e34a49151688832b091a5e32416b6","datavalue":{"value":{"entity-type":"item","numeric-id":4236067,"id":"Q4236067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$ACD45369-A251-4A40-9A32-A6475E4D2DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506829$6492647A-D819-4441-B7BF-DF60DA8ECF40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11a32ae39edf81443de0782956b2b623de69cebc","datavalue":{"value":"10.1016/J.JAL.2005.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506829$AC17F173-4F31-4F08-9D69-B453573C4811","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b018392c0ce66d828239079ceefc669b9e00bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b6418bd4df9d5e23dffe2b76de01fae9b02d94","datavalue":{"value":{"amount":"+0.9395985007286072","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":"Q2506829$877EF586-679F-410B-B8AC-4C89DF6C732C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6c420d26ed98b360140fd731f3c7c380b8bea0","datavalue":{"value":{"amount":"+0.8399141430854797","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":"Q2506829$E7FEE5CE-0361-44EE-B7EB-263675FF9FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4402f3587097ffc09598103d8c4edfe2ec3580d","datavalue":{"value":{"entity-type":"item","numeric-id":3838807,"id":"Q3838807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ece42fa993605f9d31cbcea5717853be823d79","datavalue":{"value":{"amount":"+0.829037070274353","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":"Q2506829$36449D6B-34A7-4D88-9F5E-187C3C07E4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f791aa5c94de6f1d8d8de094ff105869a43814","datavalue":{"value":{"entity-type":"item","numeric-id":5479269,"id":"Q5479269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ece42fa993605f9d31cbcea5717853be823d79","datavalue":{"value":{"amount":"+0.829037070274353","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":"Q2506829$658F111C-40DF-4461-BC2C-0296C017DE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10655a82bd262ea06c85009627a2f0fe797a88bf","datavalue":{"value":{"entity-type":"item","numeric-id":3647240,"id":"Q3647240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c72e897b68813e2a89e2432abf175c4fdcc5ba7","datavalue":{"value":{"amount":"+0.8124569654464722","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":"Q2506829$F9356323-BA5D-460F-BCF7-5497A7AEAF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general tableau method for propositional interval temporal logics: theory and implementation","badges":[]}}}}}