{"entities":{"Q3543292":{"pageid":5573196,"ns":120,"title":"Item:Q3543292","lastrevid":50514764,"modified":"2026-01-14T06:25:12Z","type":"item","id":"Q3543292","labels":{"en":{"language":"en","value":"Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5376771"}},"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":"Q3543292$C6A8B991-04AA-414B-8178-E7FF08214CFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee1f72838d2a6ab05891e9252600f0c4b3aa03e2","datavalue":{"value":{"text":"Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543292$2E6C2284-0F2D-4308-A3F4-71A3536182D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d89974e40b912d8de97acaaa6b62b092a6e6f20f","datavalue":{"value":"1171.03313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543292$62528485-8730-4131-A1CA-C4D9E0EBC23C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0709c42a8c51ad88ce3ea2f23e751dd8a00faec7","datavalue":{"value":"10.1007/978-3-540-85778-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543292$1DABA2F3-7DE7-4F42-A717-4FC8C45FFD80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$64311943-B837-44C9-87AF-F033A95F0B3D","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":"Q3543292$1808AD03-A6D9-4776-A3F3-355FB3CE109E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e93f8d3c28f11b076aa7adf47edebc135f21d9","datavalue":{"value":{"time":"+2008-12-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":"Q3543292$8AAC952B-FE11-46AF-991D-7BBFDF3EF026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543292$F0A06890-DEFB-4346-9040-DA595582B117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543292$AB94E71E-8254-40B2-A24A-CA187EF979A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e110432cd9bab8676774e4a135f1795f122798b2","datavalue":{"value":"5376771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543292$50C68CCB-A142-4686-A729-6745707393CC","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":"Q3543292$6CA96A2F-B0D6-4406-BA8C-07ACA0B854E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17da49f3f504f4b1d0868b09512959d08aea0387","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85778-5_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543292$04D902F8-9C60-4AD1-B941-AA8340473136","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7cb4d2dea65586f78ebab2a3ab6fe7fd6364580","datavalue":{"value":"W1582415903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543292$675963BE-03AD-4619-9015-C2160C510335","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":"Q3543292$1D52724B-755C-4D0D-B36A-9183B36BE7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcedb27f76af57f2932afc76a3a085b3d11592","datavalue":{"value":{"entity-type":"item","numeric-id":3725528,"id":"Q3725528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$71A9763E-037F-487E-BAF2-D69287531134","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":"Q3543292$9F8F28F6-0146-496A-B8B1-3E002057BDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$EB255BF4-4985-4EAE-8372-BC339A1089BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20e74feaba62bd46513e7af48c16a7db530206d","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$2007615A-AF9B-4899-BE6C-3F7E98EE9691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4bb6f9cf8d59bb08e30fa860898c4d527ef942","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$4CFD6F1F-9B49-41C2-8DDD-21CE7980FB26","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":"Q3543292$5B2E4233-51ED-4712-A9A7-296929B52B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b286d85c0ec526c88453b961ee0940519b5e9a61","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$7DDEB826-0F4A-43C0-AA34-F669EAB97E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272609bd8b38f994632dd41505735fd6ac673cfb","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$E100B438-EDA4-4CE2-BA01-B918A3222E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa47655d911cd54ec5a24c13fe6c4246d8dad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$278A2BB7-CD43-4C46-8D9B-E8171CB4F4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5781430c3bcca2b0df40d4fc7fd2bfdf2c1936f2","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543292$BCDCCAC8-FFF3-4948-9ECD-8D7091E70907","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":"Q3543292$3EB2B0A9-9E81-4F37-9E26-E4DA8DA2C13E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eff8910ca6b1cc8dbe85b350ba7ef7d3cf9a3b","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3d58702924e0d23beda9e43e5f59438e227300","datavalue":{"value":{"amount":"+0.9755589365959167","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":"Q3543292$CD9F051E-B999-4B3D-9188-C9A5FCB1098C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35cd83ccafccc2fbcd705a8d6d446c4166c2f692","datavalue":{"value":{"entity-type":"item","numeric-id":418179,"id":"Q418179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae68eaf9d4492bdaf9dfe5c5fe51e6eb2b49f76","datavalue":{"value":{"amount":"+0.8979359269142151","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":"Q3543292$B079924F-58E2-40C3-8017-2C79AB378D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf872bb3bba1b6be35a5fa66604dac815550607","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbd2ea3c9a9bca4cc6dabd44580b6d811bf118f","datavalue":{"value":{"amount":"+0.8673064112663269","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":"Q3543292$28F077BC-D98B-4D84-A0B4-70A0E522447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2775779344775f046de491a50cd0b391d3f10b","datavalue":{"value":{"entity-type":"item","numeric-id":3434696,"id":"Q3434696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115aa77fb1775059f63bab408b33dea3373a7747","datavalue":{"value":{"amount":"+0.8495201468467712","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":"Q3543292$3CEEA663-EF34-44A5-BB4A-DC406F7CF882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1aed6e5c14c75c02baea5233978724af3c3a31","datavalue":{"value":{"entity-type":"item","numeric-id":868030,"id":"Q868030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd92169b899e6baf658eecc97110494853bc201","datavalue":{"value":{"amount":"+0.8411900997161865","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":"Q3543292$E78FB0FE-6B25-4720-BAE4-DD125D3EA4B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543292"}}}}}