{"entities":{"Q920845":{"pageid":922693,"ns":120,"title":"Item:Q920845","lastrevid":65396817,"modified":"2026-04-12T02:18:46Z","type":"item","id":"Q920845","labels":{"en":{"language":"en","value":"Probabilistic bounds and algorithms for the maximum satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164552"}},"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":"Q920845$A45853EC-0CFE-4AFD-A5B2-78D01C9269D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa68b307c785541bb1ccc97f11de400e529ddce9","datavalue":{"value":{"text":"Probabilistic bounds and algorithms for the maximum satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920845$0714F875-13D3-4DD0-A0D0-5CBF892AE819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9508b29cbf940a78914091834891886d973dc2b0","datavalue":{"value":"0708.90058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920845$7DA94513-57F3-4945-A7F6-67DC0F2F19B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9616e4b13fa2b2bbafec95be17ac8a92af2bb96b","datavalue":{"value":"10.1007/BF02022095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920845$515A79EB-0762-41B0-860D-1D31B5DFF443","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1948172daa46442222e070757b29802cb238c10d","datavalue":{"value":{"entity-type":"item","numeric-id":226794,"id":"Q226794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$55E8B737-E319-4A64-8A1D-FD813CFD7786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c52313155e611207c85958a4921f733bb989ff","datavalue":{"value":{"entity-type":"item","numeric-id":163013,"id":"Q163013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$10405D3C-A66F-47EC-B13B-C40BE898947B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$2630A413-2FB3-40E4-8E2B-6C2DF8128D97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q920845$E4D717E2-5DA4-4133-8479-D3E07052F4C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920845$966A25EC-9D7C-430B-8F34-D8AF33F54599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920845$D231CDBD-4560-4C8A-83A0-0851D7D4982B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d550400b67148ac150a943881fbd05e682ea56f5","datavalue":{"value":"90-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920845$CB92C424-D1C9-456D-8DAA-82597D36A7F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57cba41ecd47deb9fcdd89f2cba3efafcb5ce2d","datavalue":{"value":"4164552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920845$D6E9D2F6-81BD-4CC6-9374-196F23D293B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec272a6895f1d9efbde6f9c4fc0d133355fbf00","datavalue":{"value":"maximum satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q920845$9B9564EB-F6F2-45A9-B492-AA4EDB2A0750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99ea8f122e895df60aca776aaa2082c6c486709a","datavalue":{"value":"probabilistic bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q920845$571BC6C9-5EAF-41D9-94AE-15C4EA9077E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f641bd239fe6f0d5fb2cc0d2b3f89cbc609bab87","datavalue":{"value":"heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920845$7B42262A-DF7B-4739-8A2B-A5CBB948F823","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":"Q920845$1BD854DF-02C7-4987-9AE4-B5074694B10A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$DFDCB921-4DBA-4E1B-BB27-6460A00E673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$17F3EBB2-8C39-440E-94C0-EEE2B2D2454B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed01289fba4c58d6fbfe9f6bab355579bc044bf4","datavalue":{"value":{"entity-type":"item","numeric-id":794925,"id":"Q794925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$5D333C16-2D53-44C7-80F8-0EE6BFA65089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$DAD8EBB1-78D6-4AAB-9461-810A01579526","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":"Q920845$F65ADBB5-F8F1-4818-BDCE-9A2F77159451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$6EEA8B50-1DB5-40B2-A995-8EFC90AB0248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$B9BF2341-DBD8-4BC3-BFC8-7C3990DD471A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52185b8cbf4d2c50549284d2c33c74889abf1d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3827800,"id":"Q3827800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$17F19DA6-873A-466E-949E-CF561F3AA8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$41CFD2B7-21A1-4315-9C40-B76881AE8752","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":"Q920845$5208E532-F70D-447A-9855-9229B0BD8BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c9b261b79882661741dd01add5c380b8a4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":787685,"id":"Q787685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$5FBE8981-7158-4CDF-8792-AA5218720330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e239dce14973bc963cb9871e26501ddc153e9","datavalue":{"value":{"entity-type":"item","numeric-id":3693267,"id":"Q3693267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$97068D7F-C0CA-4310-AD12-E505575C88E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ec5477ed81b4bd9beebf6ad8b16c4546d8f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":5538300,"id":"Q5538300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$0C447FD4-9474-45D4-8DDB-C99997FCB3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$9B4614D3-26A7-4FC6-AC13-F03DA5908F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d9c51a56730bb3dd6bd0db50d4112f0afc06f","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$CEF798B9-1603-4524-BF76-714E0895442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849fcac2d74c4bf4586d691a409b6fe18af7b51e","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$41B3DF24-CE34-4B76-9BC7-1DFEB9EAD178","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":"Q920845$1825A60C-63CC-4730-9EED-DBE4A31F6EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c63d6edc74d893b92d7faea063f92a4a2398d82","datavalue":{"value":{"entity-type":"item","numeric-id":5535148,"id":"Q5535148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$FDF157E7-1F08-48B8-9EBB-4AF8781CCC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b937cff77f3008ec75c747bc39da74a24ad81205","datavalue":{"value":{"entity-type":"item","numeric-id":3906440,"id":"Q3906440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$D3169E5F-F04D-4AA0-823D-699084E2BE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e102855d78129e98165e69c7b981008f149840c","datavalue":{"value":{"entity-type":"item","numeric-id":3956421,"id":"Q3956421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$A8EE044E-112E-4771-BAD6-0C52CE1E99A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc9afe9f6377e82be989526d04e8a4fd443ec08","datavalue":{"value":{"entity-type":"item","numeric-id":3770279,"id":"Q3770279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$AA969E84-2A5C-4245-842D-B9F22505F6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2b2fc3865351442b1d514645bbe5b64835824b","datavalue":{"value":{"entity-type":"item","numeric-id":3784915,"id":"Q3784915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920845$5C3DE411-2E6E-4171-8B00-F6EA7AA099B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a6fcdbe59d6e1ee0f96c152bb2c22aa0866fd1","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e480256696c951fe778885c0e60e5bd8312da92","datavalue":{"value":{"amount":"+0.8485282063484192","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":"Q920845$A36A801B-21F7-41D0-80EE-136B1B5DD140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42ea9bbbad13542a7629f308cd307f7232bf7c1","datavalue":{"value":{"amount":"+0.840911328792572","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":"Q920845$E44A2BC1-C764-4677-8FF8-7CA9DD054176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815e183fa1b318fbb1e5688b24a2c02c973ef8d1","datavalue":{"value":{"entity-type":"item","numeric-id":4317711,"id":"Q4317711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d51a5d3eff712130bf20e72225b834be0f1e10","datavalue":{"value":{"amount":"+0.8381955027580261","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":"Q920845$530BF5F2-037B-4CC0-9281-F29B59C81BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5b4347d711ac59d6b334b7fc872e5974d956a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f45a83f7a03feb56ac1ae83c5ff378550693fd2","datavalue":{"value":{"amount":"+0.8378903865814209","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":"Q920845$AD88196A-A0DB-4BB9-8BBB-00C938C038FC","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":"60b0cc29baf2667e9a3816143782f756076c0d54","datavalue":{"value":{"amount":"+0.8318870663642883","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":"Q920845$5E3D0043-4260-44C7-A88A-D974898928B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic bounds and algorithms for the maximum satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_bounds_and_algorithms_for_the_maximum_satisfiability_problem"}}}}}