{"entities":{"Q5166701":{"pageid":7196273,"ns":120,"title":"Item:Q5166701","lastrevid":94391123,"modified":"2026-06-05T06:41:25Z","type":"item","id":"Q5166701","labels":{"en":{"language":"en","value":"Merge and conquer: state merging in parametric timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314167"}},"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":"Q5166701$EFBCAB7D-EF36-42D4-9BFC-683AD12425BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3abe9bc7ece011609f8d06e6b76b7da075a47894","datavalue":{"value":{"text":"Merge and Conquer: State Merging in Parametric Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166701$6D283ED1-75BF-4FAC-A57A-CB93058464AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a36f8320aa9e8cb1f5e75455e2ac4b4b51964e6","datavalue":{"value":"1410.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166701$3482A7A7-E06E-49ED-9D4C-8F3F8B0C5DE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4448e5d2de505308c1a9be52593057085211f28","datavalue":{"value":"10.1007/978-3-319-02444-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166701$B7D79E88-0108-4944-BE27-06DD583F4A34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166701$9B2CA4AA-3894-47EF-AB38-B5889F2D9C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166701$07BDFD1A-3C91-4D7B-89CB-66E6CB83DEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cb43f938080bf342bb2fc5de1e55531d6d54f06","datavalue":{"value":{"entity-type":"item","numeric-id":1708661,"id":"Q1708661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166701$1176B96E-B8EA-4C70-B81A-EAAA698E6EE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166701$B92EA859-207D-4A46-9397-7F1DD910C713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166701$1604CB62-CEF7-47F4-AC19-0058E957C9E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166701$E3E5DC0A-F4E1-49E9-9A32-55B8634D6831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166701$307FDA24-EA08-44E7-A37C-4F00C07B6C0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82fed4172a3a20695033937a4e8a613d8372cd3c","datavalue":{"value":"6314167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166701$7C6BF00C-068A-4D72-AC60-8B1620355AA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166701$B7E05F00-E4EF-4380-B8C7-0A9DC46ADCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c736379fa328dd527c485e6778d8aa2292378f5f","datavalue":{"value":"state space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166701$223833E3-2FFD-47DE-8473-527C2EE4466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166701$A9F97DAB-E384-44C2-95EE-23B1BFD344CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166701$B89C9383-66A6-4664-858C-75193E6C1303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166701$0E958D38-FC0A-4BD7-AD00-B4F37BB40088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166701$E39ADA67-531F-4BB3-ACC6-1BEEAE623A84","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":"Q5166701$2E7B8A04-AD86-4021-AFEA-24C81DAA3C1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6030addbe063f81209cb8c90a7c18250d0602d1e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166701$2C84F126-0C1D-431F-A44E-F6CB369A5AF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"798328595d0a5279622b92de24a7e3c83316aa58","datavalue":{"value":"W2274504493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166701$E53140C6-1AB3-40D7-9EAD-C0B10D419BAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e189a35dbf61f9c265c084d4ed7f7d08b0f1320","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde0fc1f4ebf4af6c9b368f49efe49cfc055bd5f","datavalue":{"value":{"amount":"+0.7673396468162537","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":"Q5166701$E34964B5-137C-4651-8675-E8E3FEEE6E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf525635ff57f85e37544a8e7620ee948336ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1675143,"id":"Q1675143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57460f5c3fd4af00b779fd547974a3b432433b2c","datavalue":{"value":{"amount":"+0.7667841911315918","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":"Q5166701$FD54B0F0-C15E-44D2-B7BC-6C736757D25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf74bfc70089b0193f8945067a6efd15d74c2305","datavalue":{"value":{"entity-type":"item","numeric-id":2934895,"id":"Q2934895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac37671423b39a6fcac07f70a0a971e44dd22d8f","datavalue":{"value":{"amount":"+0.7547894716262817","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":"Q5166701$A12C55E2-B3FF-4BA9-A611-7CC93DCF1729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3525b396911526382ca172344274aba8bfce0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4571131,"id":"Q4571131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69117aea21965135684f3beb3c63e0ee899721cc","datavalue":{"value":{"amount":"+0.7495287656784058","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":"Q5166701$8FB6D04F-1C08-4681-8800-6FD2E85F3378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a03338383f73e23079841476ae1ac0022216ec","datavalue":{"value":{"entity-type":"item","numeric-id":832050,"id":"Q832050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ca426f837e7b2075bd88080ff7a3a521850469","datavalue":{"value":{"amount":"+0.7478774785995483","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":"Q5166701$3B123BE5-6640-4D9E-9CF4-194F3F5C8115","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Merge and conquer: state merging in parametric timed automata","badges":[]}}}}}