{"entities":{"Q2888335":{"pageid":2899060,"ns":120,"title":"Item:Q2888335","lastrevid":42450817,"modified":"2025-06-27T23:34:00Z","type":"item","id":"Q2888335","labels":{"en":{"language":"en","value":"Computationally hard problems: 3-SAT and its polynomial solvability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039818"}},"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":"Q2888335$3F1BDF86-33CD-4361-B1B4-774B410BE9D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5e97a68d56810da4214f5e939ea4a8c6d517089","datavalue":{"value":"1247.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888335$D2E546E5-42D1-43D6-ABB1-1E8235D9350B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-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":"Q2888335$2DB83DC7-4239-46A3-89F7-964E8718C202","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888335$5C16782B-C9EB-40AA-8961-C2750CDA2ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888335$ADCCB594-218E-470F-A903-A5BC20A8BCB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e510afd23bd256cdd642a16b3a55c58381ad96e","datavalue":{"value":"6039818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888335$6E7ADFB8-DE08-4CD7-8006-BD0A342007DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41cfb8163e7f31fbb199ad92529604c9a1a0c505","datavalue":{"value":"3-SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888335$46A7FD08-D3E1-4733-A963-BA8D2D05D12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e633c9ccc22e86be5bde902f27c93d41c4ca6c68","datavalue":{"value":"literal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888335$BCE119C2-D767-429C-B43C-08783CA7A940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771fe6d44315cd1bb5dd7cdda8a7bc45ce38fd99","datavalue":{"value":"logical consequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888335$A2F11FF7-6E20-4128-93A1-69A737D45B96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cd4a7b3d6d35b1f4ac9047050690195d431ea34","datavalue":{"value":{"entity-type":"item","numeric-id":1688107,"id":"Q1688107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888335$0A754BDF-CD7C-45E6-9105-585E210B7CD5","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":"Q2888335$F5970ABD-58B5-4008-B290-ED418052A9CA","rank":"normal"}],"P1643":[{"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":"e8f05ecf700b40aec0898ed66301f1aff9af8242","datavalue":{"value":{"amount":"+0.9035304","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":"Q2888335$EA28C65D-B7B8-47C1-A219-9327D6C3E101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48f56e941190cd2911d5ff958db66c22ca9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37353e72b1334af0519d25bd1479357a824b7eec","datavalue":{"value":{"amount":"+0.9004396","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":"Q2888335$32A1C359-CF21-432A-80E4-60CA484B1DB7","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":"b03f0eb6f6f0cb435bcefaed670429e3e1c11e40","datavalue":{"value":{"amount":"+0.8958704","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":"Q2888335$EB565378-78F0-4DD0-8C80-396212859BBB","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":"d9af7345c08cebf05cafd7be24241b5840310042","datavalue":{"value":{"amount":"+0.89101136","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":"Q2888335$697F30F5-DFB2-4680-8F33-975E9C358523","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":"2259e228479fc43f508a6a86c401c77ec39d0b32","datavalue":{"value":{"amount":"+0.8855569","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":"Q2888335$3EA0BDFB-25BD-4320-8589-73E80FFC1B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c2a4a52a974f465051dfaad6d36ce2d5859a91","datavalue":{"value":{"entity-type":"item","numeric-id":4962605,"id":"Q4962605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9858caad808677f19718ae5b777a2f01672bfe9","datavalue":{"value":{"amount":"+0.88294137","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":"Q2888335$D1E75CD6-5499-40DD-B762-0F878F985E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68dd49e8d790217f4c6e141204af1920c329f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4283247,"id":"Q4283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be3221180de203ca14ce85453af589144d671b3","datavalue":{"value":{"amount":"+0.88128024","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":"Q2888335$EA6AC3D7-68C6-468D-96AD-B3D426FB0728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac956990a56279cbe4becc4a894e6717276f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1095663,"id":"Q1095663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d1feef9ed1f0bbae61ac66346f87777b2c7951","datavalue":{"value":{"amount":"+0.87943447","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":"Q2888335$8148FB35-31B2-48A8-96B5-4A88116D6080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d128c574f2b8cf58e4ac1be1405936a1d2197a9","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36663da48aaa146d4e851dbbae2ef16dd8c61077","datavalue":{"value":{"amount":"+0.87765133","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":"Q2888335$66A8C7F1-8D26-4411-BFDC-1F4D910C690F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fc0cac9ab2cdce4575e1e06cc6d66a21e2bc5e","datavalue":{"value":{"entity-type":"item","numeric-id":1200758,"id":"Q1200758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513ca09f5dc40279490628783a793af7cf365729","datavalue":{"value":{"amount":"+0.8766813","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":"Q2888335$B02D64C0-BD70-4CD6-B701-70DC2152A420","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afb6c41acdd5b8274aef662a94965cb83722673b","datavalue":{"value":{"text":"Computationally hard problems: 3-SAT and its polynomial solvability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888335$120A53A8-6DE9-4D79-AA6A-6342916DD875","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7039b17782e5787e86c73d3cf99014723e612d5","datavalue":{"value":{"entity-type":"item","numeric-id":6768294,"id":"Q6768294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888335$9A950865-C984-4463-BD67-530FEC2EA0BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888335"}}}}}