{"entities":{"Q483304":{"pageid":485071,"ns":120,"title":"Item:Q483304","lastrevid":62278812,"modified":"2026-04-11T05:00:27Z","type":"item","id":"Q483304","labels":{"en":{"language":"en","value":"Parametric metric interval temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6380853"}},"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":"Q483304$4886E9E8-2DEC-4CA5-82E6-F29EEAF2B4E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ebff25f99ac28887a4facc0d55058dcb2780b1b","datavalue":{"value":{"text":"Parametric metric interval temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q483304$939BB828-B728-48CF-9FA9-F8049D172CE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04bdf7098088916f8699bfd87c0afaa7fadb77c6","datavalue":{"value":"1317.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$C025C09B-9B2B-4BB9-9168-0A5D4B733000","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a2554b82df3158863dd35fcec017cb07179d81","datavalue":{"value":{"entity-type":"item","numeric-id":483302,"id":"Q483302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$B5C8773B-DD81-4733-A6BA-37EFEF4B8CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$05AB99C5-E9DF-417E-8EC9-CEE5CB59A0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$078690D1-17D8-46BC-9BD1-CAB3B69603C6","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":"Q483304$D6DBB033-A33A-4B36-8523-F02AD1D6A8C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60a960b53f7480718fd109778a6b9c42c77a6806","datavalue":{"value":{"time":"+2014-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q483304$A8427614-156E-4A0E-981C-26F7E2427FB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$D7DCE545-239E-44B1-B94B-29315979270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$1750BFAB-C9EA-4912-BA06-24551A9A8A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$0CB98109-DB7A-4177-8FFE-C557BDABC8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$781EEBAD-A712-4506-B7C0-8C9C27D3506C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$45A6BC3F-3CE0-41A3-8083-C0E4C10ACD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$96543D12-0E0B-4BC1-964E-C42191B47ADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e30b685a112b67f6959be7b4297c1f3e2ce9596b","datavalue":{"value":"6380853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$4EBC4460-14D4-4891-9991-492BF838E05B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q483304$D296579C-E425-4461-A560-A4A041123890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5de3901efc000f3e588ce74e91f392292d10221","datavalue":{"value":"parametric real-time verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q483304$DCAF38AE-BB3A-4B99-A6E4-222F17A9BFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6148760423c896f29500a853f1ba6dd9ac2e611","datavalue":{"value":"(parametric) timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q483304$1CFA8BB5-8D74-47E2-84F6-5BB033CF8483","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":"Q483304$9C870708-E3AB-4E4B-A905-F46481C3774F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d910359875a40fddc2c1bb5e6709abe7cc5c8cd6","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.11.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q483304$1FA1B118-9AF8-4DDD-A39A-8A00E750D185","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"571c5fb01970c11c96a8c32e74670ecdb3bc5ff3","datavalue":{"value":"W2030412184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$2FC94E0A-3DD7-4B02-88E2-BB43DA177710","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$DBBD53BD-EECE-4033-9A2A-F02F72B11E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$CAD51A02-A2EA-4725-8C1E-68333EE6BD5A","rank":"normal"},{"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":"Q483304$DD8BE0B5-9921-4C47-B6EE-1BFDDF10ACDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$03D7FADF-D6DB-43CC-8325-61B622ADF57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$89493915-EEEA-4055-AA1A-CFDDC084C9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76cd63c5178ec2dcd1f08b328bd5ef3f072c74b","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$4AA944B6-578B-4F79-97B2-E81324DCA329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701037265d864405530d021a0dfd0049c95b8e25","datavalue":{"value":{"entity-type":"item","numeric-id":5277801,"id":"Q5277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$EB008889-4495-497E-8292-2CCF4341991E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5faab6947a1daf8170d12a06c66c2afffdec907","datavalue":{"value":{"entity-type":"item","numeric-id":5310683,"id":"Q5310683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$43E3C792-126F-4A50-AF51-3931E84A035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70113cd5b654bf0a9dc73bcf0093af4ab44d9b2","datavalue":{"value":{"entity-type":"item","numeric-id":2922008,"id":"Q2922008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$2A84E743-9680-4C4B-B1A4-B15B9E2B19A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d814eb51c145cd1775fd8beceba2511519ed4","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$C75506A8-2EAB-4009-B020-DA079C7A4F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$F15546A0-151F-4151-B70C-9C0805E62F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27abfb6446279e286578ecf9df9ba6238833c82","datavalue":{"value":{"entity-type":"item","numeric-id":3564866,"id":"Q3564866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$548B4B46-6387-4819-8BB7-6A60539835A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e28a63a473458ad1a14e4d5393c47e4fe0b188f","datavalue":{"value":{"entity-type":"item","numeric-id":4736990,"id":"Q4736990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$F59EA577-7877-4AB5-BCF2-1244F7167D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$F572AB2F-5CF7-49A8-A20B-75120B763AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6e6339c8f8a3272b7cfb2e5fb19de523862545","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$48F8C879-536B-4565-BDCC-CA4EECB12993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64297dac2d9355b2fa61ee3f141a52121ebe9068","datavalue":{"value":{"entity-type":"item","numeric-id":5166678,"id":"Q5166678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$69DA8BFB-4BE4-4590-86D2-D73763EFA9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$A312F824-FC43-4B8D-97A0-C019912FE66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e819a7401ab6849b5889a3d2056677d0a10a0cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1608932,"id":"Q1608932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$2AF1828D-AC50-41F2-A025-5D70ACB0F1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc0e27210deaf38dc035daa9bab6e0bc1f442ca","datavalue":{"value":{"entity-type":"item","numeric-id":1395427,"id":"Q1395427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$396F3483-6612-4564-8D95-596AC7570448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eb33fcfa4dcf8f3cb224015a88a380e338a35f","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$18F0FA06-FFF2-47D2-A615-36B197861794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6140a42fad55028ab35be908c58d4b6964b7180","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483304$B1F77590-9DE3-4FDA-81F1-58DD3D6E9FB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e485cb66d1b4ac1e08b3be3fa9ff335283db1ce9","datavalue":{"value":"10.1016/J.TCS.2014.11.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483304$CAB9A972-ED87-4EC0-9F78-E523D30F9DEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f61205fed9e2d98b331ec2655d5f53d56b59fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3564866,"id":"Q3564866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea62e83572171a909a6b0a20e111c77d18b7d229","datavalue":{"value":{"amount":"+0.9687131643295288","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":"Q483304$C6481EB4-75C5-49C9-BF5B-E709D86B9E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c84465612bc8f78e9cb4ca52776f8e24da83531","datavalue":{"value":{"entity-type":"item","numeric-id":1944185,"id":"Q1944185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395ef4205f96c01915c4fc940618c55df0eea657","datavalue":{"value":{"amount":"+0.8271265029907227","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":"Q483304$5BDBAF4B-0E84-4508-8927-243911A22F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c70bb0656c4dee6bb06692c5cc6fe9e08fc1f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4938622,"id":"Q4938622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6b65e824d3d477d5b99fb31251fa6554593d14","datavalue":{"value":{"amount":"+0.8194196224212646","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":"Q483304$6EB80E69-2A9D-48C1-BFCD-CC76DF29A251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0c65a45deca12a034666a182ca52cf1056909e","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f38773195742ff0cedc2e7ce27c333492d2f50f","datavalue":{"value":{"amount":"+0.8180460333824158","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":"Q483304$61BD76EE-16CD-4BA7-ACF3-02E421965943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea6cef1071023ec3c7c09641c7c2f0dd9d30998","datavalue":{"value":{"entity-type":"item","numeric-id":3296347,"id":"Q3296347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f56bdeaaa8405cc0082b4604f45c57cad50445","datavalue":{"value":{"amount":"+0.7951061129570007","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":"Q483304$2A60CFEA-8611-4127-A5FC-3533B411FE5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric metric interval temporal logic","badges":[]}}}}}