{"entities":{"Q6547959":{"pageid":14159113,"ns":120,"title":"Item:Q6547959","lastrevid":40553451,"modified":"2025-03-06T16:15:22Z","type":"item","id":"Q6547959","labels":{"en":{"language":"en","value":"Max-SAT with cardinality constraint parameterized by the number of clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7857873"}},"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":"Q6547959$CB9BF249-FC85-46DC-B1B9-31A37110399F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"018b5fd45e48cb275f910b2eb16855e531a6f6dd","datavalue":{"value":{"text":"Max-SAT with cardinality constraint parameterized by the number of clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6547959$05DE5458-4421-4B7A-A536-1C9941E6786B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b86dcf40b99a7a9876f68410704f7d81e1264cec","datavalue":{"value":"10.1007/978-3-031-55601-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6547959$B46524D6-2A9B-4A1B-8F96-D46A6598E8DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fd12e377c90d056396e79f0a948c9ca9e0d9563","datavalue":{"value":{"entity-type":"item","numeric-id":784490,"id":"Q784490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$5E49FB41-76BC-46A8-9A03-6F2092EA7AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e904fcfda6dea67c76fdd4fa1962c0b32032780d","datavalue":{"value":{"entity-type":"item","numeric-id":1625164,"id":"Q1625164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$41F5B348-AED2-4CD9-A244-02C359B9F872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd4ff2b3de3dc0e9c90c6516491296f77e0a847a","datavalue":{"value":{"entity-type":"item","numeric-id":340563,"id":"Q340563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$B1EB6928-4029-4F10-86EB-44811CE4BBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e7e0e187aeacb8234142b37cee777695ac1ee44","datavalue":{"value":{"entity-type":"item","numeric-id":6057342,"id":"Q6057342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$64BCCF96-E01A-4ACF-8D4D-C65B95129476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e7718f4509f5b38d74aa6587215ab009f6eb792","datavalue":{"value":{"entity-type":"item","numeric-id":722544,"id":"Q722544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$94F161FB-CD5B-4831-88B6-74D80C53E430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31c0d4a00f475577a11aceb1985d009cf97e6c2b","datavalue":{"value":{"entity-type":"item","numeric-id":261392,"id":"Q261392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$C3C07C0F-CA1F-4874-8CD4-85A14F9F9D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d829d314933bdc2e45a4be418576a6e4775c801","datavalue":{"value":{"entity-type":"item","numeric-id":6538676,"id":"Q6538676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$82E9B7D0-BA53-4FE9-949C-07BEF4A64417","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45e832027665a154275313064030e55fe57162e5","datavalue":{"value":{"time":"+2024-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6547959$577BE123-222B-4F2D-8305-64384E13CC9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6547959$F5604FCF-725C-4F4F-BCF1-84DFA8BFD397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1397c7d07b55282862d4db12cbe94becf8137559","datavalue":{"value":"68Rxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6547959$320A68B9-1ADC-40B9-A22B-AC69C00B2777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6547959$E2CEB70A-6BF2-43ED-991B-2EA369A11D4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c563d9ca132a953d3bcdf22970acbce23fba2a5","datavalue":{"value":"7857873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6547959$61895E3B-EC74-432A-A109-31D91BB7D8BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fb8d01458ba05f5ee2bac394b7becfbbe52731","datavalue":{"value":"FPT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6547959$8F0C783A-8D9C-49A5-A5A9-0AA5ED5DBD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6502121864a1dff048ddc4823cf928079ab042bc","datavalue":{"value":"kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q6547959$56FF2180-0181-4AB7-84DB-92AF4B266F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81747122434a537e135a6198ad2521b4599b509b","datavalue":{"value":"max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6547959$FF7D4CF2-5E4C-4782-A605-3A0319C05515","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":"Q6547959$B93AA310-37F7-4315-8EFB-3E7D1DB06637","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb84f58eb9559d0a532fe6d32545789ca1726eb","datavalue":{"value":{"entity-type":"item","numeric-id":1791047,"id":"Q1791047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$DAD27A38-2FD4-457F-BBF8-DCECDEA5C891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae36a042f4b9cf599096876cecc49b023b89314","datavalue":{"value":{"entity-type":"item","numeric-id":1007552,"id":"Q1007552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$EA37DD4B-DCEE-47F0-A4BC-F2D994B1E225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cc9cdd9999a46859ae4f667ab34baac016718b","datavalue":{"value":{"entity-type":"item","numeric-id":5502162,"id":"Q5502162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$00B54027-8153-4D9A-B192-CE037B1E5925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f05df7bb4f26ede1f7b30797fa5ddc45a0e221a","datavalue":{"value":{"entity-type":"item","numeric-id":4962171,"id":"Q4962171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$1D6EA03A-5F4B-4FDD-B9E1-7B6138526ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783f5b77f65178466163307ca17329fb72140e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3158517,"id":"Q3158517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$E80B8055-7061-42D2-B731-FE37F2477AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39fc8308bf9bc50231ea7e338e43bfa8ab604a0","datavalue":{"value":{"entity-type":"item","numeric-id":2464318,"id":"Q2464318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$2EABD8D9-CEF7-449F-9510-059E55510487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07144951d0f5229446ad7dee4c4c569bcf4f450","datavalue":{"value":{"entity-type":"item","numeric-id":6538677,"id":"Q6538677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$669C589D-92C6-4DDF-8499-18A68DCC3DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9481ea35241bedd9d7e6c7937fda78e3afb44a","datavalue":{"value":{"entity-type":"item","numeric-id":6560889,"id":"Q6560889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$C2F8F5EB-3393-4A5D-9F10-6331251836BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f16aa81d411780e434ec827ae64c2ab00fee84","datavalue":{"value":{"entity-type":"item","numeric-id":5146765,"id":"Q5146765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$3D68252F-5FF3-481E-9BA9-0261E84EE1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5980307d4ac27631f565309510b06bb57faa123","datavalue":{"value":{"entity-type":"item","numeric-id":2821448,"id":"Q2821448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$2E876913-321A-44CB-BBF2-468192881AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03684442b63ead017553e4c106b3eab09504a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4231923,"id":"Q4231923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$AD4A969F-B12E-4673-89D4-653F48E36753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2ee1125be372dff68147f4d1a6e258fe50740","datavalue":{"value":{"entity-type":"item","numeric-id":4596723,"id":"Q4596723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$5CE2EBB7-7131-410B-A62A-F7F7D64B54FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef084f10d5052aa95a9073c13c47081d88c2036","datavalue":{"value":{"entity-type":"item","numeric-id":5945919,"id":"Q5945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$486EC4AF-F7EE-4F93-A088-B1AD6724D146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"273df30b24b6f2ffcdcbe705cc3cba7ad938b6af","datavalue":{"value":{"entity-type":"item","numeric-id":1740694,"id":"Q1740694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6547959$9A2250F5-CB70-4159-B2E8-D1C317867573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6547959","badges":[]}}}}}