{"entities":{"Q7260670":{"pageid":31016939,"ns":120,"title":"Item:Q7260670","lastrevid":104225435,"modified":"2026-06-15T13:24:51Z","type":"item","id":"Q7260670","labels":{"en":{"language":"en","value":"On the parameterized complexity of diverse SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8208386"}},"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":"Q7260670$5E26321E-96F0-4592-842C-05B4B0CD9807","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65e5ba76035c9fb089734aa469e70274fc0f5666","datavalue":{"value":{"text":"On the parameterized complexity of diverse SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7260670$4D2F282E-510C-4EF3-B436-11E86D633C3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f083046a68ebbc0037a4a04e28fce74fe3dba464","datavalue":{"value":"10.4230/LIPICS.ISAAC.2024.50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7260670$7708C2A0-A1B3-4911-A599-E9061DC69E1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2281167238a10bf9dab89519de9f77287780af4","datavalue":{"value":{"entity-type":"item","numeric-id":393117,"id":"Q393117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$7519D4AD-6D27-4E8F-A9BA-898EC4DD7D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96da49302d4275a9ae1e34ba2fc6f511b3e02b2d","datavalue":{"value":{"entity-type":"item","numeric-id":2019450,"id":"Q2019450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$792A6D51-3C12-4856-99B0-5D07D01345FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7be92fce939dcfc406413995b4361f333febcb13","datavalue":{"value":{"entity-type":"item","numeric-id":370985,"id":"Q370985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$81FB4F56-D095-4A51-AF7C-5F62A9AEBD56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01eb6f73d18d5efe72b24052b32d1bfa4d77d927","datavalue":{"value":{"time":"+2026-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7260670$5670DCE6-45CE-4B07-AFEC-E541945F67A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7260670$E8CBE0C4-A851-4997-B4E5-B2286D81803E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c50b1da9ccd32f3d7fa8edefdd8d21c8a2f3c319","datavalue":{"value":"8208386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7260670$52EE622C-561B-41AB-B065-3BDA8E347CEA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$73DB45A6-ED92-4FEB-95BF-7DA8E548B076","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef7c222043a5265c4fbcb78b96d90abd0dad2905","datavalue":{"value":"diverse solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260670$7D9114E8-324D-4C0E-967A-D23D83055388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030289148fc3888409f2b58bcf4170a520a40d33","datavalue":{"value":"affine formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260670$0B85F696-5638-4D62-B8D3-8AA2BAB3851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed78f37e5550754edca732916e44996a741a7a3","datavalue":{"value":"2-CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260670$7CCDB32E-DFBB-401F-B5FC-93EA00AABC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516cb0b11c1418e7ce0f052dfff449a7ca3f244d","datavalue":{"value":"hitting formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260670$D4CFFF94-6748-403D-A08D-282084C42645","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":"Q7260670$462FAF3C-12B8-4FDB-AD4A-683F27390FF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead46c170dd1b6f43c71af99b4af9bf063d1643c","datavalue":{"value":{"entity-type":"item","numeric-id":5703899,"id":"Q5703899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$FBFF10D5-8514-4987-A0DA-149A7E68B25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$F95A1216-760F-4101-9B86-F6357FF9C3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2357678affe90ab1fedc258645464227aff5be69","datavalue":{"value":{"entity-type":"item","numeric-id":2667823,"id":"Q2667823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$22FB1105-B10B-45E2-B117-922FD64BD73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$908FB757-C43B-49B2-8D8E-C11D79494C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$2B364B5B-21B6-466D-94FE-92510EA96546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0f440e0bf4daf1e166b9b7005b035d0f31aa27","datavalue":{"value":{"entity-type":"item","numeric-id":6979512,"id":"Q6979512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$F6F101A0-4100-47EC-B09D-0C82C649C344","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":"Q7260670$973B9AE6-68DC-496A-890D-0D8D0CD7D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472c650eebffa190ff686cb13b622055eb339dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5897915,"id":"Q5897915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$136765A4-E2B9-4765-8871-248F625ED19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc354da379ad42321a967d718844fe622d7b2d1f","datavalue":{"value":{"entity-type":"item","numeric-id":6953196,"id":"Q6953196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$00812385-A16D-439F-9120-96C37D27C746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$39FC07B9-C7DE-4BF3-B2C2-7722539EC4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cc45cffd48a8f8358ee638fa2255aa44580d19","datavalue":{"value":{"entity-type":"item","numeric-id":4943754,"id":"Q4943754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$67433E6E-340E-4F90-8A96-F79FF8A39D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$16DB2D61-B630-45F0-A23A-3852AFE2968C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7cdf78065d162ec62bce90012feb1427556f74","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$23FFDC7B-2D99-468A-8C58-AAD4EF9A0A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58a4659b589ccce98f3472453b65839f6b951f3","datavalue":{"value":{"entity-type":"item","numeric-id":2672428,"id":"Q2672428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$12347B9B-8D64-482D-826C-DB916598AC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85c5806f8a348ce89c94b85a1e2278583b88c28","datavalue":{"value":{"entity-type":"item","numeric-id":716156,"id":"Q716156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$73E296C5-8311-4165-9BB0-380304531F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddb5b83e7b8ce04c608c0578942ecfa2199b80c","datavalue":{"value":{"entity-type":"item","numeric-id":5875576,"id":"Q5875576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$FB893911-9CEE-4B80-9676-196A48608207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$7CF90BC8-5D74-4B75-8813-1024FBE0EF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$00EFC1D8-C0B6-4BE0-9917-D37763ED4884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847f43a12784abd824ccccc602688df087916fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3565237,"id":"Q3565237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$4FA1B3DB-8D96-4781-85AD-49FF6949DCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9df817c630cc660d1a28648b8b18406b9b564294","datavalue":{"value":{"entity-type":"item","numeric-id":4972686,"id":"Q4972686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$F00C435E-A9A0-4E76-9820-EF739CE8AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85b992a547600b84caee010e54e47cb289d3eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5545955,"id":"Q5545955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$722A246C-8968-4511-9489-75806BA94CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$462DD600-B66D-4C59-B2E5-8D6AD0EF6D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$C8CB870E-0A25-470D-AB24-8FBB9B87DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8481b9dfe0d480f4985193de48055a1bd81e23c","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$3B0459FB-6319-4467-AA93-213938ED4078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203054b8d96eb6037793555d65cbd877d9154668","datavalue":{"value":{"entity-type":"item","numeric-id":1850536,"id":"Q1850536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$F49B2ACE-F68E-44F3-9D9B-25EA894D3195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$6A3D0E9E-89CF-4EB9-95EB-B52472AB9B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9542469b115b8c938b2036b2a362fa6b20cdeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":3485885,"id":"Q3485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260670$91F4EAAB-C39F-4C7B-AC39-7D1576F43598","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the parameterized complexity of diverse SAT (scientific article; zbMATH DE number 8208386)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_parameterized_complexity_of_diverse_SAT_(scientific_article;_zbMATH_DE_number_8208386)"}}}}}