{"entities":{"Q3453234":{"pageid":5232634,"ns":120,"title":"Item:Q3453234","lastrevid":52400456,"modified":"2026-01-22T13:46:01Z","type":"item","id":"Q3453234","labels":{"en":{"language":"en","value":"Volt: a lazy grounding framework for solving very large MaxSAT instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512581"}},"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":"Q3453234$1743E872-66F8-4729-BB0E-088350CFCDAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b470491567dc9a3c8e73417d8610de2e8ab473ad","datavalue":{"value":{"text":"Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453234$48E68EAA-D9E3-4591-AB05-FA88E0EF3E61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25f85cdf04e5673f8fe290526b562340a653e41d","datavalue":{"value":"1471.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453234$FF0D815D-310C-4F40-AC53-40365BC81E22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bab059d378f0b2ac263bf8cb23de63f4ccdff55b","datavalue":{"value":"10.1007/978-3-319-24318-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453234$E22EB779-EBB8-4A12-8AE7-5362CAA63B12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79a46f1159ff943e51238aba52d294bd7fc649","datavalue":{"value":{"entity-type":"item","numeric-id":2233538,"id":"Q2233538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$27D5DC6B-9BE1-41D5-B995-D7364EBD6E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e72739848bf2a34f3a525b4f8029053d219b733","datavalue":{"value":{"entity-type":"item","numeric-id":265378,"id":"Q265378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$3DFF8219-CE9E-4938-8891-3BDA8F01E7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"404c35f5e22cfb67984e81e72f05be65541ec9cd","datavalue":{"value":{"entity-type":"item","numeric-id":765511,"id":"Q765511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$EE1D8F12-1E14-4A83-8D38-DAFC7D2CB190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0cbdb982e68877c7866a261809ea46914b284b5","datavalue":{"value":{"entity-type":"item","numeric-id":2151234,"id":"Q2151234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$E4EA705C-FD85-4DF3-8DCD-7098F9A13D47","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":"Q3453234$6E84253E-27B5-4A29-8E51-99308EE5D9F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453234$9B85A07D-AEAD-4EC9-8BEA-4AE3CC2491D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453234$4CEDE822-9250-4C44-B94D-BD53323A97AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e739be4d0710d243842744a3957e9bfca6528c8","datavalue":{"value":"6512581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453234$BD3B52BD-4320-4A19-A484-49346CB5E48D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38a2962392006d5956ee462338d0910e24e1e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":31024,"id":"Q31024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$5015D724-E1BA-48E0-BE72-2C611FD58887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"495bbb2cdf1ccc0b759095cf4242510e92d4756f","datavalue":{"value":{"entity-type":"item","numeric-id":37198,"id":"Q37198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$4A5680CB-98EF-41FC-9D6D-23C2A1356AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d329194b8fea67c0c01c7006dda0e4b714d56f43","datavalue":{"value":{"entity-type":"item","numeric-id":40615,"id":"Q40615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$36E527A1-BEA2-45DC-A61D-3E07EB8EA8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"388d836d357bb0034b9bb326b6b7e7eef4c0b0dd","datavalue":{"value":{"entity-type":"item","numeric-id":46760,"id":"Q46760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$2EBF5437-2561-45CF-B707-4A0860DF40C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0a4de35a39860c900019be657f53241dbec2ea1","datavalue":{"value":{"entity-type":"item","numeric-id":19266,"id":"Q19266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$D4DC4710-D126-4BEA-B157-918874BAFCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f16e941c4359fd92250445032ac5372013898021","datavalue":{"value":{"entity-type":"item","numeric-id":27912,"id":"Q27912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$7166E827-BA13-46C8-A49E-46BB5D79B4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e558e78bf7ae5246d1675f3a0fe05cd8c96cb94","datavalue":{"value":{"entity-type":"item","numeric-id":51751,"id":"Q51751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$828F8A2D-DC68-44B1-B819-5C1CAB54611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a77065fb5b3949d0a6963ef0f140900afd8e004","datavalue":{"value":{"entity-type":"item","numeric-id":32998,"id":"Q32998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$7E805D2E-4DF8-47F2-A179-23BE50C522AD","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":"Q3453234$58EF69D6-4B0F-4A5D-A7C0-8B39733B300D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"722b58a203bbdc9a8822527b474b58d6da6f5fbf","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453234$B31B3986-13D3-4070-85E9-E0D9D917C066","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b54c2fd4a9feb2211cfef8fa29b4d059ebb03b19","datavalue":{"value":"W2284951589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453234$D85F7FEA-69F6-4A54-B55D-D11EAAEFA0CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$78490B87-793A-4165-9A55-4C878D23CD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$7E9213E9-82FF-42DC-864F-A85914A9F05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56eb7553d40e29ba20c401fa27988e78d6fbe80","datavalue":{"value":{"entity-type":"item","numeric-id":2982183,"id":"Q2982183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$46BD4468-BA06-4598-9331-6E51B3EB2C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c337d12d1fce2d6f32267753653c9887252cb69b","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453234$CE618697-F969-4CFA-BD7F-E88261A098A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1cc9d2da727579ffda552bbfe4c5cdadc76493","datavalue":{"value":{"entity-type":"item","numeric-id":2151235,"id":"Q2151235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce20adb8a85c499be2ec4f562b6e55a1c768c3e","datavalue":{"value":{"amount":"+0.7271021008491516","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":"Q3453234$883104F3-93D0-4140-ABEC-7F11FB88C99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7385fe6d7cf1e95d81c9779e41148f51b625018a","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950f149be83c23c57f22d3ab8ebebfb48519921a","datavalue":{"value":{"amount":"+0.7043883800506592","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":"Q3453234$B307FFBA-30DF-4B0C-A92D-06FAE08BA2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc96a02bcf28ccc814613063c61e6ad958df42be","datavalue":{"value":{"entity-type":"item","numeric-id":5326459,"id":"Q5326459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8618607d0e4e984b9cff34b612148ba9a0e3b384","datavalue":{"value":{"amount":"+0.6989114880561829","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":"Q3453234$E7DBB61D-2490-481E-8BE3-80881D48727C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b763b5d158366edc25f3bba7b28c9c5e383089a9","datavalue":{"value":{"entity-type":"item","numeric-id":2326738,"id":"Q2326738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca231df8e32d4853509d763e967b730674a9339d","datavalue":{"value":{"amount":"+0.6985693573951721","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":"Q3453234$73F6FFD6-77C2-4569-90DD-7049789AD04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084749d0a6826dbbf256f652e959344d3aad6a","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8896c9562ea5ff65e344db57a192352b6c7a6d1c","datavalue":{"value":{"amount":"+0.6965079307556152","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":"Q3453234$74C181ED-DBD4-469C-B522-4122A060DE30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453234","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453234"}}}}}