{"entities":{"Q2096443":{"pageid":2107186,"ns":120,"title":"Item:Q2096443","lastrevid":43513150,"modified":"2025-07-30T11:23:17Z","type":"item","id":"Q2096443","labels":{"en":{"language":"en","value":"Scalable algorithms for abduction via enumerative syntax-guided synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614511"}},"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":"Q2096443$6C7593E0-7CF0-494F-9C78-8321A92876E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3321c7a390b125701487dc80bd0b49ecd1de4cc6","datavalue":{"value":{"text":"Scalable algorithms for abduction via enumerative syntax-guided synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096443$FE406891-AAD0-4D87-9BDE-05B9835DD376","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e93ca5bbca34b823ac30b6516b6fec9613c0572","datavalue":{"value":"10.1007/978-3-030-51074-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096443$F1EEF585-878D-442C-9ECF-90F56F58ECBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$19DF6660-BA3B-459A-976D-5B1303E673FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20dd65c281e6e985b6ecebe81cd888c922b7f37c","datavalue":{"value":{"entity-type":"item","numeric-id":1799120,"id":"Q1799120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$6A841FE2-CE21-4EA8-9231-BE685C464440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"160bfe26a870f8433f093ce131383f68458dfba4","datavalue":{"value":{"entity-type":"item","numeric-id":2096442,"id":"Q2096442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$D2FEDC41-B5FB-4F23-8EF5-7688C3B12EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$A8319FBD-ACCA-48E6-862A-A10BE77394A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096443$C409FD8A-4C88-408B-939E-F4641652F3DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096443$C5E7C692-3A88-4707-AD5F-9426C0372D5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42d2e69396227fab9b35b701760358ad49fb8d71","datavalue":{"value":"7614511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096443$507B6DD7-5575-4F52-A5A6-E6DA3FFE58B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$EC4380DB-40AD-48A0-888C-822BE2CF476D","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":"Q2096443$C613A13C-EEE3-47C1-8810-B151689F91D0","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":"Q2096443$9E66B175-8513-4BBE-8EB4-3705318D597A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a92e4bde60473aaf84171f8af279729f81a1717f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096443$74363927-EF46-4475-A8C0-BD8DCA4862DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5770327fbd38f849e4fc4f53f756000da8d6a235","datavalue":{"value":"W3039989778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096443$71050CA9-2D63-48D1-9814-D17E50E0F0C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b817619231fc1eac76232ebf12c798a2fab388","datavalue":{"value":{"entity-type":"item","numeric-id":2828322,"id":"Q2828322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$68D1BE10-3D44-4D54-AA17-4DE65B6E7D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b08bc38884077be60969868f7bf15be790ad4e","datavalue":{"value":{"entity-type":"item","numeric-id":3303902,"id":"Q3303902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$949FCBE3-7E73-459D-BBA6-322E1E461A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d3ef919a581f437ca785956c24e2de15d403e7","datavalue":{"value":{"entity-type":"item","numeric-id":2305406,"id":"Q2305406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$9809D36C-3770-481B-9CDA-70CDFE0FBAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$9F198FB6-A471-432C-B68B-D7FE66C2AF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$1D44EC13-DC9B-4807-B021-57448C2543A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f162e20dc2fb76efac3e52f404a7c7a69ba6016b","datavalue":{"value":{"entity-type":"item","numeric-id":2996914,"id":"Q2996914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$D5C25BF5-B92F-4F20-99B5-5A397CBF2ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325e43450861c86ccbbd8b04d675ab0d9909c44b","datavalue":{"value":{"entity-type":"item","numeric-id":2937794,"id":"Q2937794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$5E802EE7-ADCF-4216-88F1-237CAEBA82F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f10a463e991c88dc6ce8e6e42131ee35b4e61a","datavalue":{"value":{"entity-type":"item","numeric-id":1799090,"id":"Q1799090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$A118059C-8FF2-41B0-A192-323A0317BF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda9a6715f1aada40ddc03c0a3d0ea9048ee5f22","datavalue":{"value":{"entity-type":"item","numeric-id":2180218,"id":"Q2180218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$9F58474E-9E05-4E5A-B8F3-F2CBA2B9451C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$21C88275-F22A-4C52-9B05-2DBE19F22959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdad27bd89faee3582d29a96c1a1909341806e43","datavalue":{"value":{"entity-type":"item","numeric-id":4325544,"id":"Q4325544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$25E8FAC4-18A8-4673-9D5D-97E4E61731A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$6BBDFB6F-DE81-4342-8185-862743A9C8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7643f37989f0ac2fe010d7c1a5cbf8a911d8f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":5301139,"id":"Q5301139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$53D577FC-D8CE-4039-B4E4-CDCB08FA5C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7845e28d58d136a0ee8db04a8b7b150559ea69cb","datavalue":{"value":{"entity-type":"item","numeric-id":2181939,"id":"Q2181939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$1C71ADE3-BBC9-4144-85BA-3167487989FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bf82aa5c825000208c5b437043a5cc9fbc4323","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096443$B13B2F96-DCAB-402F-AFB3-0A8778C7AB11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33496806bc50a091c39feb747096092443281dda","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e52d61081f3df592d8cf32c7cc7798f7f7123f2","datavalue":{"value":{"amount":"+0.86305785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$2F2AF009-91A9-46FD-A489-D78A6C203E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2569eec109692c989c6df521632c84f39f3bd725","datavalue":{"value":{"entity-type":"item","numeric-id":5101460,"id":"Q5101460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5b47f2a2f608ce931d5a320bfed9950d330848","datavalue":{"value":{"amount":"+0.85954857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$FAB974E6-7FBA-49EB-9E76-91A0707D1A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ceb2b6595944181c2f2e56bd3fa30811b82a936","datavalue":{"value":{"entity-type":"item","numeric-id":5101437,"id":"Q5101437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287c709d14f359b6a99452da2a201bf885e61841","datavalue":{"value":{"amount":"+0.857722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$4BE740EA-6AB4-4E04-B95C-5ECEFE4C42AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78b2310939dd5fcb668fafc7bb977cf0dfb5be4","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1ed0d2d4b45a4eb39640c99b280977f0e2b0c2","datavalue":{"value":{"amount":"+0.85480034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$6E1E937F-72FE-4253-A1B8-A2F86152D554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb76a274d3abb03ce2c4ea66aac517ee0a82e0d3","datavalue":{"value":{"entity-type":"item","numeric-id":5268436,"id":"Q5268436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0100a012612501b7833a3b26b721b3d049921ff","datavalue":{"value":{"amount":"+0.8509884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$7AA7A16C-C183-4564-9131-FBB60C20C644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a3b98a0727d9bd9795b9b5d7b7e6138375c40","datavalue":{"value":{"entity-type":"item","numeric-id":4884102,"id":"Q4884102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d355798772b81184e87432605a0249ed20953ced","datavalue":{"value":{"amount":"+0.8502479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$16F838B6-3199-4604-A10F-BAE3D0657A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234598dfc372aaf1d443990851f2415179b9617d","datavalue":{"value":{"entity-type":"item","numeric-id":4470542,"id":"Q4470542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d355798772b81184e87432605a0249ed20953ced","datavalue":{"value":{"amount":"+0.8502479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$FD8237BB-F046-405B-B891-F496C59A26AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66668ed7158b07726d83fc60cbfbe89a17acc37b","datavalue":{"value":{"entity-type":"item","numeric-id":5747652,"id":"Q5747652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce0920cf65d51c7f611e24a4228c8139f95171c","datavalue":{"value":{"amount":"+0.8441032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$797B05D5-C96B-4C0A-B127-403CC623D22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5425e4331212f3525ffb0c5d4433631292ddaac","datavalue":{"value":{"entity-type":"item","numeric-id":2177589,"id":"Q2177589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331468a25daae0d19ac4c1a3c08b37bec8a44f55","datavalue":{"value":{"amount":"+0.84329075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2096443$9448556F-6883-4252-ADB0-5EC317304574","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096443"}}}}}