{"entities":{"Q3588091":{"pageid":5617995,"ns":120,"title":"Item:Q3588091","lastrevid":51077144,"modified":"2026-01-16T13:09:49Z","type":"item","id":"Q3588091","labels":{"en":{"language":"en","value":"From \\textsc{mtl} to deterministic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783580"}},"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":"Q3588091$6627050D-CF0A-4C89-BCA5-D31C217C25E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3bdf378bf1c4f9d19d34eee3bd81973ad9434e4","datavalue":{"value":{"text":"From Mtl to Deterministic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3588091$39BD1AE4-1C8A-4C25-A61C-4591488A16DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b99c8a86f4f39b2e2d38c45e9ff632054235a56","datavalue":{"value":"1290.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588091$820421EB-B3FD-4463-83DC-1E6574A1E0FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffd706887a72229c92eb7eedf9a8274f3109846b","datavalue":{"value":"10.1007/978-3-642-15297-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588091$31A0FFBD-C70D-4431-9AE0-93A8BA26A64B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be9bad6f26c208a2f156ea79bb5762b69ca2ba4","datavalue":{"value":{"entity-type":"item","numeric-id":243970,"id":"Q243970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588091$0FDCF8E4-8FD5-4C0F-AAA6-9B3B57D493DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588091$021EE0EC-23A7-45B6-B559-7247997D4254","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":"Q3588091$3844D023-7DCA-47A7-BBA8-D2555AFF4EF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3588091$05202B0E-2E89-47EE-93DB-2F27FE946A62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588091$9A0AFF44-985E-440E-BD85-FB192E525478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588091$DA2530FA-21CB-4CFB-810E-A7ECB392BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588091$9CBFE5FC-8946-41F5-A45A-3503AEE16105","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d28c151e3567bc7897eadf86055e81d51747edb","datavalue":{"value":"5783580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588091$0E471944-2503-4C48-8812-11F0ED2337F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3588091$B67D63BE-E202-4935-A109-758EC36484D4","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":"Q3588091$B71FC8AE-17D1-4516-93A5-7BD499FCDB5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47135be8561289b4095f1ddf649c63d9e26721cb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15297-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3588091$A58CDFF0-5007-4A1D-9E35-3585718D6B41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41e060c052991eb4869f0e9e8823d9e767ea752f","datavalue":{"value":"W1558808483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588091$3FAAFABD-826A-4A20-B476-DB13B93C5415","rank":"normal"}],"P1643":[{"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":"b0e598b8b00f34f9d660fa4d4e84ebf108e0336b","datavalue":{"value":{"amount":"+0.8110316395759583","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":"Q3588091$FBE1B2DB-EAD2-49A2-8653-5A517506C41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6783cd62bedcbcd725505e1cce6864b824fd011d","datavalue":{"value":{"entity-type":"item","numeric-id":5386000,"id":"Q5386000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787ad071cfa974a4283eb031762829e69696957e","datavalue":{"value":{"amount":"+0.8031183481216431","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":"Q3588091$13D00ED9-2AEC-47CA-9707-A9EE1944DFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586e244c0177497a29fc0de320a03965e35c6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5215449,"id":"Q5215449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db99ecdab6683b7036881aaa22edd40f71ce32e","datavalue":{"value":{"amount":"+0.8028125166893005","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":"Q3588091$CF59064B-2262-410A-8F4E-E06501843E90","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":"3b5b85fab4aef3b502d226f3bf1ff934db4511fa","datavalue":{"value":{"amount":"+0.7932981252670288","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":"Q3588091$D6811083-242E-4472-B1C5-A6C3757801DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1454116014189fc4bece50c7a54141fd441d32c7","datavalue":{"value":{"entity-type":"item","numeric-id":5259307,"id":"Q5259307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd05fe0d128897e062e5d10021de3434e130027","datavalue":{"value":{"amount":"+0.7908703088760376","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":"Q3588091$582EB868-BAE9-464C-BC7D-CDB26205A140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3588091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3588091"}}}}}