{"entities":{"Q5280028":{"pageid":7309603,"ns":120,"title":"Item:Q5280028","lastrevid":52862348,"modified":"2026-01-23T16:16:14Z","type":"item","id":"Q5280028","labels":{"en":{"language":"en","value":"Application of sedimentation algorithm for solving max-sat problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6750335"}},"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":"Q5280028$F5AEB0CD-B4A1-4639-B264-ABBD059CDB63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff1786ac2b33e59d9519eab1db75dba725aa0356","datavalue":{"value":"1458.90548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280028$5102A0F9-9659-4EDE-ACEA-B8A88AD4C38F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5280028$C3D83BE1-E8EE-47D2-821D-327E731155CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280028$B76E1039-1D0F-447E-A95E-334B15467074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280028$5A28FDD8-B840-4AC7-AD53-44DCA5668958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280028$7BCF265C-7813-4C02-8F02-25AFF108E073","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"562450e8e050a988f6cd7ff92c6ebc9255a2fe59","datavalue":{"value":"6750335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280028$BB250301-10BE-4080-8850-AD8262330D68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478cee998dc2c29e6bd5d6473f3c4e6bcf411b80","datavalue":{"value":"sedimentation algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5280028$0545DE17-8E84-4ED8-97BF-E53801388CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5280028$07DA2057-5F63-4333-BF8E-D3B2CE2B324A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a333935da086cb77becd7a5a0c09ca5ece4acc85","datavalue":{"value":"Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5280028$912707EE-A02A-4CD4-A54B-3BC0CDD3A607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0738ac04815d783cab8c1cea2f5f489a4a42ae45","datavalue":{"value":"solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q5280028$FE76B273-5FE6-4C5F-AD8F-C74B9F2FCEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e68f5e21359249d51d9afea4168e8113e65eca8","datavalue":{"value":"combinatorial optimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5280028$8ED79194-B830-4475-BE72-A567A61EA3D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3cddaf3b6370763a7e253277c765eea00679c5","datavalue":{"value":{"entity-type":"item","numeric-id":2293758,"id":"Q2293758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280028$2B13E2E8-DBC3-4663-B23A-6CDB19423A5D","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":"Q5280028$0BF40F2E-A683-4FD5-B730-B98B74C8A398","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab707fe173a83e55df47101ad60fa463c62f08f6","datavalue":{"value":{"entity-type":"item","numeric-id":5687272,"id":"Q5687272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9fb02a8b1f7b68d5a941328363088b32543619","datavalue":{"value":{"amount":"+0.7533087730407715","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":"Q5280028$D40748B5-1D3C-4D5B-AFA6-FE762969BD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc6d353f49eba8e226c70b4551a987d93d023b9","datavalue":{"value":{"entity-type":"item","numeric-id":1367267,"id":"Q1367267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd15a2116200673a587e41096e31f652fdb4e365","datavalue":{"value":{"amount":"+0.7519131302833557","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":"Q5280028$B81BD6B7-5E52-4101-A0BE-B51CC80F549D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7235f33fb46ec77a48b10d850cd2031395fc8394","datavalue":{"value":{"entity-type":"item","numeric-id":5196240,"id":"Q5196240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3241d1489819c768db8bdbfcc687b1dcb53dd08e","datavalue":{"value":{"amount":"+0.7271606922149658","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":"Q5280028$FD1213E4-FF63-44FA-B34A-F9543838ECCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914f5ecb04d0db95abadc5f98de299555be75e24","datavalue":{"value":{"entity-type":"item","numeric-id":2511762,"id":"Q2511762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6775696350d3fb3d77defec12c4e636e5f35ce","datavalue":{"value":{"amount":"+0.7270103693008423","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":"Q5280028$EBBF556A-4B04-4FBF-BFB0-DCA47DF8CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e86275cb310befcc18de5991c3b223f3099a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4840102,"id":"Q4840102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d3c4fce7e42bc125aa740b9a32ed43ee648658","datavalue":{"value":{"amount":"+0.724713146686554","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":"Q5280028$213E1A53-679F-476D-ACFD-592460D32CEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5280028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5280028"}}}}}