{"entities":{"Q2946625":{"pageid":2957345,"ns":120,"title":"Item:Q2946625","lastrevid":58062648,"modified":"2026-04-03T16:02:02Z","type":"item","id":"Q2946625","labels":{"en":{"language":"en","value":"A theory of sampling for continuous-time metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483133"}},"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":"Q2946625$D964E60B-C002-4028-88FD-F951B694E70C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fd9b9e443f54b9e4b11e2336d23855f3b54a1d4","datavalue":{"value":{"text":"A theory of sampling for continuous-time metric temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946625$8FE34904-BA81-4D16-980D-017D0B1A6D23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"904cd6f9874ed33c2be845d6859166b4bbe8fbfc","datavalue":{"value":"1351.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946625$E40415E5-FF99-479B-AF84-9EBD091E63C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e386053f0f9774808bdc376b156ced70b97cdaf8","datavalue":{"value":"10.1145/1838552.1838560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946625$A0D1A33E-8219-4361-B311-BC818277A20E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a65fbbaeae777cc53a7239a9ca34bd6b05d7af","datavalue":{"value":{"entity-type":"item","numeric-id":714628,"id":"Q714628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946625$4D14D22D-7B22-40FE-9163-9368095ED65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946625$B47CAE5B-47F7-4FA4-85CA-35A039820EB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946625$1A6587DC-85FA-477D-9987-9F37AFD4C2CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946625$F39701F2-A549-413D-9BD8-0C4B2AA99C81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef7755b90a04fd0002f3e4cea7ad86a3974a9627","datavalue":{"value":"https://arxiv.org/abs/0911.5642","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946625$D583E905-660B-4BCD-9885-53FFAC95CEDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946625$A2D8550E-7CC7-4BF5-BC0B-5C186DCC800C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946625$01883DD6-D1AE-42F6-86EB-9598AE81400C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d22a54eb2cd1a45103fb036ed64e8c68c6fe75e6","datavalue":{"value":"6483133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946625$AD14A758-CDBE-48A1-96E7-F19C4FC01B38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946625$FC4D3E49-CFB4-4FA8-95AC-7D13BDE71966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946625$9E53A668-D95C-4AD8-BC37-98DB7B445531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946625$EA45CA39-0A2E-4DB0-8A30-8C4BC52F7958","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":"Q2946625$6984575A-2BB5-41D1-80FA-D21CC1250BDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76fa71fe017e6b0e955a2755928eb59a5732fa4a","datavalue":{"value":"W3123425189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946625$0D5D8914-5AFC-4F9B-866B-50EF46B3D8F7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4139ca72ed13d3dd84fb32dafa310e6a72436e0e","datavalue":{"value":"Q130869992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946625$6CC34C18-7BCD-454F-BDB4-52BEB1A024C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03b7fbaa496dba24857d14ec9985e2c6fbfc731","datavalue":{"value":{"entity-type":"item","numeric-id":5190786,"id":"Q5190786"},"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":"Q2946625$5FB2288B-C3FA-48ED-88B4-9347FB4213AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9482abe8c2adb1dbca2718f3ea8bd25923f61e22","datavalue":{"value":{"entity-type":"item","numeric-id":3511237,"id":"Q3511237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac852f8316f857db12b600573c3ae98699fe06b","datavalue":{"value":{"amount":"+0.8296399116516113","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":"Q2946625$CFEE4CF2-30FE-459C-AFE2-1F2EEA7A65CE","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":"4adb6aa25425e108598cd23795e4283204d476b7","datavalue":{"value":{"amount":"+0.8253859281539917","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":"Q2946625$D687D702-6A34-4459-8948-D46DFCB325A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02573e29b41a0176f3ef90ff19314c3addf01f74","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046429f29b594c8477e93c60a93b899ec932c54b","datavalue":{"value":{"amount":"+0.7878230810165405","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":"Q2946625$2DE73649-753F-4581-84DD-E6A17A055826","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":"f960b9a79583372c6959c5a5e08ed628257f5113","datavalue":{"value":{"amount":"+0.7819011211395264","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":"Q2946625$81FAC834-FBCC-42FB-9D7F-C8FDA6769CAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946625","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946625"}}}}}