{"entities":{"Q5756577":{"pageid":7786128,"ns":120,"title":"Item:Q5756577","lastrevid":50157719,"modified":"2026-01-13T07:24:42Z","type":"item","id":"Q5756577","labels":{"en":{"language":"en","value":"A Complete Calculus for Max-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187236"}},"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":"Q5756577$D508C912-889D-408A-959D-E6BED40340DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcd44af03f7179e739da7e0b45c3641109258da4","datavalue":{"value":{"text":"A Complete Calculus for Max-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756577$7637D90E-DE31-4A9A-8736-FFE80C882B09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0040ec726137a45afcf13b56d1e920b7690d9df7","datavalue":{"value":"1124.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756577$879535F2-B2BE-4F41-81C7-A34777C10DEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77898079a8f2fccb1eec7039f2fa2314c2b356a1","datavalue":{"value":"10.1007/11814948_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756577$781953C7-6F3E-4AD3-827C-F7B5A37BEBC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756577$12BF4FB4-3A16-4621-8DB8-B5DD0D88C998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756577$3B62618B-9E1E-4AE8-818E-C26719C0A8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756577$8BF397B2-53F3-4523-A90D-1B481986CEB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756577$FE0879F9-102B-4D09-B2EE-072FCE5066EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756577$603E478A-1C0D-42D4-81BB-8158A648D0E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756577$7C87A5A2-ABB8-48A4-9C25-287A510B00E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756577$7025D163-2CCA-4254-84A7-D55BAC6DBDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756577$25A643A3-2449-482D-A0DD-6C3A000A1223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756577$C787A018-C8D2-45C8-957A-0CBBF951475F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dca5b8a849d3c71007652c06ada9bf05c7866e37","datavalue":{"value":"5187236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756577$F9F7D6B7-A362-4AC5-979B-A8DE2F7CBB79","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":"Q5756577$088F5F23-D71B-4184-8E7F-335DE7C80822","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49fd3ed3f3542a7d5588853ed9482f9a81a7fc29","datavalue":{"value":"https://doi.org/10.1007/11814948_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756577$23C0D00F-DFBD-4641-BD3F-0AB62284600B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43e270beb4709dca465f3e3336751050da33d67a","datavalue":{"value":"W1951141208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756577$1563ECE3-71F5-4839-BDD1-65F74EB3E622","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e7d164f88a9cc2f9c66e32fba1612a2897a181","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cae4339663c2fbec925c9714b2b1e3f28c1bbc","datavalue":{"value":{"amount":"+0.9569605588912964","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":"Q5756577$DD93E99D-1E13-4BDF-BE5F-CC254037C8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b64cef7661e45ef48301978e45203d85ab3409","datavalue":{"value":{"entity-type":"item","numeric-id":4916231,"id":"Q4916231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa12411fc593ed31fb30fad28f5304cc2a75a5d","datavalue":{"value":{"amount":"+0.8341042995452881","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":"Q5756577$A563C9E4-52EC-4048-BCDB-C808E694B091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118268bcb2efb9dcfffebdca687687ef3d23e906","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f2ca9eeeb65cb43b6f8951cc5d045e7ce886f6","datavalue":{"value":{"amount":"+0.8312143683433533","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":"Q5756577$A0CADF44-4C66-420B-9F63-1138F6076F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806658dd27887f5afd7665a0d7e1085365cc49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3044338,"id":"Q3044338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f788555d79421ed6ef071de916f01a664848f06","datavalue":{"value":{"amount":"+0.8289141058921814","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":"Q5756577$AFF02FD6-FB2B-4AC0-AB29-C9337AC7E7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6d2df80563fa92976ace146e641f9bedd43eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1878397,"id":"Q1878397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f375cfd44a75b8824c8e202af67a40ff77aa810b","datavalue":{"value":{"amount":"+0.8260826468467712","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":"Q5756577$157CB7AC-7D2D-418D-9EB1-B04FB0BA84BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756577"}}}}}