{"entities":{"Q5020555":{"pageid":7050132,"ns":120,"title":"Item:Q5020555","lastrevid":55397170,"modified":"2026-02-17T15:29:58Z","type":"item","id":"Q5020555","labels":{"en":{"language":"en","value":"Generating local search neighborhood with synthesized logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453113"}},"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":"Q5020555$DA91E323-07CE-43D3-856C-4D6102190899","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f7fdc264836c638bf548451f2bc41d171e65316","datavalue":{"value":{"entity-type":"item","numeric-id":5020554,"id":"Q5020554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$1471B03D-2200-49F1-9274-324976B39A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"154d7ceeef440f44111eb8d76fbdee830897e51f","datavalue":{"value":{"entity-type":"item","numeric-id":2342605,"id":"Q2342605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$3153E1F5-11EF-4058-8977-2D8AC770FD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b77f54fb8cbac57550dbef901db6cae2613e66c","datavalue":{"value":{"entity-type":"item","numeric-id":2930571,"id":"Q2930571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$43C34E06-84DF-4019-AA00-2B6218BA75F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020555$136EEF23-5E07-4115-9CA8-F85C1BEF7009","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2c714f88bbf5ac0d95e35b3ee874a0cf299fd05","datavalue":{"value":"https://arxiv.org/abs/1909.08242","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020555$80F5851B-ECA4-4CC6-B605-11D96D91558F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"880be519f5070face37b18ae52c6c90bd959326e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020555$56902CB8-656E-4286-8462-C84688FEE300","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020555$70D30B4A-C469-4556-8B7B-66CCCAF3CC3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2119b9464515a663e9e11d8da88703adc18e0ea7","datavalue":{"value":"7453113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020555$4C469878-A220-4B65-A937-146986A80946","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c50ad6178a395141b58f2d70bd610b33398e4df4","datavalue":{"value":{"entity-type":"item","numeric-id":15584,"id":"Q15584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$3CE000EB-4F60-4320-8509-563FCEFD77B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f98d23db8650faa93dbc70028e2ef32ee74ae0de","datavalue":{"value":{"entity-type":"item","numeric-id":33196,"id":"Q33196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$3F3497B1-7F83-4E70-87DC-B4F781FC4301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$CF681121-C8D7-4391-BEDC-86845455A438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"079e1dd734f1f5342b14fe20a3a74dc64253a68e","datavalue":{"value":{"entity-type":"item","numeric-id":18395,"id":"Q18395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$D38256F7-76B3-48F2-BAD6-8657C6C068FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$82F528EE-4E37-4206-855B-1B53B904A2DC","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":"Q5020555$AE2B3F31-1B82-478A-BBB4-D73C1D161372","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543ad770898061758d18782c0bc33ed879fa17f","datavalue":{"value":{"entity-type":"item","numeric-id":890003,"id":"Q890003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$4A45E180-AE23-4E2F-9ED2-C896195ACC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f7792ca5697f4a1a04123c551071bcc42b0219","datavalue":{"value":{"entity-type":"item","numeric-id":1651632,"id":"Q1651632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$2C64FC92-6AF0-45AB-8FC2-9ABD5D76984B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c2e79c1e2d7d88de5ad5bdc70e2ca7168179d8","datavalue":{"value":{"entity-type":"item","numeric-id":4365133,"id":"Q4365133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$DA79E100-0591-449A-B48E-1B75EE16D22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca97565c13d2519399b9fded8594f23e869e3907","datavalue":{"value":{"entity-type":"item","numeric-id":4411310,"id":"Q4411310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$5548C163-8FCB-426D-973B-73321F4DC95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d30a2d7004ea2a2e7a2bbdd510d9c6d88077082","datavalue":{"value":{"entity-type":"item","numeric-id":3524195,"id":"Q3524195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$700CE9BE-A779-49B9-8FE2-A4B3A4F457F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"746b1773e743567c68003d4b7960961457455eea","datavalue":{"value":{"entity-type":"item","numeric-id":5898791,"id":"Q5898791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$9289FA24-D5A9-43B0-B795-A97BEFCBBAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef83c869ee4af0d5adf20492e4fa4ed320b61587","datavalue":{"value":{"entity-type":"item","numeric-id":3506438,"id":"Q3506438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020555$11687377-6A63-4842-98F5-471BDE3A5B1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a85de17b6cb7533f2e714d5e2862981de1e661","datavalue":{"value":{"entity-type":"item","numeric-id":2326747,"id":"Q2326747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068e72fa9a27b61cac2d239f90e05105921558f0","datavalue":{"value":{"amount":"+0.7448314428329468","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":"Q5020555$181750CD-792A-4902-B62D-31933FB65BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f91b0953d32017ee78c37cdf0ccc2a16e5ea6b","datavalue":{"value":{"entity-type":"item","numeric-id":1854899,"id":"Q1854899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68ddecc4eebca30af7d3937f7f28e59392013eb","datavalue":{"value":{"amount":"+0.7082140445709229","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":"Q5020555$CD954B7A-CBB6-4521-BC22-7FBF30811880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77857cae66bbf7d105d47d8942e7b1ff11cfde2e","datavalue":{"value":{"entity-type":"item","numeric-id":3524163,"id":"Q3524163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2108ea7bb264d7bab866dba74c31917ddd375667","datavalue":{"value":{"amount":"+0.6981645226478577","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":"Q5020555$119C6BDF-A40C-4BEA-A917-3674F6392275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e443a584f1d30167fefdc609138d1c44040e508","datavalue":{"value":{"entity-type":"item","numeric-id":604934,"id":"Q604934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5ceafbcbff62b60cc7b8a17fec240554e5fc63","datavalue":{"value":{"amount":"+0.6940022706985474","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":"Q5020555$C6144874-FB42-4906-B25E-DBC34A380ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7363fd893e62ba8f33e7ee0381129f3412d20886","datavalue":{"value":{"entity-type":"item","numeric-id":1975204,"id":"Q1975204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef88a2fd9de74e8a2afa182a6f78135fb217bfe","datavalue":{"value":{"amount":"+0.689701497554779","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":"Q5020555$B29E4462-42C9-4361-8E8A-49BB7913ED1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020555"}}}}}