{"entities":{"Q2234087":{"pageid":2244830,"ns":120,"title":"Item:Q2234087","lastrevid":71634099,"modified":"2026-04-13T23:32:48Z","type":"item","id":"Q2234087","labels":{"en":{"language":"en","value":"Automated repair of heap-manipulating programs using deductive synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410647"}},"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":"Q2234087$F848CD00-51E5-4A16-BE84-7EA2F75B32AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c1da530099ac049fc653a91e3c57c7a65975122","datavalue":{"value":{"text":"Automated repair of heap-manipulating programs using deductive synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234087$04981A08-2B41-4D60-86C5-9C453DB00E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d6a104e5189e0be86863ea9c700f68d62ad9264","datavalue":{"value":"1472.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234087$A04EF395-577A-4EE8-B9FD-55BF3047598A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae4afe53d9ce9c68b553f7112637c2df22664407","datavalue":{"value":"10.1007/978-3-030-67067-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234087$A90658C0-6CF6-484A-A73E-8E17AC05B7F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5eddda3dd73d11cae94450e7b197187e53ee0ee","datavalue":{"value":{"entity-type":"item","numeric-id":2234085,"id":"Q2234085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$429C4B50-ED87-4A4F-BB3D-FDCE23B0E7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"109e9485d12cb8a1aec75d16072ef10f0c2e11ef","datavalue":{"value":{"entity-type":"item","numeric-id":2234086,"id":"Q2234086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$78F90A27-AA06-4C67-9BF2-3A745B1AB7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e7aa46ac3d887e424dd5cc7f00c3746db134d5","datavalue":{"value":{"entity-type":"item","numeric-id":763479,"id":"Q763479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$AB081BCA-42E6-44D7-9EC4-1EF0605ACAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$E5541C33-B695-4C27-AF42-6C88C5F34A1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234087$129704EA-5F08-4087-94B8-048BFDF1F4F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234087$53FD5672-3B1D-43C7-B6DF-72F11C275CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234087$5D0C7B53-45C0-46B6-90C5-56AE60DB6302","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d0c3df8a4d02f79e03467fb282f1f896c0d4a53","datavalue":{"value":"7410647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234087$B5729A00-1532-42DD-AA77-64F4C8873124","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":"Q2234087$9809244B-9108-4954-BF51-3AB20EA9370A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df066b3d6812dc360febfeb4b1fb9c9add4ed629","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234087$4CEBF8DA-3904-4DC6-B0C3-A69DF0C0D655","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4c4cbf675a3d33dec7b3617a8312a209b1a760f","datavalue":{"value":"W3119757231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234087$09F25FD3-171F-4799-A31D-6ABCF4390166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$7E53A766-2068-4DA8-BE08-58049B30D5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$DDDBE843-8A9A-4275-95F3-248691ED6F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6c5aa1addf460148ffcdbb0b29392259175dfd","datavalue":{"value":{"entity-type":"item","numeric-id":3189829,"id":"Q3189829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$346E169D-5A87-4B07-87F9-2CA6E5E6B62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$E595C93C-6984-4589-892F-AB4BCF4E937E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97547b952eaebccf538f4fa1ba08a9660852f04f","datavalue":{"value":{"entity-type":"item","numeric-id":5041091,"id":"Q5041091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$D4C511CD-D469-4209-97F0-9763797886BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe474999dc41e4d983b6dc478eb7cb8b95494af","datavalue":{"value":{"entity-type":"item","numeric-id":3000646,"id":"Q3000646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$4E89EB22-2C38-468D-9172-4205AD62C85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$5B9E381E-D130-4E25-A752-8650F6D77177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2875da2348ba3de61abec02e7268276d1bf41d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3512504,"id":"Q3512504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$57A841D0-8954-4004-9581-92795E880C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812b4d1e2b864fedcea220adc4004420d47cb966","datavalue":{"value":{"entity-type":"item","numeric-id":2287071,"id":"Q2287071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$85FDB616-F508-4D0C-B29E-958225087673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b6d9f27c6ecf578fd8f995c38dec75fd90fdd5","datavalue":{"value":{"entity-type":"item","numeric-id":2281658,"id":"Q2281658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234087$3E0D2FA3-ACE3-499A-9F95-2FC5BB284CB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40364eb1d2a862e18efa4da1eaf91f6f00097f06","datavalue":{"value":{"entity-type":"item","numeric-id":2287071,"id":"Q2287071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895ed720b5536beae3b43bfd25cc6d3b0249cd13","datavalue":{"value":{"amount":"+0.830039918422699","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":"Q2234087$46D90BF5-2783-4C79-A7AD-9878A1901F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99011ec708706179d7d9c28a30fd19d0136af746","datavalue":{"value":{"entity-type":"item","numeric-id":3303900,"id":"Q3303900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d19ed184a6b2d9b82292f76ce29b7bd86caec8","datavalue":{"value":{"amount":"+0.7076514959335327","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":"Q2234087$15898CA8-B743-4808-981D-34638E1D371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfa68d8b3ec172f1571f069184938abfd094878","datavalue":{"value":{"entity-type":"item","numeric-id":3000646,"id":"Q3000646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc84b1cbc0aebc8a667c1d52d925cbbd1d9754e1","datavalue":{"value":{"amount":"+0.7045794129371643","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":"Q2234087$7D5321FC-8661-4248-B311-67351F7DB984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf61a033f5f73313c4145a41518ea771fd54240a","datavalue":{"value":{"entity-type":"item","numeric-id":2281653,"id":"Q2281653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58b7717c9c50d4c0b473316d10331a141cc3662","datavalue":{"value":{"amount":"+0.7044543027877808","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":"Q2234087$09DDFE89-AE71-49C0-B930-9B22E62148D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d228bb926d91885991466472accd6e04388c3596","datavalue":{"value":{"entity-type":"item","numeric-id":746769,"id":"Q746769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6617360175b9f76d1e5705c45887074d210e5805","datavalue":{"value":{"amount":"+0.7043071389198303","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":"Q2234087$9FB2FFE6-61CA-40FA-BA5D-D5237CA800E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated repair of heap-manipulating programs using deductive synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_repair_of_heap-manipulating_programs_using_deductive_synthesis"}}}}}