{"entities":{"Q1351157":{"pageid":1361896,"ns":120,"title":"Item:Q1351157","lastrevid":47423353,"modified":"2026-01-01T17:14:01Z","type":"item","id":"Q1351157","labels":{"en":{"language":"en","value":"On approximation algorithms for the minimum satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984289"}},"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":"Q1351157$36004343-40C1-4B58-BD8F-24E7E87573C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc151ff441ce788990e0e0129c4324170143e8a8","datavalue":{"value":{"text":"On approximation algorithms for the minimum satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1351157$3F38AF1C-F7EE-4BCB-90BF-49879874823A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"509ab3469c792bc0a6d9300c849200102c65a018","datavalue":{"value":"0875.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351157$EAA99EED-AD14-4F7F-B465-5DB39D163D5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d16df34c840850aba79042359bf055fe71503996","datavalue":{"value":"10.1016/0020-0190(96)00031-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351157$51D8DDC3-BF42-43D8-90BC-2CEB413F45B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31beeef77be3224e673f88fc58ff0b83ea630aa","datavalue":{"value":{"entity-type":"item","numeric-id":169297,"id":"Q169297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$0232CCE3-0AAD-49BD-846D-29FE39AADED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"005a5f2b4056c9ab350e168de4abed730f98b36d","datavalue":{"value":{"entity-type":"item","numeric-id":223031,"id":"Q223031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$3C447DD4-5B97-4A46-B99C-70F2851D4491","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$FCD9BBB5-2D1B-46AA-8814-153BE2A6B9D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-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":"Q1351157$C1E2A0BF-7994-421E-A8A4-6CBBE196E1C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351157$A1E63308-63D2-4C98-91FC-412626E2464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351157$6F4F374A-4E82-4EC7-97CC-E68D13389A86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36f3586f3ce4053c9f3b6a1f0afb618f2e8673dc","datavalue":{"value":"984289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351157$F2A19CC8-AB3F-4E4A-B8D0-A71AC4237BDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a362ce090b25a564d589edc558e4bd1266d9df9e","datavalue":{"value":"Analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351157$D3C2A06B-0311-4A65-B6DB-3F42653A42B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351157$3C0CEAA2-61AC-4A04-9A7E-2A84F3883C36","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":"Q1351157$5F91E671-DAE6-43A8-9065-4BA224F7D303","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e04922fa3c109fb40175cceedf9cd2bc8b20becd","datavalue":{"value":"https://doi.org/10.1016/0020-0190(96)00031-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1351157$F4022B0B-71B3-4B13-8DD7-5C7698521B61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a813bc986801e431cf79accab9c1662e7e757b6f","datavalue":{"value":"W2030702117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351157$6BBD593F-14AB-47AD-ABD5-20EE44F3EA3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7258962f550bf808b8ce0edfe0f9b2099a09d076","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$327F35E8-BD3E-4F09-86F1-DDFB9D31ABFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5175a0c52543e9a486983cedbc3846a9743cc3a","datavalue":{"value":{"entity-type":"item","numeric-id":4299299,"id":"Q4299299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$B21387BB-ABB4-4EBC-A750-FE0FF51F0809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1db2dfc605373549105b0eb0563693d99c82c59","datavalue":{"value":{"entity-type":"item","numeric-id":4252727,"id":"Q4252727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$A60EC069-4538-4922-80D2-3B31B9653C2B","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":"Q1351157$294B9E13-944F-4464-AA79-33595EBFF639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$788CA46D-D5B0-444F-94E2-9627DB91BB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73a40325dd6ccbd07c8cdeabd3636cb7d9c050b","datavalue":{"value":{"entity-type":"item","numeric-id":4317711,"id":"Q4317711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$EBA448BE-78BC-4748-91C8-A73472B3CD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7366be4fb014e19a626ef8e0bbfe54e4dc7a91","datavalue":{"value":{"entity-type":"item","numeric-id":2817633,"id":"Q2817633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$0B23F323-008D-4C1E-B153-630FEC2F3FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00a9e252dcd967174efec124226bbf4f16c443d8","datavalue":{"value":{"entity-type":"item","numeric-id":3947140,"id":"Q3947140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$9B83AFBD-A229-44E8-B26D-CF6B80B60ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85859d4bf1a3e88a94a43f3e1ce8b0cfd1f2c77b","datavalue":{"value":{"entity-type":"item","numeric-id":3002852,"id":"Q3002852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$6ED76512-E95A-4335-A716-80D7216F37F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4553f833c1176f5e7b18b63606cde7cfb92d5b68","datavalue":{"value":{"entity-type":"item","numeric-id":1321662,"id":"Q1321662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$546089F7-006E-410B-A1F8-DEB8CDC9971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2f61da27f952ab7043b082ebdc98abf9197bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4327416,"id":"Q4327416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$33C8B96A-6F00-4F50-ACB9-155042525EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a567a0bd5149009c58baa277d371437f0fed769","datavalue":{"value":{"entity-type":"item","numeric-id":1213733,"id":"Q1213733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$A8D230F3-B76E-49C4-AE9A-B70BFB4C8EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d8af2df779085adeca485e2691445d9b764369","datavalue":{"value":{"entity-type":"item","numeric-id":4296521,"id":"Q4296521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$907BEC12-A482-4439-98AD-9EB3806CD09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176f92be0a5c8084cbea32a162c15c6e5a582bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3936195,"id":"Q3936195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$6BB9139C-76B3-460B-A8B5-2803882DE770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$BFFDA267-2ACC-4054-897A-DCE11387D234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6133d293bb8bfa149948ffdc9b0f276ef45523","datavalue":{"value":{"entity-type":"item","numeric-id":1186548,"id":"Q1186548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$7082F7A5-C97E-47CD-9957-112880CCC65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0669e594826b5b3523dfa03abf605c0d6353cb8a","datavalue":{"value":{"entity-type":"item","numeric-id":1171390,"id":"Q1171390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$EED34CA3-4BB8-4DE1-AA51-C9F40D9B00EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efabf5eacf4d67f1a521b551df0250faae68f89","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351157$F4593D46-D708-40F1-9CB2-C65156858C65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81d480ca6059f8ba9018187ecd208b5b80f08d9","datavalue":{"value":{"entity-type":"item","numeric-id":4296521,"id":"Q4296521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894c770e15a58b6f8acc8e536fa96a058ea0ba25","datavalue":{"value":{"amount":"+0.8730548024177551","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":"Q1351157$6EF42379-0CCA-4251-9E6C-C48FBC297F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6494a13bbbae8ef874aa34b7f3477af3082f980d","datavalue":{"value":{"entity-type":"item","numeric-id":867859,"id":"Q867859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fe3736081d0f864f171922dfacac660aa299a9","datavalue":{"value":{"amount":"+0.8728566765785217","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":"Q1351157$0BBF9754-8132-4A8F-AFE9-6745A72A6466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d78bcebe9d6af1d737c4b93057c2a24032fc8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1780843,"id":"Q1780843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58be8b112b50ef0dcf50557ab19e0f094da2eb5c","datavalue":{"value":{"amount":"+0.8652339577674866","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":"Q1351157$C6360AD3-3F71-4C20-BCCE-9E1238345649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9eb3060490046a168a66b4ee1d58b60894e6171","datavalue":{"value":{"entity-type":"item","numeric-id":779212,"id":"Q779212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84aaec9e4a727188e90fe5ede1d67550fc33bad8","datavalue":{"value":{"amount":"+0.8621939420700073","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":"Q1351157$451ADAD0-1D43-41EE-BAB4-9D0E00823B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6586d3772caf2671dab1a0b6d590c8c65becfd02","datavalue":{"value":{"entity-type":"item","numeric-id":4427868,"id":"Q4427868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75800e58092d1ffece2ed27070ad64180ca7dfef","datavalue":{"value":{"amount":"+0.8561148047447205","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":"Q1351157$CD5C8750-A0E9-480A-AE89-E4CAA64582C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1351157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1351157"}}}}}