{"entities":{"Q507440":{"pageid":509207,"ns":120,"title":"Item:Q507440","lastrevid":62360175,"modified":"2026-04-11T05:33:34Z","type":"item","id":"Q507440","labels":{"en":{"language":"en","value":"Approximating Max NAE-\\(k\\)-SAT by anonymous local search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680874"}},"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":"Q507440$875EBB13-4262-444F-9868-302D18B6F7F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d146433000fbf9abcff8aaf51944b7f8fff2a69","datavalue":{"value":{"text":"Approximating Max NAE-\\(k\\)-SAT by anonymous local search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507440$0EF8765D-3537-4F4C-A1ED-99385F4D2AB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e0f05c7883ef3b6e4bb708f34cccdeca66e65ef","datavalue":{"value":"1356.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507440$1A90177C-01BA-4413-BABD-D82BC15AA201","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68d8e384f4f00a3d3f66754b99a6140d1a323af7","datavalue":{"value":{"entity-type":"item","numeric-id":507436,"id":"Q507436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$4E685B82-3F99-40F7-98EC-3D7AE50BCCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a440dfb6cc6fbed8ab7b13c7e6289e0fb5661de9","datavalue":{"value":{"entity-type":"item","numeric-id":507437,"id":"Q507437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$8E01A0DB-8477-451F-B26F-6E02111C3F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8dc5bf145c8e238a6ee748879f27ee6f703bafc","datavalue":{"value":{"entity-type":"item","numeric-id":238016,"id":"Q238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$2DCE377A-EACC-4442-B883-3D5FBF92AA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e07f808636d771e7a07d12686eacea50e45f519a","datavalue":{"value":{"entity-type":"item","numeric-id":507438,"id":"Q507438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$F56824EA-BCF4-4D75-AD8D-E779E6E49777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a467aa0e5704f4adb6058367c833b7cfb2e4dc19","datavalue":{"value":{"entity-type":"item","numeric-id":244698,"id":"Q244698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$3616E4B7-D0FF-47C6-A731-EBFD599425A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$80DEC241-A914-4D42-B9B2-65D833ECB579","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-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":"Q507440$A96CE98C-18CE-460F-8D21-85459902B084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507440$F2B450D4-7D51-40DC-9E06-4FFC92FB1D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507440$3BC03455-8652-4B97-A51E-D0C1FD0DAEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507440$492E0926-C2F1-4787-8A5B-930442147DB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea33fba4da2bd3eb65caf024270ecc1f2287e986","datavalue":{"value":"6680874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507440$A8A66753-2C9A-49CF-8275-A249EC7B7D1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q507440$2F0EE132-E531-48FA-ABCE-456A897CF23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q507440$3B2EEB63-DD5C-4E8D-B7F7-1916568D671C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q507440$4AD2CD4E-2C26-4656-A369-AC49E7027DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16450eba9d9bd1b4b2cf662c9befb88d27ffbbc4","datavalue":{"value":"performance ratio","type":"string"},"datatype":"string"},"type":"statement","id":"Q507440$5CA89CA5-FEA6-4EA2-8B69-E89C5AB2E40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q507440$07229188-EC7E-4577-871C-9FD54EEB546E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e6e76231ab8404fa5530db100ab9a1a80b022e3","datavalue":{"value":{"entity-type":"item","numeric-id":20665,"id":"Q20665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$3BE0ED60-9384-4626-AAA4-09318EF6D54D","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":"Q507440$3D6F4D17-51F7-4FC0-9E7A-3488B182CB7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6436af14367dd691f4342799009f50120f449e52","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.05.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q507440$F216B78D-0ED1-4C63-87CC-1F5984C6AB8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46b77d42f1a5d22769b949cdbbde58ee9dce9579","datavalue":{"value":"W2415155455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507440$4ADFFE5D-D3E1-4BD7-AE2B-7D53C8058C65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6fa9697595b4c5e11fc2912eec40dc72d613f7","datavalue":{"value":{"entity-type":"item","numeric-id":5898461,"id":"Q5898461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$5E16A678-5BE2-4F32-8DA1-E6DA706498EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a75faf3faee9e96896a0f842e500807c980903","datavalue":{"value":{"entity-type":"item","numeric-id":293272,"id":"Q293272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$1AA3787C-645C-4170-9147-941E436E25CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cba9fbdc9039e838f889a936b0c489041fe1517","datavalue":{"value":{"entity-type":"item","numeric-id":2777611,"id":"Q2777611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$2EC634C7-7487-4598-8C25-C5A2ADA19240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36c84a8da800c90530af33c8db8b9b3f2152384","datavalue":{"value":{"entity-type":"item","numeric-id":1307701,"id":"Q1307701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$1BE1CEA5-EE84-4D9A-8F32-BACB3F8AFD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$E54A2183-4B0A-4576-A737-EEFCEE936BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73a40325dd6ccbd07c8cdeabd3636cb7d9c050b","datavalue":{"value":{"entity-type":"item","numeric-id":4317711,"id":"Q4317711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$7A07ABC3-CE11-48A0-9812-D747F8573BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f992e855d8b9b42f253fc7f7d98a5e06e39cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4369893,"id":"Q4369893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$19EC686B-B05A-449F-A362-CB38A5460272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4f6417af3313b2a4f1959b9dee0bb7940ea475","datavalue":{"value":{"entity-type":"item","numeric-id":4526964,"id":"Q4526964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$53DFFB08-3F6C-4C3A-AD2D-F47BBE5D4004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8263b3afd4832294f2dc360fa2ac4579331ce769","datavalue":{"value":{"entity-type":"item","numeric-id":1878408,"id":"Q1878408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$22151F0C-F669-415E-B9AC-2D09B42A541D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c00839c9429f06d859f36edd87bb203351efea8","datavalue":{"value":{"entity-type":"item","numeric-id":1613279,"id":"Q1613279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$8A14018E-29A0-4AC5-A6F1-7BB951B5BD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a567a0bd5149009c58baa277d371437f0fed769","datavalue":{"value":{"entity-type":"item","numeric-id":1213733,"id":"Q1213733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$382C9C36-8D35-412E-9ECD-F11B6944B74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf47717a42b2bb3bf16a5481378cb0979f61a44","datavalue":{"value":{"entity-type":"item","numeric-id":4210142,"id":"Q4210142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$9BA1D7F0-8F06-4193-B597-0F94163B1EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$0E8AB2CA-3E36-49EC-BDC3-AF79AA0A9E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6133d293bb8bfa149948ffdc9b0f276ef45523","datavalue":{"value":{"entity-type":"item","numeric-id":1186548,"id":"Q1186548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$C8BEF97B-8A35-49CA-BD95-10F4D6932B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$3EE76A53-2B49-4C60-A6FC-67D4C72DF147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc73231be70fd5400391e67f48047e0db92de2","datavalue":{"value":{"entity-type":"item","numeric-id":5958635,"id":"Q5958635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$DDC20D20-5EE2-4957-B943-E2339EB508B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efabf5eacf4d67f1a521b551df0250faae68f89","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$748C0A85-3857-4230-A215-831AD3C6FBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef2fa029dcf19bf5fe6570d4108cb1ee4292ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2819597,"id":"Q2819597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$7FC450D9-4D6E-43B6-B5E5-28E0D19F9010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ec65f61e9c4db5a35ba6ea346229659de408e8","datavalue":{"value":{"entity-type":"item","numeric-id":3087938,"id":"Q3087938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507440$22A1D057-5B23-41E9-AE01-B58D884DEB72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25ad35ca3a53177f19fa56fc6434904cdf1228bf","datavalue":{"value":"10.1016/J.TCS.2016.05.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507440$E645AA6B-2DE4-4016-B850-0816FA5C59F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d34bf71cd487dad6092010ea1e766454989893","datavalue":{"value":{"entity-type":"item","numeric-id":3452574,"id":"Q3452574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a683f6fd4423f407b90bfe34e69c65a2b02d7d2","datavalue":{"value":{"amount":"+0.9758154153823853","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":"Q507440$0B2BD6B6-C072-4485-9BDB-0FACEA340212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed354d85f44cd81a47c32bf9705020080a098d97","datavalue":{"value":{"entity-type":"item","numeric-id":5898461,"id":"Q5898461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad756032363eff450ca6a269dbd86b43f51665c","datavalue":{"value":{"amount":"+0.8388437628746033","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":"Q507440$38253601-130E-41E4-848E-56809AF397A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6f05c7f936080fafc0469aaab72d27e0b72fda","datavalue":{"value":{"entity-type":"item","numeric-id":3087938,"id":"Q3087938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a60b010739b7727149e8c53f737ca1fe00fb60f","datavalue":{"value":{"amount":"+0.8208975791931152","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":"Q507440$E680D322-905E-466F-90F5-D59FDB925552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d8b1a19a4e702327fd280e75f53f91008dd41d","datavalue":{"value":{"entity-type":"item","numeric-id":1408379,"id":"Q1408379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412169535234e38ce8a4e5cda8ac8a4ac3626535","datavalue":{"value":{"amount":"+0.8080897331237793","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":"Q507440$0FE8C203-99A7-4252-9BF0-22D3B6EFA745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feabacff04aa1235b1b114ef65de6a74bd31ccba","datavalue":{"value":{"entity-type":"item","numeric-id":1351586,"id":"Q1351586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36191de7e2576d7194b4f4067884d74ef8d2de1f","datavalue":{"value":{"amount":"+0.7969564199447632","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":"Q507440$1F947386-848D-444D-AB0A-2D91C8FD9307","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating Max NAE-\\(k\\)-SAT by anonymous local search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_Max_NAE-%5C(k%5C)-SAT_by_anonymous_local_search"}}}}}