{"entities":{"Q5500555":{"pageid":7530115,"ns":120,"title":"Item:Q5500555","lastrevid":96327062,"modified":"2026-06-05T10:57:31Z","type":"item","id":"Q5500555","labels":{"en":{"language":"en","value":"On MITL and alternating timed automata over infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6471305"}},"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":"Q5500555$D544EDD4-A62C-4522-8F90-AB4DA7780E95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d144579ed186169cbc765bbb59bb6bceb82f348","datavalue":{"value":{"text":"On MITL and Alternating Timed Automata over Infinite Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5500555$63000C92-061E-4307-AD71-70DC4A7B9545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d8862558a64c9d61c7e8c6d9dca18b11a0980cb","datavalue":{"value":"1448.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500555$F558032B-6C1B-425F-90FE-DAF02DC489A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e201dc0d29a15bce9ff9c6ffa01449f8933eaf","datavalue":{"value":"10.1007/978-3-319-10512-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500555$EB9407C7-1F3C-4DBC-9009-702D8A74CD86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500555$D8482768-D075-47D8-AC53-EDFD9C532AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f48c39ca88f33653120352360ffe07a50c6da15","datavalue":{"value":{"entity-type":"item","numeric-id":2842658,"id":"Q2842658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500555$8A387A8E-9BDD-4DE0-A532-87AA12B16B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500555$5F4EB3BB-DC48-4942-8EDD-9D5705223F03","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":"Q5500555$D5F2D594-4C24-4639-A2D0-89131EEA5C2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d35fe9c4d597c0c2badb44e584c1da64170de","datavalue":{"value":{"time":"+2015-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5500555$DEBE9EE6-8000-4BDA-B676-EFF81CC49AED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d23cd868accc3a7be46cd4ebfdbccfeb17bd4267","datavalue":{"value":"https://arxiv.org/abs/1406.4395","type":"string"},"datatype":"url"},"type":"statement","id":"Q5500555$28F8EF3E-C337-4808-B128-41CEB8AD77F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500555$D00D670C-F625-497D-90BD-9F10AD0EF5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500555$160CED03-F8E5-4BD7-9213-F06292C2A241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500555$0EE23F8B-7198-4302-999B-4CDCD656736B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5309168916206f4de80911198441f5cc21383c38","datavalue":{"value":"6471305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500555$A93AFD37-E0D7-4B36-8E24-568DB427A2AB","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":"Q5500555$B0A71381-4AB8-4BA4-88E2-E5ED7B7FCEC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec0f652336d8abab49ad8c174b54b17987386a4d","datavalue":{"value":"W45450336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500555$5ADE6CB9-E866-4070-822E-681F1874FA0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967c5d7880f93b77be4e1b42b7a1a5ab344706ab","datavalue":{"value":{"entity-type":"item","numeric-id":2842659,"id":"Q2842659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e93103012d237e5d628bd83d719767d23b7da57","datavalue":{"value":{"amount":"+0.9439514875411988","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":"Q5500555$0FA885BC-68EA-48B0-BDCF-6C94EB4E6771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd337c76b9d0191a884de11665b0801df545251","datavalue":{"value":{"entity-type":"item","numeric-id":897649,"id":"Q897649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e1e442ddea4a85acc69fe8381177b1e40c30fe","datavalue":{"value":{"amount":"+0.7983126044273376","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":"Q5500555$65D38C99-C545-4740-A64E-31BBE635BB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5351f76613009586d8c261899586b94ca721cf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c838948c87885a632eff8cdcbb7375a1d6ddb0","datavalue":{"value":{"amount":"+0.7926498651504517","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":"Q5500555$58381CD2-C0AA-4F6C-83D4-0F2C3239B0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea6cef1071023ec3c7c09641c7c2f0dd9d30998","datavalue":{"value":{"entity-type":"item","numeric-id":3296347,"id":"Q3296347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b89d397f5f860cff8fdc36bda30531de29d840","datavalue":{"value":{"amount":"+0.7901191115379333","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":"Q5500555$DC7227BE-EEE2-46EF-827E-137A83680DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3856074a9bd496b22da1758dfb57dc9edae9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2151264,"id":"Q2151264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7349dbda49ce39204976094a6b2430abe96888b5","datavalue":{"value":{"amount":"+0.7896592617034912","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":"Q5500555$C8D5912F-8DA3-4D55-8585-6BFAF87A20DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On MITL and alternating timed automata over infinite words","badges":[]}}}}}