{"entities":{"Q2118341":{"pageid":2129084,"ns":120,"title":"Item:Q2118341","lastrevid":43521122,"modified":"2025-07-30T13:45:52Z","type":"item","id":"Q2118341","labels":{"en":{"language":"en","value":"A proof builder for Max-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495593"}},"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":"Q2118341$7A9B556D-7904-43DA-BAC1-4D65C3E2422A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa30c5297bdb8557a75c98164cf6526619625885","datavalue":{"value":{"text":"A proof builder for Max-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118341$C62CE318-E230-4522-95A3-889E99E8405F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a011afebc5c66148ab3c21b12b40b614c726b77f","datavalue":{"value":"10.1007/978-3-030-80223-3_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118341$EBAB95B6-76B3-42FC-BAA0-399A6D1623FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adbd1510dba1b606576f63f37f7fc5b6e874c3d9","datavalue":{"value":{"entity-type":"item","numeric-id":2118340,"id":"Q2118340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$7F564F3A-18FB-4CDB-94CA-2F1C15BBF04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49db1840beea6dcb98820f7372dab20e7b5477ed","datavalue":{"value":{"entity-type":"item","numeric-id":2046031,"id":"Q2046031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$3F4EE6AE-4352-4C1E-89AF-5FF3336CD409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ccc05b23bfc212caa68b8435f9800b2405d76f","datavalue":{"value":{"entity-type":"item","numeric-id":513322,"id":"Q513322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$455F551D-71F9-413A-8599-E0F6E75E55D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118341$F4636955-D171-4502-A19C-0C7A8D7854AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118341$F57D8C74-AD2C-46E6-A38C-19D39D9AE0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118341$26791D48-D9C1-4D9B-8961-658FE249C27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118341$A7D7568F-CA20-4206-8AB5-C1005EA32106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9373f8b71e0bee76a0dc0334099d10ef2ca913e5","datavalue":{"value":"7495593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118341$D4FFBA32-1F9C-4618-945D-3A76B3AD2B74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81747122434a537e135a6198ad2521b4599b509b","datavalue":{"value":"max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118341$95B8ABC8-7338-479B-9C08-88837754D728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118341$433FD20A-02BF-4E5B-91CB-045285D3573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"807b4275197a016256229a533eded35c6a70c1dd","datavalue":{"value":"max-SAT resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118341$0F83F733-1A98-4623-BA69-C30DE473195F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$2B116179-4374-4C96-96B0-01961C025D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb8a1c7c11aacf79d69617dce3c80e762b5d2761","datavalue":{"value":{"entity-type":"item","numeric-id":41081,"id":"Q41081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$A65871E1-6EC3-408D-A40A-0E41E18DA50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e24672fd2b7383bea2d8e146b0851e7ba67dce1d","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$BB2E4424-5E9D-40A9-B5C7-A5846AB0552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$C1F175DF-D243-4EAA-8E3E-A8A2BD367CE2","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":"Q2118341$B9FA90B4-2703-4EFC-BFC0-CE0C859ECAA1","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":"Q2118341$9451B33C-FF22-4222-807C-0E0432810245","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50110a575cfdb9e7bcfd977dcc6664e23b03b658","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118341$0F988C3F-426F-4B25-B832-A8E4251280C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acd5e24a127af7c812553f0af08cf246be70c496","datavalue":{"value":"W3185606021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118341$0116F349-0327-4FD8-973F-64C2CD74C863","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c70cc4e5bc26eac8a2490ccbdc823404bf7e60","datavalue":{"value":{"entity-type":"item","numeric-id":5015596,"id":"Q5015596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$AED40EFA-1584-49E0-B385-EC644ED211AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fced662d092146739767f429e22d65ae5d6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5015603,"id":"Q5015603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$72350394-6E95-4E85-BB1F-DBBC003640AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1becd1d99caaab1d324b3ade4ad1a38c60aa68c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$3A5D53B0-4C6B-4BA7-901A-F88030BFBF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25cd1afd6809f2236d203cad789f950bef0e99a8","datavalue":{"value":{"entity-type":"item","numeric-id":558312,"id":"Q558312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$26237CCD-339C-4692-9B32-85303FEB6393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$56276ADE-2D57-4B2D-87AF-6289530241B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e2f087aaf49f7fd67c6e79e5747bed7a3ffc20","datavalue":{"value":{"entity-type":"item","numeric-id":2661345,"id":"Q2661345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$A07CC7A1-C535-4A37-B7AD-4320471BEEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0486d6e559bc9c2b47df730ec87f1cbc69b5e2b","datavalue":{"value":{"entity-type":"item","numeric-id":5756577,"id":"Q5756577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$2F294E46-FE90-4D23-B3AC-C5D0390E2E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195e255bdeaf4bf846130abcc4540de6bcf13af0","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$4BE136F0-72A2-48E8-ABE0-10B521437A66","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":"Q2118341$6C9FE6D9-8EEF-43AA-8238-954F41D68469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1ad64f2d3cf4197ea76151368a62e96b0c8754","datavalue":{"value":{"entity-type":"item","numeric-id":3181650,"id":"Q3181650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$8AB71E6A-8995-4D41-9F6F-A2903AD0B9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1525b7f67f4018cf4fd19de33dde843ec62771f6","datavalue":{"value":{"entity-type":"item","numeric-id":4937847,"id":"Q4937847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$47855268-CCD9-452D-92C8-8C9309182FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc77cfa9c1b3e7984bfb9903c5906469bb7f0445","datavalue":{"value":{"entity-type":"item","numeric-id":3524230,"id":"Q3524230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$8A39A063-B5E8-4ED1-84A3-C9C50C335407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deea660d10fd4b86a2a9ccda6c2d772a49be68cd","datavalue":{"value":{"entity-type":"item","numeric-id":2661348,"id":"Q2661348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$9F6F9032-CA70-438B-84F4-AAFECF1E7360","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":"Q2118341$AE9981D2-63CB-47FB-83E6-ED030B5EE2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08067296a778be982332271922f05534568e2cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5600875,"id":"Q5600875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$A84318A0-4488-4C5F-9783-3D2EA2D8832E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$7981702E-CA14-4265-8D38-54A9A2A4494F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$18E1A2E8-5303-4418-BE5D-05469A8A6F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$BDE839EB-A59D-428B-93EE-3D06B186589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509c8c073466afc7f6722bfaf6f12fb08af4e849","datavalue":{"value":{"entity-type":"item","numeric-id":2999857,"id":"Q2999857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118341$707B104F-EB4B-4403-B726-89A70D84DC49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118341"}}}}}