{"entities":{"Q2920149":{"pageid":2930869,"ns":120,"title":"Item:Q2920149","lastrevid":51581255,"modified":"2026-01-18T21:34:05Z","type":"item","id":"Q2920149","labels":{"en":{"language":"en","value":"Priced timed automata: theory and tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098246"}},"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":"Q2920149$E6D9335E-1302-4DFD-A8E2-2E20110E08CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5548d526332cbace94fd8717e9994641033f4ca4","datavalue":{"value":"1248.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920149$2009BC3C-FC28-4E8F-A75C-929395A544AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2920149$B74042D6-35C2-48BE-B812-3EFE0C0B909A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e63bf2027e56d038a70e2ee97a35f39dc0081ed","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_c722.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920149$C406D880-5B80-432F-9612-41A5A8ECE46D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920149$C98FE258-7979-4AE8-87B0-1A2BF5B87808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920149$96EB6711-8DE6-4736-96E5-9DCED25245D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920149$97CBF7C8-79A6-43AA-9450-D1881A0B4026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920149$0FF7C840-8488-4733-B0AD-55B74AB2512E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51892de7ad5307a494071d66c4f34b8b930dbf7c","datavalue":{"value":"6098246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920149$7BD13430-F2D7-41B1-A624-FAD23E0D5158","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f76633f75ad992c87ec1fbb73343152ad2f79e","datavalue":{"value":"timed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920149$982DE80B-517C-4BA9-AE68-F8ACD1F2AE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5704dcf0316ca6df2e0636a7f78877aa7d5973d4","datavalue":{"value":"optimal scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920149$3498DC69-E860-476B-95F0-6D04597B807C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685d296441c36f47782d213deab9a2313d0641b6","datavalue":{"value":"priced timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920149$681EBFEA-2710-4529-9528-5EE5812AC990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920149$15ED6678-1300-4E4E-9967-D2FAD2182045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920149$5E5FD234-3316-4F80-837C-51715EAEE05A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920149$58171FEF-65BA-4E82-9E31-966CF5F84823","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":"Q2920149$D78CE00E-9E55-4F2C-8F3C-E271C895A181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920149$1F5A25B7-DA44-4087-9E8D-0D831524431F","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":"Q2920149$8AEEC538-C0CE-43FC-B99E-BB25EA34489C","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":"Q2920149$BE25724E-2FA9-4595-AB09-C876CE212FC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"972dacbca7168b78d4d801d483fc5800a690741f","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920149$D875C4F4-ACD0-4893-8056-D101B5E48F12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ef957f6dc1158972c7c1e18b40613387754f939","datavalue":{"value":{"text":"Priced timed automata: theory and tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920149$5A2CB430-55C3-4B0D-9C52-9927474EA78E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba14df9c00cb6a16700dd8a226c88d39e41ba20","datavalue":{"value":{"entity-type":"item","numeric-id":5897450,"id":"Q5897450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929cf171bfac3f53ebdb5931c6a05c3e03cac51a","datavalue":{"value":{"amount":"+0.8438102006912231","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":"Q2920149$B83117EE-3BEB-4E68-9633-4CBBC613B93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bf953bd1753cb3cd947ec5b49765aa61c22bee","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0180f838a29a951f9a52bebaeef2d57a2c39505e","datavalue":{"value":{"amount":"+0.8248156309127808","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":"Q2920149$20C5165D-8BB3-4A3E-83A9-3D99F43A9E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2a9e67fe91af0d196f538e6a0e4a8fccb517fe","datavalue":{"value":{"entity-type":"item","numeric-id":2064528,"id":"Q2064528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcaf34ef6441f83884ba57dc6c7197437f865d7e","datavalue":{"value":{"amount":"+0.8050779104232788","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":"Q2920149$2C27FF26-E0EA-4AE3-B310-B66B248864DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6093d387f1611bd74c271f7169f804172ddbdd13","datavalue":{"value":{"entity-type":"item","numeric-id":3184689,"id":"Q3184689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a95b516381a736bf3c9238592d1ebdfccceb3f9","datavalue":{"value":{"amount":"+0.8035297989845276","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":"Q2920149$DCE6F9DF-3CD2-4061-932E-6A1E44BEDC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9b64f7064e4e74873395904baaede84bfe4cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5002811,"id":"Q5002811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c60ea1bbfc1237db1e96586fdbca6c1edd3488","datavalue":{"value":{"amount":"+0.7972076535224915","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":"Q2920149$BF8BDDB9-F690-48A8-B4F9-9CB0C1C8E532","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920149"}}}}}