{"entities":{"Q1578395":{"pageid":1589135,"ns":120,"title":"Item:Q1578395","lastrevid":72236247,"modified":"2026-04-14T03:32:05Z","type":"item","id":"Q1578395","labels":{"en":{"language":"en","value":"Approximating satisfiable satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1496837"}},"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":"Q1578395$340B3C3D-7E83-4C8D-992F-4993CD29A1A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d7590c95d75517d16ad176daec3a1435d4693d4","datavalue":{"value":{"text":"Approximating satisfiable satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1578395$B8D9C1E1-F489-4DC7-B814-72AB7704C915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05bf077f5c406d21a86c780eb5fa5de0408613fc","datavalue":{"value":"0959.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578395$34C86F42-9CB5-4833-B8DB-E852E60B21CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68394fd7e8a253e114d6399606d47416a190b2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1511313,"id":"Q1511313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578395$80E8C0A8-FC6C-40CC-BE1F-94452B680000","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578395$84E4C7C5-794D-4B40-8080-972105611A04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"229e2d23f76ddb02242aca0dcd4be23ab0b751e5","datavalue":{"value":{"time":"+2000-08-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":"Q1578395$C9D2ED84-E646-4883-9A93-791EE031EF5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578395$2253C3AC-F1B5-45FF-91AF-ABFF67CBB608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b1c031765f363139d5ac4ff65699735598e629","datavalue":{"value":"1496837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578395$59691451-FD3D-40D1-901F-1B99AD75337A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e83dee065b0d74dbb93ea17e66ac6425e098ad5","datavalue":{"value":"MAX SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578395$F2DFB05A-8AD0-4E97-9322-DA99CD23BD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec272a6895f1d9efbde6f9c4fc0d133355fbf00","datavalue":{"value":"maximum satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578395$D4284150-8103-42D7-98B0-5F5012E099FD","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":"Q1578395$9922409C-E978-4BA7-BF7E-1F2ED4554A3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"034cbd3a178f6c7924a2cf42048cdb1bb0bf94b5","datavalue":{"value":"https://doi.org/10.1007/s004530010035","type":"string"},"datatype":"url"},"type":"statement","id":"Q1578395$73A8FE04-1F58-4979-855B-888896742A94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6b7d0ba821baad0ddd3ff5577a41645af9240e9","datavalue":{"value":"W2126331452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578395$7E04F247-5B2A-47AE-B25D-6C56F81F9C0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01575e73d984adb59044bc0186fc985a4e22ce99","datavalue":{"value":"10.1007/S004530010035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578395$6E348A83-45A6-498D-ACCA-83F8137C290F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a9801562e5c7bc7b6c88a48c21fcb41b8bf771","datavalue":{"value":{"entity-type":"item","numeric-id":826119,"id":"Q826119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf14fee3c094962506c022699f121d227462307","datavalue":{"value":{"amount":"+0.9929670691490172","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":"Q1578395$CD2DD0EC-F954-4589-82D1-F6F6BC6D29B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e594ce052884f75c999015bb2f323729e835a015","datavalue":{"value":{"entity-type":"item","numeric-id":5313018,"id":"Q5313018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e848cf1750e1333eed671a24628eded35a5955bb","datavalue":{"value":{"amount":"+0.8559717535972595","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":"Q1578395$E334FB2D-22CA-49E1-904E-18611ABF9B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15d820d2802a6d56d2a102938e4ed4dd8b1d64a","datavalue":{"value":{"entity-type":"item","numeric-id":4250183,"id":"Q4250183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97f655be72ad13d34ac7e89ae4d1e6c1a74c4f2","datavalue":{"value":{"amount":"+0.8453193306922913","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":"Q1578395$32EC68A3-79B1-4A62-95C8-423FFDA313EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9a373d0feffdf4b7bfa2b64a5f310201e718c8","datavalue":{"value":{"entity-type":"item","numeric-id":5172744,"id":"Q5172744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cccf6adfc6776420bd17bc0a1aa4a3555eb92c","datavalue":{"value":{"amount":"+0.8428128957748413","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":"Q1578395$FB8FAFB6-7599-4545-8F06-C764663F52AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating satisfiable satisfiability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_satisfiable_satisfiability_problems"}}}}}