{"entities":{"Q5190786":{"pageid":7220358,"ns":120,"title":"Item:Q5190786","lastrevid":91499054,"modified":"2026-06-04T23:19:37Z","type":"item","id":"Q5190786","labels":{"en":{"language":"en","value":"A sampling approach to the analysis of metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587279"}},"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":"Q5190786$F25295FC-C87D-4B0C-98C0-30518D382CF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e49baa488d7b1d603abefcbc566df1b45a564263","datavalue":{"value":"1177.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190786$B849846D-0D43-4718-A705-28E9408F76C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190786$BA1B0EDD-52A1-4097-9A34-DD08A13807C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60ea8f72fb34c12d98efcbb4ab2f5f6bfd76074","datavalue":{"value":{"time":"+2009-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5190786$0740F142-43E1-4F9C-B5BF-84C84C82784D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190786$D53D3254-53A9-4815-83DB-2F33CC10CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190786$475DC24D-301E-4BA8-9DD1-10692DCAA342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190786$D27C7B3B-D838-4F41-867E-447CFF943092","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd275588ef8d0bcf1c3bda67b830eb51ab8823be","datavalue":{"value":"5587279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190786$77CBF99B-AD02-4367-901D-2333BB32A3AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8c155874f295cc867dd7891a10f0c1ff4416c7","datavalue":{"value":"Metric Temporal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190786$60D5C690-DDF1-4BD5-8FB0-50E13E8C23B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed0fff30ac0bcc4b1d1a9df4cc4054f78a6730f3","datavalue":{"value":"real-time logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190786$D6B7EBE8-CD23-4A52-93ED-42E331679505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75d02aa96eefe42964c24b2e52964b9dd69149a","datavalue":{"value":"sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190786$241708C3-87FF-4FED-9715-CF5A7D337112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f7df09bbf6cd0b5dec72d223852bfc2a96c4d9","datavalue":{"value":"digitization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190786$54C608BE-B855-4E43-B832-BCE9F95E5F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190786$EEC0FC88-0EBC-459D-97AB-C6EA6DB01A16","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":"Q5190786$205EF22B-B967-4F38-AAF9-CCB089267804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124db228de0684cf5ab759654ea4f9b89ece7f0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946625,"id":"Q2946625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed5dae8010e453b0696c4bf706d38485006b656","datavalue":{"value":{"amount":"+0.903681755065918","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":"Q5190786$21F8EECD-303A-4EA3-B559-5AEE60323966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3926ac6a5eeea9808a972afe7ad9bd3a840d3b9","datavalue":{"value":{"entity-type":"item","numeric-id":266865,"id":"Q266865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e83b1ebbcd0b56c36d317a204e780b9ad8a178","datavalue":{"value":{"amount":"+0.8169446587562561","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":"Q5190786$EA75EE75-92A3-463B-8B7B-C76E43B6364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c5c2d00b74ef3e1612d418fd0e3525fe319c7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a002ed8759df0d10734171fc0910d8ca363220","datavalue":{"value":{"amount":"+0.8138995170593262","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":"Q5190786$DCAE1140-FBE6-463B-98B1-404EE4526FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84aae21b012945e308f388b690b1ea541b4cfc4c","datavalue":{"value":{"entity-type":"item","numeric-id":3510841,"id":"Q3510841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf8090ca4429a1a1cfcb8143f38cb0ca74d5966","datavalue":{"value":{"amount":"+0.8016228675842285","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":"Q5190786$B4DD210A-B316-496F-8F06-091D606FE02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec8aef4ded370f82a963726aad1713c0588f75f","datavalue":{"value":{"amount":"+0.8008058071136475","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":"Q5190786$7CDC4386-1388-434D-91D4-1FB85FAE2602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sampling approach to the analysis of metric temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sampling_approach_to_the_analysis_of_metric_temporal_logic"}}}}}