{"entities":{"Q2145353":{"pageid":2156096,"ns":120,"title":"Item:Q2145353","lastrevid":54343058,"modified":"2026-01-26T16:23:44Z","type":"item","id":"Q2145353","labels":{"en":{"language":"en","value":"Automatic synthesis of data-flow analyzers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543927"}},"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":"Q2145353$91414154-D95D-4385-BA26-B67EF8D3EA42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07f5af8cb91d4f39fcc45ca5676956270ef514ec","datavalue":{"value":{"text":"Automatic synthesis of data-flow analyzers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145353$FE64EADD-446A-46E8-9690-F0B49521D21B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7e7a01a0157697a738deebe8b8a3ec8ef007205","datavalue":{"value":"1497.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145353$664EBF15-96C8-43F1-B624-F59DF65DE226","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd524bb1b248009f39716aa75f41f8fa8a134079","datavalue":{"value":"10.1007/978-3-030-88806-0_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145353$917E1EF8-600D-43E9-89F2-8A00C90B3D9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbfe362cd46a772fa896d9c8ea4201990678787f","datavalue":{"value":{"entity-type":"item","numeric-id":2145352,"id":"Q2145352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$0C663613-3C4A-49C7-A69A-BB95256B69C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b7d292dc2c0a22be2bdf4529bc436c81d46352c","datavalue":{"value":{"entity-type":"item","numeric-id":1323637,"id":"Q1323637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$7AE856ED-39DC-47C9-BE82-ED77BBA1B59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91d2c94d0199e348c72d8499049f24dae237ac69","datavalue":{"value":{"entity-type":"item","numeric-id":555632,"id":"Q555632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$D4F9D14E-53D7-4C33-9886-24E494A4D649","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145353$73F7157B-9470-4ED3-BD79-B9E93949E0A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145353$831682B2-8B9A-48F1-ACC9-94B090936009","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61074fde2731e6cec7b505a0fff29b94e5e3b47b","datavalue":{"value":"7543927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145353$A31545F6-732D-44C0-823C-B609F9EAC3AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145353$86EC5A45-83C5-4FE7-B03E-97C8E4BC49D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcccf1938b111ca67ad4fbff787bb36915f4850","datavalue":{"value":"data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145353$2FFDDE2E-751F-46D9-B3BE-C5A5A8F9E2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"494503d09b6588a442fa4fa8cf25085fa2426319","datavalue":{"value":"DSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145353$D87BAE6F-3B93-4456-B23A-CBC3AB5A232F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec2860ead57e9461807f21cb14f1204e011a9b8c","datavalue":{"value":{"entity-type":"item","numeric-id":16300,"id":"Q16300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$54BB29C3-4ADD-4F60-AAF6-217DE68E6A1E","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":"Q2145353$AE4D2668-2B3C-4F5A-BAAF-B963A536195C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1e676ed4308c618481fc9a39c4143e9760ad266","datavalue":{"value":{"entity-type":"item","numeric-id":34881,"id":"Q34881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$82694D2A-D469-4EA2-ACF4-5243C533F3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"436953497125d4f56b5465c7287fecd024e0139d","datavalue":{"value":{"entity-type":"item","numeric-id":44823,"id":"Q44823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$B465059B-7B40-4281-88DD-4F9BC43F1488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f572778179a1edf132fb14b7a5b2ae3cdf2d9c","datavalue":{"value":{"entity-type":"item","numeric-id":33318,"id":"Q33318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$5E63FC6E-AD88-42D1-83D1-E17822D84BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e6285a57fe7db7429c9f09d37319cb172729add3","datavalue":{"value":{"entity-type":"item","numeric-id":29308,"id":"Q29308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$130CFF27-4993-42D9-BEDC-C4C5B3748764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b73caf41d18f3f22691c16cb1cdd7440b8e008e7","datavalue":{"value":{"entity-type":"item","numeric-id":13317,"id":"Q13317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$1B438594-18CB-4504-913E-9238AB7DDA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b9c79bb992157d20fab6eb5fee397ed0e5c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":41198,"id":"Q41198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$C5ECB03D-2767-4235-A49E-6C3131244F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64a5d9831311ec850aa1a93b11d66d44e4a5a614","datavalue":{"value":{"entity-type":"item","numeric-id":5972665,"id":"Q5972665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$3053ED5D-5EB1-4BD0-8124-E72336F9C01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c57505e25db1c7100d803e085d278d63b59b5fd5","datavalue":{"value":{"entity-type":"item","numeric-id":38470,"id":"Q38470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$A20F03F0-6583-4F06-B1B9-C477FAAD4A2F","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":"Q2145353$DCB15F89-1CC7-4FA2-BB28-931387FA764D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b07bfafe3e49b33e5728efafcc537a5e6354cd1","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88806-0_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145353$007B075B-9FEC-4C32-A1C4-BDEA00AD3DA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b31766626036bff1e7acb35b63244c951dcd66b2","datavalue":{"value":"W3205448890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145353$C712A11C-6D53-40B5-9C7A-9946A59065D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c36d898f969780dd13b76170e6e94b63d6fade9","datavalue":{"value":{"entity-type":"item","numeric-id":3525697,"id":"Q3525697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$9EE41FF3-97C0-48CF-AA5B-48A620099AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ecebbf3098598a4ae1c71c3011be390ef373f45","datavalue":{"value":{"entity-type":"item","numeric-id":4363509,"id":"Q4363509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$C4C4519B-827E-489A-8F42-4BFAC6813FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$F1893541-D27A-41E8-951E-CEA624A34147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129633844ccd9eac7fac5dd58f6a0305b97bc15d","datavalue":{"value":{"entity-type":"item","numeric-id":2151252,"id":"Q2151252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$8C829506-D0FB-4842-9051-5296142FFE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba89e24c650d6f69085035ab2ee78d9f09dc9b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2828323,"id":"Q2828323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$50E85073-EDC2-4A3C-B137-5337B16BD7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd164a9365d0b56b26397794a343749f485a4186","datavalue":{"value":{"entity-type":"item","numeric-id":5408553,"id":"Q5408553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$ECFD28E4-5BDB-49DC-8A80-787E86406A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56631cd6d1c6aa48975afd5319157e30ae4248f6","datavalue":{"value":{"entity-type":"item","numeric-id":3540062,"id":"Q3540062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$9C56D30E-777D-444C-A690-8DC11F8C5A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d266dad2a39bed6e7b4e28d8433e2789dd24a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3362088,"id":"Q3362088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$68C3F3EF-E0D1-4CAC-9773-A8BA80A14263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65cb3591a6d59a7254d57416c9f430197e36e06","datavalue":{"value":{"entity-type":"item","numeric-id":671681,"id":"Q671681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$93655682-CC51-4788-8683-CD1BF3EF19ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee78ed76d0de3f4cac30c62ff7d8b58be9ff3d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5408528,"id":"Q5408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$A70D8182-EA37-4CF1-9E02-D6F4EA86958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b60f8e9e9ea433dfd668062c1fe6791c8745052","datavalue":{"value":{"entity-type":"item","numeric-id":2287069,"id":"Q2287069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$83D4F72B-139C-4844-B660-FF4D93385062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a67638e83ce6dc477e5174955a1fd90418432","datavalue":{"value":{"entity-type":"item","numeric-id":5233251,"id":"Q5233251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$A60BC3FA-9E17-4E7B-878A-42DB2D8C7D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d4be5d058c1095b093c44e95949ad0588503f0","datavalue":{"value":{"entity-type":"item","numeric-id":5255086,"id":"Q5255086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145353$1AFB0651-F08F-477B-900B-AAAB8EBEF7C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097430dc17ae1989af25e0cb8163bca7990228d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096226,"id":"Q5096226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce2add32e0b6ac8ce031cd8cb947d78732b5ca3","datavalue":{"value":{"amount":"+0.740639865398407","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":"Q2145353$421145B2-F2B8-4B1F-90E2-3DAC1E5C9EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718e0ecfaf4da2ead2ef5d16f859b4079c535c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2324232,"id":"Q2324232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e01b280cf9afadf3ff376e25a0a5d1220b66ee","datavalue":{"value":{"amount":"+0.7196556329727173","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":"Q2145353$E55D545D-2785-4114-A6C8-0534235D98AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3133f4c42e5fbbae7f82e7a19aeb192c8d744aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3460078,"id":"Q3460078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba087f07515bd84ffb3c507562cba7e81484a2b6","datavalue":{"value":{"amount":"+0.7190772891044617","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":"Q2145353$5666B074-01E6-4D49-8A84-C5B6FC890CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2991daa54e63e0f4f22c370579650e9ee0e5e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1330457,"id":"Q1330457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cbe2c3bae444af1a348ffc912a6ad043c3c736","datavalue":{"value":{"amount":"+0.7187116742134094","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":"Q2145353$704018A0-0B6F-4165-A611-B1D8BA454615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4889f073bab23fac04e51e1af2cf2622c6a9c955","datavalue":{"value":{"entity-type":"item","numeric-id":2151252,"id":"Q2151252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aedb23b0e31fef13b90ce6577aaec748603759be","datavalue":{"value":{"amount":"+0.7154262065887451","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":"Q2145353$955EDFAA-4969-4F8F-BB87-22807E0F5265","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145353"}}}}}