{"entities":{"Q1706170":{"pageid":1716911,"ns":120,"title":"Item:Q1706170","lastrevid":73361205,"modified":"2026-04-14T15:35:35Z","type":"item","id":"Q1706170","labels":{"en":{"language":"en","value":"Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851699"}},"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":"Q1706170$13F9813D-7347-4E5E-AEA3-297DACA73318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9adf1524d22a84251c337ebf53b8c8e05d5e0c40","datavalue":{"value":{"text":"Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1706170$58673374-1059-4242-A51D-37A3F9D6BBA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e62de83b7cfbaf0a9980f93ea06af1ee0364ed3d","datavalue":{"value":"1390.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706170$7106439E-4A22-4502-A7E4-85AFA95FE9D2","rank":"normal"}],"P16":[{"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":"Q1706170$C515AA76-B7E1-4F72-9CB1-44D9DEE4736F","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":"Q1706170$F08DD391-7315-4563-ACE2-68C75CEFE73B","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":"Q1706170$C859691D-A39D-49CC-865C-5A82CC3F1BE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706170$0FDE22AC-93EE-477B-A89D-2482F8ACF2E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1706170$63F1CCD0-B11A-45B0-8B6E-1E9F9D3F5A6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"857d60380c1208ac0b6908d8a3033641734c0277","datavalue":{"value":"https://arxiv.org/abs/1709.01849","type":"string"},"datatype":"url"},"type":"statement","id":"Q1706170$B9357EE2-55B1-4F6E-AF6E-154918FB5106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706170$71A993A5-2BCC-47F4-ABB9-3F6C0623263A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706170$5F9614B2-32B6-40A0-9FAF-CB8F2AE8B344","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99a7f44baa1622868bb275096b8ab79cb5a20a02","datavalue":{"value":"6851699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706170$10C27D36-F0D3-44EF-B1AB-BDFA5D80EAA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706170$EDCA9635-6FB3-48C5-9DC5-D91CFB326C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706170$925E5C5E-AF6D-4BB2-B77B-DC29674370D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706170$5DDE5CE2-CC9D-4D81-87BD-A65A9B093DA3","rank":"normal"}],"P1463":[{"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":"Q1706170$6CFE95A2-2B44-4987-AD11-B8F519650459","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":"Q1706170$610E8BD5-AC2F-4BE2-A61C-FC20AF326178","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a008ccea5114d7b8e755de522df0694385296ef4","datavalue":{"value":"W2753745283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706170$92D42269-5CB3-49E6-A716-DD7854FCEE3E","rank":"normal"}],"P223":[{"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":"Q1706170$17816A14-6DAF-4546-A47A-6F59920E0143","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":"Q1706170$D98F6385-EF45-4896-BA43-FFA030678B96","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":"Q1706170$973E4B4E-90D7-49D6-B7F6-2BB03614D51B","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":"Q1706170$C1F61BE9-74F0-415D-A320-EB64EC4BB176","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":"Q1706170$E3DC9A9D-E0AF-465B-B02B-64701E1A2557","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":"Q1706170$B5FFDEDD-78B2-4B84-8806-203FE78B9990","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":"Q1706170$F06561A0-CDA2-4025-9931-063EAA69859B","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":"Q1706170$AF5FAF41-B11A-4CA2-90FE-8FC33230F266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4e9bde01bb78508cd6e735dc2449a19d1a2dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4995362,"id":"Q4995362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706170$16118F97-FD3C-44A5-B1DA-2AA070E37062","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":"Q1706170$4B556739-2263-46E7-8A00-5CEE222333CE","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":"Q1706170$9A8F4ABE-12A5-439F-921B-031BBAAC7833","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":"Q1706170$78E8732C-FA78-45B5-83D2-DD4268189F09","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":"Q1706170$AC10A353-D68F-49CC-A35A-56BC657EECFF","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":"Q1706170$B0D60DCE-52D2-405D-9579-640A44994094","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":"Q1706170$D1A5B627-57B1-4E2B-8B8A-1C1D5D59344A","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":"Q1706170$C61C7FE1-524E-4B36-8ABC-9754868414BE","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":"Q1706170$FA2EB86E-14BD-488A-A5FE-E1EE1AA66DCA","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":"Q1706170$DEF3AE5B-7355-4CF8-8673-0E01E537A77E","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":"Q1706170$B9628C0D-2D86-47E1-8C04-1ED1C22E129A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d1cd7714eb1fb3ccf8e27b50e0d390a01faff2","datavalue":{"value":{"entity-type":"item","numeric-id":2251131,"id":"Q2251131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706170$81473E26-C08F-41CD-9367-6851C9105CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706170$55B65D4A-9036-43B6-8A01-857A79A17A02","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":"Q1706170$3B8D4E3A-2305-43A7-9691-960B6EDA9D15","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":"Q1706170$35780F68-5187-4BCB-A561-7B75CACD18D5","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":"Q1706170$F60D4268-0F6B-44FE-B16E-CC5F749AB9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706170$88837155-4A27-4FDB-BB0A-4B70197EB1F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"395548c9e086ff7b7467c42a97345db81f2bac1f","datavalue":{"value":"10.1016/J.IC.2017.08.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706170$C28D9140-42B2-4AFD-B0B9-1D93700DDDCE","rank":"normal"}],"P1643":[{"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":"74a229e61995c22b877fa6e440ffa3d775c52f5f","datavalue":{"value":{"amount":"+0.9069600701332092","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":"Q1706170$D6F950D2-2361-4C1A-89AE-342885CE90CD","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":"8191e59843a8f4a52f9c56899a872a477f36eca1","datavalue":{"value":{"amount":"+0.9013073444366456","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":"Q1706170$8CC2FFD7-1205-4F23-A81C-035448AEC416","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":"e4484e7a128698732377170438e9f4f802b795f2","datavalue":{"value":{"amount":"+0.9001381397247314","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":"Q1706170$A084192C-B8F1-47BF-9194-CC09DFC25924","rank":"normal"},{"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":"36f7fa4b984c1979212b20ed0e605b7386bccf0a","datavalue":{"value":{"amount":"+0.891616702079773","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":"Q1706170$774A91FF-6C94-4618-B6ED-8368B04EA96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc80cc4ba0748e9146adc17b4b6d0f5819c47ad","datavalue":{"value":{"entity-type":"item","numeric-id":4636573,"id":"Q4636573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994bf166f274b46723b6f9e6491aa536def9bc03","datavalue":{"value":{"amount":"+0.8824396133422852","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":"Q1706170$F8EE5350-8C39-4303-B5AB-55985F149C5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_for_fragments_of_Halpern_and_Shoham%27s_interval_temporal_logic_based_on_track_representatives"}}}}}