{"entities":{"Q6098146":{"pageid":13232453,"ns":120,"title":"Item:Q6098146","lastrevid":55974649,"modified":"2026-02-21T16:20:15Z","type":"item","id":"Q6098146","labels":{"en":{"language":"en","value":"The 2CNF Boolean formula satisfiability problem and the linear space hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695011"}},"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":"Q6098146$2FA7362C-28BC-4CBE-966D-67B07F8A5264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa3df909a6234d60bd37c9e1f9ca72eb3be49a9c","datavalue":{"value":{"text":"The 2CNF Boolean formula satisfiability problem and the linear space hypothesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6098146$97867A55-E295-46AE-B3F2-0E47667A5319","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e331a56534fb3d15d7a09cc088a9f710c573114","datavalue":{"value":{"entity-type":"item","numeric-id":434348,"id":"Q434348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$BF7A9927-4366-4CE2-BEA7-F8552B12DBCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$86A805CE-D54E-4BE9-8D4B-3E023F14F054","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4620bd86abefef837721d712e51cc457b512df","datavalue":{"value":{"time":"+2023-06-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":"Q6098146$4BF7A1A5-F6FB-4607-BA1B-CD073D9FC2C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec5c0f53bc634ee3c41b9027a62d514c53bdcd1c","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2017/8134/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6098146$83B9031A-F02C-43A5-8C8D-4AE6398028CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098146$89B5022F-B758-4DD1-AE0A-6F8E1FB26E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da5fc1d0dafbd33f377296e93298f1f90d0647b9","datavalue":{"value":"7695011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098146$CA4B053B-98B0-4EC5-A013-D65FDEADF613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b52230b343e11e93f394842fcf823bfaa04fed6b","datavalue":{"value":"2CNF Boolean formula satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6098146$2C08FF6F-6311-438F-98C4-9453C07C0BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2390a619ac8e452f9c5592ecbf7cc9feae156a81","datavalue":{"value":"parameterized decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6098146$4EB851B4-3C3C-481B-B9E8-F14D9C300191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d553b4745507c159a93192ba0f7fb6a15840e76","datavalue":{"value":"sub-linear-space computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6098146$C2ABD746-EF86-4909-A825-CDDA68CC3921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9712193a3ece23f5747dc781991f77c5703cfd9c","datavalue":{"value":"linear space hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6098146$6DF617CA-CEB3-44FB-96A7-D0C6F1D112FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b3b388ba4f37f43fb9a39cec24205870744a4c","datavalue":{"value":"short reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6098146$6D15C764-1103-4802-A33A-4A8D021E1D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4396107110b0a259a86dc4a32b4cac1c606a3df","datavalue":{"value":"syntactic NL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6098146$302CAB53-E6D8-4DD0-AE43-787CA70668A8","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":"Q6098146$281C5EE7-ADCC-46FA-B0E0-EF8DCBC2EC76","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae4782457370e026e017fa1ac859bbcf5c9f4648","datavalue":{"value":"Q123111275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098146$8B6C7CFF-295E-4CC8-83F5-02D91924772C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f7a0734e8380e9cc1265d8fa5232cbc5f05d9be","datavalue":{"value":"W2760351616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098146$7A33FA5C-D582-4B1D-B163-68AEAAAEDC1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7599f01e0f0de750beda426843b5f7b6977cdab0","datavalue":{"value":{"entity-type":"item","numeric-id":4210095,"id":"Q4210095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$B0585EAB-9D93-48B7-82D6-E9CABBA08ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$9C37174F-C11F-405B-AF50-02570543650B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7aaa9bb137fa2b1d06177861fbdb923853dbb86","datavalue":{"value":{"entity-type":"item","numeric-id":5248532,"id":"Q5248532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$00795D7C-A2BA-4A6D-BB07-A2057E37F33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d11a5e7485e13b7dfb5d1b3e55c60e3428e99031","datavalue":{"value":{"entity-type":"item","numeric-id":2868671,"id":"Q2868671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$F255A50E-D23B-4130-A30C-72E7BE299E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$EA525FB9-F1CB-4053-BE1D-60ADD8FD43CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$5B586A35-5739-430B-8E26-44A7CD27285F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$4A4A1983-5289-4F0D-A78B-5B70CD0D0085","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":"Q6098146$ADB99C6D-B668-45B5-9A4A-C4FEAD2AF356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$A49886C4-8A00-41B0-98D8-E1C8DA97EF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3689bff1eff016924b71b1d4bc26a105386c2829","datavalue":{"value":{"entity-type":"item","numeric-id":673615,"id":"Q673615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$FF201FE7-BC9F-4485-BD9B-45B93D8EA702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcd71ac0ee1662e3c5c0f5046af9d7c75419ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1221749,"id":"Q1221749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$9F4C9EEC-A34E-49E7-BC9A-38E9B1F7B758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d396cb7909eb8ef7cf9892a2d4d1be562fcbdc7","datavalue":{"value":{"entity-type":"item","numeric-id":4109298,"id":"Q4109298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$D5506B77-F91E-47B3-B4CC-B5A8BB5848E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$9C2BEC23-2B7D-4052-8256-FC4F8AA3381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6f205a11f3d8ebe2e6f8fd38842f98916ec8b9","datavalue":{"value":{"entity-type":"item","numeric-id":4904144,"id":"Q4904144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$5FE341C3-B77E-4DFB-A861-DAE5A7153171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6133d293bb8bfa149948ffdc9b0f276ef45523","datavalue":{"value":{"entity-type":"item","numeric-id":1186548,"id":"Q1186548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$CAD10268-2915-47F6-9040-E4ACCEE74DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873424cc8d4e93946989cd39def93178ca9012e8","datavalue":{"value":{"entity-type":"item","numeric-id":3604402,"id":"Q3604402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$5F26BFA1-7F44-40D8-B4D2-3DC6C1A96AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$B025487C-5400-48A7-B736-B065C21BE00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343b7eb2de34b14053b77dda4df57cbab1508730","datavalue":{"value":{"entity-type":"item","numeric-id":2642909,"id":"Q2642909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$76FD9223-9E73-4FA3-801C-4DAEF12EBE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a690941cdf90114b54ae4ee497c0278dbb375bd","datavalue":{"value":{"entity-type":"item","numeric-id":2867130,"id":"Q2867130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$D6378158-D43C-43CB-8A41-998011AEF4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bb8ba065498c6533bf50c19f14f65dd1569b66","datavalue":{"value":{"entity-type":"item","numeric-id":5111278,"id":"Q5111278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$3077F713-E116-417F-8D07-908067230654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4edd00db54db47dbc5d9a860c9e68fd051a6ebb4","datavalue":{"value":{"entity-type":"item","numeric-id":1685795,"id":"Q1685795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$C154C956-F2F3-48C7-BB04-99EF018E0695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3607c239655c90fde1fa52bb9170f3eef030c3","datavalue":{"value":{"entity-type":"item","numeric-id":2327512,"id":"Q2327512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098146$0417696F-8B54-411D-A2B0-2A0D6449E95E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f53c2173956d142b0295aa15fb434321d336798","datavalue":{"value":"10.1016/J.JCSS.2023.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098146$360231BE-A1A4-4762-B216-7454A2732EA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6098146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6098146"}}}}}