{"entities":{"Q2828322":{"pageid":2839060,"ns":120,"title":"Item:Q2828322","lastrevid":52656419,"modified":"2026-01-23T05:06:57Z","type":"item","id":"Q2828322","labels":{"en":{"language":"en","value":"Maximal specification synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642995"}},"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":"Q2828322$94D774F4-CEBD-444B-B85F-07055EFF9F45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d12fa964ee89a2ca423a922a896d41ff26a98f7d","datavalue":{"value":{"text":"Maximal specification synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828322$66A06D29-A482-442D-9964-5E7E027F1F7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dbb831b6a7347f708db3134ccb4aaaa58cf717a","datavalue":{"value":"1347.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828322$B5386DB5-9640-4417-87DA-E8625E56DDF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c1f417c66260fe48e2363553866245faf4eb651","datavalue":{"value":"10.1145/2837614.2837628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828322$E4EA954A-6525-4824-A7FC-1BBD021A9649","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20057335d0b9f0f59892ecaeed2a523059119baa","datavalue":{"value":{"entity-type":"item","numeric-id":778537,"id":"Q778537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828322$BBADEDEB-0D07-4696-A9C1-EA6F6CDAFBE0","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":"Q2828322$9FD19637-CBD9-4F15-800D-59D0318EF6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828322$F9A30C4C-96CB-4CB7-A33D-9E6A71A96025","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828322$55C46B72-4774-490A-9EFE-6EB1ABC07667","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828322$B54CB6B8-601D-44C7-9F66-0826A66EEA4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828322$89106BFF-490B-4EEB-8F30-AF72BF2B290D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828322$F7F05A59-17A7-4642-8EB4-7F66520BFB83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8426644e7a6f98140f1f902667b36a40b1e4c078","datavalue":{"value":"6642995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828322$E47440C3-1FE8-458E-8756-5FE533EDBBDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828322$4F1DFA02-1B7C-4D77-A03D-C89AE8830A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828322$6191301F-A926-4730-B7B0-064004963A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828322$830A0D57-1AC7-4F61-B279-D99B18377CEA","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":"Q2828322$E72A7388-75B1-4F0C-B189-945521376532","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cf544b6ce9e8bff0f2764ef105611e19413b72c","datavalue":{"value":"https://doi.org/10.1145/2837614.2837628","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828322$C86FD6E0-9D8A-4891-9A95-38A641A015AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fda94e62c33e75a9cb6fc976d3dfa02d56af164","datavalue":{"value":"W2267830770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828322$8CB8A6DF-01AD-4FF1-8159-A1EF7C36DD84","rank":"normal"}],"P1643":[{"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":"7eb500ab90a9984fd336db1387af31a19da1b1d7","datavalue":{"value":{"amount":"+0.7370364665985107","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":"Q2828322$2C3B647E-0BC0-4EE0-8A19-741498F00ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f7a0e16a9f569fc744c4c6428a565462d3c670","datavalue":{"value":{"entity-type":"item","numeric-id":3296340,"id":"Q3296340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76cf900175ca6020bdbc1d7569277e193772d4e","datavalue":{"value":{"amount":"+0.7160091400146484","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":"Q2828322$AE079361-7333-4E86-8C43-796D7F8B0A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92839d41dedbd0185b71170cf641b8ae7af57f80","datavalue":{"value":{"entity-type":"item","numeric-id":2409736,"id":"Q2409736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f37f104d6f178e71c119e6b5af424b19f00978f","datavalue":{"value":{"amount":"+0.7136990427970886","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":"Q2828322$6BA2F31E-76CE-40B4-B0B1-7E3B2AAB0FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d3c9e48f94c94d2d69862e627d4883b274b86b","datavalue":{"value":{"entity-type":"item","numeric-id":2280222,"id":"Q2280222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df2718907a83a596b8b8a653b3c90df845caace","datavalue":{"value":{"amount":"+0.7116144299507141","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":"Q2828322$D04D7CA1-4DF1-4461-B5D0-8FF0F2C07729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c8877177256e7832cc2493c1a9a42f1ecc0e65","datavalue":{"value":{"entity-type":"item","numeric-id":2303870,"id":"Q2303870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6116fe80e69c42ce63e3b91a05c22c32f9f3df","datavalue":{"value":{"amount":"+0.7103528380393982","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":"Q2828322$10AC4DFC-192E-45D7-8891-A5D7B90E5ECF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828322"}}}}}