{"entities":{"Q4736752":{"pageid":6766332,"ns":120,"title":"Item:Q4736752","lastrevid":48304789,"modified":"2026-01-04T07:37:30Z","type":"item","id":"Q4736752","labels":{"en":{"language":"en","value":"An infinitary variant of Metric Temporal Logic over dense time domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081814"}},"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":"Q4736752$DE80F977-12BF-4A93-A766-CDA2EF89738E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e919a4942a80a429a79e0d6aac28e121fc86bb33","datavalue":{"value":{"text":"An infinitary variant of Metric Temporal Logic over dense time domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4736752$281F3EAE-DF32-45B1-A1BB-B2D3D48604A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4eac5e5f0b6ed0cc61c8e88f27c2cefca3562cd3","datavalue":{"value":"1049.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736752$65B03D09-6EA7-43F7-B7EC-934A710E8CC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736752$DB224344-055F-4AFC-99C1-A29B4F088525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736752$6693C13F-9DFD-4B00-AB4F-203F1EF6768C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736752$4FA8CD1C-8ACF-4710-AE17-D72D38869CD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736752$55803791-075E-4BF8-9897-2AFFD08CB417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736752$24BC8425-FA51-4790-B417-AC766C6F8993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736752$1608BB6C-1EA6-4569-A784-525929AC7700","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6356761934ecd6485e2921597330fb1e8173d561","datavalue":{"value":"2081814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736752$D0FBDC91-54ED-4871-A6AC-8ABAC4DA8C81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736752$B87C25E0-4130-4AB0-827A-39301D5EFAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736752$B6097416-7B87-4270-BF53-F5029EA22F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736752$9920021A-30C2-4408-966D-FED22EB86C85","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":"Q4736752$DBC5A3E5-122D-4F9A-9C4A-5568443B7D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f45f94b39af832126fa39acaa814cf7a6cd4f791","datavalue":{"value":"https://doi.org/10.1002/malq.200310096","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736752$6AFA18C5-9C26-413A-9B3C-9727E55E04EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cc5f3c2779bd8ece87a2b180f2fb4c171fb47e1","datavalue":{"value":"W2070008537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736752$FCD6C6E0-D2DE-4C3E-85E8-6FDA5A07D258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06950d51b5e18aae6cc1346dafb2ac3bb197f0eb","datavalue":{"value":"10.1002/MALQ.200310096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736752$031B99C2-8B9B-444B-95A4-98855BC80804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b710ebac1c18cb38b677bbecd46d366a66e674f","datavalue":{"value":{"entity-type":"item","numeric-id":3419667,"id":"Q3419667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9e6b65efe7ebfaa8799c938757bc9851390f5d","datavalue":{"value":{"amount":"+0.8793173432350159","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":"Q4736752$2E0A686E-0176-492F-AD14-191DA7EE7AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4e9d0ffee78aa6daaba68292827a4b7fe4791c","datavalue":{"value":{"entity-type":"item","numeric-id":3510842,"id":"Q3510842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6843c4135bc5a2d72e4eb0b287a4d2ce5bab0048","datavalue":{"value":{"amount":"+0.8439189791679382","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":"Q4736752$0F91467E-61D8-49DC-ABEC-D2549427214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f79eb5dfec092432cf602434e44477be294c9dc","datavalue":{"value":{"entity-type":"item","numeric-id":1762733,"id":"Q1762733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f822944a3e0c3df76ac7213e69b3cf82483aecf","datavalue":{"value":{"amount":"+0.8030970096588135","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":"Q4736752$18FF22D7-78C2-4D04-8F07-50A51272C7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fbe6b5f79d5efbc9e6099b0fd347ee4db460da","datavalue":{"value":{"entity-type":"item","numeric-id":5112385,"id":"Q5112385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfe9f59f9a91050f89e70a29e7c696af776e9ac","datavalue":{"value":{"amount":"+0.7917951941490173","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":"Q4736752$097DB57C-73AE-465C-8B7C-6C864047E7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049cca40cb3b01e2c4d3852ca12ff7b0e501a6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1421487,"id":"Q1421487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c6d096af88b921d139afd389fea6edd9ac7aa2","datavalue":{"value":{"amount":"+0.782647967338562","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":"Q4736752$7B482CEB-89D6-4F7C-826E-A21F401EFEB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4736752"}}}}}