{"entities":{"Q6572045":{"pageid":14183200,"ns":120,"title":"Item:Q6572045","lastrevid":42356127,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572045","labels":{"en":{"language":"en","value":"A new exact solver for (Weighted) Max\\#SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880749"}},"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":"Q6572045$799E4214-9F79-4480-BFD8-6621661C301D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d999d7c5c78ff15056a3dd249c5bed5e34d7e856","datavalue":{"value":{"text":"A new exact solver for (Weighted) Max\\#SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572045$208B7DBD-E092-4DB7-B2F6-7D5935CF1872","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac138f1d844429ce6110bd110935b4f4685ff8ac","datavalue":{"value":{"entity-type":"item","numeric-id":861701,"id":"Q861701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572045$93207C6D-1D4E-42A1-AF3D-0ECFA7CD012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f335e0753e4bcae4c0a643b4d38d7559ab0411b7","datavalue":{"value":{"entity-type":"item","numeric-id":903911,"id":"Q903911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572045$443E5713-33B7-4C53-A1B7-755F40050E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9304a19af32faa0fe074ecf0ab871ac070bc1a1b","datavalue":{"value":{"entity-type":"item","numeric-id":6572044,"id":"Q6572044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572045$522BEF58-C4F3-4A54-903E-7EAD924C48A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4665cf21e28c8d8d6d68e1278341997f9619a61e","datavalue":{"value":{"time":"+2024-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572045$D7FCC299-4D47-4871-B5B1-08476DA742E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572045$ADFD5FAE-3153-422F-AB46-B730EC2E5627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572045$8BA428BA-88DC-41F3-A11E-A701680F6E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572045$F1896753-BE82-4364-BC3B-B81C4F2E6BF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd13152765b09a2c0b17c2bd6a32b4a179276366","datavalue":{"value":"7880749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572045$E2DCD5D8-7038-4141-917F-FEBCDB62EB07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f25bd200239463675516264f7ac675e8f78a2b7","datavalue":{"value":"Max\\#SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572045$70A90973-B259-4670-AAFA-B615E810A4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96e045d4daa14dfe81deb5a4e349b140485e60bc","datavalue":{"value":"emaj-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572045$379C9C1B-2646-419C-9710-9DD1523662A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201576f40c198eff0dd149de5900255da417a88b","datavalue":{"value":"weighted projected model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572045$3BFF8068-8EB7-4919-9D32-633F6C842117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07031fe7e4aa4aef0e07f3270da1da18a2bbf0d9","datavalue":{"value":"SSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572045$B90E45CF-1BA3-4C7C-9B11-7506292653BC","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":"Q6572045$56EB4397-91E0-4138-82A2-490822EE2D2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85a18e5e25c063eb2e2e66a480a0085eddc8a525","datavalue":{"value":"10.4230/LIPICS.SAT.2022.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572045$EC8798C0-6917-41F0-9B78-A774E9420A8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572045"}}}}}