{"entities":{"Q2408743":{"pageid":2419486,"ns":120,"title":"Item:Q2408743","lastrevid":72708414,"modified":"2026-04-14T06:43:56Z","type":"item","id":"Q2408743","labels":{"en":{"language":"en","value":"Bounded variability of metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791021"}},"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":"Q2408743$D1D2AE9A-226F-4621-A973-F042EDCA3552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49d5334d51f08603373348d221e7da0b7843f1b8","datavalue":{"value":{"text":"Bounded variability of metric temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2408743$41F97D2E-491B-4C9C-A879-8315CE2C51CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"493008adfefefae391f566c486d4e0feeb7e2a8e","datavalue":{"value":"1420.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$399B86CB-9500-40FB-BAE0-13FA55EEB130","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":"Q2408743$C4BEF39F-A9DC-4BA4-8029-88AC9165044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f9775a15afc69e2b2803668d54a5345207093d","datavalue":{"value":{"entity-type":"item","numeric-id":2065547,"id":"Q2065547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$119CD1AA-A1EB-4F2D-AAFD-75BD946FF9A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$FF4B3F74-6B04-4764-97D8-8B67DC002309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2408743$02B57E55-5FA9-4BB8-B109-AF9FCAD2B3D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3f7ef03a1113db37425f0ad20414218a57bae9e","datavalue":{"value":"https://arxiv.org/abs/1306.2141","type":"string"},"datatype":"url"},"type":"statement","id":"Q2408743$BC11AF55-ECB8-4C0B-B22E-9AD181EB80B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$D9B884B6-ED9C-46B8-B517-4745782DF733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$3F1D16CD-4D4B-4AC6-97AA-9D166E0888B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$9D4EEC27-E756-4D0B-9586-6AC13F30E25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$70855D83-BA2F-4693-A5B1-80612AE20BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$8FF0E2E4-5317-4D68-B4B7-B4AAE0D76531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcad7d777980dfcc0130a0065898083835923fb5","datavalue":{"value":"6791021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$19E9BFFC-E07E-48DC-A555-FC0DE9524494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408743$CCB92F7F-1DED-4DAC-A7E4-87F626344EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ad72b773000e8b82936d7134e20ecfd84f1cafd","datavalue":{"value":"bounded variability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408743$8920004B-17A1-4071-9249-67B6E8775114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408743$3E6990C2-167B-44AD-B76F-102475C9EE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408743$A53916E5-C8A1-44C2-A641-B5E8AAC5AEA1","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":"Q2408743$43D12DF0-59AD-46FB-A104-F6801497FB5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31caf99b643d927ee5ab3c183ce24c1e4c83e9db","datavalue":{"value":"W3159455060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$AB5493DF-FD63-43D2-BA86-0E5CA0FCACBB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c635031578cfb0cbb08c77a7e2a5cd92207c6607","datavalue":{"value":"Q57453362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$64A08214-59B0-43D8-9389-D7B86EC1067F","rank":"normal"}],"P223":[{"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":"Q2408743$0C6DA582-F8F9-4B2C-963F-9DA85520CB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$2552BBE5-4D95-46F7-BDA2-40C14996B982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$1AE9415A-FFF8-448E-A03D-45377BD20A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4724c47f3cacb30f5e37f3e2ace4b84b4d68e76","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$373B16D6-00B9-4F6E-8DCC-209E47036E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc07634c7d450ca123bf8a16f27c1326c37690","datavalue":{"value":{"entity-type":"item","numeric-id":2251125,"id":"Q2251125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$EA1E331D-C9A5-45BB-888E-6839DE6C00F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145dafb2b8012f3c118efcad71beca6ce502e5bf","datavalue":{"value":{"entity-type":"item","numeric-id":2999204,"id":"Q2999204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$FCACBFAD-BDCF-4E61-9E0F-446F976A72C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7639178407ee43cf970a86f75c3a3355660855d1","datavalue":{"value":{"entity-type":"item","numeric-id":477203,"id":"Q477203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$450EDE1B-ECC5-4662-AACE-8C5F85FD41A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0bc8f23626f49077ab6ad8f81161b297ac142d","datavalue":{"value":{"entity-type":"item","numeric-id":391115,"id":"Q391115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$514AC344-5FAE-4750-80BD-44DA06679A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$300EA9DC-A34D-4D18-A839-1846C214D255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$3CDFF1B8-CD3E-44F6-A664-C711CC80C30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$DFDF793B-F8F6-4639-8BB8-1B3A211336CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c72d1609322f3a3879477ea3b5ea2254cff6245","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$BD793D80-D9AD-4519-831B-8D76F4D2F093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9998057915792c2aca7db2cf8322692024db4ad0","datavalue":{"value":{"entity-type":"item","numeric-id":714629,"id":"Q714629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$61AF6254-4311-4AF0-871E-A27C7DE2EF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e90036bc697e70004b6f19aa18b73868ca56a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3543293,"id":"Q3543293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$FC3C786F-362D-4EB5-A6A0-F316290416DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71a5206f958000410f739d750f374189244e5424","datavalue":{"value":{"entity-type":"item","numeric-id":2946625,"id":"Q2946625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$CC187F9B-BE4D-435B-B615-E44AAD6BC2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a57c9a247c6bb03b5741363a4ecd472fcdab9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2408743,"id":"Q2408743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$0FA353DB-E910-41B6-89EB-A318C752FEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$7644DEBA-8410-42A0-B969-B0F4E3BCB179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$3BF07CED-8B12-4E72-9E7D-950DDE275B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7102e49907cfbbeb5b8325e3f831504dd3fd0","datavalue":{"value":{"entity-type":"item","numeric-id":418179,"id":"Q418179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$210E72FC-AA97-4CE3-986B-0D82D5BA28D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acee2312434dac7ace5d908b77ac11beda01fe36","datavalue":{"value":{"entity-type":"item","numeric-id":5271072,"id":"Q5271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$FC80A4F5-D6F7-4230-A3D5-5C9296A9BAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$DF3809E7-E6D4-4131-88E4-BFA80AB3C2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8bd75bf9da31e4849e1d172ea84f0ff8d354dd","datavalue":{"value":{"entity-type":"item","numeric-id":868030,"id":"Q868030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$8629941F-9A26-4F1D-9AB2-6A5B3FBA5CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57a23d6b2c5d2b40a624c2a92bf9c4da58b7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897950,"id":"Q5897950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$11365F5C-F159-4813-B6E5-712BB9272B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$DCB634E0-CB10-4313-85B5-3BA05A2A489E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5eb573f82e366344add49075d7077ddcf4dd70","datavalue":{"value":{"entity-type":"item","numeric-id":5452193,"id":"Q5452193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$A1549A82-9422-4FDF-808E-83143DF41294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$9A12799B-8D4B-40B6-9834-1143C8C0FDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f16a409a89a7b8548c3e5652095139ff41701e","datavalue":{"value":{"entity-type":"item","numeric-id":329414,"id":"Q329414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$0B3FCFC7-CD49-4DB8-9A65-385A7D3DEB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ebe44d9764974f15b9f776f66d0e7cb8f08178e","datavalue":{"value":{"entity-type":"item","numeric-id":2922038,"id":"Q2922038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$11F4B382-BF23-4C2F-B62E-8F57C76AD843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361822c87392929af70c641b2108b93c5c18727d","datavalue":{"value":{"entity-type":"item","numeric-id":3588091,"id":"Q3588091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$434DAEA9-C22F-4372-AC4E-DFED18957CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dd7a0ac47757fc0c679cd85b00743d85f9a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$14B2D0A8-52F4-4155-83C7-437243DC1F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$179A08B5-5561-4BA8-B332-441C4C75E99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$2E9A99BC-741E-4E17-8629-FC53EC195BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$353E4848-6455-4019-A0D7-F65C69815891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f945648eb4af6145e42c6c0f25e4999d1bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":3587425,"id":"Q3587425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$94408F24-F23D-4BD2-951B-077BCF1F233B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$24BC7911-7A30-4A2B-AB57-8FA9FB489300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$6E75E987-9510-4D14-8C0D-09CE83D4544F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05b18de27616ff2350cf767a17b5adca2f692b4","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$575CC1F9-BAF6-4F60-B8EF-DA181CB4F5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b878e989625d882cb488ac4152e9aca1e8752","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$93AAC2EE-E945-4788-91BA-D8CA4B8DA042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a14ef5dae22311fd22b93a31a3ce9fc9d7c85c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854330,"id":"Q1854330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$F249424D-3110-4366-A5DC-3AAA0ED419FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$72E78598-EBF4-41CD-B2F4-C85F8FAE0FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494a560a8171f69ec3e44b381ef0ea7d1696ca32","datavalue":{"value":{"entity-type":"item","numeric-id":2901203,"id":"Q2901203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$0A93541D-A5AB-4246-858A-8FEB71ABEE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$15A11B91-C533-4593-A46A-07C8072B8261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$C967D015-B5FD-420A-9770-FE4CC3FF5065","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"786e1c7037cc9cdd009293f233e8566ddccd6f30","datavalue":{"value":"journals/amai/FuriaS17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$1ADC68EF-4F4F-41AE-AE9F-E2B9FB3110E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a51dad1c25548ff9ddee8aed26b8d335f544fdab","datavalue":{"value":"10.1007/S10472-016-9532-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408743$59B916D5-9EDB-47F4-8CA7-8491D56CF445","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba211134d4747a18915a127e27422ebfc1eceda","datavalue":{"value":{"entity-type":"item","numeric-id":3543293,"id":"Q3543293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80963a61616bb6db847bab840deb50e60c5f6e35","datavalue":{"value":{"amount":"+0.9316584467887878","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":"Q2408743$AB258EB6-D0BD-4BCA-8EE6-8E19963DB337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ad0d77aa2ff75e4f234583be0d095382d6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012521960f96be6bd72ed041cd7694898208c644","datavalue":{"value":{"amount":"+0.8113305568695068","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":"Q2408743$58D68086-967E-491D-83A3-2253E7FCCC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c32eaa50c13863f7dcee28e8f2f8b44fc578258","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba33ca7b1ea0bf1b512940b7701653889fb0b6c7","datavalue":{"value":{"amount":"+0.8052232265472412","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":"Q2408743$516D1F08-6FAD-4632-91FB-BAD12061D6F3","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":"d29f8e7743b7712a52dd7e114fe10cd9edce723e","datavalue":{"value":{"amount":"+0.7850497961044312","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":"Q2408743$30C6AECC-4C50-4DBD-82E3-913D797E656E","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":"4c832d8cdadcddb2151c7cf12470e5f81421371d","datavalue":{"value":{"amount":"+0.7821798324584961","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":"Q2408743$1547A22A-A3C7-4833-854B-211696952F17","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408743$CC8C2CB3-96D1-4271-9B62-D95A32D1DDC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded variability of metric temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_variability_of_metric_temporal_logic"}}}}}