{"entities":{"Q515666":{"pageid":517433,"ns":120,"title":"Item:Q515666","lastrevid":62449110,"modified":"2026-04-11T06:09:39Z","type":"item","id":"Q515666","labels":{"en":{"language":"en","value":"On parametric timed automata and one-counter machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695643"}},"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":"Q515666$747CD10E-A181-429B-B364-06C2FAC6E321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f46c462ec380b1582a2e03b5079727d597a831db","datavalue":{"value":{"text":"On parametric timed automata and one-counter machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515666$D0A78B3D-A7CB-4B38-9B81-814E91D75B02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c00daf3e90904abc082c97fe15a6d8765cae0c9c","datavalue":{"value":"1362.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515666$DA60A9AC-D76C-4CFF-98B7-500BC6705B0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a98492ef135855940fc4c3047417452156ff375","datavalue":{"value":{"entity-type":"item","numeric-id":340571,"id":"Q340571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$31074C29-AC2E-4794-BC45-363C9511FEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$36032B2B-BDAC-4CC0-9415-7AF0383F14C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$E53D1467-C4C1-4BFE-B1BB-980978C01A11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q515666$F7BE90E3-4C89-45C8-AD32-2652F92788C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce659880c65bed33ac186e7cb6ebf13cea4e5a4b","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:7358d3c4-2b3c-44ad-ad89-6f09495e514a","type":"string"},"datatype":"url"},"type":"statement","id":"Q515666$69E34767-43DA-49E2-888D-43476689D04E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515666$EE2F0EAD-29ED-4A9C-8A57-5ECBC4DB1863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1acbc606d8210862392edeec453bf590c26007b","datavalue":{"value":"6695643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515666$4D1BB6F3-6ADF-4F69-809F-F7CCFD8F90D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q515666$7FE2A61E-A565-4E38-8A33-6F4061E38C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078cb84eb7b21829df0917923ba1b8277a3e775e","datavalue":{"value":"one-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q515666$16B34258-95A6-469C-81FC-BC062C4C3C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q515666$09F1FD28-5145-4812-A3EA-7AB0842B4F64","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":"Q515666$A3EDF3FD-AB47-4EEE-AD88-DCCBD9072BCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6245bf603ba8d15792c7527a4373640a3a1af059","datavalue":{"value":"W2513871081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515666$E858A89C-7CDB-4CB7-9D76-C52CDF4F7911","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ed0a39ef4db2eafa0124b6371533aa9541e412","datavalue":{"value":{"entity-type":"item","numeric-id":619899,"id":"Q619899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$C27F2700-1015-4655-A995-BF892FD0F1F7","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":"Q515666$69B2B94A-0672-4F64-A658-E72548F2FA36","rank":"normal"},{"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":"Q515666$1A186C94-DC35-495B-8497-8EAC0DF38260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5e9bd45e583849a395c13e52547ab8918ce816","datavalue":{"value":{"entity-type":"item","numeric-id":1147117,"id":"Q1147117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$F8C7C04A-2EF7-4DF9-BCEA-69D495BC4221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70113cd5b654bf0a9dc73bcf0093af4ab44d9b2","datavalue":{"value":{"entity-type":"item","numeric-id":2922008,"id":"Q2922008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$D727AED8-4CD3-4118-88C5-699E93DAE381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb26fb1846b6f18c02035a5f88554afa02bb81bb","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$AE3B4338-4EC6-48E3-A89B-DEE5E5CC8320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15829e9d12c1ae3d0647f723aaf878c118e2bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5327435,"id":"Q5327435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$8372828A-89FA-43D0-870C-BA72249BA437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea12e2bb542bcb72994272c82dff7d6f50346ad","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$BE40B3A6-59EA-4D6E-8985-B86BD7BA1322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$4A90C2DA-904F-49D5-BA6C-80EC9E69CBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1014fde4077be02a2601658792b1c2731e0e6b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4899143,"id":"Q4899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$FF686795-67A1-47D5-B7A4-E282D13450BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$4FFC1587-87F0-40DD-971E-5A618F8343AB","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":"Q515666$7D718508-8542-4A60-882B-B8EF5F010C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1994acbc8f1d8036343162822ecc9d24c1f3480","datavalue":{"value":{"entity-type":"item","numeric-id":4630270,"id":"Q4630270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$3DE380ED-42AA-4895-BF41-F64B5B639138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6e6339c8f8a3272b7cfb2e5fb19de523862545","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$505A5703-BA4E-4C54-900D-CDB308E28278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc3dc957309bb9042121e42e12f8ed44caf1ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$1F33794C-A0C3-4FF7-AA78-33187FEED383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01c60dc1f5a5692f2b27f6a909c5b8350bb9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$903A5EDB-AF28-4919-8661-50067E82FDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9a8ad599057ae6c5863b64653f9b2091fcfac5","datavalue":{"value":{"entity-type":"item","numeric-id":4635845,"id":"Q4635845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$F86AB0C2-DAA7-43F4-BBED-9348114567B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$3E56558E-A35F-46E8-875A-62800CC89A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86593a96a302fb40be911c0dc2f6191d2a756593","datavalue":{"value":{"entity-type":"item","numeric-id":3960661,"id":"Q3960661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$94053DCD-E05B-43BA-8BCD-7B20855F7C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$8966DF39-801D-4A67-846C-053CB3F0BA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$BAD2E787-DB14-4463-B39C-51D830226827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9520458f67f4130a2c5c66a91fece0dc3b636b21","datavalue":{"value":{"entity-type":"item","numeric-id":4418006,"id":"Q4418006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515666$938A782B-F796-47B6-BBD6-C814E4E63C9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9318fa76c2bc2ee936d02f93a70228b7099558cb","datavalue":{"value":"10.1016/J.IC.2016.07.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515666$8F02508F-CE99-4144-9412-739275AFE703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bec893f824f71498a9cc024324d9f0e732e0e11","datavalue":{"value":{"entity-type":"item","numeric-id":5089309,"id":"Q5089309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b415f6ec5ad993688dddaffa7b7e9a3e8436c6c","datavalue":{"value":{"amount":"+0.9062404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$5B86DB0E-88A4-430B-B0CE-256BC939BEDD","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":"f838857ac961a99b1044571e706b986ed36be6b0","datavalue":{"value":{"amount":"+0.899845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$22BAF805-B128-4234-B1D8-A81B93480F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b6cd6183c9ea513a4cdce446777dda408da440","datavalue":{"value":{"entity-type":"item","numeric-id":2892786,"id":"Q2892786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38f7f25dc77f4b7e35e4f47b309a51de9fafcb8","datavalue":{"value":{"amount":"+0.8931623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$FEFD6222-CB31-4DB5-A46A-26D48A3C69E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91dcaa2e771d20e6a063917d5340af83910eb70c","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e059fe642968966c7e842b5cf6aba1820f8b5e3e","datavalue":{"value":{"amount":"+0.8921399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$FB8BCB66-6A29-4144-8B6C-DC6806E9C567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7b7af96103334e44e507f573bb3b97e88e6361","datavalue":{"value":{"entity-type":"item","numeric-id":5758051,"id":"Q5758051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2e91fd36acf1a2db09fd230fd526eec1a254e8","datavalue":{"value":{"amount":"+0.87935185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$29D1F603-B4F8-4ACE-87B7-A8D5042DC7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8942904f6c464f3014d26e638cf62cfdcb7af57","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ad6779dcd60e955847355309c0b1f5a6595fa9","datavalue":{"value":{"amount":"+0.87873846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$4C6FD60A-D6F9-4209-B1D1-6A3A6F7099A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2039bdede58f371353ca0d0c2d9041729a53521b","datavalue":{"value":{"entity-type":"item","numeric-id":3518285,"id":"Q3518285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1bce4152933e396370010f0b9369fab167e140","datavalue":{"value":{"amount":"+0.87811875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$E8221BEC-50EB-48A4-B07C-EAEBFBBA7EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b79f1c7fce55eca90fbdb106ffccbc699e56f0","datavalue":{"value":{"amount":"+0.87727976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$CA4E1649-30D5-4A8F-950C-0125DB6A1187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a348212b9a6fc53451b959df9d34966911a438a","datavalue":{"value":{"entity-type":"item","numeric-id":5041274,"id":"Q5041274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfa0b364dd6d07af4cc933627bf55d749c4a10b","datavalue":{"value":{"amount":"+0.8769426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$88EAAE22-CDD3-4400-9B83-5700AEFF4034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3a1f1e04bf9916fd4b76a9838e88ffe3963c81","datavalue":{"value":{"entity-type":"item","numeric-id":3601411,"id":"Q3601411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bc06d845cffe3e0f259fbd8cd4a764814314fa","datavalue":{"value":{"amount":"+0.87678325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515666$3D2E285F-CF04-4946-AB97-E3DCDF4349CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On parametric timed automata and one-counter machines","badges":[]}}}}}