{"entities":{"Q5172578":{"pageid":7202150,"ns":120,"title":"Item:Q5172578","lastrevid":91473080,"modified":"2026-06-04T23:15:31Z","type":"item","id":"Q5172578","labels":{"en":{"language":"en","value":"Decomposition of timed automata for solving scheduling problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397227"}},"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":"Q5172578$DF577120-F49A-45E2-BC88-AABCD05A96A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ff713022b0c26a0a7cb05b849a3f4e0ba2d3190","datavalue":{"value":{"text":"Decomposition of timed automata for solving scheduling problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172578$BEE034D9-635E-4954-A70C-B58C4EE363A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49c87cdd825f29e5eb764418de6b6483bd9696fa","datavalue":{"value":"1320.90032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172578$A95F65D3-5270-4398-8A31-8CCD6CD1C408","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f78b11c4e77ec88096c2a5a4314f845260f3b0b","datavalue":{"value":"10.1080/00207721.2012.724099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172578$1A473D81-F68D-4D2A-95F6-33C9D876D23B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14462574ec8b4cf4edd2987aeac6abda90490294","datavalue":{"value":{"entity-type":"item","numeric-id":614064,"id":"Q614064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$E1CB7C4F-DA29-4D39-9679-CCF1020ACE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987a71cbca31f55f797bf02cddf3cdec366ba3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5172577,"id":"Q5172577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$26C3F879-AAC9-4504-A4AC-5F146F595E46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5172578$9D145016-029D-438B-B5FF-534C355ACB15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172578$6FAA6BFB-EE7F-4140-A392-2F18635CEAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172578$1EDBF2F1-A3A9-4C95-8EA2-696EB32981FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f56172fcd25d8db0eb6d2ebe011c01d299c77fe9","datavalue":{"value":"6397227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172578$B9375865-1602-4236-B1A0-772222EFDFE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172578$86CE55AF-6FC6-40B1-968D-E4B3ABD5831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"717e07228fd2e1c393def4eb7148700f88b64f60","datavalue":{"value":"decomposition algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172578$E96AD596-E4EF-4E1A-9813-6B6EEFC48A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd518b844b8b8ef2ccafbe7105d5d92b505abd3","datavalue":{"value":"coordination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172578$BCF4059F-BF2C-474B-B181-4DEF0B52AB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172578$48BBFFD4-5BE7-4BCB-BCCC-6BFEBF2CD48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb633105ea4aee2929bd07b58ab6f03999235954","datavalue":{"value":"jobshop scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172578$85EFD76D-7950-4EAA-9429-C8C959872E47","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":"Q5172578$1B50BEC3-EBF2-4CBD-8017-E689CBAB7444","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68cbd3d068c2bd1b55ba948168209bf57940a269","datavalue":{"value":"https://doi.org/10.1080/00207721.2012.724099","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172578$62B78BF6-8E7F-4BE2-83CF-37EAA94FD42A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac30326c3edda32dd207b75c0bd1929527d43917","datavalue":{"value":"W2115611038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172578$C38CCA4B-3CEB-4303-8115-1E941B5DD90E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"767748581495151d2f33bff227c72e47614d02e1","datavalue":{"value":{"entity-type":"item","numeric-id":2368955,"id":"Q2368955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$31AF153D-B1B7-4F2A-B3E4-6E370A9D6E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$4F6416CA-A49A-4366-8661-532EAFD947BF","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":"Q5172578$9A668762-9825-4319-9ECA-C87E84666835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180c1b351f9da5c5a2f546f21a2fc2fef81c16ea","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$C0F8C1DF-B62D-45C3-A2C7-708887213264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2839c818dc904657b5d27869e256732e687b55f","datavalue":{"value":{"entity-type":"item","numeric-id":2440681,"id":"Q2440681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$63486038-EF8B-458F-8098-90F4BB35A51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bc727c27a14efcc86708d7d1fdacd68b85aab7","datavalue":{"value":{"entity-type":"item","numeric-id":4938626,"id":"Q4938626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$F03F8418-0F43-4B6D-9515-DE057DE448B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a91e85d7df25818999a87a5cba2a91213cf0827","datavalue":{"value":{"entity-type":"item","numeric-id":2643078,"id":"Q2643078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$7428AA8F-BEF5-4F84-B8B1-543DAC4D7F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d5881b32c9c3b84419f30a0dba426e71ab0415","datavalue":{"value":{"entity-type":"item","numeric-id":4497302,"id":"Q4497302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$17226EC7-C33C-4816-B37F-1C21213961C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d453f73c7a26b960325f44d309ccffb10d30c80","datavalue":{"value":{"entity-type":"item","numeric-id":4909026,"id":"Q4909026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$FCD3FCDC-0112-4626-815C-C3871FFB7046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cff40a4d0f0134af3cb82ee81d09abd5108793a","datavalue":{"value":{"entity-type":"item","numeric-id":2496813,"id":"Q2496813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$BEFC017F-7706-49A5-8223-22612BEC4727","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d28953bd0f0c2d8508713f8e55254124cfc990d","datavalue":{"value":{"entity-type":"item","numeric-id":6544798,"id":"Q6544798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172578$9D3EB382-08EE-416A-9087-964AE53A2C20","rank":"normal"}],"P1643":[{"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":"21ecdb27bb11ee0e4aca3479ace19d9a97818477","datavalue":{"value":{"amount":"+0.8093183636665344","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":"Q5172578$DC44EFF6-9E07-4FF2-BF7B-01DAB0A1B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb14c5a4e7ae92863090e421819375ffc0d3d782","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58f2c9ddd0389861a869a17d2d38702b87ac248","datavalue":{"value":{"amount":"+0.7915812730789185","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":"Q5172578$31CD770A-49B2-4C08-AAB2-7A519E9B2D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab63c02e90ed73916e8d3450be602c2091b96b89","datavalue":{"value":{"entity-type":"item","numeric-id":3792472,"id":"Q3792472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfb823f13ff526b4d045d1beaa1374112a0d298","datavalue":{"value":{"amount":"+0.7505625486373901","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":"Q5172578$A1EDD224-975C-4F7B-A739-E2598B8FEF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77df33c0faaa7f9551903765c6d8c3825e76d4f7","datavalue":{"value":{"entity-type":"item","numeric-id":3730316,"id":"Q3730316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1cada2a7922f7d1750858a86931e12281185e6","datavalue":{"value":{"amount":"+0.7500421404838562","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":"Q5172578$C6B82CF7-08F2-49DD-8F71-B218F8984E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3016c8f1ac392d7a441d6cc5b1f706cefc8463c1","datavalue":{"value":{"entity-type":"item","numeric-id":5717502,"id":"Q5717502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab39943314ef322b4eaf43d749d2a90979664246","datavalue":{"value":{"amount":"+0.7488818168640137","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":"Q5172578$4253F5A7-E0BE-4643-B82D-0A290BA380F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposition of timed automata for solving scheduling problems","badges":[]}}}}}