{"entities":{"Q5071401":{"pageid":7100977,"ns":120,"title":"Item:Q5071401","lastrevid":54300686,"modified":"2026-01-26T14:42:00Z","type":"item","id":"Q5071401","labels":{"en":{"language":"en","value":"Satisfiability in Boolean logic (SAT problem) is polynomial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7510991"}},"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":"Q5071401$7D422C67-E3F5-41EA-BD54-23B8DF3DCE1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"068ee31e344faf15299ffaf7396fa50d7febe23f","datavalue":{"value":{"text":"Satisfiability in Boolean Logic (SAT problem) is polynomial?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5071401$19A51146-D16B-42B2-AA88-1F2FCB343ABB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f7f8143173ce6dea31dbd306364fd70c3435c0d","datavalue":{"value":"10.17516/1997-1397-2021-14-5-667-671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5071401$5B4ECE95-75D9-4DC0-810B-FC80AD3267E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5c2b4f7114dc943c8f2d30a6f940b09cbe4e024","datavalue":{"value":{"entity-type":"item","numeric-id":5068359,"id":"Q5068359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$EF59BE9D-427D-4434-9EE0-E99A2F597D91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b32004f1849a6b85adddcf4cc70bf727fb29846","datavalue":{"value":{"time":"+2022-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5071401$328D770E-1B12-484A-9775-A00D9EABFCA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e985a9b6832437e8a19b61eb6bec44cda81b1ef8","datavalue":{"value":"http://mathnet.ru/eng/jsfu953","type":"string"},"datatype":"url"},"type":"statement","id":"Q5071401$9A01611B-ABE7-49AC-B02D-9278170D2EF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5071401$F0FB7C75-0FFC-47C0-9A12-831251D1456E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5071401$4583F6A7-E7C5-464C-88A6-363384BE08D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85cfcf0ef7c959b0395a42c50f1909274fcdfc5e","datavalue":{"value":"7510991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5071401$BD5E79E1-BC3D-4E18-B785-E0E16FF04780","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f99b16facd6e000c6df5f71194c7fc9ab564413","datavalue":{"value":"Boolean logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5071401$5A9C7D87-CA5C-43D9-879D-A217E0F7A9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5071401$746D3BC5-7C66-42A0-8F74-56698D09796B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a1bee389ebd929259ce3bb4511729c656b0f7","datavalue":{"value":"SAT algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5071401$308F7260-1FE4-4955-89CE-8E79645F90A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$B7C8EEA5-9D90-49E1-AEB0-CB372A4519F8","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":"Q5071401$F302A5A3-A134-4555-BA22-8F22258C7FD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ed3759de86bfb74c7095270baf9a870acb4ba72","datavalue":{"value":"W4205154944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5071401$6C72571D-4A54-4101-B685-54F434445F29","rank":"normal"}],"P223":[{"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":"Q5071401$FFFC1F2C-48D4-47C8-9AF2-99C1FB2FDBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$B2D1017A-6896-49F6-91B2-DA96085D35B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$1071782B-5E3C-4501-A148-22A9859DF2DF","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":"Q5071401$6470152A-C593-403D-A57E-8ABA9FBA0397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535ddc7a1dc9ae5948689c94052e000671310a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1170232,"id":"Q1170232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$1BFF876F-FD58-44EA-8689-FC5AC037ADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$1F6B20D3-BD10-4C51-A52D-F289DB1ED3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dd0f84f959c7f43a09219fed18cac99e23092e","datavalue":{"value":{"entity-type":"item","numeric-id":805609,"id":"Q805609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$9BF171F9-CC0D-4CA1-B341-7EA1347E9E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bf7b60ffa69e85b236a52322720f62f3667ee9","datavalue":{"value":{"entity-type":"item","numeric-id":920971,"id":"Q920971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$A62FA28B-D03A-4698-BB73-2F7B12E4BFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$C46B5EFC-AA39-47F5-88BD-57CBD495F607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82150f8943cff7ecd2cd54c7abc4f2a3d8b84f08","datavalue":{"value":{"entity-type":"item","numeric-id":1977757,"id":"Q1977757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$C6FF6306-3BFC-421F-924D-DA4722F23F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070bcdc321023e903814ac9591b55c96fdaa88df","datavalue":{"value":{"entity-type":"item","numeric-id":3090774,"id":"Q3090774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5071401$9C8FEF33-DE3F-4C34-BBDE-2370F4DDCE6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eda10b5298ad4db20b18468c6076e3183a0ef0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4727432,"id":"Q4727432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc48c8b55740b5b6f6d56d4474d573e9f1a88135","datavalue":{"value":{"amount":"+0.7946693301200867","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":"Q5071401$89B1E7D7-E513-4713-984B-6AD5D5A8DFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480e28dd7bb81d24bc3971aef5359e2ce63c87a7","datavalue":{"value":{"amount":"+0.7858179211616516","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":"Q5071401$57DC6118-5816-4C63-8CBC-70F16235C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365e902ee20bc47a5d509f1e58833be004d1ec4e","datavalue":{"value":{"amount":"+0.777149498462677","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":"Q5071401$E27C13AC-FB97-4FD4-B631-FD273C44A968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aac9eb4d1fc46bbb4a01e281bc99b71fdb3953f","datavalue":{"value":{"amount":"+0.7732184529304504","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":"Q5071401$90DDA452-6F8C-4F5A-9F84-FAFFB0D4AD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e290797b9587ed8a3d3609648a47bef2d83719","datavalue":{"value":{"amount":"+0.7584953904151917","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":"Q5071401$9F610FC9-2F76-4DD0-B048-76675B8ECCB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5071401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5071401"}}}}}