{"entities":{"Q2475633":{"pageid":2486376,"ns":120,"title":"Item:Q2475633","lastrevid":50302619,"modified":"2026-01-13T19:07:08Z","type":"item","id":"Q2475633","labels":{"en":{"language":"en","value":"Optimal infinite scheduling for multi-priced timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5247581"}},"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":"Q2475633$685DEA17-A36A-4C71-A73F-EBFBB70E60EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a26ce4991083aa1a22d62949bff26300eac76ae8","datavalue":{"value":{"text":"Optimal infinite scheduling for multi-priced timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2475633$A3AD6040-A48C-44BC-8559-AEA2B74F4DDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6374aa81ba004abedb0d353aa28bab4faca938c0","datavalue":{"value":"1133.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475633$A6072CB3-55E9-4048-858D-008FAC9E37DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$87C7E26C-A44F-4F04-8D18-B8103DD4E2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d189efbb864dab1c393b5827da7020cd9a7d98b5","datavalue":{"value":{"entity-type":"item","numeric-id":1177942,"id":"Q1177942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$3832C2B9-9CC8-49D0-A7D8-85F1830A4A80","rank":"normal"},{"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":"Q2475633$40CDFCCC-D5BC-4DEA-B670-508C10A1333B","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":"Q2475633$02868A4C-94DB-4AC3-A8D5-2B38BE96B29B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5191b06fb6cb88c011afaa0f154255cfe3a8de0","datavalue":{"value":{"time":"+2008-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2475633$05B68655-F3AF-4934-85F7-94AFC2E9D8E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475633$60626EDA-DF67-4EE8-A26A-E905064CC275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475633$81500167-037C-4889-AB2C-2503829FF1C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9a5de8e9cca7c61b83a41b29a02060472f3c319","datavalue":{"value":"5247581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475633$DB449B44-FB4A-42C3-B820-B7E666131DEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a11203fa1f481accaeb7aa7e61f323b5026374","datavalue":{"value":"Priced timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475633$A8DC0F2B-C568-4DB1-B9A6-01539FBD385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99084cd1e5e721eb98e42a7dff74bc4f22114ab","datavalue":{"value":"Optimal mean-payoff","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475633$3E590D99-CE5C-4D17-834A-B56206EC627C","rank":"normal"}],"P1463":[{"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":"Q2475633$B5A6FA89-ACD9-4569-AE16-5CA1B9F38A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fdcc12439ce6df6c8ad4949dfb6ad614a822f43","datavalue":{"value":{"entity-type":"item","numeric-id":16969,"id":"Q16969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$E9ABAD3D-9CDA-439F-AB4F-997A572F3C96","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":"Q2475633$D985A773-DEF9-43E6-93B9-A46A90E99873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e977b7f534db338cc312859f306e6731e0dc581d","datavalue":{"value":"https://doi.org/10.1007/s10703-007-0043-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2475633$BC044CB6-96E7-4A36-8318-55225FE9AD72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"044af29699ef92bcf6edf77ebe79c109fd7f63c3","datavalue":{"value":"W2130136014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475633$7A7F1A05-FA28-4307-8D98-0339B72F375F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07dd10781fec219d4e5037d85aa8641413cd12d","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$138DFFA9-93B8-42FB-8849-05A79764A646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796fee6517807b3ea1ff0b6e047794616ccd462f","datavalue":{"value":{"entity-type":"item","numeric-id":4472231,"id":"Q4472231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$0429644F-B095-491D-B99E-213DFDE80B0D","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":"Q2475633$832284C6-D8E6-4DAA-A8C5-DFB9DF22672E","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":"Q2475633$B2B39E95-1215-4076-AC76-9112D9E49D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5352eafda026df0ca8bde0e787c3dea427f206","datavalue":{"value":{"entity-type":"item","numeric-id":5466455,"id":"Q5466455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$6986241A-EF40-484B-BEEA-2F4E23F11C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a47f1523c236c9870b3ac6687f42a8a59a07f36","datavalue":{"value":{"entity-type":"item","numeric-id":4025904,"id":"Q4025904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$195C9F47-8F2B-4CA5-8264-EE72E6472FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41336a0fd1e8678e1c50ddb0bbc994bc685228e0","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$F5DB3D54-2619-4FD8-9CC5-9EA26477EE5C","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":"Q2475633$F272CD88-591A-4A65-A95D-F8EF59CCDA66","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":"Q2475633$67CDFCDF-0F15-4628-BC84-BB0F0D062349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b73ddd2a7f1a4b8dd60883e3c4e6296b066c67a","datavalue":{"value":{"entity-type":"item","numeric-id":5307469,"id":"Q5307469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$1548ACBF-ED53-4F7B-8B96-8537A015FF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391c43f46aca23c169f26439c4a79ec43333e81d","datavalue":{"value":{"entity-type":"item","numeric-id":5465848,"id":"Q5465848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$3A3D6AF5-2E25-4997-911B-7055048E0585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f970782cef7606d75b439e57c5964589154083b2","datavalue":{"value":{"entity-type":"item","numeric-id":1249587,"id":"Q1249587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$10EE932B-4E12-477A-BAFB-C7DA7439963F","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":"Q2475633$61D06758-D82C-45F2-B1C7-1D0E3E3AAF72","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":"Q2475633$C14C0505-672C-46D0-BB2E-7C83B0725480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f4dd08499872efe00c563282410ac29ea00766","datavalue":{"value":{"entity-type":"item","numeric-id":2512166,"id":"Q2512166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$10149F43-C986-472C-BD5C-52E0EF2E7815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$8FBAE1F7-0875-4D52-92F3-123911B5E972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475633$D19E79BC-BBB1-475E-BDF7-A5166FD909D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"188b9cc4ceb7695f4e05845d2ff404245f0aae7a","datavalue":{"value":"10.1007/S10703-007-0043-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475633$8B409B97-D99D-4369-AF39-0A2057C38D20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7593d3d22f4c89bd1afa6aad7b1bbfeb427a4b33","datavalue":{"value":{"entity-type":"item","numeric-id":5307469,"id":"Q5307469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbc06fa247f9484cc847532d7dd738ab5e35e7a","datavalue":{"value":{"amount":"+0.9459599852561952","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":"Q2475633$22042126-8B33-491D-B6D2-A22227A86B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e08487b47a75206f8103e503c6bc3a08676c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5179061,"id":"Q5179061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e660a8d57e96bd016536afefd2c403641ccf6c3f","datavalue":{"value":{"amount":"+0.8597469925880432","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":"Q2475633$D216162D-AF3C-4143-883E-0F77B2C4807B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0f3eb1ed0ab2dc43bd8a99e2841e4c97c98f64","datavalue":{"value":{"entity-type":"item","numeric-id":5079791,"id":"Q5079791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce6707b33e94d724e386622c66292cfe4fa9a2c","datavalue":{"value":{"amount":"+0.8510700464248657","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":"Q2475633$E143F6FF-F1E8-439C-A2E1-3F813B172EB1","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":"b76f4e999e4ad836a2346a336df7c310e7bf10fb","datavalue":{"value":{"amount":"+0.834568202495575","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":"Q2475633$189CB3BD-B29C-424B-9CA3-A9CB5C003421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132e07ffd628e12d8586b79d7ee431d616ed2f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2474054,"id":"Q2474054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad6681bf964bdd77493960cbda3530a15ac7f277","datavalue":{"value":{"amount":"+0.8184023499488831","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":"Q2475633$E20EA841-DCEF-40E8-B53D-6C17D8D34B92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2475633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2475633"}}}}}