{"entities":{"Q4982084":{"pageid":7011662,"ns":120,"title":"Item:Q4982084","lastrevid":57476454,"modified":"2026-03-31T02:14:33Z","type":"item","id":"Q4982084","labels":{"en":{"language":"en","value":"An inverse method for parametric timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418593"}},"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":"Q4982084$5AA3FB21-2DB4-45A2-B535-13963876DA68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ded9702e025b2c86830f806c4e2644c2a7a978f","datavalue":{"value":{"text":"An Inverse Method for Parametric Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982084$966AE5CC-F8B7-411F-BAB6-BF1AEE129A72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01041dc570e7ebd4fdaf91ee4245fc8eb8a08771","datavalue":{"value":"1337.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982084$4D6B1469-A226-4DB8-A0A0-E86C36282AFE","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":"Q4982084$3DA8B292-0D7A-4969-BE85-12CDEC07C752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2a3f140ad501af9a971ae94e56963f322567411","datavalue":{"value":{"entity-type":"item","numeric-id":453541,"id":"Q453541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$9EC08B49-9F43-49C1-A366-A11E887A7BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81f759669d539657dcada680a49f2df44f03d8a7","datavalue":{"value":{"entity-type":"item","numeric-id":453475,"id":"Q453475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$093D69FD-538A-4B87-B596-3FCBFEB57907","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":"Q4982084$C6C8A584-065E-45F7-AB54-13A5B4F4853D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$EBC8FF13-343C-4B4D-9900-EAA53E49ED33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982084$F45F35B8-71A0-4AA1-A3C3-B67375C53AD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982084$32E83FF6-F8D8-4AD5-BB8C-BDA71D1F1412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982084$BA652ABC-13C9-4BEA-99B2-99A1C97A7A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982084$CCE5DD10-7A06-43BF-950A-0102280E080F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfe9d7607748887ccbb12b60cb985bf294216c02","datavalue":{"value":"6418593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982084$FFBDBB3C-B529-48E3-B071-CDF4B350EB24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982084$096D4503-D043-4515-9751-9E3CCF74466E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982084$0D2E7B5D-FE02-416B-B3EB-A9554C571355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982084$46EE9D6B-1871-4F93-A02C-55A96BA02905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe85ae8d4a7293b26db13c88d4f499a668dd17e","datavalue":{"value":"asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982084$D6309DE3-7231-4449-9564-6B6B6B0A6580","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$47F45FC3-064B-459A-B320-3E4466234CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a688e68ad9837af6ba5052320c75a18e89949be","datavalue":{"value":{"entity-type":"item","numeric-id":14122,"id":"Q14122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$71A9BE8F-EFD9-4E56-81B1-A11E9439C4FD","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":"Q4982084$29FD50CD-CFF5-44C9-928F-F4F55E161C86","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":"Q4982084$A915F915-4877-41E5-A9EF-AF54B5317990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9f14e1d77b87704b924963c81e7bf2e2579e403","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982084$C5D16F00-91C5-45F6-872D-D846BE9E593F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43e4e2062e1a7531264af347c9cac6a7ab41b31f","datavalue":{"value":"W2118313618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982084$96A549F0-AD4B-4C1F-9F0B-FFA993C6EE4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$FA711EA0-C4E4-46C7-9B9B-602BF8CCE9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$924EB19E-1E9B-43D3-ADDC-3A67C6D72836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8659110e04f7a4cb2b8e1a490ddd77e99f1484","datavalue":{"value":{"entity-type":"item","numeric-id":1891141,"id":"Q1891141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$B851B2C1-C978-42B1-80C8-E84E384B725D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbacf7213fac1ad7134058ae3b370a57245783d9","datavalue":{"value":{"entity-type":"item","numeric-id":2754104,"id":"Q2754104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$AE307A03-AB9F-4AA9-948C-D39AAC9C1462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c6e298e946a12286cca69c377fdc40d027e7d","datavalue":{"value":{"entity-type":"item","numeric-id":3971259,"id":"Q3971259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$9C7FAF9C-74A0-4B9A-9066-58A427A272A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928f46ec2cf29941d0b0532ba007525c5e3807f","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$6828BA01-A2BE-469C-8C4D-A8FC1A433B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc11063079b122010509aa3a970048afd12d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":5295510,"id":"Q5295510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$5197F3F0-FC93-49FA-A034-7EB3D0BAA5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$06F1C350-2ACB-4D48-86E5-69A0746CE3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8801050af48ee9f0e8292460c18e077cb8d12a","datavalue":{"value":{"entity-type":"item","numeric-id":2870195,"id":"Q2870195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$ADB110B8-C3EC-4F83-91F4-DF078A30DCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d1d8ee2c5a20f4bbb771b0d86edcaf1d78bae7","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$A6E64864-FDF7-45DB-A8BB-C19C817CA3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$1859D444-EE05-4E56-A000-7847FE17D778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002a0253b4a56d46d40c70e8bdcbfad6b261846","datavalue":{"value":{"entity-type":"item","numeric-id":5756592,"id":"Q5756592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$56857EE6-1140-47E3-8380-40497900CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eee5079953efaccd90bb54243867bd25cba0945","datavalue":{"value":{"entity-type":"item","numeric-id":3559774,"id":"Q3559774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$279DDF31-7106-4A61-B5FC-508B18B4011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e5a4bd93b99039523138fcc1e62a5028dca9b7","datavalue":{"value":{"entity-type":"item","numeric-id":4804897,"id":"Q4804897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$46D8AD0D-6326-4E6E-9555-5000E1C96FB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0df0fe9ef6685cf1d94fa428acf02daab89e942d","datavalue":{"value":"10.1016/J.ENTCS.2008.12.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982084$E2C278CF-5269-4F40-98CD-5B342324615E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28c6ada71aaa9a8347bd0702cc760c0cea100c0","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eef0205ae137728fd2488d6864b811b3a7cba5f","datavalue":{"value":{"amount":"+0.9246454238891602","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":"Q4982084$C8B586D1-2816-49AB-A8B9-61715BC628FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1eb60b224758ea028efe2a5bf57da98b0e2d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417bfbad293f672e0afefea360c8d9f365b7520f","datavalue":{"value":{"amount":"+0.7930431962013245","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":"Q4982084$A8CDA3EA-30A9-4F6B-AAD2-FD4232073A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d713e0da00a37b326d8f8f07beaa4e9a6e5162","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e896e2e6cae04246ace999c8df4552f93ac34692","datavalue":{"value":{"amount":"+0.7899647355079651","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":"Q4982084$2C6B0C8C-C7DF-40C7-AA38-EB0649FC3953","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":"2a4a3d5622f22fc19ca60d84f8e697b0ac4a01ac","datavalue":{"value":{"amount":"+0.7867006659507751","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":"Q4982084$AEA83444-E7FF-48CA-AB36-2C6DBBC605F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1870cbd709b027ebcc12a44563b943a1a2e59ab7","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c6b52836f6b5de6829e16f5309f39ca8c839be","datavalue":{"value":{"amount":"+0.7719334959983826","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":"Q4982084$75C57120-B5CF-4523-8515-72EDC591C679","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982084$441426BA-68F5-4737-A32C-C31D3D8A66D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982084","badges":[]}}}}}