{"entities":{"Q3587579":{"pageid":5617483,"ns":120,"title":"Item:Q3587579","lastrevid":51074024,"modified":"2026-01-16T12:45:14Z","type":"item","id":"Q3587579","labels":{"en":{"language":"en","value":"A survey of lower bounds for satisfiability and related problems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5781224"}},"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":"Q3587579$83B945EA-0BF7-460D-A939-021C68883B4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4286b8a885f7e3869730f928ef2c5128f2b25d6","datavalue":{"value":{"text":"A Survey of Lower Bounds for Satisfiability and Related Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587579$744B09C2-4B6D-4F8C-8B9D-D26B08164FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"857666ac22b367925d134bc42a8f8d39a79b47f0","datavalue":{"value":"1193.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587579$7283F3E7-287C-47DA-9BC6-764593B9ED92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71710ae5815fdc197e04c1f5ced8af47ae9f31a1","datavalue":{"value":"10.1561/0400000012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587579$2DF9A09E-3738-46ED-A228-B2F2BC47EB65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a25d963ba8459ff509d0f0ec3595c17b9f7f836","datavalue":{"value":{"entity-type":"item","numeric-id":354650,"id":"Q354650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587579$2364702A-6F1C-4435-9A58-A3D6526685EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cba67c8959bc2cb88b6093efe9278af6839c1bad","datavalue":{"value":{"entity-type":"item","numeric-id":2808275,"id":"Q2808275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587579$C15DA156-A31E-46F4-B47C-3BD879EDD7E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e193f284f8733d439b83ddc151cf4a28e7572944","datavalue":{"value":{"time":"+2010-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3587579$F330EAE6-1122-457D-8340-1EC65F493128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587579$E8312A13-711D-4A3B-8B9D-12ADBB31E016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587579$4C6D600E-5F79-4968-B928-22DE1679077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587579$3EEA86F8-0242-4A6F-99B0-41E147C3442B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85b8de7c681e92bccdfcbe02037d2d4630a3c665","datavalue":{"value":"5781224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587579$73D27D41-8720-4274-AFD6-6789B22AB090","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":"Q3587579$791E5FDC-9CE9-4AD8-936A-01661DA11D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc065c13d33cc9f0a101422d2e6b05e3a491408c","datavalue":{"value":"https://doi.org/10.1561/0400000012","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587579$C726BCB6-3917-4254-A70F-450B0AAAC5C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a6b9ba7abf38f41c6906f0b3024373e26c7dfca","datavalue":{"value":"W2612879297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587579$5B26072D-DA46-4C24-A4DE-260DC43782F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143f83e82906f59c7836778facb8332060f8ebdd","datavalue":{"value":{"entity-type":"item","numeric-id":2729236,"id":"Q2729236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9b9481ff7ac3c74da665c134ec3eded84142cb","datavalue":{"value":{"amount":"+0.9037747383117676","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":"Q3587579$25A16E31-2451-4923-BE2D-BE35A363A258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf38cc888921590df143be54d6b97aac5f0ba8c","datavalue":{"value":{"entity-type":"item","numeric-id":4668733,"id":"Q4668733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb10b59ba83c5f304bf29f72ae908b5260c21ef","datavalue":{"value":{"amount":"+0.8767917156219482","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":"Q3587579$12F0BDD3-1E88-41FD-8819-100AE7DB9019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4462be1abc316894dca49bfe969c7c58f01ddd2","datavalue":{"value":{"entity-type":"item","numeric-id":3455209,"id":"Q3455209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7b7187ff0eac8732b23deb1cecaf96ebd0e138","datavalue":{"value":{"amount":"+0.8677840828895569","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":"Q3587579$9EE04B8C-9B74-4C5A-BA1E-3E363503155B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01afa3774dc1edf7b1a922700be49041f6f4e07e","datavalue":{"value":{"entity-type":"item","numeric-id":5466530,"id":"Q5466530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66cd1441fd28b35efe40bcf482e8e16682b3ad51","datavalue":{"value":{"amount":"+0.8629186749458313","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":"Q3587579$02325809-1119-48D4-AE08-5DEB11CB486F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e65ee715c73eb58045cd44507a78976a0d24b85","datavalue":{"value":{"entity-type":"item","numeric-id":2581273,"id":"Q2581273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9ed1d908454ced7de97b973d614c1089ed40bf","datavalue":{"value":{"amount":"+0.8597044944763184","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":"Q3587579$A8DABD4C-6DBE-49BA-90E9-003524B4E0BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3587579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3587579"}}}}}