{"entities":{"Q5015598":{"pageid":7045175,"ns":120,"title":"Item:Q5015598","lastrevid":91101200,"modified":"2026-06-04T22:15:42Z","type":"item","id":"Q5015598","labels":{"en":{"language":"en","value":"Hard satisfiable 3-SAT instances via autocorrelation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441856"}},"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":"Q5015598$F36AF085-B763-41E3-99AC-C74033C2D544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58dca57a90e7ca7387e6fa8ff713854c435fcc7d","datavalue":{"value":{"text":"Hard satisfiable 3-SAT instances via autocorrelation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015598$28C3CF27-C25F-432F-B9F6-2D10CF506EEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50e5ad1a986ba913052cffab6f3c5eaaf6cade0b","datavalue":{"value":"1484.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015598$A46CE67D-F5D5-4AE8-A6ED-EB52BB1F6E5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcc9f546b1de7aa233b102ebafd75e675ca83440","datavalue":{"value":"10.3233/SAT190111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015598$D0A89D99-2FAC-4AF0-8D1B-C7E698AA41DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55b43ae4fb4019ee8e70dbd6fc37c1685d3365a9","datavalue":{"value":{"entity-type":"item","numeric-id":783060,"id":"Q783060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$C8108F22-17A2-4AF3-99ED-6BF78F5350BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b62774ea113d24d064a2bdcdfaa9c138c128d3","datavalue":{"value":{"entity-type":"item","numeric-id":411260,"id":"Q411260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$6B133027-D152-49C2-A303-CB7AF9CFD53F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$DD2DE587-0112-4EBF-8E5C-D8BB1D5CA36D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-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":"Q5015598$D111F493-B93A-4B49-916D-782030E4A58B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015598$7B08D3EE-2EB7-4BB7-B1E6-A51663293CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015598$D4C3885F-1715-405F-B7C0-FB4EAF4110C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015598$ED5E5552-BB79-4830-A3EB-8E86DE76C86A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0509974e14e77849f0182976fb69dd164013bbce","datavalue":{"value":"7441856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015598$7B287567-884E-407F-8C73-872696F06117","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015598$2DA053D9-0224-42DB-9D5D-1755C63A40E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88c133dcd1ea94cf4b8818287fc496d65531a6bf","datavalue":{"value":"autocorrelation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015598$A99E532F-46B9-4754-AE58-E8909775EFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3995aca016c9514d88ce7faac36e0f5d992a1974","datavalue":{"value":"D-optimal matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015598$497D532A-4B83-40BA-B0F5-8576F4240FC8","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":"Q5015598$2B2CD6D7-1E71-4372-8545-13902B3E24BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$03E2B573-72C8-4255-AC19-4B8618FE5D92","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":"Q5015598$6B6CC590-AB83-4799-A549-60AFB4F0F6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e489e2ee047e0397bd099687b8a0c20c3bbe57f","datavalue":{"value":{"entity-type":"item","numeric-id":1953493,"id":"Q1953493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$0FF84DA4-18DF-4B25-819F-C7E090322D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd91d0f75d460b40c4f5e874c6f021488cdb98e","datavalue":{"value":{"entity-type":"item","numeric-id":2060693,"id":"Q2060693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$D8FD611E-9885-4373-A663-F9BAB7BD9BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$176531E2-31AF-440A-B32D-494640621060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e195fc4b7e1b73ca16ba8d142754f3c4e5afca3","datavalue":{"value":{"entity-type":"item","numeric-id":2909599,"id":"Q2909599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$42803E14-6044-4C58-B669-C00D8104A168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c287d5e9427e9c44841db15982a2badccdcaf7","datavalue":{"value":{"entity-type":"item","numeric-id":2256101,"id":"Q2256101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$440409FD-0735-4F0E-9BAD-EAC92A0CC839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$A9C0C4F0-B91A-4468-BB4A-8445FF47D8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c58ea2f745dc15694e355027a48ef4d908c72e9","datavalue":{"value":{"entity-type":"item","numeric-id":2359153,"id":"Q2359153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$C7F15A3E-85D0-4078-AA09-D9E835789F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015598$834091A6-11B6-4B8F-BE56-E409932B682F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6419787d5055f4bca20a342a4e7129cf226278d0","datavalue":{"value":"https://doi.org/10.3233/sat190111","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015598$4B1B4E57-D380-4A52-B956-F135B6719503","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f84996021c2a8ed3a834b4e4bee24c9c56d7041","datavalue":{"value":"W2580735446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015598$FACBAB59-59BD-421C-84DD-AF367C4C856C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f2580411ac149b2d17b1bfe68582830cec155b","datavalue":{"value":{"entity-type":"item","numeric-id":2674184,"id":"Q2674184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53181152912302dc3e152da09151fd4337a951c","datavalue":{"value":{"amount":"+0.8773781","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":"Q5015598$9FEACCF4-00FC-41CF-BFB0-837DC5AFFD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9a373d0feffdf4b7bfa2b64a5f310201e718c8","datavalue":{"value":{"entity-type":"item","numeric-id":5172744,"id":"Q5172744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d44e49ce2251f9c47de1b086b58181d5447f93","datavalue":{"value":{"amount":"+0.8692707","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":"Q5015598$C737755B-5C67-4C69-A19A-234C5AB5DDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca8b9354f605d36b94eb9e75ae3accf3fa40516","datavalue":{"value":{"entity-type":"item","numeric-id":2888335,"id":"Q2888335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ddc19ed653083d917fb0f301d0770a8af514d6f","datavalue":{"value":{"amount":"+0.86711484","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":"Q5015598$539169D2-2366-4A08-9732-DA33594C8097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9a8d7354122c67343d654b6d768ffb48a33419","datavalue":{"value":{"entity-type":"item","numeric-id":4608627,"id":"Q4608627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044f4b62a58e91ffaa2d73c7ad8cfc417dbcec47","datavalue":{"value":{"amount":"+0.8669238","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":"Q5015598$8119C670-783A-427C-8C96-F8487AE8FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55782ea698f1f7994f85db0053bc8d9657b86472","datavalue":{"value":{"entity-type":"item","numeric-id":875598,"id":"Q875598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db28bd2f8fd8d638f5a045a29281007f19aad4dd","datavalue":{"value":{"amount":"+0.8662678","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":"Q5015598$D0485396-786E-4BF0-B9C5-E953169F4EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1802191fa23212aae6e025f604a4353265a1266","datavalue":{"value":{"entity-type":"item","numeric-id":2310754,"id":"Q2310754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4b1ef5602cad40f3cd3d07715dac2fe6bbe1da","datavalue":{"value":{"amount":"+0.86182463","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":"Q5015598$E0C8E9E2-08FA-45DB-9537-6AD882345B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2117f7cf56bcbbab8608bcbba4b8d923095fdae","datavalue":{"value":{"entity-type":"item","numeric-id":4415202,"id":"Q4415202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016a2d89c9c0914b25f9460f077fb4a016eefb1d","datavalue":{"value":{"amount":"+0.8556149","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":"Q5015598$29699784-329F-4359-A713-D259BF9A5851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955a96fc7a6669b3524f5e66da5f8db9380af047","datavalue":{"value":{"entity-type":"item","numeric-id":5305561,"id":"Q5305561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9b903a6cba33d763374cd884f2b6594edf95a1","datavalue":{"value":{"amount":"+0.8555237","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":"Q5015598$DD828CA1-8A10-47EC-91E5-3D9454D4C07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541151ac26e9d8891b56677c481a45bd38475259","datavalue":{"value":{"entity-type":"item","numeric-id":870448,"id":"Q870448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c858dedc937c5ff74520ee219f1d2d310581cf7f","datavalue":{"value":{"amount":"+0.8539072","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":"Q5015598$CB1D792E-19A6-4FAA-8F42-31888CC90D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80248b92e777e9c08fb91baf8d1841d454264303","datavalue":{"value":{"entity-type":"item","numeric-id":626900,"id":"Q626900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00a829a2424a4f9cc7395778821055308d5e222","datavalue":{"value":{"amount":"+0.8533727","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":"Q5015598$D305352D-EC66-4856-85A0-418075B43A59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hard satisfiable 3-SAT instances via autocorrelation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hard_satisfiable_3-SAT_instances_via_autocorrelation"}}}}}