{"entities":{"Q2842659":{"pageid":2853379,"ns":120,"title":"Item:Q2842659","lastrevid":83727575,"modified":"2026-05-07T10:15:23Z","type":"item","id":"Q2842659","labels":{"en":{"language":"en","value":"On MITL and alternating timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198975"}},"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":"Q2842659$69D44184-D865-4B72-BF71-61E3B52FA509","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"753acfbbed179ba873479f9043ad562baf529e0d","datavalue":{"value":{"text":"On MITL and Alternating Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842659$C3474D7E-56BB-4C81-9419-40AF4A1BA70B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c370ff2111360dfab14d3afcd68bad59dc79a591","datavalue":{"value":"1390.68376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842659$8372B8D6-62B5-4A5D-9FBE-06EF1EF19689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f45674defa61ab6c0386455978d36e8ea10bd4f","datavalue":{"value":"10.1007/978-3-642-40229-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842659$5FCF5176-E768-4510-8D7A-E4503A7A6163","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":"Q2842659$17A0FA05-79D4-40FA-845A-0B459DCD4E6E","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":"Q2842659$4AEA0D17-C165-4DBD-99BB-9B485E73E81B","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":"Q2842659$1B74C5D3-F84C-48EE-A3E3-F5E2A70FB79F","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":"Q2842659$560EC4F0-6117-47E7-B912-5ED1726B22E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842659$3D126B4E-49B1-47BC-9692-C542E606E25A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1121dc40492deba158f5dcc9f3b11ba02396f2b6","datavalue":{"value":"https://arxiv.org/abs/1304.2814","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842659$F33C74C2-E4E8-4729-8F47-F09E6ED53E7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842659$438BCA1F-5AB4-41CC-837B-782E728E30E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842659$2A8C4311-006E-4CE4-BB63-760194784946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842659$AC485E4B-2D75-4071-81B2-21A44A830B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842659$45B35003-4B95-44D3-88E2-567469BB378A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a4a897f8e0922b58b6674f653f4c634985800da","datavalue":{"value":"6198975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842659$5CBFFA62-2DE4-48CC-959C-E2F944D5D98D","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":"Q2842659$9FEB759F-E425-45CA-9E36-0A5703BDBE65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c1f6094a31b822c4a18e2503f28703f4ae19db7","datavalue":{"value":"W2153485994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842659$2B66B0AA-E503-41F4-935F-5C90CF7CA415","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe218b6a605e1b83b38bfdb3588b0e0f2cfe510","datavalue":{"value":{"entity-type":"item","numeric-id":5500555,"id":"Q5500555"},"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":"Q2842659$57E475FB-9A3E-4575-B425-D1EB30CF3383","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":"ca1b109b21de1332a81a339287385656780277e4","datavalue":{"value":{"amount":"+0.8115711808204651","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":"Q2842659$EDF1984D-B2A2-4CFB-9E56-81E625BC7082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb779ccc963de8068a88efc75cd4415f48b3bf68","datavalue":{"value":{"entity-type":"item","numeric-id":5121277,"id":"Q5121277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da983b79676aed25107ad8da53fef4987d6ad8f5","datavalue":{"value":{"amount":"+0.8034851551055908","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":"Q2842659$3EA2B7D0-2F32-4F90-9C82-B58E03DADCAA","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":"5ce2b6eec5377c7b19f1c5a6fc6ae5d1f5abb06b","datavalue":{"value":{"amount":"+0.7992792129516602","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":"Q2842659$E758529C-D079-409C-AA95-8297F082918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525f0d2b3db5740300fc7980fc8138c857d2365b","datavalue":{"value":{"entity-type":"item","numeric-id":3588091,"id":"Q3588091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c307fe7dd915af91e8424c491f68e71e74fffe","datavalue":{"value":{"amount":"+0.786961019039154","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":"Q2842659$3CD799C6-40BE-4D02-86BB-1B692A1D3C46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On MITL and alternating timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_MITL_and_alternating_timed_automata"}}}}}