{"entities":{"Q5326340":{"pageid":7355914,"ns":120,"title":"Item:Q5326340","lastrevid":40779089,"modified":"2025-04-04T16:12:45Z","type":"item","id":"Q5326340","labels":{"en":{"language":"en","value":"Integer Parameter Synthesis for Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194849"}},"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":"Q5326340$FD0AE905-768E-4369-BE34-9160FCAB2445","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7db1d966d8034d7596e8ea1fd883f16592c3068c","datavalue":{"value":{"text":"Integer Parameter Synthesis for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326340$DB20DB73-AC18-44AF-A59F-A753C8EC2C04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"744d652f7b089391327f1b2f736e289198cdbcfc","datavalue":{"value":"1381.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326340$96C4B51F-EDB7-482F-BCD6-139E30B0C3D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"801bc991643ca162dd559fe892bebcc32d20d8d8","datavalue":{"value":"10.1007/978-3-642-36742-7_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326340$BEAF13F7-996E-4903-AF5D-0FCEC70C85A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326340$DD90F41D-CC7A-450F-9087-BCE4511807F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326340$FE1B3B18-2882-46FE-B22E-7AC33D6C6DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57dae1a66b8d364756742d36de532febd4857c8b","datavalue":{"value":{"entity-type":"item","numeric-id":955246,"id":"Q955246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326340$60643DC6-4D90-468B-8447-C6E1F8BD5394","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326340$B7123C7D-C502-4121-9527-8B4783A29E3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326340$CBE71E9C-E9E6-4500-9EF7-F870BB995249","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326340$5A3F14ED-EFD6-4934-8F79-614C05AC629F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a49bde681addb2412a3580a43a6129d5580ba3f","datavalue":{"value":"6194849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326340$D7482E78-BE4C-496F-8EE0-A3933BCF9A50","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":"Q5326340$FE1E2606-7F87-4200-8D60-0AF704E59D97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2223fa1da624b564d9f5412b1b7b1bf3f3944d4f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326340$9CA9928B-0167-4866-859B-1C9702F792D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0c983d179ef88a81d981640253ef63f08780a33","datavalue":{"value":"W1850823946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326340$6534FB9D-31ED-4468-A252-9515A95C0BAA","rank":"normal"}],"P1643":[{"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":"ec511585607f3c5e3314a6b002f68728284b6920","datavalue":{"value":{"amount":"+0.9454367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$5B41778A-8B4C-45FC-944A-DA3B966FF943","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":"a3f2d0663d3866b459e795a10e54b5654ced7e46","datavalue":{"value":{"amount":"+0.9110582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$AF4FCBB1-8948-4179-9BC3-6BF8F119FD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043b736c9a0a8be3df6caa76e0b27711366befb5","datavalue":{"value":{"entity-type":"item","numeric-id":1648651,"id":"Q1648651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d56a60922fceca7c7ff5a75221b1667cd8cce2","datavalue":{"value":{"amount":"+0.89261687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$5232675E-1841-4AB0-A430-FCFA4981EC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b96d69c922b84d811d35f35fca713f658733d","datavalue":{"value":{"entity-type":"item","numeric-id":6487932,"id":"Q6487932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0275e64c0a08c3fcbb4bb8e3e17a84a3b647b849","datavalue":{"value":{"amount":"+0.8920631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$27DA0124-9B3A-4379-946B-3CAB71A48A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb7a190db72c074afb5a691181916be1181b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4603554,"id":"Q4603554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31209fe41bf6514c5976bd4ee096a70d9f830d5","datavalue":{"value":{"amount":"+0.8878987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$3B532498-B68F-4FDE-897C-A713442733D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4501dddec981897b1790131a125ebdccbacb5284","datavalue":{"value":{"entity-type":"item","numeric-id":5166678,"id":"Q5166678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efd3b8b71877442df29a709dbcc17a37ee75b25","datavalue":{"value":{"amount":"+0.8854952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$8AF9A662-CEB9-4F76-B3CE-9522D5C30FCB","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":"771dfe93a75530bdf7f8137501d0aaa93afc2020","datavalue":{"value":{"amount":"+0.88454473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$C68D9A51-A59D-4923-9450-16CE1A1F63AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5933d918927c86bdd60964c30e2e52dfded79524","datavalue":{"value":{"entity-type":"item","numeric-id":5168513,"id":"Q5168513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b589fe315e53f0f8dae3c2ebabc70bc4496622","datavalue":{"value":{"amount":"+0.8837694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$C3EAD96F-03FE-4E92-805F-79143A48FA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5063c2cff4f23dcad2a7c274079878aaa025c7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4654724,"id":"Q4654724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b578eda92eb7526be2a3f07ec0816d4fcf561931","datavalue":{"value":{"amount":"+0.88326406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326340$E25D0245-F6E5-485C-B524-3BF4514B2459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326340"}}}}}