{"entities":{"Q3511237":{"pageid":5541141,"ns":120,"title":"Item:Q3511237","lastrevid":48902248,"modified":"2026-01-06T03:17:26Z","type":"item","id":"Q3511237","labels":{"en":{"language":"en","value":"Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299133"}},"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":"Q3511237$90159731-E776-4B31-B5FF-92760D4BD0DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5526d6b8dc49d5631b30236c6af37aa24febd30a","datavalue":{"value":{"text":"Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511237$9BD7E7DB-7F35-4B93-973F-066C15B85614","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c84900e80ddd334c017f7335b64589f0a59afabc","datavalue":{"value":"1141.68465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511237$6C58F462-8AE3-4959-82F4-0017809583CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1ca12273ab8d6debb69938dcb188b820c4cbb3f","datavalue":{"value":"10.1007/11867340_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511237$B1D0C054-914C-4494-9FDF-564982814B58","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":"Q3511237$223E3EE3-EFFB-40E6-B958-CF692BFE05ED","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":"Q3511237$DEC85679-CFD5-4D0D-BA91-D3605B97A891","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511237$FCEE2244-C2A7-45B0-B588-1E03AA729BA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511237$CF17F944-AB90-4144-8024-255759AAC7A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511237$CE0CAE5C-A43F-4523-839D-852C3A4CDAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511237$E0724C5C-FA01-4953-B666-6E6C4082FF32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cc2181b2fd24118a76fc7fdf51a232351cebc16","datavalue":{"value":"5299133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511237$529864D8-CCB8-467E-AACD-B200BC1996FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511237$ACE020EF-B118-4BB8-A640-ED3279D4C3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511237$74D436B1-721B-476C-B90A-3A76BCEB9D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec0631565ebde35d187cc0059ef452a7b66aefd","datavalue":{"value":"integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511237$C232B1D5-BDAA-4C7F-B85D-6653D1A4B0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a1864ca0d237847813dca5b1f5ea470fc8b5a0","datavalue":{"value":"discretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511237$569414D6-E06E-412B-961C-8A74AE30A0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511237$B4979C42-B9F6-448A-ABA6-5E31DE429EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2cfc5887b46f7898a4b5f2d08ba2d8f6a79fdb","datavalue":{"value":"discrete time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511237$D7C23AAE-4C1C-4857-832F-3E961A98602F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2fe9a8b5dadca96554617a2d16001c7f61783e","datavalue":{"value":"continuous time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511237$F5FABB7C-AE61-45F2-92BC-F33DA65A3252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9578b3781628a0d7f2e530c1f1ee628f548fe91e","datavalue":{"value":"dense time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511237$FA8AA15D-A65E-4538-A994-298653ECC78C","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":"Q3511237$5C08A140-03D9-433E-8413-9098280719ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99fcf80662594e34ee3b5eaa4cf0441081a83f95","datavalue":{"value":"https://doi.org/10.1007/11867340_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511237$413ACBAB-A218-4B9B-B7A7-6E15F0C58FC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10dbb66f0897049df003821daa42e6ebccdcc96c","datavalue":{"value":"W1802858671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511237$7EFE02DC-7B13-412F-884A-1B95D7DCBB64","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":"df9064a480b8ee3fa0137fd494a95deed9d47733","datavalue":{"value":{"amount":"+0.9497831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$A6E64494-58F4-4E29-B78E-72C2D2EA821A","rank":"normal"},{"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":"cb1d870b0abe36d5316170ff15f631d0fa056766","datavalue":{"value":{"amount":"+0.93477714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$855EC5AA-547A-47EB-8AA1-13F1AC36B2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d371a6a8f954839dcc94a550fe0aad209898fd","datavalue":{"value":{"entity-type":"item","numeric-id":5758111,"id":"Q5758111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9527dcfe3ce2c7767a530a709bf680bfddf145","datavalue":{"value":{"amount":"+0.8979847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$7F73248A-E3DF-4569-BB51-9BE70D793018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58013e5255b0c928fa690d69c476ddda103a3045","datavalue":{"value":{"entity-type":"item","numeric-id":5168514,"id":"Q5168514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9039c712a0a76156c27fa62019c56e5b90c711d3","datavalue":{"value":{"amount":"+0.8869982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$54E3669A-091E-4610-9F50-A60E6262A2F0","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":"34cc761843d5da17637bac9efee37d701cff2aea","datavalue":{"value":{"amount":"+0.8831997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$1E1C729F-EC54-4E1D-B7C6-23CA5D00C80C","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":"90112725a618b9a7875a4ec1a3812a06b41db963","datavalue":{"value":{"amount":"+0.8776504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$50891D55-022E-4A7B-B7F5-69F2E485320B","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":"21d5a48e82653a88091346d7c343d5e9e3b14cd9","datavalue":{"value":{"amount":"+0.87738943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$ADBEEF81-FBF4-412E-BF63-B1B2A6295F33","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":"af1a8d2c85cc2d0f282e67ef43c819bebdf0a9b0","datavalue":{"value":{"amount":"+0.8757335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$0C9D2733-438F-4094-A898-74F8963539C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f56e378cd126375a4faed1f9d35cfaa84e354b","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19595f8befa9a6532b652910e0eac31d9149ae3","datavalue":{"value":{"amount":"+0.8748078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$0D6FF151-2AB9-4548-9542-1DE3F26CE0CE","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":"786d8304654045321ba09a6f9daf7ae5bcfe6b39","datavalue":{"value":{"amount":"+0.8701739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511237$CB6977FA-986E-4128-B449-1177FD16AB1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511237"}}}}}