{"entities":{"Q853729":{"pageid":855577,"ns":120,"title":"Item:Q853729","lastrevid":64842486,"modified":"2026-04-11T22:36:13Z","type":"item","id":"Q853729","labels":{"en":{"language":"en","value":"On using priced timed automata to achieve optimal scheduling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073686"}},"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":"Q853729$4A3DC93C-FC08-41A2-955C-3387B9E26825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8700245da1ea2f509a2b8b7e431381fb9870de55","datavalue":{"value":{"text":"On using priced timed automata to achieve optimal scheduling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853729$12297E22-8179-4534-B601-D134A05575C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41dfd6bc657bb4b6968cc47bbf3d799ec2b05458","datavalue":{"value":"1105.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853729$E74ECA7C-CA9B-4E50-928D-4A988186B4AA","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":"Q853729$309CC926-C0EF-42CA-8985-DCF6C6FF4713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b56c1f9e8f1308d86621ee9ee141f193bb3dc812","datavalue":{"value":{"entity-type":"item","numeric-id":2474053,"id":"Q2474053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$764E52AF-98D4-4E46-BBD3-94AEE37B2D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$9F531AFD-B485-46DC-A4DC-CB1BF1BBBFAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$F6956112-DE3A-4AC4-9861-97B68F26308C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853729$8765F5D0-C62A-40ED-8EA0-9FAB593A1790","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853729$32952850-413F-4D29-9CB6-97655DCBF759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853729$D41B06F6-C65A-41F5-A797-8E4A3C61585B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f42ba5e866f6665c1f6f62feccee9c2512437397","datavalue":{"value":"5073686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853729$BEF4B14D-AAA5-4CE8-8F5E-276057F3641E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46196a7b9ae3efec677e311dd16d4deb24e184d0","datavalue":{"value":"Priced-timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q853729$A75D505E-25D8-4BE1-BD0F-EBFE262D9B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e464a27411640de1f6f9ff4258e7c7397b225c2","datavalue":{"value":"Real-time scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q853729$11A1FBD8-B72B-4529-A008-A48F45FF70FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"377706c653ff626a8c2c3cd647ccc301a811bb12","datavalue":{"value":"Cost optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q853729$948E28F4-3F15-4FA7-AB83-68548A84B9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08e6f5bf1425f8a71e217aa4b317b9b92047961","datavalue":{"value":"Linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q853729$3D9518E0-49A5-4CD0-924A-95D283003BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59169c25682502cfed63438d5dda09139d5bf736","datavalue":{"value":"Zone-based","type":"string"},"datatype":"string"},"type":"statement","id":"Q853729$185A499B-42B5-42F9-B9AE-1CFD36A2F1F0","rank":"normal"}],"P1463":[{"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":"Q853729$91EA5453-B77F-4036-992E-F42617978793","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":"Q853729$FBF0068E-A568-48DC-8A94-06D80B6C9A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa6c3bd74034254be2e2ee3e7bc53e619543e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":37398,"id":"Q37398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$7D7F8EE1-956D-4F8C-9617-08AA9A2F1529","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":"Q853729$1F7B8365-E1A0-4A29-839E-97B0CC4EACDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffef136cdd9b1e34f4906215bc730d472b0ac7e6","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0014-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q853729$EBB23CE6-D4E8-42F2-A872-E784ED18535F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac90b82062d3e6e78484545c0a1b2e9091521b06","datavalue":{"value":"W2162327103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853729$6B01ACB6-76C9-4B67-A3F6-9CA41DAA8951","rank":"normal"}],"P223":[{"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":"Q853729$9F3A4896-5308-4222-8273-3D8DF6362829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$C55FEBB6-3B58-487C-98B9-2F43984B7FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4da92a75efcb85bf86c44f36118f31be9dabdb","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$9879D146-771D-4786-9D45-E871CD539E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$28631524-32C5-400B-BEE6-6B1E91770C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ebed0f2149b8b071942522fd22e8d06a831301","datavalue":{"value":{"entity-type":"item","numeric-id":1970209,"id":"Q1970209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$F479F02A-C3E2-4D69-AB78-53FE4904D618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5379436ce62421c024f5b749ad7005c5385cb348","datavalue":{"value":{"entity-type":"item","numeric-id":2783883,"id":"Q2783883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$0284E153-2BD4-42EB-B63D-2443C4B02B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$261AB104-724A-4E3F-A856-73FEEA6D0F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7c4b3192fc9d49664f31462adad1c716877534","datavalue":{"value":{"entity-type":"item","numeric-id":4123079,"id":"Q4123079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$8215C4E5-3B25-4E72-B12C-99C413D112A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$2A962E43-FAB6-457D-BA8B-2D350B1FC073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853729$92CAE4D6-9391-4371-9B85-8B32E49725C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"868bcb6665c83c953bed6d7e42ab1c4057872da5","datavalue":{"value":"10.1007/S10703-006-0014-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853729$5921987F-75CA-4FD7-A051-37D92868429F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5031e2b5408448e0030db1223f1f8c0b81e20c6a","datavalue":{"value":{"entity-type":"item","numeric-id":5308409,"id":"Q5308409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2a63026dc1bfdeb23b869d638cd078058f425b","datavalue":{"value":{"amount":"+0.944794535636902","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":"Q853729$3D2DDC84-FD94-4C8D-93BE-0E49F14A16BE","rank":"normal"},{"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":"965dc6e966abf6290ec706602e50e5d49d8c1dd4","datavalue":{"value":{"amount":"+0.8364297151565552","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":"Q853729$BB3DE945-13D2-419D-BCD4-049BFFB95A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d080cd4e16f734629d4701ddc7534ffc8d691df","datavalue":{"value":{"entity-type":"item","numeric-id":2475633,"id":"Q2475633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555d5e191bf73da676147a2071c2921a48d2f83a","datavalue":{"value":{"amount":"+0.8119104504585266","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":"Q853729$150CD0A9-8E18-42B1-B05A-E9C035A27389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130f24572a270808e93ec55cc6c88a2b0cb06eaa","datavalue":{"value":{"entity-type":"item","numeric-id":2368955,"id":"Q2368955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d444dbe689db0ce27bc940ae774a4d8f7630cd09","datavalue":{"value":{"amount":"+0.8026767373085022","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":"Q853729$6E1B7260-F6E8-4F70-8FC9-87C5E7D7D164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7febc7f72426cc52e8f49b911be161cfd41716c","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4df71df31dee2670a2813e8faeae9ef7eebc7b6","datavalue":{"value":{"amount":"+0.8016122579574585","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":"Q853729$2BCA3F32-F1B3-4F74-86C8-75D89E114F2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On using priced timed automata to achieve optimal scheduling","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_using_priced_timed_automata_to_achieve_optimal_scheduling"}}}}}