{"entities":{"Q2310754":{"pageid":2321497,"ns":120,"title":"Item:Q2310754","lastrevid":43862943,"modified":"2025-11-15T15:14:11Z","type":"item","id":"Q2310754","labels":{"en":{"language":"en","value":"On a simple hard variant of \\textsc{Not-All-Equal} 3-\\textsc{Sat}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7186703"}},"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":"Q2310754$16B2A87F-26CB-42D8-BF96-C0F81AF86FBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3810ec8d628fe8b3b86f2ec7bede24ca13b81543","datavalue":{"value":{"text":"On a simple hard variant of \\textsc{Not-All-Equal} 3-\\textsc{Sat}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2310754$A85534D9-F6A5-42F5-9AFD-0BDC6E9F4105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aef7fffe08911490364acfe9abedb675cbb4ccd4","datavalue":{"value":"1433.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310754$36B158F3-69BB-4B82-9AB6-630942A5A3EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f75be41fafb9eb73d636ffe6c814fcb296bf6a7","datavalue":{"value":{"entity-type":"item","numeric-id":296976,"id":"Q296976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310754$9BD3C9C5-FB50-4A82-AFDC-F352D7594244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe7cfd40a8fe18664670d6308153c4a18af9e13","datavalue":{"value":{"entity-type":"item","numeric-id":1694727,"id":"Q1694727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310754$72C1C75E-6CB2-49A6-9098-47BA81C12242","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":"Q2310754$2165D617-116C-458B-A33C-17C880F9CC86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f453ac7acd4a2f23133adfec3cca035076417f0","datavalue":{"value":{"time":"+2020-04-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":"Q2310754$646FDFF5-7849-45BC-A822-5E7DF4447AD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310754$82654FB8-8B74-4574-A499-B4D0AA2F753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310754$C4581893-9DCB-4222-8457-90ADEA9E60EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6f4de16e91f89261d59b9d06f5c10a71b316650","datavalue":{"value":"7186703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310754$E2A49B90-95B8-4FDE-AAF2-E63E6C2CC787","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78895254c01c9cf153077cd6657a083ad8730d70","datavalue":{"value":"not-all-equal 3-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2310754$EDD11F36-8ED3-4C21-B705-E1C89285B549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3325014283f9351d44a16098c6e1eca627444ea3","datavalue":{"value":"linear formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2310754$2590F7E7-A422-4327-B2FE-3EF0011FEA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d00f2ffd49a9319f4b4895754b2b2845eb5d9a","datavalue":{"value":"bounded variable appearances","type":"string"},"datatype":"string"},"type":"statement","id":"Q2310754$329D3B05-38AD-447C-B8D3-E61A5ECC9B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2310754$943E8E17-3041-4209-8291-31C963B4C859","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":"Q2310754$60AB1041-AA21-4281-AFC8-B1781BD2CDE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5553da3ffc7f9a4a7aa4265cd8ab9c59fb2f54c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.02.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2310754$39157883-329E-4EB1-B6C9-003391F7AEF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8f0e2cfff01de3cc17b7983141299aca7637a39","datavalue":{"value":"W3005839441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310754$FF080078-089B-4E2B-BAF3-E48FF73507C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b19ce13032ffe1861bcc3af7e7f1de38245e533","datavalue":{"value":{"entity-type":"item","numeric-id":497328,"id":"Q497328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310754$C9096E24-6750-4E49-9E25-8A1273062D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75880d031ba6c9d3cb47bc1bb2f972992c28580f","datavalue":{"value":{"entity-type":"item","numeric-id":1625170,"id":"Q1625170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310754$A0C3B387-E4F1-4F1A-8B6F-BA31B0582AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9423812d2965f1a6bae125f34f3457b20ad553","datavalue":{"value":{"entity-type":"item","numeric-id":2440094,"id":"Q2440094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310754$89CE8470-C8D6-4A83-BD8C-B133C7DFA1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310754$686C7674-5A9E-4D45-AE35-2DC8140ACE93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"968bcb4f0788fcff97d619963ecc3d06c9cf0b6e","datavalue":{"value":"10.1016/J.TCS.2020.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310754$10C4BF10-9DB6-43AA-827C-629A2AB693D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5474d94e077936d6ac91cde4b55e3d28cae7011","datavalue":{"value":{"entity-type":"item","numeric-id":2223685,"id":"Q2223685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ccf2b866692372e2baf26002b88ff29a50b12b","datavalue":{"value":{"amount":"+0.9044923","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":"Q2310754$3839363C-672E-4B8B-A696-019EED8683C9","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":"386307e360c0189d4a27f143fc9c268a907096b9","datavalue":{"value":{"amount":"+0.88738084","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":"Q2310754$F6EF3C5C-835F-446C-A545-77369F515CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb73ef257b7213d8ec0a025880d8d1e60cd7b531","datavalue":{"value":{"entity-type":"item","numeric-id":326466,"id":"Q326466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1730dc7ca3a3e9e4fd86db1060cfb291b15c4d88","datavalue":{"value":{"amount":"+0.8863666","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":"Q2310754$9C2EDF71-BC9F-4259-B6D3-D916129AAE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a17f3aff92308a526cc2ef4914fef2fe8593901","datavalue":{"value":{"entity-type":"item","numeric-id":2182311,"id":"Q2182311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e7b58473e13e442805846f66fa3e2e6db2ec7b","datavalue":{"value":{"amount":"+0.8823627","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":"Q2310754$85CABBFB-1DE8-487B-9EC1-A055701C116E","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":"356523f846480f43be38e69cf08c29481b88df45","datavalue":{"value":{"amount":"+0.8707535","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":"Q2310754$D5C646DF-AA40-4EE8-A075-BF543DDD35F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2006d42a1cc4804a42adc41ef97767eadde675","datavalue":{"value":{"entity-type":"item","numeric-id":2380029,"id":"Q2380029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b25412bb273c728e2b38f7a9a228208c4c1e5f","datavalue":{"value":{"amount":"+0.86460704","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":"Q2310754$92BF1A4C-B254-4D96-AA4D-FB392F1BB2D8","rank":"normal"},{"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":"b7be997edad6f4627abcc5e2f724feda936ff9b3","datavalue":{"value":{"amount":"+0.8638449","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":"Q2310754$5F088666-3ABA-42BF-876A-3EFC5C18968D","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":"0d8e6f10fbb4020bd41a7e49162c86ccbb7911d2","datavalue":{"value":{"amount":"+0.8634958","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":"Q2310754$06BD9230-2D82-4918-845A-41A182BD1C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17188ee832921a4496f7696e1dc4254a8888bf5f","datavalue":{"value":{"entity-type":"item","numeric-id":5015598,"id":"Q5015598"},"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":"Q2310754$12036E81-781D-4DC7-824F-A1D25D177CCA","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":"dfe1eb6041287aa93c4cd69237284cabcc6deeee","datavalue":{"value":{"amount":"+0.8596369","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":"Q2310754$F8310620-3AA5-404F-AE94-4CD7D47B10CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2310754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2310754"}}}}}