{"entities":{"Q1015812":{"pageid":1017660,"ns":120,"title":"Item:Q1015812","lastrevid":66542898,"modified":"2026-04-12T10:50:23Z","type":"item","id":"Q1015812","labels":{"en":{"language":"en","value":"The complexity of satisfiability problems: Refining Schaefer's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5550300"}},"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":"Q1015812$CF1DD51B-EB05-4E5C-8DE8-A96C615976AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96352e715dc8a50974445ed5ade641c7ea856f0a","datavalue":{"value":{"text":"The complexity of satisfiability problems: Refining Schaefer's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015812$96ED76A1-2C02-4046-A26E-54090B710454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8d77bddb3dba5777414e564a9667c3603e95d00","datavalue":{"value":"1161.68487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015812$01D61C86-8E50-459E-AF23-E24A87A6ED4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72095f2f713ef1c79b38c0714aa4d79ebbc903f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015811,"id":"Q1015811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$AAD6157E-26FB-4AEE-A134-B0791564435B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb5495cc401b544959cef7c53d33603f5c56b01","datavalue":{"value":{"entity-type":"item","numeric-id":319802,"id":"Q319802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$5ADE9C91-89BC-4875-B970-C3C4E848CF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$FFE8AB8D-AB87-4B82-8131-4DA727F6C11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86eae0bd36f68e0853fe5ab9e6c133a110babb03","datavalue":{"value":{"entity-type":"item","numeric-id":1058525,"id":"Q1058525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$651396DD-214B-4628-BE46-AA88EB395150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$AB66F001-EB45-475A-BC20-3148114C347F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$C3DFE02A-95AA-4945-AABF-9D28C6CE0C69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d715aa81d46dbbd3b8e2af07a7b374e075fa5e9","datavalue":{"value":{"time":"+2009-04-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":"Q1015812$1E093DD6-A2F2-4D4D-8DDC-1E0275C27AE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015812$53762281-F948-409F-B23B-4A77E9F437D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015812$55912342-F8C0-4673-8174-D0E73371CC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015812$22FF8C80-C489-4D15-8401-80C95B790F50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ba6352d3703f92546d9d6545d93898416090143","datavalue":{"value":"5550300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015812$11889B07-9B70-4672-8E85-A2F9C6A18BFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015812$23E8D26B-28DB-4FB0-AE05-229155793A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015812$CE4821B4-ACD9-4D23-B077-73FCD4F04A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015812$7AE80676-62F3-4BA3-A1D9-74F0E2DDDB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f7f00897f333d8807e836f8b5148926d1762eb","datavalue":{"value":"clone theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015812$35362246-17E2-4FC0-99ED-E5275D21FA32","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":"Q1015812$716645E7-5481-4002-86AB-A7314E360B57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ca12c2f66581a66422621c8f422a0e1d9701500","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2008.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015812$83A0870B-A335-4F8C-861C-EA9BB83B44AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6323c1fa0cd13f5508a6317f42f8938a4f538e84","datavalue":{"value":"W2001101327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015812$8396392B-DAA0-491E-8089-9369C655C99C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff01a701025a65c0e4f34147462d374b661b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":4337654,"id":"Q4337654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$D1230879-82CF-4FCC-A520-AF3454B0F94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8eb4b0f2c70412be4c5592e53df8fc7e5f32eb","datavalue":{"value":{"entity-type":"item","numeric-id":5492848,"id":"Q5492848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$897E72A2-1EDD-49B5-B85E-0B7AD5A07D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a837973bb27a2c7ea44e9624ecd1670586b33678","datavalue":{"value":{"entity-type":"item","numeric-id":5930152,"id":"Q5930152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$135D06D9-1181-4E1F-95F5-477FB961FE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1fae2f42ed6b32d699c6361310d6690953d168","datavalue":{"value":{"entity-type":"item","numeric-id":4474207,"id":"Q4474207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$61185FE3-E7EE-49E4-BE52-EC74A3F023B8","rank":"normal"},{"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":"Q1015812$FDFD2A35-2C8B-46D5-B33C-B8ED6E5A0E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07f2784b57531e73555367712e3ac49b3a2f090","datavalue":{"value":{"entity-type":"item","numeric-id":2427534,"id":"Q2427534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$55D5D93E-2A8A-4232-91D8-7DB28EE96D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e72ebd51c8d47e8be22aee44e3b357ec524fe49","datavalue":{"value":{"entity-type":"item","numeric-id":1044708,"id":"Q1044708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$ADF90A56-5F8D-41BE-88C3-411B34C9CD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97bea8313302d4aba346d0ce40d208fb04754b9","datavalue":{"value":{"entity-type":"item","numeric-id":3532582,"id":"Q3532582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$AD0CFFA9-0A95-4BB1-8887-24DC6A41D39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$6F889B65-3C57-4368-8D65-B52DA5025BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bcd97a6d77888c25a5ef4d2fb737f0bfd1d5ade","datavalue":{"value":{"entity-type":"item","numeric-id":5310636,"id":"Q5310636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$A2101433-0CF4-48D6-AAAD-1342D28F536E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$805337F7-8C93-4CC2-958E-47B38FD080DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddbd5ace5579af28195b888b66e44987be3a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":2536623,"id":"Q2536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$A1CF288A-E52B-4A96-B233-E0B7C140C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a0b468127c3522c5545f19cc6264b526a1e055","datavalue":{"value":{"entity-type":"item","numeric-id":5925718,"id":"Q5925718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$C5FFA349-5715-4A7D-8D50-C77FAED0D7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$7018AA03-4800-431A-AE54-97C556BD0CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$7F314C15-1399-4D6E-8C53-3C5A1D1011E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215fd7f718e277ec69a088e44c413ed0b740deff","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$2A969461-52F1-42C1-BAB2-E32EBFC95106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$DEA11B66-46B8-4DEB-92EC-121DC866D111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561871863e7516f8e3a24736861cad5669c3b1ce","datavalue":{"value":{"entity-type":"item","numeric-id":5453499,"id":"Q5453499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$1ADFC2FF-4ABB-4AF0-8FE1-8FFB1C7128A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7a7340303186fbea2a8db45fd2db30dafdbc8","datavalue":{"value":{"entity-type":"item","numeric-id":5428815,"id":"Q5428815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$93B7A2FE-A93D-4724-A8AF-6D9B338EA76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af8e589111d42cf47925c6b6daf6a3425f110e7","datavalue":{"value":{"entity-type":"item","numeric-id":5393647,"id":"Q5393647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$B912338C-AD26-44A3-9FEA-D4046B82391B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$A8D83CED-E142-4DE9-9FE2-1CBB7AD4B1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$E41608B9-C6BE-430C-97CC-1F75F1FCA73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cabcc6c33339345a4333f2979adeb19662b919a","datavalue":{"value":{"entity-type":"item","numeric-id":3581436,"id":"Q3581436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$43B9083D-E8F0-46B0-91A0-01DE368B68B2","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":"Q1015812$7284A66C-F9D3-4887-8045-3B27EBE7BDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015812$947B4926-4320-4A5A-AE44-BD77512F2364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7115b9250357740c4457dd850c0179ffb9d66ecb","datavalue":{"value":"10.1016/J.JCSS.2008.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015812$8CF671B2-DBC1-4CFF-B484-315A8D0B89E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of satisfiability problems: Refining Schaefer's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_satisfiability_problems:_Refining_Schaefer%27s_theorem"}}}}}