{"entities":{"Q848309":{"pageid":850157,"ns":120,"title":"Item:Q848309","lastrevid":64802025,"modified":"2026-04-11T22:19:31Z","type":"item","id":"Q848309","labels":{"en":{"language":"en","value":"AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5676805"}},"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":"Q848309$D7C21C44-55EE-4F59-B595-256951A7A495","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"408087800d13b45afcca56fd2d0a0c20a0c70368","datavalue":{"value":{"text":"AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848309$FA88F6BB-1005-4897-84E9-333654581466","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16fe0f61eedc9fceb5249ca818f0143f3bf961ec","datavalue":{"value":"1191.68816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848309$5B36C6BB-B483-48CF-AE66-35E933B1A62A","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":"Q848309$1A37C182-06F7-404E-8B34-731F0D0E3D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61299cd89b29f2d3e240e08570f7a20d51a7f287","datavalue":{"value":{"entity-type":"item","numeric-id":848306,"id":"Q848306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$D67C63E7-38BD-49B0-8730-EB5E7A79CB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"741fb889c3f8a6ecead73bde91a8efff82d1571c","datavalue":{"value":{"entity-type":"item","numeric-id":848307,"id":"Q848307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$99C51432-1129-404E-90A3-7760D9C630D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af12150a69dae3a74265405db22cec3bd8b3e8f2","datavalue":{"value":{"entity-type":"item","numeric-id":848308,"id":"Q848308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$4A9F3BDA-07B9-4909-958E-B2B2B21642FA","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":"Q848309$AC974236-F868-4759-B998-D27B932B104A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$2ECFB9DC-7F62-418B-8F33-AFCE71E304AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43af9c1639ff28691f1ff0b51893f728c4d46058","datavalue":{"value":{"time":"+2010-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q848309$F3EF13B5-77F4-45D5-B537-700485FB8A5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848309$BE43C260-9230-477D-9F2E-85A3A7F18CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848309$342C375B-16C5-4347-93FA-5604A717DB54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b57ab223eae6be9a808ac64638fab41e4103d2f5","datavalue":{"value":"5676805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848309$36FFA388-6DE5-4BB3-AD82-26F3AD1AE866","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde264cc228885e71797f8035c730081ef1b167b","datavalue":{"value":"business protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q848309$BBE56B81-9E6C-4CEC-8DE1-5383C9092F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q848309$3ECD7466-DB43-4E30-852B-623212223D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df495bb1c94cb28d6d5db8bb1ea0facb578dfb10","datavalue":{"value":"composite service","type":"string"},"datatype":"string"},"type":"statement","id":"Q848309$AF607747-4D1D-4B77-93BE-457E788F2804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5482c2553c3b2575559e0c9a8ecf7f14e6696157","datavalue":{"value":"correctness constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q848309$88B95425-3B82-43BA-BF75-89A79259FC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7556e770021bbeecc5666e9663f7bc02dd1dfc68","datavalue":{"value":"\\(L^*\\) algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q848309$9EC2015F-76D1-4665-8AA6-F8D8A4D8C2B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$545964F6-A0EA-44E0-867E-AE84B531F982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7840d2cdeab47e25afba123d45eb99cd52e588c8","datavalue":{"value":{"entity-type":"item","numeric-id":22543,"id":"Q22543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$737AD589-0533-443B-A7F4-33C1B5FDE004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5df36330c16e906d59c70c6bc06da4124d9eacd4","datavalue":{"value":{"entity-type":"item","numeric-id":22544,"id":"Q22544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$5DE82F7C-30A2-4EAC-B57A-55C61280BD27","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":"Q848309$DC1150D8-D56D-408F-9E10-6E6855CD4C8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbc343f03221546a4e6aeabcb99d27d375fbd941","datavalue":{"value":"https://doi.org/10.1007/s11432-009-0155-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q848309$C197142C-7A6F-4FA9-9EC6-DF28CA47BAC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ceac9f1f0dc20c1a0e4dcdddd88e20fdfc7a1227","datavalue":{"value":"W2021069576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848309$E8953FF1-A0D7-4D18-83BD-1BE3EBF264E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9089a03a77f982e57f3ea3d61d3b306a8ed76079","datavalue":{"value":{"entity-type":"item","numeric-id":703491,"id":"Q703491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$935AF57B-C67B-4BD0-913C-8DF0F8AFE974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$E7DB20EF-FCD0-4DF1-A7F1-FB3EDA1F2C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$66A23BD4-7BE3-4395-9E98-295D60F3CDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$688CC4A9-A248-4C52-90B4-8D5AAB041580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$917440F4-270C-4317-927D-FB8CDAF3E53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7be545c35e3ad5c544a918892ae90433812d0b","datavalue":{"value":{"entity-type":"item","numeric-id":2849548,"id":"Q2849548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$415ED10F-05D1-48A6-A1E8-3DB16715CA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848309$D715FA91-E156-4D13-8F2A-3B65C843D5D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0384d8e231a4f06c863705fabe23e038b55fe976","datavalue":{"value":"10.1007/S11432-009-0155-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848309$D24ED8B4-3038-48D5-BFC9-B0505FB57A1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05e179a37d3f47b81c736e9a3f15e7ee7fbbbbc","datavalue":{"value":{"entity-type":"item","numeric-id":439758,"id":"Q439758"},"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":"Q848309$9E66F13C-BC46-44E8-8031-5DF385EFFE44","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":"9a182e5c31c52f7d5530f5b7143abff200e5ad7b","datavalue":{"value":{"amount":"+0.7989824414253235","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":"Q848309$BAC11CDE-FE3D-43DC-BA08-EA3E63A7705C","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":"ce38c048a05a1056bac1df266c04242d8b004d40","datavalue":{"value":{"amount":"+0.7981486916542053","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":"Q848309$B808D36B-EED4-4002-87C1-5083B7577B03","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":"20356e31fa78553ff0180bd67a64aa7f04d6c61a","datavalue":{"value":{"amount":"+0.7981258034706116","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":"Q848309$9FF64C9F-5D9C-4F7A-9A53-75244E59427C","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":"d3a7b0d605b8cbeb1f4661f99576507cf5630c4d","datavalue":{"value":{"amount":"+0.7652064561843872","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":"Q848309$CB2435C4-FE0B-449C-BADB-D0E5893EEF66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/AutoSyn:_A_new_approach_to_automated_synthesis_of_composite_web_services_with_correctness_guarantee"}}}}}