{"entities":{"Q5283008":{"pageid":7312582,"ns":120,"title":"Item:Q5283008","lastrevid":52858436,"modified":"2026-01-23T16:03:58Z","type":"item","id":"Q5283008","labels":{"en":{"language":"en","value":"Progression in maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747932"}},"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":"Q5283008$D3E27399-4495-452E-AA94-21FECBCAA36F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9376244eee5c080d94b271549c985b1144ab9a9","datavalue":{"value":"1366.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283008$A1F6922C-9B1B-4CA9-90F8-007C9DD2C06B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283008$7E11593B-12EB-4589-9530-A2B3EA2B96BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f98f77118ea7c1ca4efe7089e0d480e5cd16947","datavalue":{"value":{"entity-type":"item","numeric-id":1656600,"id":"Q1656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283008$922E33D4-300B-48E0-943C-C019D5557F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283008$D2872492-DD52-48F2-8C56-73B1C3B932F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a728a400be38b20d56d906a115846d8ae94fc384","datavalue":{"value":{"entity-type":"item","numeric-id":1430294,"id":"Q1430294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283008$910F242A-7280-4352-A357-D6EBF9AB1DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283008$99177A53-ADF5-4431-9930-3130067F8623","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283008$2462181C-4148-499F-8367-3B8D02C3FB44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75c77ce7d454a26cbf7873c6436f913ecd788c05","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/36982","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283008$5FEE47A5-A7F3-469E-A182-F3B4C4ECFC62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283008$C38C8D48-161A-445E-B4BF-D95E55AFCCD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08ff655f3c31da9d203e68e39e50408299f81d5e","datavalue":{"value":"6747932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283008$6FA60D6E-A167-4C5B-8A4D-7FD26CCA0A3B","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":"Q5283008$F72BCC8F-EF8B-429E-AA0C-232928FA7239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94851d8563ba275202b8910bc97ac866bde4824","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d494619ab42abef57ece99be737ad68b0c60496","datavalue":{"value":{"amount":"+0.86696857213974","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":"Q5283008$81169CD4-0666-455F-9108-80C16EA0403E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9921438c2a07bb80e04ae819c1b06940513e50f1","datavalue":{"value":{"entity-type":"item","numeric-id":2843334,"id":"Q2843334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3c7eac276316d9ee815f9d5c1930441657b6a8","datavalue":{"value":{"amount":"+0.8159316182136536","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":"Q5283008$80E3241F-0F3C-4D3F-88F7-C55A1992B470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d9e4774b7e1934b5f5fc21702e6649798cef0c","datavalue":{"value":{"entity-type":"item","numeric-id":3637181,"id":"Q3637181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63e6525e017f0ddc111bc6878c705d16b33bc73","datavalue":{"value":{"amount":"+0.7855860590934753","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":"Q5283008$27890CB2-746A-4749-B36F-DE497E7FCB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944677192979990d1e36614027371852ce6358f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4003eefeda6f318a5b32509e04797ac6632563e9","datavalue":{"value":{"amount":"+0.7831399440765381","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":"Q5283008$9C774ED2-DA64-470E-91E4-2025F25FCEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4601125705a4d0f52b78cb9ee4c303f22e04b582","datavalue":{"value":{"entity-type":"item","numeric-id":5015594,"id":"Q5015594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce37adcc302b7cf801af2a1a3e7b7b199d61280","datavalue":{"value":{"amount":"+0.7822898626327515","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":"Q5283008$507FA43B-B133-4BC0-80A4-A7AAE66BECE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283008"}}}}}