{"entities":{"Q1822964":{"pageid":1833706,"ns":120,"title":"Item:Q1822964","lastrevid":71370024,"modified":"2026-04-13T21:48:25Z","type":"item","id":"Q1822964","labels":{"en":{"language":"en","value":"On the r,s-SAT satisfiability problem and a conjecture of Tovey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4113999"}},"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":"Q1822964$D427DD2A-9937-4FF8-97C2-5EDFA969220A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f9ca7cc22f33a20337f574a0eda21d403d9941d","datavalue":{"value":{"text":"On the r,s-SAT satisfiability problem and a conjecture of Tovey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822964$8762113C-E208-4A2D-9388-945921393E60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec41432c4b2dddb96a6c6a8122031873c8fe9a78","datavalue":{"value":"0679.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822964$2D14F8F2-7DBB-44B6-A583-89FC5E74190F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd0cbee81e26b0a5aff750c8ef44f6d888e6013d","datavalue":{"value":"10.1016/0166-218X(90)90020-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822964$05725301-8745-4FC8-8DE4-33889CF0922E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfae979f0a47bfa42d8c494b5d7ad537e92bd6b4","datavalue":{"value":{"entity-type":"item","numeric-id":808704,"id":"Q808704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822964$568E5C2F-3C68-4CC2-BA90-33038F5E690B","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":"Q1822964$29A7E4C2-68ED-4FD6-93DB-41CF9CAA72ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1822964$F0CC6BC4-9DE4-423A-A9E4-A8DD46DE14BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822964$8A0E6135-BACA-4B23-8396-9FEAED02921D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822964$D2A3E182-19CA-46D6-B795-77E0BD51650D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c440fbebc7f3c5c14973a142dc25fb3571d8ab4","datavalue":{"value":"4113999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822964$328332A9-BC5E-4FFE-9AED-E012B6F50B50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822964$759A58FB-86D7-44C9-817C-BB73BE607C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822964$DBA92003-0EE2-48FC-B2F3-B77F16EAC325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb7e184a22cf48c06c54a3bae12ff74c3a6af21e","datavalue":{"value":"conjecture of Tovey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822964$79A2BDA4-2790-4BB1-8A42-3AD6B47624C7","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":"Q1822964$26CF3368-88CE-48BE-8C44-E39D37FBD590","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"47965458a7ea115a3c284ca47ce46110d3c0b0ce","datavalue":{"value":"Q123152755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822964$7A479B5F-0C54-45D0-8730-E195697F3329","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822964$5D7E91AC-61B2-4D26-ADE7-18D5C1B21DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822964$CD6CDCA2-EC8B-40EC-8331-23E7FF1E4537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822964$014309CD-11BC-4476-A754-3A1166D090F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7d3dffde4b639a5080d558096cb7a34be71d72","datavalue":{"value":{"entity-type":"item","numeric-id":4146529,"id":"Q4146529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822964$CE7FC822-00FD-4C48-B9F7-0A4106125B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4534d792f5262a1f297a74f9b43efedcc5cd94ec","datavalue":{"value":{"entity-type":"item","numeric-id":4760022,"id":"Q4760022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822964$25FD2DDA-4135-44E7-8AA0-8B97CA332A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da404b761a2011d9897c2a837ac01f79c79190f","datavalue":{"value":{"entity-type":"item","numeric-id":3730348,"id":"Q3730348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822964$3E515682-9A0E-4D73-B137-B861AF2A533D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b5333eb1b8ed8e5a5b9dc077a98e596db9c9cc","datavalue":{"value":{"entity-type":"item","numeric-id":1250163,"id":"Q1250163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822964$24B40E22-62FA-49EA-8296-6BCDF815E9F1","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":"Q1822964$20F6D1EF-1752-4A8F-9A2A-594EFABCAD4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40d200ad49f3845d9a8552a95ee850ad975c390a","datavalue":{"value":"https://doi.org/10.1016/0166-218x(90)90020-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822964$5ADC3377-AEAC-4890-853B-8AFF52DB5A58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fcf5046fe5d7da96570afcd5bacad0c8cc8d6c8","datavalue":{"value":"W2066022804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822964$89134DDE-F138-43C9-B19E-66D3E1B89CBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913727be33888551c4bf613c14a3dd3c1c19b6f0","datavalue":{"value":{"entity-type":"item","numeric-id":4728244,"id":"Q4728244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ebc3566a6ccdcb82b63fa4df885fa49811d57e","datavalue":{"value":{"amount":"+0.936545431613922","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":"Q1822964$83CBF240-62BD-471C-B25C-FBC32BAF08C7","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":"d9b6f02f1f1dc441bb75be1541d46406a7ff0401","datavalue":{"value":{"amount":"+0.8040711283683777","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":"Q1822964$C65FDB1F-7AC9-49F8-B071-B260CC5B3A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2660c0a34d8de5b35ffa75edf58b60373668ef9","datavalue":{"value":{"entity-type":"item","numeric-id":808705,"id":"Q808705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae75af66a5e53533ec681fbf62b34dbcdd60da2","datavalue":{"value":{"amount":"+0.8016213178634644","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":"Q1822964$CBEED5F9-2482-4494-B432-28C241BC9136","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":"b7e16a83890583851ef5d7f44aa1aca5e5a4d86d","datavalue":{"value":{"amount":"+0.7914712429046631","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":"Q1822964$9345C14D-8DF5-4B14-9629-03A4BBDB7F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff37c3cbc627bfe5a4dd3186f58f2c5c6f5d7a5d","datavalue":{"value":{"amount":"+0.789139449596405","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":"Q1822964$8DA6F5C4-3C9E-4769-8288-50E37667BFE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the r,s-SAT satisfiability problem and a conjecture of Tovey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_r,s-SAT_satisfiability_problem_and_a_conjecture_of_Tovey"}}}}}