{"entities":{"Q6643077":{"pageid":14254232,"ns":120,"title":"Item:Q6643077","lastrevid":42400394,"modified":"2025-06-15T00:12:21Z","type":"item","id":"Q6643077","labels":{"en":{"language":"en","value":"Polynomial calculus for MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7949178"}},"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":"Q6643077$9F7150A5-E279-41EA-9755-69504F446E06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a46ae0b59993e2c57dd2f0236ac8d719bb0bd7a","datavalue":{"value":{"text":"Polynomial calculus for MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6643077$57FA997B-F765-48D5-9DCD-149986F46A04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4483c3e80efc299db09cfe4d4ac647d53c35cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":894451,"id":"Q894451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643077$3E4E8793-6019-4C4C-BC21-E07755948B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643077$64519149-7912-474B-9CE5-42754367D345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643077$4FC32FB5-71C6-4B1D-94DC-CE805BC63AAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1403ced2efacb118ecfb16a875f7c27f30cf0dc","datavalue":{"value":{"time":"+2024-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6643077$9EE873DF-B9BD-4983-8AAE-D6114E65A447","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643077$A2D0D06F-4511-4103-B5CA-99EC82D4C695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643077$2FB5279D-DE77-409E-A5C9-3691B5ADF4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643077$979F8D67-2E31-445E-BB14-F0CDDCEF146B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ee7d79ac64f8e8cc1b987a38e22e7d5209c7b4b","datavalue":{"value":"7949178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643077$094A319A-5C56-4D27-9B8B-0B8D9B0EA01A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6643077$EBB98049-F71C-48C4-A6DE-C9816E304E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6643077$E9DF7770-D1DF-4039-AB1A-E2973F4C8E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6643077$87BE14FD-B4FF-4862-BAA9-5ABAFD568FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305d8dd6a47cae6e11744bc18d6562c5e2c93e59","datavalue":{"value":"algebraic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6643077$49F8A273-5B35-49F9-AFD7-24FB93785FCA","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":"Q6643077$0C5F02E9-AECD-4AFF-8EA2-AD00FFCD3D93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a89e2a6ba00510099910645a924117cb01721ec0","datavalue":{"value":"10.4230/LIPICS.SAT.2023.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643077$9907826D-E6A8-4C80-92AA-E163714A6D34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6643077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6643077"}}}}}