{"entities":{"Q3090822":{"pageid":3101537,"ns":120,"title":"Item:Q3090822","lastrevid":51324680,"modified":"2026-01-17T18:41:22Z","type":"item","id":"Q3090822","labels":{"en":{"language":"en","value":"On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945183"}},"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":"Q3090822$7AEA63A9-4803-4AC3-AA5E-9AF4EB217E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"124d19dd466e86f1cad4bebb809131649af76ed3","datavalue":{"value":{"text":"On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090822$3ECEFE81-2683-485B-AEF2-A028909BFDF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2559c638c5e7a693353bf52ec3abadaa54e88c49","datavalue":{"value":"1343.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090822$8E6E59A8-D942-4EBE-AE92-9315AA8FB783","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"968e9f748916fb06748a62036ac6114f0201aeff","datavalue":{"value":"10.1007/978-3-642-23217-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090822$B49FD59C-2C2E-4AD2-9A89-FD4140F4B74B","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":"Q3090822$9AA9EB2D-66D4-4914-8535-947E8D819510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"673dee50d2a1230b846a4ce5b8292d12000f1297","datavalue":{"value":{"entity-type":"item","numeric-id":2851913,"id":"Q2851913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$DD66C253-9321-4C7E-AA17-2C8E04A9FEC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$02760E91-C1DC-426B-9576-7A9AC55434EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090822$B4AD53FD-A05A-446D-89F8-9E9B5D4F2D21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090822$F4E4335A-DCEE-4CAE-B785-6247C989F2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090822$11EDF84A-F58C-4151-9711-389440033203","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31afd6e13ffde7b26005f03aa146aa4d595e7717","datavalue":{"value":"5945183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090822$0DAF95B2-6D0C-4C4C-B81F-1AEDE176FF1D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e4ba4b6af72168fe6b94aa96926b39612983fb6","datavalue":{"value":{"entity-type":"item","numeric-id":13706,"id":"Q13706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$FB9F9C04-5F61-4768-99E7-8E9881FC7FD0","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":"Q3090822$0FF07743-985F-433F-B60A-029CEFE97426","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dca8e8ff8410cf97aecd6b8f053dccdfeac213d4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090822$A5C21440-F624-43A5-B308-5F49D5C22B7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eddd5c75341df182148e16feb330b64937c91baf","datavalue":{"value":"W1610301318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090822$6F5E2C90-1124-4444-8398-D0DF57E7EF78","rank":"normal"}],"P223":[{"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":"Q3090822$59611287-3CBC-411B-B63C-F1642924C73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476b053757dfd493b160f0bd386b81fa8778d445","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$4F81013D-A990-4AF9-AE88-C4961B8DEBEC","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":"Q3090822$C974996A-0B02-4C04-9DDC-3E70501021A9","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":"Q3090822$204B4C7D-6C59-432E-AF30-B26059B87A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dac790e62b172c6d0243b477cf163852ec811c8","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$553F3DAF-8B7C-4F88-81D4-B5C085F4E987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc469c4b64939fa3213fd5c9dd72bc911bc54d8","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$F6FA0F7B-4A7D-4C65-BC8D-500F6000EA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd22422c900698cbee2ad1a879a6cdb72d4ed3b","datavalue":{"value":{"entity-type":"item","numeric-id":3584889,"id":"Q3584889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$AD19C3D2-E9CE-423A-99EB-8D7CBD7DAE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$47108166-9F86-415A-B6DB-5F0B778B5010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a799a37d06aed9fd253638bccf88acff400670","datavalue":{"value":{"entity-type":"item","numeric-id":1854353,"id":"Q1854353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$789FBF01-00A2-473B-B214-58115E128926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$A99302F5-5DA3-4FA9-9726-CA64BA09A508","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":"Q3090822$B9C33B1D-2429-49AE-92F6-33CDE08DD672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d63d4cd0c451a59a0c46f6fa1516b7016a35e0f","datavalue":{"value":{"entity-type":"item","numeric-id":3588092,"id":"Q3588092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$9B30E558-202E-4767-8572-196F298DAF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a585a00ebca9a55e45c13df0fe747cac621ff9d","datavalue":{"value":{"entity-type":"item","numeric-id":3090822,"id":"Q3090822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090822$8B4F5671-1339-4451-B42C-823B5C070FDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59888d4d4c960f54c06ebe0b8a8251245aef7b66","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b14b0221e3b4c5a1e7b59ed881606e9fc03bf9","datavalue":{"value":{"amount":"+0.82974773645401","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":"Q3090822$225D3F8E-5317-404A-B2C9-42F100228F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87140c1bfb7e55f08f419292b7fdc6f4286cf4ce","datavalue":{"value":{"entity-type":"item","numeric-id":2266987,"id":"Q2266987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ed3a2a98064294f7fe597df5cd008aeba3f7c0","datavalue":{"value":{"amount":"+0.8242436051368713","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":"Q3090822$3B2B3F2C-5D6C-4F85-B326-903BFF2CF1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c1f71085f32da17514cf85e7001e2b1871a673","datavalue":{"value":{"entity-type":"item","numeric-id":4994943,"id":"Q4994943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2905ca9c1417d51f7bb4cd2def4dc7db89c8b111","datavalue":{"value":{"amount":"+0.8235074877738953","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":"Q3090822$E3C42657-26A6-43A4-A174-8B7498D02F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde95506cea9aeab93fc616c83cf508fa3a8c5b9","datavalue":{"value":{"entity-type":"item","numeric-id":2938172,"id":"Q2938172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14c921009180ec09773b67d6d9db92879fb099d","datavalue":{"value":{"amount":"+0.818004310131073","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":"Q3090822$67315CA1-1B27-4F0A-8D75-D05706E5BF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21fe95a196739d5a21b62fa0a70972db3257d29","datavalue":{"value":{"entity-type":"item","numeric-id":5216144,"id":"Q5216144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0816f365a06583757923741a103b503cbfc2d6f6","datavalue":{"value":{"amount":"+0.8157627582550049","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":"Q3090822$C63682BE-FBBB-4ADF-A2E2-F9D00059DF19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090822"}}}}}