{"entities":{"Q439758":{"pageid":441525,"ns":120,"title":"Item:Q439758","lastrevid":61886190,"modified":"2026-04-11T02:19:47Z","type":"item","id":"Q439758","labels":{"en":{"language":"en","value":"Complexity of synthesis of composite service with correctness guarantee"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6067114"}},"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":"Q439758$21633BC5-84AC-44C5-9F7A-AAE4ECFCFF2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"766e75ad1349d95ffc41fc9173eb7e553594570c","datavalue":{"value":{"text":"Complexity of synthesis of composite service with correctness guarantee","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439758$43840A39-6365-4DC7-838E-88455423A0EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f9dcbae5c04faf535798171e294303678659a2e","datavalue":{"value":"1245.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439758$33399018-3FFC-4A00-B97F-BD74CA1910F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e1429b7951b63eaa829bb6b8f2404164048d003","datavalue":{"value":{"entity-type":"item","numeric-id":389230,"id":"Q389230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$BB94210C-3C3C-4BF6-B036-EC0194EFBF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd2bf4bf8814ca25dcd985d1e52c36ce89b8f26","datavalue":{"value":{"entity-type":"item","numeric-id":439757,"id":"Q439757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$6E166447-548D-4E2A-922D-FDB9AEAEF00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f80134c402178fd9c8e9792a2f10412282f92361","datavalue":{"value":{"entity-type":"item","numeric-id":592473,"id":"Q592473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$333A4FF4-B9EE-4EFD-9EFA-70151F832EEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b603f6512fef6ae8133f8f1ff885bde2efd37af6","datavalue":{"value":{"time":"+2012-08-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":"Q439758$2C822FD9-B995-4CEF-83EC-F195A6E17330","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45bf816b0b0a601f7120623b126da03e78457c27","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-011-4460-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q439758$9A16BAC8-106E-43E5-ACEB-BC3D3B142783","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439758$D6A97C6C-F707-43F9-A590-E62453EEE596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439758$A491B842-53E6-41C1-933C-684E6EF46D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439758$AEB3A6A3-7FF7-4CDE-A289-DFEE2B943DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439758$C236E714-5AE5-4C8F-A098-8DEE522A6F53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b113e61076dfc81094450aa3177620784ac6556","datavalue":{"value":"6067114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439758$729773AD-36C6-4459-8551-E761866DFBB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde264cc228885e71797f8035c730081ef1b167b","datavalue":{"value":"business protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q439758$DCF678E1-B964-46C4-BA8E-03D97177AA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df495bb1c94cb28d6d5db8bb1ea0facb578dfb10","datavalue":{"value":"composite service","type":"string"},"datatype":"string"},"type":"statement","id":"Q439758$8DD5C4CD-5A6C-48EB-A954-F111A40F9721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q439758$0BEA67C5-E384-42B3-ACF3-A7B1BA8C042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a4dcf884227a098aa08936779efe6182140a8e","datavalue":{"value":"environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q439758$5371503B-C999-4870-8196-BF4043A4F1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98dce8a7545f3a58597054ac5ad99f0547107475","datavalue":{"value":"branching temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q439758$8CF10661-9FEF-47B7-85B2-343D5A638FF9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776eabc7152e0eeb2b2ab4fa62f326b400d9599c","datavalue":{"value":{"entity-type":"item","numeric-id":14588,"id":"Q14588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$A5014B37-D457-4177-A834-A9D0A8718535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86c5760bd620e2915a66d9077b4ed2ef38f56dbf","datavalue":{"value":{"entity-type":"item","numeric-id":13766,"id":"Q13766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$AC208F2A-950B-4D8A-B50B-ABA7CBA23A93","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":"Q439758$ADE4200C-E675-421B-9BEF-257DCFE94686","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13763864e33cb367faa70d89bb9b3b6290696049","datavalue":{"value":"W1979890789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439758$532ECE51-E95B-4542-B305-BB51472D57BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$4F906F42-E3A1-4332-8CF2-9399FE21EE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$4716ADF2-3006-4A78-8D14-BDA03BE1DB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$1E50E698-9BBB-4A7C-8A20-8A5E94B3781B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e35d6c7eda7b15211e8969f9247637ed3b0046","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$59F8AAF5-2F3E-46CD-9517-84B3D2647185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1268092828526e888d6fc386d45d2be4499600c","datavalue":{"value":{"entity-type":"item","numeric-id":3617743,"id":"Q3617743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$F45E77ED-F4C6-4CE5-899F-AC4EE47BB9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff7398bd3803693c75db1dd4929d6ee85602946","datavalue":{"value":{"entity-type":"item","numeric-id":848309,"id":"Q848309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$BA361423-43B5-4724-AA38-39A8E6A1F329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$F8AC6AC3-EAE1-4875-ACDB-BD46262324D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$005D3815-677F-47A0-A57D-015FD1D08254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1657fefe9b1e5a99d1f100464f7065f98e322a21","datavalue":{"value":{"entity-type":"item","numeric-id":4895547,"id":"Q4895547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$EF7FC9A2-B222-4B82-833E-96FCAD61F3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$87394830-3A3E-4912-B9FC-A910DB2798F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$0DE6702E-0295-4C97-AB58-F81A880A19EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$CE0AD46A-3A7D-48DC-9E0E-339A21144528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$62BE9279-EE83-461D-8B2E-15BB150F978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$8EBC25F5-C8D3-4DD6-BC65-016D02FA1ABB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b26eb53e2a2c544b6f598b8e0430dfb6baea405","datavalue":{"value":"10.1007/S11432-011-4460-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439758$0B532146-424E-4D60-98FD-54D3A46D4D29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439758$42E7643B-FB87-479C-88CB-D33A865EAC8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88445847e64c63806d19359cb1f1ad477b69536","datavalue":{"value":{"entity-type":"item","numeric-id":848309,"id":"Q848309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f6918efb5d8f11aadb23abab774af5110229f9","datavalue":{"value":{"amount":"+0.8787508606910706","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":"Q439758$2F5BEB4F-21CE-4DDD-BE1A-1B3CD4A5713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21acb54f8d28dff779247bd65747fdcc570f19d7","datavalue":{"value":{"entity-type":"item","numeric-id":439793,"id":"Q439793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae356c04834183094cc0c4cf0d6f613e51226362","datavalue":{"value":{"amount":"+0.814263105392456","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":"Q439758$280A94B8-F1B1-4379-8C48-026B684740FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80b7c049e6be632b56bca4f338893c0dd1aba36","datavalue":{"value":{"entity-type":"item","numeric-id":5166610,"id":"Q5166610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47d12ef150d3b0fe34314d8e91fc3173bb7107f","datavalue":{"value":{"amount":"+0.8006148934364319","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":"Q439758$91FE9011-D56F-4D72-A186-2809268F6AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265d0410cebaf355dc6618de378ca55ca3416f50","datavalue":{"value":{"entity-type":"item","numeric-id":2177764,"id":"Q2177764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8a41ca8990cd2194981d6b3acbfc007ae3f584","datavalue":{"value":{"amount":"+0.7975843548774719","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":"Q439758$8607E594-BCA4-4A15-BF5D-0CD9DF793304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b106184ca05931670ef291585ea2db782b9b02","datavalue":{"value":{"entity-type":"item","numeric-id":3019482,"id":"Q3019482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a43225e377cb426901da43348baae06e6b3be9","datavalue":{"value":{"amount":"+0.7854304313659668","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":"Q439758$958DFB87-4884-456A-AE10-7C17D1A424E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of synthesis of composite service with correctness guarantee","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_synthesis_of_composite_service_with_correctness_guarantee"}}}}}