{"entities":{"Q5402560":{"pageid":7432134,"ns":120,"title":"Item:Q5402560","lastrevid":51949454,"modified":"2026-01-20T14:56:26Z","type":"item","id":"Q5402560","labels":{"en":{"language":"en","value":"The complexity of satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6270120"}},"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":"Q5402560$381C503B-EFA6-4477-AE93-4F3E162D2A8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b80668b3fc1992ba97738a34e5cdc7fd680d0691","datavalue":{"value":{"text":"The complexity of satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5402560$B9238335-1CB4-436E-B24A-5555783A09B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"063d5c3e8548cda4c2be171e98458a4127af9dc2","datavalue":{"value":"1282.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402560$94252E53-0997-4591-90CC-B584307F5CDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e603bc3084c3e8cee31edb0a4cf708d11ee3fd93","datavalue":{"value":"10.1145/800133.804350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402560$AA3D9FFF-E96A-4B9C-98FB-A5D30BFAF224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a06258f868420c2c452c0a807e48135f7183827","datavalue":{"value":{"entity-type":"item","numeric-id":1248465,"id":"Q1248465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402560$A8B1073B-D76C-4A43-ABC8-1492CB1E6810","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2829c1a1386220ab006ee0a1468db55a2e8980dd","datavalue":{"value":{"entity-type":"item","numeric-id":5402534,"id":"Q5402534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402560$6DC6FAFA-B3C6-4761-8510-1E3D9E783C5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b43a2c2b6eb630f564616ba070a6751b081d8977","datavalue":{"value":{"time":"+2014-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5402560$B5367A69-8A9F-401B-A497-7FF34ABED867","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402560$9A294C4F-DD97-4D5B-AD23-4D22EF09BD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402560$FFEEE5F3-1655-417E-AA14-8A11CE88DFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402560$159B12C7-CEFE-41C6-8267-D55DE713A186","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49697328771da840ccd8a819eb52fcd596eebccd","datavalue":{"value":"6270120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402560$B83C4DB8-AA40-47F9-AE5A-75E3182C022E","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":"Q5402560$223D972E-3E14-4A63-ADBE-862E18329119","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f1f64546936793f460f7efb6a369670a02fd194","datavalue":{"value":"https://doi.org/10.1145/800133.804350","type":"string"},"datatype":"url"},"type":"statement","id":"Q5402560$39F9D80E-3C7A-454F-BC8D-483307F2CC00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf32c80c5917c961299abe7a7adad3dd78f0d5eb","datavalue":{"value":"W2166566648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402560$FD66ED40-BEC9-4492-9EE8-8C3AFB00C1CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"141aa6700fe9ee27ddb68f1e76dd8a00e81113ed","datavalue":{"value":"Q130984662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402560$27C12CAA-B95C-4585-AD4E-BABA0F493B28","rank":"normal"}],"P1643":[{"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":"d920fdb6b65c6e7f55df7433c4c9350ed1b98be7","datavalue":{"value":{"amount":"+0.8995794653892517","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":"Q5402560$66ED4D53-4B56-49E1-B747-600E01005A1C","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":"e712765ac543ca14389e356e414232b0e9d5245c","datavalue":{"value":{"amount":"+0.8579033613204956","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":"Q5402560$893D3136-8E40-43CD-8C7B-3156473C02E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8856d1c6f16e9a2723e202741471bdba20e1f1","datavalue":{"value":{"entity-type":"item","numeric-id":5475258,"id":"Q5475258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e058ddc63bec1f3623a4912c5dfea0d1944594","datavalue":{"value":{"amount":"+0.8480432629585266","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":"Q5402560$0916875C-0F47-4A62-B06B-7E781374296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438ca1492819dc9e73a8c603ef8ddaa7f71a92bf","datavalue":{"value":{"entity-type":"item","numeric-id":4032119,"id":"Q4032119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70dd3fcd4f9465d50dac62fdc640517dcf4f412","datavalue":{"value":{"amount":"+0.8460933566093445","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":"Q5402560$E654A667-53C9-488F-AFBB-F723608F1EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a00557940f92d8bb4109ce8bce395883cc753d4","datavalue":{"value":{"entity-type":"item","numeric-id":1322290,"id":"Q1322290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6363d77085e2cbf612ab2b24040dd34df521bd1","datavalue":{"value":{"amount":"+0.8451222777366638","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":"Q5402560$03E273B9-0C59-4C2D-8943-7D928E122110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5402560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5402560"}}}}}