{"entities":{"Q3523061":{"pageid":5552965,"ns":120,"title":"Item:Q3523061","lastrevid":50441501,"modified":"2026-01-14T01:43:45Z","type":"item","id":"Q3523061","labels":{"en":{"language":"en","value":"On Inconsistent Clause-Subsets for Max-SAT Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318818"}},"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":"Q3523061$4FB567F0-0F0C-4E1C-BCB6-41682637748E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa9ef1bf95d543a2537000012f72f8d39553ba0e","datavalue":{"value":{"text":"On Inconsistent Clause-Subsets for Max-SAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523061$326F3ED0-20B3-4057-AE17-1989FD6372EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84a76546cbc4adac96c3fc0e21f33d0e44e1230a","datavalue":{"value":"1145.68509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523061$B45B362D-A294-4428-AC3A-C27AA1063BAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b8c4878fecbba12d91d36e7b028543e55ce069d","datavalue":{"value":"10.1007/978-3-540-74970-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523061$076F7220-A483-47F6-9077-BFF37E5789C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"933eb333a4a50822c4be871741cee25575e4c921","datavalue":{"value":{"entity-type":"item","numeric-id":3523059,"id":"Q3523059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$D14DE6D3-AD9F-4631-A2C4-504C2ADE2FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f1be76b563c76fdf8a95ee73e12e352dfe04eb3","datavalue":{"value":{"entity-type":"item","numeric-id":839498,"id":"Q839498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$50D34333-A94D-4C81-B0A8-30860752BAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"896b0701562a979b8f68d9a69ce673b17a6c1af7","datavalue":{"value":{"entity-type":"item","numeric-id":3523060,"id":"Q3523060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$EEB7DE1F-7DCB-44D2-92E9-4A0063E288A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$C8536EE9-1358-4CEF-8730-191B6368056A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d10184504a8a81c59a001c44aabc72e7fe376890","datavalue":{"value":{"entity-type":"item","numeric-id":3523053,"id":"Q3523053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$DB84B90D-94E0-4700-B492-27780745486C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523061$23E97F49-BDCC-454A-BCE3-2181578A4F0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523061$B0290FEF-516E-425E-BB68-9B78A12B5AAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac5c6cbfc325713d6b56cdf6edda44ba6cd63f06","datavalue":{"value":"5318818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523061$9B0BB969-3500-428E-B430-D7145E7B14A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a333935da086cb77becd7a5a0c09ca5ece4acc85","datavalue":{"value":"Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523061$90690EFC-3886-44C8-89C8-4425E20A804C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55fd841e56aa22d3b4f3d5a7e5817ed86272bf5f","datavalue":{"value":"unit propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523061$983A5EF5-89E8-414D-973B-C0E5825AB03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5420293892f17ec55a5d42ff698c53783baefb4","datavalue":{"value":"inconsistent subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523061$2F970F1D-C2C9-4E4F-8E81-D4B1358F6E31","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":"Q3523061$93FB1C71-E1DA-4AAD-98C8-D2F14E46CEA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d4720831eae3f5d3d0d11e685bf8d848f2b14d3","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74970-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523061$8D9718CF-2B35-4D7C-A5D4-DAAA45813D01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"077d467777229250e221a38e1c45419b9e9ce654","datavalue":{"value":"W1509398350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523061$9FBB8864-BB43-447D-A380-D9A5EE5B31C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2aff134d07b2d206208cbcabffc472b5ece1024","datavalue":{"value":{"entity-type":"item","numeric-id":2755057,"id":"Q2755057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$F85A9D72-78CC-41F5-A055-F6FD51E37BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6aaa89ed985707f250206a8821c212cd2e6e5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$20FD62DC-9907-4F64-8EEB-6E758CEA2A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee9603877ee270ab2f53b2de882181d8007df72","datavalue":{"value":{"entity-type":"item","numeric-id":2506238,"id":"Q2506238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$B7393DF0-94AF-4351-9536-6C9E997FBC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96b4c5384a2aa0d3275972f212ec4ca1824440f","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$C4978A70-B028-4B71-B1F2-1542E14425B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443cd473ebce78c7ad31f34ee6d5d983cef28bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3524192,"id":"Q3524192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$BBF29D96-5BA7-43E7-98C8-CE1FFA571AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f914b3b2e5ce6f47adfd6df08658cc31687545","datavalue":{"value":{"entity-type":"item","numeric-id":5687275,"id":"Q5687275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$F5E96E3B-FCEF-492B-BE10-FDDC1879E7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6533edcc640b8a246d46fb866a5108c5e27557","datavalue":{"value":{"entity-type":"item","numeric-id":1277774,"id":"Q1277774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$DF306085-1597-40E1-85E0-8E6CB24BA3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd5ea09f62833227a24f79b59dd689805476109","datavalue":{"value":{"entity-type":"item","numeric-id":5897208,"id":"Q5897208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$CED4B4DE-8313-48D4-A73E-43C51D525DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a2828087f78007f73cfacbaff90bfd2fa5160e","datavalue":{"value":{"entity-type":"item","numeric-id":5713725,"id":"Q5713725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$83502CA2-952F-49EC-9A5B-6FFE3A0C4B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778898c032a610b169057aea411be0938160a652","datavalue":{"value":{"entity-type":"item","numeric-id":4938415,"id":"Q4938415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$FF1EE846-7266-4B84-93DC-69EDA70D3206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adeb29a3573574ba548f8517de3f6ea3da4d2bc","datavalue":{"value":{"entity-type":"item","numeric-id":5714742,"id":"Q5714742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$EBA3CFB5-B993-4071-BEF3-FAF0CE4E0C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ad8099832c95b5ebc0d6b00c40fc279ddf9d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2506236,"id":"Q2506236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523061$0C4725CD-E521-4EB0-9506-83997D09376A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c526ce332ca4cdb81e3ee9f9a097b27647501976","datavalue":{"value":{"entity-type":"item","numeric-id":5015596,"id":"Q5015596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18be58dfa9b4582065758b4a20bd356de49f90c4","datavalue":{"value":{"amount":"+0.8174710273742676","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":"Q3523061$F3E7607C-588E-4E42-BCAE-73554D78DB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8309502e54e970688f066cc50c761a383407f8","datavalue":{"value":{"entity-type":"item","numeric-id":606913,"id":"Q606913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a93e82dfa169807817967f09018a185d836cb52","datavalue":{"value":{"amount":"+0.7761183381080627","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":"Q3523061$B998DA34-8395-4C18-86AD-68BE95EB35A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab102f2031685dd863a75c62a169b22acadfc07","datavalue":{"value":{"entity-type":"item","numeric-id":3524192,"id":"Q3524192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb4186182beff2c4e54d45431a3ff755dc55f0c","datavalue":{"value":{"amount":"+0.7678890824317932","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":"Q3523061$8E9F5237-A567-487B-A5B6-F3D077DC766B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ce69955151ccd2dc72b95ba5d28c51a4dc97ca","datavalue":{"value":{"entity-type":"item","numeric-id":3637180,"id":"Q3637180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30bc6d61b8db9a95859e7a242a9f5b5ee7d54c1","datavalue":{"value":{"amount":"+0.7656702399253845","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":"Q3523061$5F16D28F-A505-4631-BF6F-5B1A582BF3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01765a17b3c335ebb6ef04e7052dbb7cb50e2d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2046032,"id":"Q2046032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc57c9a198767ae49f4db4b7dc722e98c8160d2","datavalue":{"value":{"amount":"+0.7606690526008606","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":"Q3523061$82D2648B-EC4A-445E-B573-797EF29D1298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523061"}}}}}