{"entities":{"Q3453736":{"pageid":5233136,"ns":120,"title":"Item:Q3453736","lastrevid":52404731,"modified":"2026-01-22T14:03:39Z","type":"item","id":"Q3453736","labels":{"en":{"language":"en","value":"Synthesizing loops for program inversion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514782"}},"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":"Q3453736$5EF644A4-6164-40E0-8093-EACCE2745EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7def49404569895178af9d6b545f2398ba836271","datavalue":{"value":{"text":"Synthesizing Loops for Program Inversion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453736$961D7BB0-2DD6-45D9-A3D3-C4D22EE97E09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"705b61a6f0b9a39f181f4a1d7b0d72804c71015b","datavalue":{"value":"1451.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453736$5B35C94B-4262-44C7-ACA1-F07F0FF78E53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a0102e819c684918bddbfcdc87df409402799aa","datavalue":{"value":"10.1007/978-3-642-36315-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453736$032977F3-54C8-4CEE-97D8-B1DBC0F10F22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3242ff48b6efbfb4e2419f443aa1731f49904469","datavalue":{"value":{"entity-type":"item","numeric-id":2263621,"id":"Q2263621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453736$A0040C55-6E18-43A6-8927-36E9E9D4432E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e535b0cfcdcd37dcf4ab0ad0c6386fac0df86fd1","datavalue":{"value":{"entity-type":"item","numeric-id":601008,"id":"Q601008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453736$AFA92816-2422-459E-9C1C-911B99F9088A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3823e8c06c122355fc2d795e45df9b905fe20c9a","datavalue":{"value":{"entity-type":"item","numeric-id":2822494,"id":"Q2822494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453736$60E796DF-63C8-4FF1-A4DF-59CA37E8F13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72c45f3bff187b5dc29dfb7d3862561a93915ce4","datavalue":{"value":{"entity-type":"item","numeric-id":696990,"id":"Q696990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453736$9855F2C3-2E44-4468-9168-82C972F0FF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f5775c283d050d21cdc8c27722370b9d2625c4","datavalue":{"value":{"entity-type":"item","numeric-id":2052405,"id":"Q2052405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453736$C2E7B5FC-3329-4DCC-9FE6-CB2BBC73A5E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a717b5be1a91222f4c61369f09045de11793bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2822486,"id":"Q2822486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453736$723C9FAB-2C26-4285-B5E1-8472F646F586","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f261325ffd8a7002c41f97c89cfd5db2b7a922a9","datavalue":{"value":{"time":"+2015-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453736$16F790E0-54DF-424A-AA38-44FA3272105F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453736$A2E11F27-53A5-4A2A-A574-3CAE30BD2D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453736$067027D4-F974-423E-AAEC-9F90A9DB6FC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f9bc782a42a3c589cf3f2868922e404bd2f933a","datavalue":{"value":"6514782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453736$84B95CC0-90D2-4FF2-B2C1-F9298F62E4B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044aeb6b3f4ae1aed942993bee877a7d90ad731d","datavalue":{"value":"program inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453736$0BCB9E8C-3416-4040-A98A-B2C9ED5B1F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453736$E7245D67-6C53-4DD9-9F61-51E2F17A76AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacd34e911e115e3cfe335809779aa742a58e725","datavalue":{"value":"compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453736$AB174A09-4046-4D99-BC54-174FD1468BEB","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":"Q3453736$E530CD27-ADA9-4CB9-AD48-A97EAA0F640B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c0285586f12b57e7fbb7392ef95be87dc946440","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36315-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453736$0AEB62C4-8771-4F4C-BA25-4B499147BAF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"947329775aa3c376d43b0fa32a26d29366d50d42","datavalue":{"value":"W53716031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453736$E5471A14-0FD2-4ACE-969A-A15C1EE85D0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605288590e1847fbecf82b7f3abf4591e1cd9d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3067473,"id":"Q3067473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453736$26C861FF-F7CC-4309-9020-F2E4C87E59DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d1a24e66bd1cdc7b9bd3d53b99c22f024b0d80","datavalue":{"value":{"entity-type":"item","numeric-id":5902364,"id":"Q5902364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b753aa1d7ccd524abafde5248b1b8e826cda98f","datavalue":{"value":{"amount":"+0.7433660626411438","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":"Q3453736$E79AB7AA-D1FB-4C09-BA12-F9E17C47A771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2598bcb24a9cf73b8b75ebf956ff0dfed58374e","datavalue":{"value":{"entity-type":"item","numeric-id":5472880,"id":"Q5472880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda92ff6447de597d408d23d1eb390980ee132a9","datavalue":{"value":{"amount":"+0.7361950278282166","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":"Q3453736$DCE5CF0F-4990-48CE-A19D-0AB1332846AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb478cbe23dd360387dcbfbced6787a0dd99f9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3783502,"id":"Q3783502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a3dd4b82c5b9f352b015697c2da6ad7aca850a","datavalue":{"value":{"amount":"+0.7310256361961365","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":"Q3453736$F298FA9A-B41E-41D8-A104-327E9A5878AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f38aaaa2acd1f635e028659db475b2b17d31e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3558241,"id":"Q3558241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f13bf2237a11bcf78f4b606eed8d884389f626","datavalue":{"value":{"amount":"+0.7305784821510315","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":"Q3453736$13D5EF8A-9CE0-45EE-A678-087EAD9F5391","rank":"normal"},{"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":"7d8660696b0b9c865cf128b3ae5f70566a5c07c4","datavalue":{"value":{"amount":"+0.7304166555404663","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":"Q3453736$B310E066-C36F-40C0-9FD0-505974CDA873","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453736"}}}}}