{"entities":{"Q6879523":{"pageid":20773696,"ns":120,"title":"Item:Q6879523","lastrevid":84216194,"modified":"2026-05-13T17:11:22Z","type":"item","id":"Q6879523","labels":{"en":{"language":"en","value":"On the counting version of the maximum 2-satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8140580"}},"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":"Q6879523$9D9D19EE-A524-4E50-BD5F-2C0D20131585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b8b53e96151cc09c0499f5fe0d35f6d8683fa80","datavalue":{"value":{"text":"On the counting version of the maximum 2-satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6879523$EEC37379-3E19-4AED-8931-572867143DB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e1a2401ebd3b7d08eb3c9dab3a4133fd9fbcf9b","datavalue":{"value":"10.1134/S0001434625605039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879523$C1A59A07-26E9-40B2-8A36-3021B07CEE1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c96843a11866d938aa8987e4ff270b5e05d3954","datavalue":{"value":{"entity-type":"item","numeric-id":178453,"id":"Q178453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$C73F3B91-E351-412B-9A19-FAE860501E6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$11C6FB61-0CD7-4078-BB54-FB4A4395435F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11cbd9a6b07c2381cdc8b09e4439c018c2b94d2c","datavalue":{"value":{"time":"+2025-12-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6879523$1766D828-2AED-4E9C-874A-5E14C22AC8E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879523$05A55716-4D9B-44FE-B0A4-701D96A7439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879523$4F444B45-FB2E-43DF-870A-F2A76D4B35A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879523$2ADB205C-406C-43D1-9A8F-28B3E751B94C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c7877ba8687736a7c712e3b574508e4bd05f623","datavalue":{"value":"8140580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879523$45D2AA8E-1471-403D-9852-E9299ACFB114","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879523$A168C78A-CBD3-4722-A90E-7C52638D58EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0fd731637793d0ad21afc80b220a0eab0bdf88c","datavalue":{"value":"maximum 2-satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879523$A0BCE3AA-18E2-46C2-9E64-1E969670AD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e622f9f46c5c7fb389eedcc27d04a8ef5c45e665","datavalue":{"value":"3-satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879523$8EA61EA8-DB3C-49FB-AACC-F0D253FE3860","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":"Q6879523$92492A12-03F9-4395-AFCD-EF35D8BC9D6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ad6fcb175a60ea99e9971a8d4e9ec9055dbcc4","datavalue":{"value":{"entity-type":"item","numeric-id":2688471,"id":"Q2688471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$DA941255-391E-4711-8B8D-AE311C3E1CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78eb172cba2dd5b9c0e887df7d8b259b707f6b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4739584,"id":"Q4739584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$C5462AEF-2449-4B79-9AE1-E43C2CB139B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594fe9954aaaa28ebb3891d9b073671d029c1b68","datavalue":{"value":{"entity-type":"item","numeric-id":6199395,"id":"Q6199395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$973EA06C-D1C7-4EB2-9D51-918C5D7B900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b216cbcbf7e6236689e4f62f02b644c694375725","datavalue":{"value":{"entity-type":"item","numeric-id":6645408,"id":"Q6645408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$836E8E5F-8441-44C8-93E2-95E2439A4F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be08a27138fd72699ae31fa0922b8515a8be365b","datavalue":{"value":{"entity-type":"item","numeric-id":6492726,"id":"Q6492726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$4F1B25B6-1D7E-48E0-8E00-6ECE931C249E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42328a46f2e4f214dee0dea2f06e1b3bb5c38291","datavalue":{"value":{"entity-type":"item","numeric-id":2661356,"id":"Q2661356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$BF2FDFAB-4301-466D-A3BC-BF3068391CEC","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":"Q6879523$E9D4ABA0-2A70-41F3-AEDD-CA3F9DD5FBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfca010bc21936666f7b8a82a9adb6c6cad9b67","datavalue":{"value":{"entity-type":"item","numeric-id":2480593,"id":"Q2480593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$64EE5BBB-EA81-4241-9FC1-89BFC6355203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7220f0832534dfee96195f6db4b164c8f1cf56","datavalue":{"value":{"entity-type":"item","numeric-id":6572045,"id":"Q6572045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$3F0023DA-EA29-41C9-8822-6440F6CA6D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$6179ECD6-44B4-4F3B-97C7-7D959794FE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$D838882F-0055-4327-8247-CCC24CE7BD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$B2D9E04E-4D71-438F-AA68-33EB92CE8A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8919f34937dfc8f8431fbc02107326ecf39207","datavalue":{"value":{"entity-type":"item","numeric-id":596079,"id":"Q596079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$03969F4D-BA6A-4A35-A835-9989739484E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a30cf7cd79a1885b02a0bf811c174d6953c4175","datavalue":{"value":{"entity-type":"item","numeric-id":6636085,"id":"Q6636085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$B93EF577-0E7F-4AA3-AE77-E6A1113782DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f0732f471883320ebec889a518f3eaf523eadd","datavalue":{"value":{"entity-type":"item","numeric-id":5900112,"id":"Q5900112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$F5654904-C74E-4CC9-B0D0-7FD4C130CB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b687389392c3c46c787b88133af21d18744004","datavalue":{"value":{"entity-type":"item","numeric-id":4190138,"id":"Q4190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$E62CFA78-9CF6-4AD2-95A2-27A7A790985F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$A8B6D53B-03DD-4FE0-BE20-F124801A1C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a716fcc73002fc943ca8bbc0676e29c6b18a98fd","datavalue":{"value":{"entity-type":"item","numeric-id":557830,"id":"Q557830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$92D0FD91-C25A-4A06-B79F-7B4890FAE37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb79bf16bc9bf28f6780fd4354d10b9171fe436","datavalue":{"value":{"entity-type":"item","numeric-id":5311102,"id":"Q5311102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$173D3F97-F353-4F21-9558-E1C2A9B91A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879523$62844885-8186-4C58-BEAA-F92AA99BACE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the counting version of the maximum 2-satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_counting_version_of_the_maximum_2-satisfiability_problem"}}}}}