{"entities":{"Q3502698":{"pageid":5532601,"ns":120,"title":"Item:Q3502698","lastrevid":50365508,"modified":"2026-01-13T21:54:47Z","type":"item","id":"Q3502698","labels":{"en":{"language":"en","value":"Complexity and Algorithms for Well-Structured k-SAT Instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279239"}},"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":"Q3502698$EF67A5AE-B2F9-477F-A597-222B8A7AEA70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"997a1ec3beae0769a92011362dc22d06996519a7","datavalue":{"value":{"text":"Complexity and Algorithms for Well-Structured k-SAT Instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502698$98D508A9-87EE-4AE9-A643-EC8357E3EA00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd1b9fc1f93c8e913ed906f25822f216eb29c34a","datavalue":{"value":"1138.68538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502698$83689436-775A-4138-BF7D-F154D2A94AD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9342ce83140ff8f1b0c4d87d8edec97bec0db9e2","datavalue":{"value":"10.1007/978-3-540-79719-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502698$59156CAA-8132-44C7-B544-F3CF44C1C3F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0366ca9d807050d67ac603d3f30405ebab61632a","datavalue":{"value":{"entity-type":"item","numeric-id":312656,"id":"Q312656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$97A5F336-CB0C-4E42-A38F-6B724F3CCE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b0727342a96343b6d696f93809deb0806f788e3","datavalue":{"value":{"entity-type":"item","numeric-id":280947,"id":"Q280947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$1781AAA3-E399-4D3E-984A-D4DDC846A3BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$452669CE-2629-4030-9833-9C28CD89E394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502698$DFC4A6CD-C2A7-4A29-8A91-E2DF5866324D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502698$03616851-D491-444E-A52B-7A7B2CDF0BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502698$5507DF2B-C2BC-456A-B8E0-DC74E57D3020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10d17301b333cd6015c6e3d7857b2fd4d6b16183","datavalue":{"value":"5279239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502698$1A143134-EDA5-4843-829B-F69EBBF05737","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":"Q3502698$FCC68F04-B9A2-4B2F-8851-8D87DB8A4DB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d159017572c9f286ec1d57e339702e831403969d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502698$6D2DB44B-0604-4F18-8DCC-2D00C5065B58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9b06fc5c8354bcbf1f19f6363e155676b214a4f","datavalue":{"value":"W1558213091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502698$51CCEF5B-F30E-4CDC-B168-0AC695E4AA76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8e50187a51221a00e96148d3b4590c3646576b","datavalue":{"value":{"entity-type":"item","numeric-id":430830,"id":"Q430830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$50AAC9E1-5026-408C-8229-3AEEAF72B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d45c01055f697d85430bbaa22270d0fdca6fde","datavalue":{"value":{"entity-type":"item","numeric-id":2741535,"id":"Q2741535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$3C536753-3E08-4F7A-BB2E-2F5C256A4E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f3a5a6ef5b4dad2d6e7e841bea784191d0a73c","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$474BFE12-4B8B-4273-9F19-F5868F7A3960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93084df5751505b3c6a721eac731896a3039b3fc","datavalue":{"value":{"entity-type":"item","numeric-id":4291429,"id":"Q4291429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$DA4425A6-055B-490F-8003-758821A47834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28f053cd88c9678bab4760d4ebefbb72fef5339","datavalue":{"value":{"entity-type":"item","numeric-id":4327821,"id":"Q4327821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$D80D15F0-6E15-4A74-ADBB-F60215F482CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468123f607fe9c0a7affbe6709664ebec53c9057","datavalue":{"value":{"entity-type":"item","numeric-id":3956994,"id":"Q3956994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$3DED408C-2268-4A66-863F-E566B422D06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$9EBB151F-3245-48B1-B76B-3B8C0BFD459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$D675DCEF-05FE-4002-A55C-65624FAD3A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3e133365d57dfbd2c07919f3093669a42c66e","datavalue":{"value":{"entity-type":"item","numeric-id":5928867,"id":"Q5928867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$2E522F5B-012B-46F3-8DDC-DD6E0ACFB0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7086dea06f90ad187cd6ca8db29e29ebe9068d0","datavalue":{"value":{"entity-type":"item","numeric-id":4942157,"id":"Q4942157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$67FDF35D-539E-40F4-A58B-D9F92A91F1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c417311d24cef752f3618763c9ec868ab50774c","datavalue":{"value":{"entity-type":"item","numeric-id":1577009,"id":"Q1577009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$055C48AE-31ED-4F0A-B45A-017C092A2F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544fb6125aa1ca8fb58a80f3c0a27e4f4be74dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2383546,"id":"Q2383546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$07437B79-FF2D-423B-A929-E32B295B73C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93abefd43f60c4734d29bc653212ccc79b537d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4165413,"id":"Q4165413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$7F378C58-A831-4DBF-961F-A5B4B3CC3E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a6603d29a77f8174c8e6fc2316564ae080fbde","datavalue":{"value":{"entity-type":"item","numeric-id":1603733,"id":"Q1603733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$BA1E5C62-D166-466C-B723-75161D5B0634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f0e3f7fd80f69ea95a1288c512c5cbf5c438c9","datavalue":{"value":{"entity-type":"item","numeric-id":4228486,"id":"Q4228486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$20245D6F-156A-4660-86DF-CC6CB009FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2a57b475ae76d5a53ffe9b99df300f7fdeea33","datavalue":{"value":{"entity-type":"item","numeric-id":3906439,"id":"Q3906439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$71A6D20B-4FB6-4A2A-B492-F535A5154267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5db73f5a1f26913f730dadd5131027ff2d4628","datavalue":{"value":{"entity-type":"item","numeric-id":5756553,"id":"Q5756553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$5AAD82EC-29AC-4968-AD95-61FBD932C2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea587c95b7231ee2f30c675a05e440be741861c2","datavalue":{"value":{"entity-type":"item","numeric-id":2496203,"id":"Q2496203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$614C597C-09D5-4CAB-A743-F02AF551A886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f4aba8e0ee3a2966b3de817d74f8875ab291ae","datavalue":{"value":{"entity-type":"item","numeric-id":1223124,"id":"Q1223124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$F60E305D-094A-4D44-B668-11F0746E94CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7489661d0c92ad040adf8d2140d5b6efc776b644","datavalue":{"value":{"entity-type":"item","numeric-id":1055450,"id":"Q1055450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$48B805E4-AE32-42E8-BD91-98B773B787DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6760c1a0ed84f473ebf9c19dbb4d05bbf42b9a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3751592,"id":"Q3751592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$600ED960-8605-46B5-A0FD-CED1DAC14907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9920c3ac00d626f59f95283223bd4fb6ae680345","datavalue":{"value":{"entity-type":"item","numeric-id":1152951,"id":"Q1152951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$E27F3635-5BA8-41E8-BB5B-CFF2A40C8732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdce0ec559ff09266887ff88222ddf5e00daee3","datavalue":{"value":{"entity-type":"item","numeric-id":3524254,"id":"Q3524254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$8720EA51-CEFE-461C-BB25-AE62B2617C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b399d8eafcdd5c70e0a548940189236fe91ec86d","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$85C821AF-0494-4860-A0D7-96D26EB399B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13da048a9d4c67660aa5e15294d3a5c9214929f0","datavalue":{"value":{"entity-type":"item","numeric-id":1896357,"id":"Q1896357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$11D75E4B-AEE8-4458-94CB-6CCAE8FBC11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a71ee27fc06ad3b0b4b92d7dad58a5649789e7","datavalue":{"value":{"entity-type":"item","numeric-id":4158497,"id":"Q4158497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$C11E3BA8-F863-454F-A5E3-E5FA6315D080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$CAF4A97A-13AE-4CFF-A071-32D9BAED89A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$58D27D2D-8123-4225-8A49-CD611B069F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1e2a210a633c08ab99ee4d2a519f4798177e87","datavalue":{"value":{"entity-type":"item","numeric-id":3036703,"id":"Q3036703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502698$5CCF9F5F-B3CE-4B9A-A863-538C88B59F4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba87ff74f183dfc9e56694fbd3e23bcc6e9d4aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5497123,"id":"Q5497123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e3a00afc18e7aa1736d3dc0f3bc1d8c4e07fe5","datavalue":{"value":{"amount":"+0.769251823425293","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":"Q3502698$56AB9398-EED1-48A6-B21B-CC84BD8CB3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4621f0e11819ec3ef443da0cbe1d6898f3e13d","datavalue":{"value":{"entity-type":"item","numeric-id":2908838,"id":"Q2908838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589f2ff0dc85a5a444d76178be0110db95c74d5d","datavalue":{"value":{"amount":"+0.7666923999786377","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":"Q3502698$7AC5A7E1-060F-4CF5-90A8-EDA5B6DDD40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063b13b1c6bae3f89470ddce3455451273ef8e41","datavalue":{"value":{"entity-type":"item","numeric-id":3094942,"id":"Q3094942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68236969699976da77b16c5f9623c72118a47ccb","datavalue":{"value":{"amount":"+0.7666578888893127","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":"Q3502698$08FDC407-524D-4A9B-83FF-20B029B3491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a505666d5ffbf67d9cce8bb2a0f39608f8ee72","datavalue":{"value":{"entity-type":"item","numeric-id":4914311,"id":"Q4914311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ded646b50989f6c2f60e0f03746a390c78081db","datavalue":{"value":{"amount":"+0.7663641571998596","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":"Q3502698$6175132A-3BD4-4ADB-87A1-213D1F09D1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fbd704632b6ed04868eaee2d449e815a8228b","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2077f371ea1117361f63371d7c2a5086d1b6e8b","datavalue":{"value":{"amount":"+0.7626320719718933","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":"Q3502698$E06D0860-15F2-4830-80D0-9279A7CA9FFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502698"}}}}}