{"entities":{"Q826119":{"pageid":827967,"ns":120,"title":"Item:Q826119","lastrevid":64625895,"modified":"2026-04-11T21:09:44Z","type":"item","id":"Q826119","labels":{"en":{"language":"en","value":"Approximating satisfiable satisfiability problems (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7449713"}},"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":"Q826119$187A6985-7CB8-4336-BCB0-1C1F5BF02F8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1960165a3f440d1ba9bb076f8109a233224bf547","datavalue":{"value":{"text":"Approximating satisfiable satisfiability problems (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q826119$F8FBFA41-23FD-4986-B243-C9E7A7838D38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ab60865ed8f7a30280b0273bccdd7298d3057ac","datavalue":{"value":"1477.68539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826119$2C49F5CA-31F6-4104-AA77-F6CDA300591E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03602ff9582ca21b39dc406b59295ad928f25194","datavalue":{"value":"10.1007/3-540-63397-9_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826119$76B4742F-858D-4DF0-839D-193B2E8CB399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1983f394fcb7d4ca5dc4eeb99171e529ab181fb4","datavalue":{"value":{"entity-type":"item","numeric-id":190553,"id":"Q190553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q826119$7BED75DE-8CC6-4157-A3EA-0F57BE344B06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab89d2d50f17f450d659ae9b22b10d627e5aa712","datavalue":{"value":{"time":"+2021-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q826119$6C6F5710-D485-477A-AFF0-00F2261541FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826119$285D6A39-7DF1-4A4F-9A23-E047D3F9A6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826119$966503F2-8C58-410F-8D6B-ADE8A67D2BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826119$D4AE2C03-3285-4F53-BA00-FBD1C675222C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5436a41c2a757fed919eb6c09bf25a445968a1a5","datavalue":{"value":"7449713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826119$F9223654-BE86-4E8E-B9E0-106129B7A396","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q826119$5AD07D4C-2DAE-42E8-8250-4A58EA00D1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0de600cf8191fa1f423fd01c9a02b172072a7391","datavalue":{"value":"approximation algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q826119$A7AA59AD-70D7-4030-BF0D-14FF99B3B97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259a2cafed808c05536b7b20540365e0b4edda5e","datavalue":{"value":"satisfying assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q826119$C9978C41-B488-451B-895F-48DD0C014104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q826119$57193890-4026-498A-9895-36B8E8735341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc60f8b4a637a6c4ef60783748ce8e2612a7ed2a","datavalue":{"value":"unit clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q826119$2B9DE24A-D41B-420B-BA27-0E5DBD5BF235","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":"Q826119$65699C4C-FE83-4EE6-BFE8-604E7B33AA90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51dc6cfe99bb48fb063032934a39fc14fe2b6199","datavalue":{"value":"https://doi.org/10.1007/3-540-63397-9_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q826119$7570FB8D-D399-41BF-BE52-4A3540756765","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e49132c44ea2438a1217cc63a097c3de04a78911","datavalue":{"value":"W2172622297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826119$85DCDE4A-F061-41D6-A904-AAE74D1807A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910c90944a50e1f126224610f0f205ee8986208d","datavalue":{"value":{"entity-type":"item","numeric-id":1578395,"id":"Q1578395"},"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":"Q826119$850AE0D1-25B1-410E-824C-FC16C114BA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd6a3eb14192a452ebbf1efe9668a7bea0814c9","datavalue":{"value":{"entity-type":"item","numeric-id":3652279,"id":"Q3652279"},"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":"Q826119$8A2998B6-F320-458B-8997-2C8A3E8B231F","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":"f2a7ca87b31e75c9566ba88bca6258402ac2c056","datavalue":{"value":{"amount":"+0.8575035333633423","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":"Q826119$730A2DB0-CBDD-4071-B616-8165BBD64F49","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":"3874564e8d008a0739d7dd5f6e9e0aa92328bc20","datavalue":{"value":{"amount":"+0.8415603041648865","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":"Q826119$774585E4-61A7-4F3C-8CAB-81ABCFC2861E","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":"3cb51bdec62bc9397fa024c55c03c95798ba1189","datavalue":{"value":{"amount":"+0.8378543853759766","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":"Q826119$057D92B1-F3AF-4FE7-918F-3780C32D07AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating satisfiable satisfiability problems (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_satisfiable_satisfiability_problems_(extended_abstract)"}}}}}