{"entities":{"Q875598":{"pageid":877446,"ns":120,"title":"Item:Q875598","lastrevid":65014386,"modified":"2026-04-11T23:44:42Z","type":"item","id":"Q875598","labels":{"en":{"language":"en","value":"Computational complexity of some restricted instances of 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142435"}},"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":"Q875598$814D393C-5F6D-49AC-88E6-3843E4224F46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3c5f72d7026cf0742b144aa777406ee4c63ba89","datavalue":{"value":{"text":"Computational complexity of some restricted instances of 3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q875598$EC6E85E8-C91C-4E7A-B98F-373DB7C081CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebad1b4399bc890f62f24f9ee652f50f6ea3cc53","datavalue":{"value":"1111.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875598$2C275C50-18F6-48E9-9750-203A7C6DBC33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"544d0b7ba4444928caddd3ee5ebd1b425c121444","datavalue":{"value":{"entity-type":"item","numeric-id":397069,"id":"Q397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$3E863455-346A-457F-BEB8-4CEAB9D86C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"572a13162b6df712d7941005f95a34b361dad87b","datavalue":{"value":{"entity-type":"item","numeric-id":396628,"id":"Q396628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$88BB3E36-B81B-4741-92B4-2007E62FFC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8b2beaa85ff67f6ba8323eb17002460f5e5f0aa","datavalue":{"value":{"entity-type":"item","numeric-id":846045,"id":"Q846045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$E1D93E4B-577C-4A2E-83CC-1BC8F4424716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$7E799E5D-F569-496A-8E37-6842539ADD8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q875598$2BA9BDC4-5310-43B7-97F3-DAB22A097B2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875598$57A975AE-12C5-4117-BFD7-E2F10CF4D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875598$DA2A3320-839D-418E-81B4-CDB0549E4558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875598$68CE8060-8F67-4A81-A29A-8DF166C15413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cba0f6a3a44c36dd863c40bbbd0420156efab875","datavalue":{"value":"5142435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875598$90088A2C-8183-4097-AD22-0787C711AED0","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":"Q875598$1D4496CE-8DF8-46BB-9D60-9C9D9E10E619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77922df0fe79d0f954b2cc0427e4c9c8882a9806","datavalue":{"value":"https://doi.org/10.1016/j.dam.2006.07.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q875598$18907245-0A84-4F60-8BBC-A5001E404005","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ef597af83485bcb4abb8247ecb1d22f372acc14","datavalue":{"value":"W2038784300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875598$9F8ECF9D-F26B-474E-BDAD-A4A695D34FD6","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":"Q875598$D40B2207-114D-40A4-A8D7-E795FD659BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230d404ddf32749cc3483b594ad900fe804704d0","datavalue":{"value":{"entity-type":"item","numeric-id":1822964,"id":"Q1822964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$01B89EFC-667A-4475-A762-FC9D192D1E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b267d82d6e31a4f100569a0e1b4301a56826c9","datavalue":{"value":{"entity-type":"item","numeric-id":4375762,"id":"Q4375762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$02F29F10-E2B1-48CB-9335-1B37CC50BC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5fa8fb11c78aae21b2eb5b72be3dfa58615b97","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$08BBBE28-7FA5-41D1-951A-3ABCF2EEA6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75f8426f723cb31c8b86032063789c6be1c65f9","datavalue":{"value":{"entity-type":"item","numeric-id":4950549,"id":"Q4950549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$58817D01-A155-426F-B102-B8C8B827C077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$DECE43FB-D430-4923-A2D1-C9D5986B6F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$BF0A09DA-6930-49E4-8C81-A220B89122DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fcbcb1456099f3999e03704613d976d1bde12e","datavalue":{"value":{"entity-type":"item","numeric-id":1421480,"id":"Q1421480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875598$7BE4393E-41EB-4F99-A572-4177C94F314D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3c0d34a1358a6d015c088950cee715a3643ba65","datavalue":{"value":"10.1016/J.DAM.2006.07.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875598$3C64FEAB-A708-4AB8-90CF-51D28C8D95B1","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":"e7f81c1289868dd7026c810b715bdd59ee8428e0","datavalue":{"value":{"amount":"+0.8363093733787537","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":"Q875598$4006F681-10FB-47A8-BBC0-1A00767312F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b6bcdb87c4692903667b4772f341680ad7c51","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108792a037c5b9ee178220960e188c130d7a9927","datavalue":{"value":{"amount":"+0.8319010734558105","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":"Q875598$703E672C-B2D8-4148-8DA0-DC0D5DA6E4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20fc3c596a9edb8e5583cac032889717c67ce3fc","datavalue":{"value":{"entity-type":"item","numeric-id":1711421,"id":"Q1711421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f44168fa44e24a6dc9fd478cf588bf3f5f47d7","datavalue":{"value":{"amount":"+0.8269315361976624","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":"Q875598$31FA7272-9A73-49BF-AC57-1E11C25DCC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6456c7d409da6b9e2de61a1cd646ae0a609b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4930606,"id":"Q4930606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9eab9a85c19aa6a99e605d9a0d2e29fc25348d","datavalue":{"value":{"amount":"+0.8238846063613892","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":"Q875598$FAD8F25C-1BAD-4B3E-87DD-D843956DEA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2608de4f95690f91de4a7ab9bdf7bfca1e1ee77","datavalue":{"value":{"entity-type":"item","numeric-id":4963262,"id":"Q4963262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8981fbe469d2980e0efe33c951705791540931a4","datavalue":{"value":{"amount":"+0.8118258714675903","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":"Q875598$AEC42292-6D56-48EC-82C9-7B44EFF29C70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational complexity of some restricted instances of 3-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_complexity_of_some_restricted_instances_of_3-SAT"}}}}}