{"entities":{"Q1887137":{"pageid":1897879,"ns":120,"title":"Item:Q1887137","lastrevid":71064531,"modified":"2026-04-13T19:14:39Z","type":"item","id":"Q1887137","labels":{"en":{"language":"en","value":"The complexity of minimal satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118403"}},"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":"Q1887137$D1BC5BC3-E2B1-40CD-826F-6B32B90E4F17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"726bfad7e8d1fa0d3d74dea59b4a40c8675b73a3","datavalue":{"value":{"text":"The complexity of minimal satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887137$28CE61BA-183F-4491-BD10-7CF09F352E0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79a940d6b6103a0f62b1710354d1e95dd107b379","datavalue":{"value":"1082.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887137$61ECF809-C2CA-4DB6-90E1-4DED6F5DDE08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31b072736a8aa9e120b2bda7a3eae054008242cc","datavalue":{"value":"10.1016/S0890-5401(03)00037-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887137$4E198F7D-16DB-418A-AD18-6339779BCF4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3114a9e7c18fd9d37962020c44023cd148b8085d","datavalue":{"value":{"entity-type":"item","numeric-id":215098,"id":"Q215098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$94D158D6-550C-4D50-B6EE-FC91E9984639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$BA8F1C80-151E-42AC-B342-4353A2F9F941","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$6ABF43C1-10B4-4B6A-877A-82117A0F0288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887137$9516E011-F071-47FD-8CAB-DCAB89337B7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887137$6CDD2BC9-81A0-41B2-9C63-BE50D3843C4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75cd86e03828e6ba67a196d5e541e1cf2a02cc0c","datavalue":{"value":"2118403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887137$A55A484D-DE8F-49AC-A58A-93E918E3696E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"491073adb84794ac69dad93e698882d1730ec597","datavalue":{"value":"dichotomy theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887137$387FFDC0-3F5B-479B-8CEC-7EE7DA2D37A3","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":"Q1887137$E75E8C4F-017C-4520-A0E7-798C74EB65F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d93864aec7824361eaf84afd94a1a6d700ad7bf","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$C38E2BF9-0ECB-47FB-AAAD-2EAC261B3091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06455b232b15ad6e8025fc9587d194531c0b2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":960525,"id":"Q960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$E260F012-7CCF-4190-9952-5403947894BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1858e829edbff20ad48edab5cf07bdd922098408","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$8CE1C258-34A1-4BD8-B130-51B5F06E8BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b3bb72268e811f46476ea8559c6205f6bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$F936CB3F-EAB6-4E2E-9F51-612D89ADDC16","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":"Q1887137$070E0F84-5EE2-4836-A80B-EAE8BE486DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c403665aa6e3aa64da28618956f2f116df15324","datavalue":{"value":{"entity-type":"item","numeric-id":1204870,"id":"Q1204870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$0C95825A-137C-4112-AE4C-2088A63B2ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2045a7ec56e01f15e3eae4db248ef2b73a81db","datavalue":{"value":{"entity-type":"item","numeric-id":1132111,"id":"Q1132111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$E03B41BA-D37F-4D6E-BF42-35B8C7B10F11","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":"Q1887137$3D7BCEC9-F59E-48CA-AC7F-EAB7C4D77253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$C3B311B6-1C1D-4333-AD7C-BDAAD70C0201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec165abc7ade014841f417bcba31a647c17e0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1100215,"id":"Q1100215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$CFE98234-6304-459A-87BC-39039E8382EF","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":"Q1887137$74B7F05B-B229-4C19-AF42-C0DA0A1CACD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0896d4def91ed8d8e8f48a247a42bdacee30665","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$C41D8BAD-AF64-46F4-8005-0D24652091FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2f22b2827015dc3a0055fc808a420af199dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2706139,"id":"Q2706139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$FA14C7FB-5A76-42E8-A18B-5489E9446F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb861c8b26ec4071c189ca56dc1f213340c4a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2762521,"id":"Q2762521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$D6840952-F0CC-44C9-BD7C-2E9F385FF92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$2BD7A4E6-4811-4F87-AAD9-CE33A9558A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$A93794D2-64D4-46E4-A749-4F8DAB2CBA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$6A4E28CF-8B5D-43A7-86B8-B87165C4C659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c3b1561d4dd0e648f3bd6663d14763d3bbd8a1","datavalue":{"value":{"entity-type":"item","numeric-id":4536400,"id":"Q4536400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$6700248E-19ED-4AF4-AC77-EF6BA3A0947A","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":"Q1887137$F9D93521-D16C-4C97-B7A6-F8725A888F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a163c003fbc5b1f9b3cbaa6cf90d46a8c1c3a723","datavalue":{"value":{"entity-type":"item","numeric-id":4542575,"id":"Q4542575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887137$45E546A7-6D2A-4089-810A-8276D8F90857","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0100c2c423518367750c70e68fe3f7a34133559","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00037-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887137$11F88A65-EFCE-4C95-BA29-045B730A1EDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8312177758e533cf929ef142f233da9ff03a602","datavalue":{"value":"W2085138240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887137$F1881D00-C75D-48CD-92FF-44F202C3B8A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fda2a6f8fe8b744fa34dcb1c77a9ba67ecd8067","datavalue":{"value":{"entity-type":"item","numeric-id":2762521,"id":"Q2762521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478bf8ab2e4c60498b1c719c37df3255a227a7c9","datavalue":{"value":{"amount":"+0.972520649433136","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":"Q1887137$DED6A667-6B2E-4941-88B2-3A88E0F4EAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8067314dfa8dec77f08c98ec8630779dcefc0","datavalue":{"value":{"entity-type":"item","numeric-id":960525,"id":"Q960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac56029c2d7f7405286669327f0ec8b9121d35d1","datavalue":{"value":{"amount":"+0.8312448859214783","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":"Q1887137$D4F082E3-92F7-49D1-95DA-D52BA82CDE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ecd180d3ecfe2479f28bacb1691fc838b4b97e","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92acc71237c682c52fd2e722684339b7e3668ae7","datavalue":{"value":{"amount":"+0.81770920753479","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":"Q1887137$6C8461DE-F092-4624-9AD1-E4A681638F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0917673757a63f6c86195d9c7340a075ff3558","datavalue":{"value":{"entity-type":"item","numeric-id":5902502,"id":"Q5902502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787dda9383069cb7f53ce7a1883e32c4519085ae","datavalue":{"value":{"amount":"+0.8166044354438782","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":"Q1887137$5BFB7D12-17E8-4AC8-ACD7-39199A993247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2048c89e7d5120adc6154b07a46dd4facc684942","datavalue":{"value":{"entity-type":"item","numeric-id":5756560,"id":"Q5756560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbb392ddde35aef9a4e906403a0e60a4ee7d66b","datavalue":{"value":{"amount":"+0.8064827919006348","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":"Q1887137$189C731B-96CA-4E51-B42D-ED350374A57D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of minimal satisfiability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_minimal_satisfiability_problems"}}}}}