{"entities":{"Q2424673":{"pageid":2435416,"ns":120,"title":"Item:Q2424673","lastrevid":53461226,"modified":"2026-01-25T00:10:18Z","type":"item","id":"Q2424673","labels":{"en":{"language":"en","value":"Automated synthesis of application-layer connectors from automata-based specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7073041"}},"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":"Q2424673$29BA1531-674B-45D1-8B15-A412370DAF54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69205bb5727852340975bf1726148afb8bdf6e5d","datavalue":{"value":{"text":"Automated synthesis of application-layer connectors from automata-based specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2424673$24D6CB95-C1BD-467B-89B0-3AC22DF42089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc24d5de05a8d0079530cc1dccbb293f5adb1f62","datavalue":{"value":"1423.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424673$05FAD587-4AA5-405D-B772-9D307F2992BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"649b95ec83b6f5bdd8c02d54f6ae4d283a00ce77","datavalue":{"value":{"entity-type":"item","numeric-id":2424671,"id":"Q2424671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$CC62DCE2-894F-40D4-B1DA-26A0BA27FBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f900f77ef10c59a03f069c5af5579652c6549dc","datavalue":{"value":{"entity-type":"item","numeric-id":672233,"id":"Q672233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$36611C33-E639-4A4C-87D4-719D9BBCD891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"283fa2f8edb9c480ceb59d3257f06ab2a8d9a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2424672,"id":"Q2424672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$AABA4353-5ECC-4BD9-8CD0-AE1C657993E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"438c021fbc34bec54020dd1c07a130b4c3313a05","datavalue":{"value":{"entity-type":"item","numeric-id":931098,"id":"Q931098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$BD873839-B8D9-448E-A4CD-11DD5708C21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbb040868da1a40fa1b712d14b7ab5ce96603af6","datavalue":{"value":{"entity-type":"item","numeric-id":223815,"id":"Q223815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$1C9E34A4-4039-444D-B559-C92475C496A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$B17256EF-DC90-45AD-8352-5F5BC51E3B3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32811a0eefced7079831f67220d5dfb015d0445e","datavalue":{"value":{"time":"+2019-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2424673$97C9427A-D02C-483A-9627-0E6B5753EA75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424673$01EC1322-8F6F-409E-B124-7385278F5D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424673$1219D1B4-0B83-4B54-BC92-D37C923EC935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424673$7A55A70D-8065-4DD3-BCD8-DAD3BA296406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424673$CA37462C-D67A-438E-85AB-F2411D839D89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ab214b603f4d2ca26fc37d4962f9575d73d9577","datavalue":{"value":"7073041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424673$24DFD855-B99F-4561-8D8E-FFE5037E19A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c021212c6f3301b26cc806aa7685f117eae18b7b","datavalue":{"value":"automated mediator synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424673$1D8A472B-FFF1-4EE8-A8D8-9786FCF4A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c66e4ac2c588347a1304e6f3e85ffc4b0dd9dc3","datavalue":{"value":"interoperability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424673$BF834CE5-338E-4015-8C26-8D88A3AB64D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424673$59363194-D893-440C-94F4-C0220649ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d48e467b20944a6a74cd5d5226786d51b2905e27","datavalue":{"value":"heterogeneous applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424673$5DF77B69-703F-4472-90BE-BB7FD0707ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0544513bdc8f0636dda569851f6b67fd5744ee","datavalue":{"value":"communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424673$9E3D2101-9B0E-4352-B84E-2448A8EC1D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd518b844b8b8ef2ccafbe7105d5d92b505abd3","datavalue":{"value":"coordination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424673$87E36D38-1204-48E7-BC6F-359DA99A908D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604445b74e9b42a9f1d52fd3189a2777c1efc118","datavalue":{"value":"protocol mismatches","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424673$C40C1830-6AF6-4933-82D1-2AB934BA1B53","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8298c73058cabc55aa0e5f5071728ade51c5dae","datavalue":{"value":{"entity-type":"item","numeric-id":21892,"id":"Q21892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$D04D8C1A-2F2C-411B-8DCA-7BF94CD6CE8B","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":"Q2424673$992086AF-C78D-4F89-87A8-66509760A1CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a605e786c31eb943f66cfee5529c6a587f957a1","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2019.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2424673$AD17EE90-8E3D-4265-B8BE-0E5D5486D8AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed7c7e8b7da1178f8b4820bc28daa79b23aea06b","datavalue":{"value":"W2928231652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424673$5A44782C-3360-48A7-A54F-8057A17C671E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bcce861f208ef33bcfcae2dcf3f3b08e9799240","datavalue":{"value":{"entity-type":"item","numeric-id":605679,"id":"Q605679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$0E36C053-077E-4A58-AAD3-BBB8A7ABF859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2b76a7a7f6c9d7a7925364c87e6e5477abcfd0","datavalue":{"value":{"entity-type":"item","numeric-id":1361804,"id":"Q1361804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$672A571F-F3B4-4A88-AB0D-BB5CAB6F3C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffa3ee74f3a150e27860483dff5f5108660348e","datavalue":{"value":{"entity-type":"item","numeric-id":2799159,"id":"Q2799159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$2CE82A22-6BF9-405F-A812-C84F04570709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$ABD8E036-FB2E-4130-83E9-375EFD5B2F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$D8652C20-F5BF-48B4-85AB-49D5E9ED4C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$69ABA79C-B686-47A6-967C-9DD88A01B2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80eb91f4b14a6e9062cd4e16b4e69c671c9df5c4","datavalue":{"value":{"entity-type":"item","numeric-id":931099,"id":"Q931099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$871EF493-346A-439E-BE80-2A41BA752C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c57e2c7e7a34dea33aa7afba81fbc9b2f8a3a3","datavalue":{"value":{"entity-type":"item","numeric-id":2885327,"id":"Q2885327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$69BBAD1A-2644-4400-AD02-B7896AD857DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f9516d0b66e2048bd42179e30ba93c8edfb092","datavalue":{"value":{"entity-type":"item","numeric-id":3840871,"id":"Q3840871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$01DAF8E7-E34B-459E-A0BC-85F31A703252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45da7fb6629f69a68f5ab6c30c00aac41da2ae8","datavalue":{"value":{"entity-type":"item","numeric-id":860881,"id":"Q860881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$01BD4704-3640-465F-BAB0-2D337A16F328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163fceefea075b43c7a97126b1282dd624b40c36","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424673$967FEC65-C94C-47C8-A041-5B7BE679DF07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"203b3015c9dfdf4ffc63d7ea5d9746630b11d785","datavalue":{"value":"10.1016/J.JCSS.2019.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424673$2082592B-7981-4145-AA02-4627319C624D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9813024b88c2537bea6a5a8777cf473da98e77e","datavalue":{"value":{"entity-type":"item","numeric-id":2799159,"id":"Q2799159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461a32bc138c2f959f055f9840006928b6731d65","datavalue":{"value":{"amount":"+0.915277063846588","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":"Q2424673$FDAC4762-B63F-42BA-8888-E1856FE8049F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1c93a3fcff4f985dfbf635afefe8e0e1f5adfe4","datavalue":{"value":{"entity-type":"item","numeric-id":3449636,"id":"Q3449636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ff8f9b7a9d5b47716d75671c265ea9d8574ae0","datavalue":{"value":{"amount":"+0.7449766397476196","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":"Q2424673$DF54AF0F-AC7B-4601-9C6A-B89843788812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baed800b2aae2f380a6d000fb723dd109b1c3179","datavalue":{"value":{"entity-type":"item","numeric-id":5491876,"id":"Q5491876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bdf6cb6987cbef4a07111cd13967eeb4ee4e6d","datavalue":{"value":{"amount":"+0.7120903134346008","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":"Q2424673$85A644CE-E17C-40D4-9748-70F7A3288434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2d2ea1a437bf695c35d5fd5de85cac2b5b2815","datavalue":{"value":{"entity-type":"item","numeric-id":2481210,"id":"Q2481210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9ba41dacb5b4847f2550cde75465a8b127ad5a","datavalue":{"value":{"amount":"+0.6883710622787476","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":"Q2424673$A131C7C3-79F0-4652-A6E8-5F13B67592F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88959216d4ec68293fac66bbb3f90968452d614","datavalue":{"value":{"entity-type":"item","numeric-id":1098296,"id":"Q1098296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ac1be31c0c3e08f2072df0ef84b9826d1a9c2a","datavalue":{"value":{"amount":"+0.6672106385231018","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":"Q2424673$DD9A49D3-D958-46FE-BB59-043F76293D71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2424673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2424673"}}}}}