{"entities":{"Q1675143":{"pageid":1685884,"ns":120,"title":"Item:Q1675143","lastrevid":74275002,"modified":"2026-04-14T19:17:55Z","type":"item","id":"Q1675143","labels":{"en":{"language":"en","value":"Integer-complete synthesis for bounded parametric timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798762"}},"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":"Q1675143$C1BA57B2-5FCA-4F99-BCD9-5BEE611A3BE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e387394d16b8c654ffd071d2f7f72ee55a3aca28","datavalue":{"value":{"text":"Integer-complete synthesis for bounded parametric timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675143$F90FDAE0-5691-41BF-B629-FB59AA5A4272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"108ba0f674575504a6c9b885bbd959a9a359158b","datavalue":{"value":"1471.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675143$7A869875-EDA8-4A3D-A790-108C9A570C9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05b3f75b19e7efc2b6f1426f9ee9f4eb4741137d","datavalue":{"value":"10.1007/978-3-319-24537-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675143$88482B4B-FD76-4407-8A4B-B7D71CA8058B","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":"Q1675143$E192EB2A-106C-48B3-9679-D9C9B1421307","rank":"normal"},{"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":"Q1675143$CD90284C-E98D-425D-B1CC-773AB5E22DBD","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":"Q1675143$D389C7FC-1AD5-49C1-86E7-CB6EB753E4F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8feeb1cca2d914464752fa09fbf4f8c1020610b0","datavalue":{"value":{"time":"+2017-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675143$504559EC-C8FF-4587-96EF-0038E553702D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675143$5EE132EA-2487-40E3-ADEA-BF3FE7FBF12B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9c0e1e440f1c09679ac9070889ea383d9f41800","datavalue":{"value":"6798762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675143$AD88C6F5-095F-458E-95A5-BB1522C04FEA","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":"Q1675143$58EB25E6-DF6D-4759-80E8-A42F3E843100","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00b163140b71157360fa56e281485fbdb8762933","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24537-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675143$11FFCE49-4AD6-4AB6-9F55-44CA9B74D15C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6f8b3dcfb8b368c4d26feae01a6097ccbe02708","datavalue":{"value":"W2295332800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675143$634A6A01-4D9C-42D2-A2C5-21E8A09B116B","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":"5e7df908afe81b177b9b791af937f0f2fd2395e5","datavalue":{"value":{"amount":"+0.8508560657501221","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":"Q1675143$B46AFE63-43FD-4A6C-9712-BDFBED06BD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb30a8d3db3ab4dfbf6481f503b09c28bfe4e15","datavalue":{"value":{"entity-type":"item","numeric-id":488231,"id":"Q488231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cae95a0aa4e174517f82dd64db165a31a0f6d49","datavalue":{"value":{"amount":"+0.8077642321586609","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":"Q1675143$5B24812C-4FE1-4236-8EC9-618E12D2F22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28aeb70fe9076304df4ac04cdb7612c284156b58","datavalue":{"value":{"entity-type":"item","numeric-id":3172862,"id":"Q3172862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78fb5be4ebe21bfaa4a6877defc42a134b406e2","datavalue":{"value":{"amount":"+0.8042560815811157","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":"Q1675143$B04F752D-EC2F-401C-B7D7-22C831809296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65081ae21d171e39a67b70b23008ec8f667a8fd5","datavalue":{"value":{"amount":"+0.794601559638977","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":"Q1675143$030DDF54-5C57-41E7-AB54-ED73F07F977B","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":"35c8e57a5b1220b63228071c813befdec52c7d97","datavalue":{"value":{"amount":"+0.7926023006439209","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":"Q1675143$FE872246-EBE0-45DF-A6C7-03DD407A455B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integer-complete synthesis for bounded parametric timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integer-complete_synthesis_for_bounded_parametric_timed_automata"}}}}}