{"entities":{"Q266865":{"pageid":268632,"ns":120,"title":"Item:Q266865","lastrevid":60595998,"modified":"2026-04-10T17:56:52Z","type":"item","id":"Q266865","labels":{"en":{"language":"en","value":"Metric temporal logic revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566306"}},"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":"Q266865$C89D1230-EEC9-4047-8148-A6A32200D544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98ed3140aad9031d26cdac027f6e73bc8a88ab16","datavalue":{"value":{"text":"Metric temporal logic revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266865$FD9C8DD6-28E5-4145-99C0-E06E392DC90B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47fca4fc95e4557f89b3c492aeab5a9a29550e40","datavalue":{"value":"1339.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266865$7BDF2BD8-8843-4A98-BAF9-59E11EFD6575","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$9D7CB2C7-376D-458D-AE5F-98E51FFA3C25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64bf554456e45f50d4461f4a22c88ea8b86e4044","datavalue":{"value":{"time":"+2016-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q266865$D5251311-8258-4225-BC20-5004DF0D897C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f70bfd7ccc678cdb42bcdfba9837d9618f74fd63","datavalue":{"value":"This paper introduces a new kind of metric temporal logic on the real line, called 1CMTL. In this logic, one assumes to have a clock which is used for every time measurement. The logic is an expansion of the metric temporal logic MTL; unfortunately, the latter logic is undecidable on dense orders. Another problem with MTL is that it requires clocks with infinite precision for model checking of formulas. The new logic is a one-clock variant of MTL. While in MTL the temporal Until and Since operators depend only on a time interval, in 1CMTL they depend also on a number which specifies the precision of the clock. An EXPSPACE decision procedure is provided for 1CMTL. The procedure consists of a reduction to the standard since-until temporal logic RTL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q266865$499863E5-8547-4B2C-AFCC-19E80083A9C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a35dbfeed057011082c6d14b6c008c45f168595","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$0A8C7DE0-D474-477A-A22C-BE6B27A04D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266865$7656C010-6715-425F-B6F2-C5DF36A4EF60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82ff3984742e7a0164e5b481fe28dae88b86bc53","datavalue":{"value":"6566306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266865$F59FED73-0D54-4125-80A2-8356DF0A25C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q266865$55514009-7BE3-46A3-8EE3-F011515BA82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3523f8dabcf6d257cfe7d17bc8e2cc929ce2ce9e","datavalue":{"value":"one-clock variant","type":"string"},"datatype":"string"},"type":"statement","id":"Q266865$70B52479-A1D7-485B-8179-62BCECB42A4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$67E422B9-BD6A-426B-AF07-695A88348B2A","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":"Q266865$1B2DB2E6-4951-49E4-AA00-6FBA919734E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62d58511aaa8e225831aafe275b3161d38f748e1","datavalue":{"value":"https://doi.org/10.1007/s00236-015-0243-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q266865$9BB3B0D0-CE26-4791-BBAF-E88B3A66EE6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97c2b40bb20972ad5a1041c6ce39a67a50945d23","datavalue":{"value":"W2286903566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266865$F56C1B1C-6BF6-4A6F-A0EB-A114B4079B70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$936B822F-7BE3-43A8-A0FC-135D06EB6D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$EA56BE10-76D7-4EDD-8E7C-159AFA8583B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$463EF44B-AAA4-425D-A135-FC89D693916B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919b3b9b331b9f238dfcaf9697c18afb0978b607","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$57257FBE-285A-4D37-A978-245352DBC1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$9AD29FBC-5655-423F-BFC6-6ACA781C4C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898e265bdb42766c33d28daac7442ff9c86ef73c","datavalue":{"value":{"entity-type":"item","numeric-id":3508543,"id":"Q3508543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$5B2F5089-EBD9-42F9-8A95-512B173EA86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dac790e62b172c6d0243b477cf163852ec811c8","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$0B93BE04-BC59-41E6-9079-AF2181B1BD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc469c4b64939fa3213fd5c9dd72bc911bc54d8","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$3ED16CF9-9AE5-4C5E-A415-E76C7D794874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$5578476A-D8F4-4CF2-9F72-B5CC5C43FAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8276c88e5ecfd9eb06c2bb86f221d91d072841d4","datavalue":{"value":{"entity-type":"item","numeric-id":3510842,"id":"Q3510842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$746E6F70-F078-4C72-8A09-C455526C14C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e90036bc697e70004b6f19aa18b73868ca56a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3543293,"id":"Q3543293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$6E554005-F69F-4EE8-AF67-0BE8F7802B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$387FA723-6618-4728-9519-854A2503A319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$CF1369A4-4B8C-4A05-A97A-E62E0AFF9280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272609bd8b38f994632dd41505735fd6ac673cfb","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$65B1A00A-45A2-48C4-95C4-65AECA12ACAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa47655d911cd54ec5a24c13fe6c4246d8dad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$E0AA33E2-7A4D-4632-A03D-975A3100B28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20e74feaba62bd46513e7af48c16a7db530206d","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$B1679041-89E7-43FB-84EF-22C7291785FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$7B0DEF90-4BDA-4D61-B102-48D40A2E1843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a46918581b182c04cd47041d1a03aeeacfd262","datavalue":{"value":{"entity-type":"item","numeric-id":2721205,"id":"Q2721205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$B3FC07BF-C6C3-475E-892E-A3B6568550F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361822c87392929af70c641b2108b93c5c18727d","datavalue":{"value":{"entity-type":"item","numeric-id":3588091,"id":"Q3588091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$789DACC7-E3F5-49C5-9958-0379F15EF717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$42CE1704-3162-4AE5-BD7C-6C1A6B306C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05b18de27616ff2350cf767a17b5adca2f692b4","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$D0DE7C37-A332-4A73-B0E3-2A8681EA5569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076c363cab69eb6e9f1d705e8fcdc709f30f81fe","datavalue":{"value":{"entity-type":"item","numeric-id":1207338,"id":"Q1207338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$37FBB5EA-6455-476D-A98B-B5D58E2436DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$1EF0F577-E267-40CF-80BC-B89845117F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494a560a8171f69ec3e44b381ef0ea7d1696ca32","datavalue":{"value":{"entity-type":"item","numeric-id":2901203,"id":"Q2901203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$51ACAE98-A42D-4616-A087-0546ED0AEF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc261e350fc1993d99e56f2ed02c123f87c2885","datavalue":{"value":{"entity-type":"item","numeric-id":2863170,"id":"Q2863170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$37BE298F-B85F-44BB-9913-8E3D1A2631D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0335fc7133ed5132fd44f457e40adce55d1b898c","datavalue":{"value":{"entity-type":"item","numeric-id":4636307,"id":"Q4636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266865$F6D20977-6B8A-4016-B775-41AA848BF747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45b9b93fb75dea90bc03886d2c1abdcade51ee2f","datavalue":{"value":"10.1007/S00236-015-0243-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266865$CDA5D90A-AEF7-493B-9ED4-AD07AEB43922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce4bb95abdc25004cb4d1c4c9dee2426598bac1","datavalue":{"value":{"entity-type":"item","numeric-id":2901203,"id":"Q2901203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f42d586f03b4732504bf35e136ffba2953c6854","datavalue":{"value":{"amount":"+0.8652611374855042","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":"Q266865$913B41C1-30F3-4677-A1E1-68CCC368569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472e2390860ce0843a5faf10aa4ef23ded5b0577","datavalue":{"value":{"entity-type":"item","numeric-id":999264,"id":"Q999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68747118e5dae31562aa0a93f839bf48237fe3e6","datavalue":{"value":{"amount":"+0.8436529040336609","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":"Q266865$7D6846B3-792B-4C1D-B5A7-0844E41BEA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9ae42c835adf73a53a1432239f009ea85bb100","datavalue":{"value":{"entity-type":"item","numeric-id":5224784,"id":"Q5224784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d617590d187cf76d9aa670ee0ca43bc465d561","datavalue":{"value":{"amount":"+0.8227550983428955","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":"Q266865$AC4F81D2-B459-4CB6-9F97-A83A00530370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915ab23d0d59e41fff116d5b4b0dd83fc941599a","datavalue":{"value":{"entity-type":"item","numeric-id":673880,"id":"Q673880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ceca1d1e2218f101d2b2d22198062751718fdf2","datavalue":{"value":{"amount":"+0.8195222020149231","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":"Q266865$A545744D-08E7-4D4E-992D-017E7D68E026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c32eaa50c13863f7dcee28e8f2f8b44fc578258","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7830d7d1d7ad29c1545fb21045070a4352a73221","datavalue":{"value":{"amount":"+0.8171087503433228","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":"Q266865$EC1D2C83-E65F-4288-8544-209C8CD5DF60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metric temporal logic revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Metric_temporal_logic_revisited"}}}}}