{"entities":{"Q5310684":{"pageid":7340258,"ns":120,"title":"Item:Q5310684","lastrevid":40960741,"modified":"2025-04-16T00:33:57Z","type":"item","id":"Q5310684","labels":{"en":{"language":"en","value":"On the decidability and complexity of Metric Temporal Logic over finite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200154"}},"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":"Q5310684$81850EB1-48CB-4E44-BE84-2751D4127D42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aca832cf945417becfbb24e273ddf6e844a2b44e","datavalue":{"value":{"text":"On the decidability and complexity of Metric Temporal Logic over finite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310684$F63B29E4-BD75-4BC3-AF29-75C1FD31A1EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f64e078c05fc153ed0fa303032756b13dd24dc2","datavalue":{"value":"1128.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$0CB02BB5-E0C2-46EA-857F-349E455649A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1af1265c90cb4205f7b43e0d9bd75d874be70460","datavalue":{"value":"10.2168/LMCS-3(1:8)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$1DC6584D-5720-4BD2-A5A9-597624C30882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310684$D08D18FB-E59D-43A4-9D0F-77A747413BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310684$47B76D31-BC36-4A8B-AFDB-2BD0C6CF6415","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310684$9D9172F2-5A05-4E5C-A2C7-3B9DB2D98A2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310684$7B13E9E9-24F4-4CF0-93C9-405A8AEE8757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$2BAEF1BE-19B7-4CE7-9AD8-91D9AD7768D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$3277FAE4-B939-4A60-9963-BB25B1A73792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$35B14445-C6C5-4465-B8A9-4BFEB1EA7FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$246EADF3-7F25-48A8-9894-7262F195E782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$8EE55375-A9FD-4D27-9C29-13F4427996D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39ed5c2f9694f7cdceb476694187f2a5d8f0fb99","datavalue":{"value":"5200154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$14829942-485B-4BC8-9105-E8421EBB2205","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":"Q5310684$0B7ADE12-2D9E-48CF-A15E-4E390AE2C0F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40c5422de6bf3765d18225ae56a3520acdc4b7a0","datavalue":{"value":"https://doi.org/10.2168/lmcs-3(1:8)2007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310684$21B1D85F-4C33-4DAC-8303-D8D8FD2E0C83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d5c014b49929dd38119265dec7039c7aa172218","datavalue":{"value":"W2022782983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310684$1190F364-617F-411A-8F19-3A94ABEAB970","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5333daa6ee3d5bbc4159c6fd02b57d57fc7c2b06","datavalue":{"value":{"entity-type":"item","numeric-id":3447701,"id":"Q3447701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35870065579c389c0f2a3989c903b6d81602e73d","datavalue":{"value":{"amount":"+0.9529737","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":"Q5310684$D1B68AAC-3AE4-4192-87C7-E01948937014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3785e6f2de7467d6caf8b18298602e425f40e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1815429,"id":"Q1815429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9fbbb544b4df511b7cdb7c3965b1271f66b4c9e","datavalue":{"value":{"amount":"+0.93662846","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":"Q5310684$96A638AC-D17A-4DD6-B25E-2AA8604D50BD","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":"cfcd5a33906025f5e8ea2552ddde86af2e30f20b","datavalue":{"value":{"amount":"+0.9229951","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":"Q5310684$2F6DD014-E4ED-485A-B83D-2EB5057738E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c98d3685b708c224e1ec5c3be9878564dcb9d4","datavalue":{"value":{"entity-type":"item","numeric-id":5275335,"id":"Q5275335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec4e6f6b138e6545365cb85445e7c47ee8d8e8c","datavalue":{"value":{"amount":"+0.92271495","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":"Q5310684$280C84FA-9D8D-41CD-9CEA-14AD4E1E9644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d21bc5f5fddcb5d589bce6c36f0cb306f10470","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da0a31d8336fa7860770af2fecd0f1f3019da57","datavalue":{"value":{"amount":"+0.92039424","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":"Q5310684$8841D42B-1AAD-4645-86A5-6ABB2CF5F7DF","rank":"normal"},{"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":"9da0a31d8336fa7860770af2fecd0f1f3019da57","datavalue":{"value":{"amount":"+0.92039424","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":"Q5310684$D9DAE986-CFD7-4648-9C72-815BB3022322","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":"e2be46e8a7b816e6d9551790452b0f86b9233463","datavalue":{"value":{"amount":"+0.90993005","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":"Q5310684$31410ACE-FF9D-4841-A287-EF4165DD8073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91c7b0f995cf94f20d7f89bf33f8e1f57d3c21b","datavalue":{"value":{"entity-type":"item","numeric-id":5271072,"id":"Q5271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce412f0e7e149d187e98e5547177fdc927af04b","datavalue":{"value":{"amount":"+0.9094599","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":"Q5310684$2083C5FC-1562-4F64-ACE4-1D3E767CA4D0","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":"05186f3a6e6fa89b9d08dac81d2404660a7627cd","datavalue":{"value":{"amount":"+0.9068991","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":"Q5310684$F247F4BE-0F21-418E-BFA1-B2DD9A90EDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cce62880b9f1b1c2d49fe3354f8c47b4e374b30","datavalue":{"value":{"entity-type":"item","numeric-id":5049053,"id":"Q5049053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf33ec8c9bcc9b974c259b040928d41f872d6a5","datavalue":{"value":{"amount":"+0.90544087","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":"Q5310684$5583D7C5-68F9-47C7-8A21-057CF4A48EA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310684"}}}}}