{"entities":{"Q1731517":{"pageid":1742258,"ns":120,"title":"Item:Q1731517","lastrevid":53381942,"modified":"2026-01-24T20:51:56Z","type":"item","id":"Q1731517","labels":{"en":{"language":"en","value":"Which fragments of the interval temporal logic HS are tractable in model checking?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7035848"}},"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":"Q1731517$CF919373-2EF0-4FAA-991E-6B4E89C448E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29314bfec38fd06ea6ca3f22ee7af29a80e43e4a","datavalue":{"value":{"text":"Which fragments of the interval temporal logic HS are tractable in model checking?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1731517$E8267B14-70D1-4A8B-8738-99CE9C72C857","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67f0cab8e33670b3856f7b31bf192aa5fd7e68b0","datavalue":{"value":"1429.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731517$657CBA49-B601-4F8B-8078-9C66343A7F97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$1D73BEF5-50FF-4E2B-A85E-11339C66F5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35ec1ab06cf3c87d739d2f1f8ed8faec056605f3","datavalue":{"value":{"entity-type":"item","numeric-id":329411,"id":"Q329411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$04FB057D-A8A9-490D-A1A7-966809A80AFB","rank":"normal"},{"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":"Q1731517$19723703-17CD-465B-965C-9EAFD4AA8E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$EF4AA67C-A367-4815-9BD3-1AC6D0C2E68C","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":"Q1731517$0B3E311D-DD2E-4D42-B77E-D3738AEC4B18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$54B09809-3E3E-4456-9EA6-DDC9069AF134","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b783351c35e120ec0bb7c5359bc3eabb3a21294c","datavalue":{"value":{"time":"+2019-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1731517$623233AC-A708-4CB4-9264-2A4E99580366","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45574c048d2c600a15236cb2fb5d5c023fef4cba","datavalue":{"value":"http://hdl.handle.net/11390/1130799","type":"string"},"datatype":"url"},"type":"statement","id":"Q1731517$EA967775-D5C1-41A3-9DBE-9982D32CACF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85ec4c6f8b8dfda747f470dcbd3e15974938f1e1","datavalue":{"value":"Interval temporal logic is a specialised temporal logic in which the primitives are intervals of some order, typically a linear order. Interval temporal logics can naturally be interpreted over Kripke structures using a linear-time semantics, i.e. all runs of the structure are supposed to satisfiy the formula, here meaning that all intervals which are started on such a run should do so. The operators of interval temporal logics are then the diamond- and box-modalities associated with Allen's relations on intervals. By restricting the set of relations that can be used, one obtains different (fragments) of interval temporal logics with different expressiveness and computational complexities.  The paper at hand is concerned with the model checking problem for interval temporal logics over finite Kripke structures. It serves two purposes. First, it provides an overview of known results about the complexity of model checking in terms of upper and lower bounds for interval temporal logics, depending on which interval relations are being used. Second, it presents some simplified constructions for obtaining some of these upper bounds. These are generally obtained using small-model theorems which state that whenever some interval, i.e. path of a finite Kripke structure, satisfies a given formula, then there is already a short path, resp. interval, doing so.  The paper is generally well written, and is suitable as an entry point into the field of model checking for interval temporal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731517$8CC32DA3-3550-45C7-91D3-41A37A236176","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731517$F34AE4B4-7585-4018-9D21-BC98AE20D1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731517$34277FE5-A2EC-49B9-A1D7-894C55B1B46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731517$95B1E69D-19F2-403C-A708-8D2978D94937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b15c89f6c86067bdf8c316e0c886d0206f2c56f","datavalue":{"value":"7035848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731517$CD7BF547-E2E7-4352-89C4-DC5283B76ABF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731517$453A0AAF-051C-4FED-B06C-22C5F7841E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731517$8CD1B903-CC75-4AD3-B694-7A215DD96933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731517$BD896320-8C2C-4C84-B34A-6C3FEA065D16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62258a598491cd9e06e78a73a6d38e7c3bd30afd","datavalue":{"value":{"entity-type":"item","numeric-id":32046,"id":"Q32046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$EE2471DE-645A-40C2-BE61-A33F5C07FEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$25271FA5-44D9-49A9-84BF-E261EB60630E","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":"Q1731517$8F510D24-3947-4F47-9433-1BF1C844D74C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4adeae9414f1887560063df83db248f35cd69e3","datavalue":{"value":"W2797441266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731517$74955356-EEAA-4481-9B8A-7CB4B5CA0851","rank":"normal"}],"P223":[{"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":"Q1731517$E2D4FBCF-B566-4BB9-9062-D04CABFAF22B","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":"Q1731517$99B9BE68-B67F-4D81-9C23-781623C12A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd289996724945ac225222590845e90f04b25895","datavalue":{"value":{"entity-type":"item","numeric-id":2817939,"id":"Q2817939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$DEE9806A-FD86-490D-AF50-764E615EC7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef97f1b93808d420e9e1a0538f96468d2b59a73","datavalue":{"value":{"entity-type":"item","numeric-id":4636573,"id":"Q4636573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$D074DF38-348B-4512-8AE7-53C02A31B8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc07634c7d450ca123bf8a16f27c1326c37690","datavalue":{"value":{"entity-type":"item","numeric-id":2251125,"id":"Q2251125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$ACB91FDE-5C1C-4B8F-88E4-F06ADA0281C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5460c3122a60e19dfac3629843b1e29e7830029b","datavalue":{"value":{"entity-type":"item","numeric-id":3406687,"id":"Q3406687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$AE651803-82DC-4C88-89C7-5C9E87DEBCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30cfd537665958cb1b8fbb6a82da12024a3a86a","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$99A51D70-DB22-4D1A-8D6B-4DD54701E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2192b014e5b86896a1edd5438adccc8a06ba3605","datavalue":{"value":{"entity-type":"item","numeric-id":4532080,"id":"Q4532080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$757A1997-5A82-471C-B919-F1BC2298BA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$430FC321-DE29-480A-9F18-DEFB22A4ECFD","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":"Q1731517$9ED1C5FD-651D-4DC8-8D63-DDE8F4303ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432bfb1d9ec3da5b6ef41d6c5c69282741f875f1","datavalue":{"value":{"entity-type":"item","numeric-id":4369870,"id":"Q4369870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$6D0D9E40-C2E5-4D8B-83B2-34ACD2FCC6D7","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":"Q1731517$8CCCC4AC-B327-4EFE-9258-B0E57F86D1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c322e1b94ba990492bcff2bf59434a5d321a701d","datavalue":{"value":{"entity-type":"item","numeric-id":4003357,"id":"Q4003357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$7B57B57C-8EEC-43B3-BC29-2ABC67318467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b309fedfd947ea3d26b068ae1c0da40072fff4e","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$B1838AE7-C8B4-4350-8FBA-2C1502A51B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3050a3587c03dd44d90e4a116fc946fdc7846c45","datavalue":{"value":{"entity-type":"item","numeric-id":5283018,"id":"Q5283018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$2A79B8B6-FE62-4314-B708-D7FC3BA562CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fbd66149fd08e4a526bd2134903eb938c55ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3433724,"id":"Q3433724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$396F8A78-6554-4049-ADA8-57A822C19078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff6fd33d36bffa412395aec8b3a7f99a71188c0","datavalue":{"value":{"entity-type":"item","numeric-id":5415296,"id":"Q5415296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$F4DFD5D2-6FBC-4934-9632-F45D33C715DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc656128e1ac390210af1a2fb3c2796ba53b67a1","datavalue":{"value":{"entity-type":"item","numeric-id":329413,"id":"Q329413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$1E22349E-CD14-4ABC-9374-CE52E697A2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb56387b666553d42e5e3be28b2a246f5cc680e","datavalue":{"value":{"entity-type":"item","numeric-id":5351958,"id":"Q5351958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$EA7D46CE-7579-42A7-A89F-2A3949424E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca749ed2185099fe6ff93252e3360a1034c63f","datavalue":{"value":{"entity-type":"item","numeric-id":3587451,"id":"Q3587451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$B04DBC89-D913-4FBE-97B2-97EA21BC3159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270debc58a83d27d2f963b637f5e7485684a1270","datavalue":{"value":{"entity-type":"item","numeric-id":2457655,"id":"Q2457655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$0CF8B25C-16D3-40BD-9DEC-F8FC8ED9B4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a611178c9514d07b0c91d8e5c3480708a2f42617","datavalue":{"value":{"entity-type":"item","numeric-id":1147692,"id":"Q1147692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$3F3D3BE7-E69F-4E92-9067-2DBFC16C0188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02165fca2a1bb452ac53038d98913930cd86bea9","datavalue":{"value":{"entity-type":"item","numeric-id":4449220,"id":"Q4449220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$3E5E0E6F-FF33-424E-84EE-35D217329C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$D66FFCA2-6680-4B86-9F59-F88A38709360","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":"Q1731517$66D86573-E191-49C2-9041-DD7880A641CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731517$913EA71D-2E0A-4625-9544-06B11000BA05","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dbb7f60656c0153e73f7f51e02c4cefbfbe56539","datavalue":{"value":"Q130037561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731517$F3DE59C8-BC3D-4124-93AD-55E07155D1AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa4908f13bf604f9fb17bb8031336d8779360a7c","datavalue":{"value":"10.1016/J.TCS.2018.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731517$3468F7BF-141B-49E2-86C9-9DC884A119B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b455f32705f33a0f35944be282f7b1e451b5d32","datavalue":{"value":{"entity-type":"item","numeric-id":2817939,"id":"Q2817939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec40c7878a705a8600ce40df2e479ba52554c20","datavalue":{"value":{"amount":"+0.8927315473556519","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":"Q1731517$A2D579B6-1093-444D-B032-6535E686A575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b73e54052f31c72bd22927b8e8d974dc841f4e","datavalue":{"value":{"entity-type":"item","numeric-id":1784961,"id":"Q1784961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e4daa25f03b921cb88f61b492c3ce20b55599b","datavalue":{"value":{"amount":"+0.8825141191482544","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":"Q1731517$B861E1CF-DDA4-419F-B893-5465381FEF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005f834f6fdfac0f5389685d02a9f09dab15d884","datavalue":{"value":{"entity-type":"item","numeric-id":1706170,"id":"Q1706170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb92d458185d83dfa7a4a353e2bfde68f7dd474","datavalue":{"value":{"amount":"+0.8797993063926697","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":"Q1731517$69D8F03E-7FD8-4EFC-BA61-FC741E50D534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8a10e45616e7d80e088877ecc8ec4585358b38","datavalue":{"value":{"entity-type":"item","numeric-id":5351958,"id":"Q5351958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87025fba5ecb55a63ec355b23b465dfca369f2de","datavalue":{"value":{"amount":"+0.86430823802948","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":"Q1731517$F96E6BE8-25AC-4513-AAD1-511AAFF7493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f87fc005881390bd8d383bea10621652d7fc6dc","datavalue":{"value":{"entity-type":"item","numeric-id":329413,"id":"Q329413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d1dc5649e2ffc3eea3cfc62c5b53781b146f7e","datavalue":{"value":{"amount":"+0.8528546690940857","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":"Q1731517$67934743-675E-4F4E-91EB-7B0A6D76F1F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1731517","badges":[]}}}}}