{"entities":{"Q5370893":{"pageid":7400467,"ns":120,"title":"Item:Q5370893","lastrevid":52934264,"modified":"2026-01-23T20:35:13Z","type":"item","id":"Q5370893","labels":{"en":{"language":"en","value":"Component-based synthesis for complex APIs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794681"}},"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":"Q5370893$76E8FD85-2726-428C-B50A-D1EF98559DA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"005d6bb947e05a3474576d92cb1185e49f1bb479","datavalue":{"value":{"text":"Component-based synthesis for complex APIs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370893$5FABDB83-84FC-4F2E-97A2-F928C55CBEBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"898882ad5b24e2c14f940378dfeb89f6b44be1dd","datavalue":{"value":"1380.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370893$1A4FC637-4860-49B2-A46D-1CEF33F1AEAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1ab4a26c3856fac6fab32c8bfb68e73e00bc0ee","datavalue":{"value":"10.1145/3009837.3009851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370893$9E10F1C0-3AA9-4DC1-8BA1-C5E263111DCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c29014819f67acfc4dd94f29996c3a598e487bb0","datavalue":{"value":{"entity-type":"item","numeric-id":254608,"id":"Q254608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$632FA67B-A931-4D01-9AE4-18EBDA4D5569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e35c1612b99def540c2af974a24bae384b973e6","datavalue":{"value":{"entity-type":"item","numeric-id":487633,"id":"Q487633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$397A81B7-75C1-4A7A-B251-3736F12C9E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca20e34a5ab58eea56fd5acd872992151f6d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":453502,"id":"Q453502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$9795CDA0-0990-40FF-BB53-7ED336CE55D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce953ce033f1fd33b2122882152022083e8157ce","datavalue":{"value":{"entity-type":"item","numeric-id":427008,"id":"Q427008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$D0A05D11-A364-4073-8E0C-DF9E282EE54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$BE1A4D22-1E92-4722-AF8F-8F2E7472A6C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$EF6E1B48-670A-4489-A170-A7EBD525C337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370893$D0821D7F-70AB-4741-8A9C-16D058EA382F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370893$27562EC5-7C9A-4FF5-B105-65D57D921834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370893$44F468DD-41C9-4309-B147-0316AA9D8503","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49561bbafa5fab17488e189b10e4fd56bf6791c1","datavalue":{"value":"6794681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370893$5A8C8272-A903-49A2-951F-47AD332AB5BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f74625097c908068075a61f662ae8bfda4028df","datavalue":{"value":"component-based","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370893$E15385D8-54A7-4A7C-B596-76DE70AF1F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370893$AD2B624A-82B3-45BE-A22C-6FFDBA7D6AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370893$DEEFEE6A-4E58-4F39-937B-F6BC1347F30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc6d522512c02e284b2ee9e9645c185a9570ed1","datavalue":{"value":"type-directed","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370893$D7DA0D6C-B6B6-47D6-9546-D3857A46C2B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$C27212B0-0F23-4A5B-A668-3F8E49512538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aeeaa9627e1bc3e765388a801be13692bfdabdc","datavalue":{"value":{"entity-type":"item","numeric-id":33509,"id":"Q33509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$67DFF74B-0720-483B-BCAC-80CEE45CD36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ea739ffb4be2eb4ad766e2681301ad4d4a9b3a0","datavalue":{"value":{"entity-type":"item","numeric-id":33510,"id":"Q33510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$005126C9-D16C-482E-B07C-B407D0CB3D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fb58f85507f6be14d184bafe080857ada8062b7","datavalue":{"value":{"entity-type":"item","numeric-id":33511,"id":"Q33511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$B5D776B0-FE94-4965-81A7-DF2D4FABB148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ede8d87fa41582a86eff7b2373c9343eadfa49b","datavalue":{"value":{"entity-type":"item","numeric-id":33512,"id":"Q33512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$10ED18BC-DFC6-45A3-B6D4-A48B4DDDA52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28da2e72b60ff0c6852bb3e4ba9caba86f50f003","datavalue":{"value":{"entity-type":"item","numeric-id":33514,"id":"Q33514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$FDE9CE0C-8326-4F90-BDA6-DE41F352F2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a40ed2800cf27e515864390c2d9a294d464a30b1","datavalue":{"value":{"entity-type":"item","numeric-id":33513,"id":"Q33513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$0EB826F3-7B80-416B-AFC9-88741C10C89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"544285ff7639d6e2f1833203ed056490a36c6e30","datavalue":{"value":{"entity-type":"item","numeric-id":21115,"id":"Q21115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370893$EA02FBA6-FB40-4E55-9B2B-E10DF6F6E497","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":"Q5370893$590885D5-89ED-46C4-89EC-1A70B4FDE452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26fe8913a74cfaee803fa9c9dc51c0d5b72097ca","datavalue":{"value":"https://doi.org/10.1145/3009837.3009851","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370893$C7881E0B-D871-4DAA-8C1E-1DBE4037D398","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6cd92db105f840cbf2f08cf78d87826144e6020","datavalue":{"value":"W2561055248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370893$85C127E6-210D-41C3-9180-ECEB43A7B5E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f21a4bce8b5aad8b2c77731db6e587ec6150e6","datavalue":{"value":{"entity-type":"item","numeric-id":2164214,"id":"Q2164214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5981a9d3ea106990b33a0064203dbf7a54e660","datavalue":{"value":{"amount":"+0.7663227319717407","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":"Q5370893$810B81AE-FF11-4E55-8E8E-3907FD6584DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a0e0da2417b09fd1ef55788bfdafa042633456","datavalue":{"value":{"entity-type":"item","numeric-id":3454117,"id":"Q3454117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3653ddbff12c992e9f6aa165cbd90395f6f9eaf6","datavalue":{"value":{"amount":"+0.7585397958755493","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":"Q5370893$9BECC432-476B-4350-AC55-DE6EA0F84D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b21a1bb0f5ef059c15c2f98a4c5ca8a4a612b2","datavalue":{"value":{"amount":"+0.7456285953521729","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":"Q5370893$BBACA533-7E0E-4701-8532-1A9CC9F0BD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add1ce3bac887825ec75ab95096ca38afbe9be45","datavalue":{"value":{"amount":"+0.7326921820640564","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":"Q5370893$734AB31F-E119-46A4-A178-76D7196F3806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df83f0edeed53dca420b3429addb4f4303709b07","datavalue":{"value":{"entity-type":"item","numeric-id":5233251,"id":"Q5233251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7e452ef2c18d413ef9a463b6c3824a6f1c4b6a","datavalue":{"value":{"amount":"+0.7229270339012146","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":"Q5370893$25DBEA75-68FE-4F66-888E-22C1FB08057D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370893"}}}}}