{"entities":{"Q784127":{"pageid":785976,"ns":120,"title":"Item:Q784127","lastrevid":64307010,"modified":"2026-04-11T18:58:29Z","type":"item","id":"Q784127","labels":{"en":{"language":"en","value":"Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228507"}},"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":"Q784127$620AB023-ABC8-4134-A587-E4B5A73FFA4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46aaaed24910803c6efc99ba8cd96ef6ab9cca8c","datavalue":{"value":{"text":"Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784127$C39C6A71-BB4A-4E04-860D-E86C75E97085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25fdb5aa3b2f547e012c5868f49b065f85310818","datavalue":{"value":"10.1007/978-3-030-39322-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784127$BD62D51D-7710-4BC4-8F32-C212417C40F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3a70588b6507e3f2adf86b6d511e04de3c4bc1e","datavalue":{"value":{"entity-type":"item","numeric-id":784117,"id":"Q784117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$E3E4EC35-81B0-4B42-BE74-50202977543A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"123bfafb2f4109e7c3df6b89fc9b0bf1a3482dfb","datavalue":{"value":{"entity-type":"item","numeric-id":784118,"id":"Q784118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$1D3BB782-E143-4A51-8C00-044461115A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70e9ce9a5b5c46f7bf37a00c51034be3896ba64b","datavalue":{"value":{"entity-type":"item","numeric-id":784126,"id":"Q784126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$D43A938E-F0E5-47CC-9834-4C4B12A0FB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$ED39905E-337F-446D-8281-ACCDE20CC93C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784127$AE81D036-796D-4F91-A484-6738414022B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784127$CAE30BA9-5621-41C5-A34E-A2EA80E44B10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90c00a0750f32f9b46ec3b7d0889191196ce1454","datavalue":{"value":"7228507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784127$786353E0-6B9F-4964-94AE-3D51A419374B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$EDC05D9B-D1EE-41A3-B7AD-D6D1BABD1940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$CD3A8A44-B1DA-44A2-BA09-657D3CD90ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9237d703bc47031832a00fc82f05f933e549f493","datavalue":{"value":{"entity-type":"item","numeric-id":46055,"id":"Q46055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$182BE2DB-FE67-498A-A153-29AE463B45EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$F81BD32A-F6B0-47FB-AAC4-007D71B425E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8defdd41bc909054c02be9fcdac73c75633546b2","datavalue":{"value":{"entity-type":"item","numeric-id":21843,"id":"Q21843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784127$65284053-0C00-470C-8A71-2A8FF4487555","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":"Q784127$B00FED49-C7FE-40DF-9B7C-59C0350DACBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3002edd1bb75ff9a486eb853883fd04fa2e449b5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-39322-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q784127$53A4A670-B3C4-49B8-8D07-FBC9FE817022","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b26ded8b96c18f20e21af1a4358f18f5f6e2e39","datavalue":{"value":"W3000322700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784127$814B0BEC-D953-4E68-AD7B-BD5F6DDA2774","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd9873773214532083f4c6a1e1471626269058f","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d739ca7eef6aa24b67e00efb72a2dc3307ed7d3","datavalue":{"value":{"amount":"+0.6470833420753479","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":"Q784127$2D2710BC-F8C9-4D90-A723-A268B5E29602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a90dee8cf989834685be439d61001b4ff81fae9","datavalue":{"value":{"entity-type":"item","numeric-id":5039526,"id":"Q5039526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9117257256eafbf3a435bcc97f8c4dd926f2cfd8","datavalue":{"value":{"amount":"+0.6315276622772217","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":"Q784127$C9AEEDD2-3820-4E96-9100-E5C2B88D2F9E","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":"e6b5e8f28f6d9d8e5392e12e2a577db42e24aef1","datavalue":{"value":{"amount":"+0.6243396401405334","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":"Q784127$57BA36E4-289F-4A3B-B353-35BB3999D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d75977f5b9f3e68a28c28b382f6eae50dcdb8f6","datavalue":{"value":{"entity-type":"item","numeric-id":5408553,"id":"Q5408553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853654d50598c20c4ecb3eac5f200d4a7977eb83","datavalue":{"value":{"amount":"+0.6185190081596375","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":"Q784127$191F8572-310A-4989-A73D-22EB180EC254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b16501e2f35b21c29ced38507ce7f6ffc00838c","datavalue":{"value":{"entity-type":"item","numeric-id":2248096,"id":"Q2248096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cef653c81b54bc05c8cbfcab39bb4b329230c0c","datavalue":{"value":{"amount":"+0.6180839538574219","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":"Q784127$4F8A9651-044F-49E5-92C8-9558DF4A387C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Harnessing_static_analysis_to_help_learn_pseudo-inverses_of_string_manipulating_procedures_for_automatic_test_generation"}}}}}