{"entities":{"Q2799159":{"pageid":2809897,"ns":120,"title":"Item:Q2799159","lastrevid":52501499,"modified":"2026-01-22T20:01:08Z","type":"item","id":"Q2799159","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 6566764"}},"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":"Q2799159$AE4F49E5-3CBA-4442-812F-BADC71AFBF38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"321ceba76369bba4a998ea0e7b0d1e770537772b","datavalue":{"value":{"text":"Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799159$E199499A-7A3A-46A0-8889-BACBBFC50129","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6d999516a40608467a7251e41a4978b4f0aec31","datavalue":{"value":"1423.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$22A5D07B-18C5-4429-92FD-0DA8DD10A37D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e07ac0d20c289dd313d6397cde43a5a63962025","datavalue":{"value":"10.1007/978-3-319-15579-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$FD3F03BE-AAE9-43F4-A0BB-BFB89A4DB182","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":"Q2799159$C58D42F3-8BD6-44DA-93B7-470C763A5D11","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":"Q2799159$6668A257-1A3D-4728-8160-B9E06DD3FB46","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":"Q2799159$CD3CAD77-EB71-4C9A-ABF1-943E6000CF8A","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":"Q2799159$85C5C3CB-DCB4-4853-AF8D-93D0F238986F","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":"Q2799159$ADDA2A39-73C9-43B7-BC43-9DEF31314D33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799159$87227833-240B-4CED-BF93-A2C9BA5AADC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86ea1a94e09e929f8289e34f06858aefd9bcd2f","datavalue":{"value":{"time":"+2016-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799159$21FAD235-52CD-42FD-99A0-6730C98C9DAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$3A2272F3-1B49-40BE-8DCB-1C7E5A102C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$ACBD8D7A-18D8-4544-A2CA-20890B0D2F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$46F6ED0A-3883-423E-9F3A-10332168C867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$2256D426-DE69-46FA-B023-00107DB4B078","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a630b57211c9849147cfb03896396be344d3413","datavalue":{"value":"6566764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$A1484BA4-59C1-4C46-9CC9-676F8A1874F9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab1a666dc6e4eb99523adab0833bc240817b91bb","datavalue":{"value":"Q124326875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$F6C9D285-0E3E-4FBA-BFA1-6F0F72ED4EAE","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":"Q2799159$F082EBD6-558D-48C3-84E9-14D9CB5669DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96de2534330cadf21009db9eca49a14121d998b6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15579-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799159$B9E68405-C4E5-41BA-984B-D9273BDE8190","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f7cc1017893ba7308f6885c66e74b9ab8fa705d","datavalue":{"value":"W201769302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799159$F8012013-37E2-4289-8BB5-F6E3E7107DF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04081e9d8bc756acfa52841c2995974fac2e8935","datavalue":{"value":{"entity-type":"item","numeric-id":4729376,"id":"Q4729376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799159$12F8BD08-1461-422C-A15D-48AA592F916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a43a81f9f2997f76b435331fdf567fd8b5d06d3","datavalue":{"value":{"entity-type":"item","numeric-id":3753510,"id":"Q3753510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799159$6BD32290-4D2A-4A2B-A046-9B6CA3E0DD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031cfcfd4fea3f8a3fe578c9daadfe0870bc4023","datavalue":{"value":{"entity-type":"item","numeric-id":4473719,"id":"Q4473719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799159$3C5C3F94-0C6F-44CA-9A6D-FFED3E277345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799159$8238A55F-EF85-4B6B-8760-8AA64F1B9772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fa06990c14b68b91f6a9c81557de8c6aee44db","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799159$565AE506-75E1-4CF5-80FD-19DEBC1BAD0C","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":"Q2799159$C975C8BB-C389-4850-A4F5-21701A7013EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c470ea603e08a2f52a7be3c0ad3a7d1fa995e83","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799159$37C6DF68-6F24-4C35-AC93-1C3B1DC93C8C","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":"Q2799159$24B5D00D-6A4E-4228-8295-B9F932D1D637","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":"Q2799159$49DA4924-E710-40AF-BB56-5C7DAB52C0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799159$B3953574-8850-42C9-AFFF-33280BEF0F75","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":"Q2799159$511E2216-EDFB-4CAE-80E0-A4EDBA2661C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddbfc9b149ead155416bf8f2a44ea176d772978","datavalue":{"value":{"entity-type":"item","numeric-id":2424673,"id":"Q2424673"},"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":"Q2799159$6B78579B-6EFD-4F08-AE26-298E4D2BBF29","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":"1903fed8942f0f8239329ae90cb5283413f301e7","datavalue":{"value":{"amount":"+0.6803238987922668","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":"Q2799159$8848CF68-2C6E-412D-AF7F-34F3E867ACE0","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":"10a18ac631d02ec28845d2f0dfb12167fb2e8daa","datavalue":{"value":{"amount":"+0.6782658696174622","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":"Q2799159$5B02839B-88C6-44D3-9BEA-3A6916B5F0A3","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":"db172a971dce3afabfcf08aac52d35e4e135fa8b","datavalue":{"value":{"amount":"+0.6739426255226135","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":"Q2799159$42E97897-36CE-44A8-B71B-F7B7B3015697","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":"d192a77213aa1f938ea7415d3e21293678c00496","datavalue":{"value":{"amount":"+0.6551464796066284","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":"Q2799159$87918676-068D-4FE0-A8B9-17DCDF3056F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2799159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2799159"}}}}}