{"entities":{"Q5166610":{"pageid":7196182,"ns":120,"title":"Item:Q5166610","lastrevid":100671365,"modified":"2026-06-05T22:44:27Z","type":"item","id":"Q5166610","labels":{"en":{"language":"en","value":"Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309372"}},"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":"Q5166610$423E4F59-E033-4BA3-A596-4D46BDDCA734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5874c35c55252fa8f85390284a33337539fa3dc6","datavalue":{"value":{"text":"Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166610$D9B76B5F-ACEE-4157-9C30-E212E714BD12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0e67a3c8a9ddbd07ff5aacd0a32287f43aca1c7","datavalue":{"value":"1291.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166610$8B16C76D-525E-4F9F-90B9-C74DE46132BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$86A23A84-A1F4-4A97-9EFC-2AC80C74475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b6a7ba294d4762f890e97a069b2390281b3fb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3185760,"id":"Q3185760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$6B72E248-3042-4A6C-BA27-091F4C2E6E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccdfac7cbf895e245b655f0e166172b554255f4f","datavalue":{"value":{"entity-type":"item","numeric-id":556683,"id":"Q556683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$163AC466-CD05-496D-B707-C3715EC1741C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$2773DF92-7B89-4720-8DD8-1B6DED7A0F00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166610$0EA8149C-D511-44E6-928F-0D28422A5E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166610$BB612F01-3698-4244-A64E-D4DAB50191AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166610$3419A5A0-C06C-4269-845A-2768C6F4E8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166610$50BDD4B4-2BE7-4E38-90EF-E15AF013F6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166610$42FB1D24-1762-42E4-91D2-D98DD1CDA959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e40c8f4a8a3d074561ea612d2f37711e3bc49837","datavalue":{"value":"6309372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166610$5C0E6EB5-7544-4CD2-A205-21969717A748","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4674cb0f0bc5191405dd6b20eacdff1f8469c6d","datavalue":{"value":"service composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166610$D1A920AA-0950-49A0-8AAD-5EFCAB100EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166610$DA6FD6FF-FF0F-4CFB-98EC-153502DF79D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166610$EC7E80EF-96E5-4B4C-AFB8-DE858BA5CD57","rank":"normal"}],"P1463":[{"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":"Q5166610$A39B0867-8691-4E3C-85DC-B26B11A320D6","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":"Q5166610$FC869183-8AC9-4E30-ACF1-82836DADEC4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23cd878eb8805ec6194cd4ca01bc6bcb5c7f08d0","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.06.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166610$755B7A6C-4C0C-4F27-AA39-8656D7247FF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f96750348d54275f020c960d6483ddcdb581f45","datavalue":{"value":"W2100891401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166610$D3095294-E413-4C83-A6FB-9D5B037B8C47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$DF920E36-F71E-4FEE-A766-F9626FFE306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e171999e527ed407d39e5db426827311be0b1e95","datavalue":{"value":{"entity-type":"item","numeric-id":3526983,"id":"Q3526983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$BD149357-67DA-4C29-8E71-F86604CBFD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7354a9332cb09b54ff1bf30ae7407276a62067f7","datavalue":{"value":{"entity-type":"item","numeric-id":2643142,"id":"Q2643142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$D18F9A81-4F9B-4E86-A50D-DC65923B20AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$96B09E42-DF93-4A3E-BAF7-0CEF79315040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1cbb7867a200f2abd5447ecaa47e9811d7878","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166610$FD734E89-B23D-4368-BBE2-9B7AA44BE188","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":"Q5166610$A8677BA2-736E-4067-8004-E2C0ECE23EEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0c42f939772e657f0892e5c0964a0a0fdfcec8a","datavalue":{"value":"10.1016/J.ENTCS.2009.06.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166610$49C54AC3-E2E0-43B1-90A2-481A3CC89620","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e99423f2f914a007127e81256b9f5dfb951dd8","datavalue":{"value":{"entity-type":"item","numeric-id":551202,"id":"Q551202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6495cf6ab76fb50bf5255c4a828fa1f8006e6054","datavalue":{"value":{"amount":"+0.8968713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166610$2C4241E5-8FC4-4D16-870A-AC6741AF5D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e89d6b850a21b1657d35596268011770bd55dc","datavalue":{"value":{"entity-type":"item","numeric-id":4902281,"id":"Q4902281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30a1ce5b9bea2578a115cf32772248946e09570","datavalue":{"value":{"amount":"+0.86316824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166610$A6BC233F-EC57-4FC4-B8D1-04D93B2C134F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22378f7f9af8b8211c277b15168b3a8d55b42c71","datavalue":{"value":{"entity-type":"item","numeric-id":485834,"id":"Q485834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2afe36800ac681a0bce1bffa1aa6a9b7b5f75d","datavalue":{"value":{"amount":"+0.86166847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166610$FD144D11-BEB0-40FE-9CC2-412F1DC0F5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c265861856e4e9094d11250077731a3a1195d2","datavalue":{"value":{"entity-type":"item","numeric-id":5900556,"id":"Q5900556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098cb2a38b7ca06f38306a3d469fd5acea9c14e5","datavalue":{"value":{"amount":"+0.8613308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166610$B5416BED-F9CF-4564-B6B2-0C4B6DD2EEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f71d535bed8b60ee95dfdf72ae460d3ed2921b","datavalue":{"value":{"entity-type":"item","numeric-id":4288286,"id":"Q4288286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c01c3da14de6f45315dec3023586e7b57d31ad3","datavalue":{"value":{"amount":"+0.8580777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166610$9185E283-7942-4653-BD48-5FCC552856CA","rank":"normal"},{"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":"81854c6747d5280ba101b56f3d70b184869c6a3d","datavalue":{"value":{"amount":"+0.85436875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166610$DD17FEF3-A4D2-41FD-9347-8361D4CBE90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59c75c9db0110385c516d2770180cd66a0655ef","datavalue":{"value":{"entity-type":"item","numeric-id":6164424,"id":"Q6164424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee34b1549be6cf862fefc167902b0e6a6d4c36f6","datavalue":{"value":{"amount":"+0.85261554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166610$581AE212-18C8-422C-8047-FBEC7044EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3862976971f7a53bee77ae6bd866a8ce52498cca","datavalue":{"value":{"entity-type":"item","numeric-id":3783583,"id":"Q3783583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657cf6492c6c62e059d9ce15ef90c0f78cd08ef1","datavalue":{"value":{"amount":"+0.8474052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166610$A4A6098C-8DDB-4F6B-87CB-DF4D4D188B17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition","badges":[]}}}}}