{"entities":{"Q2093572":{"pageid":2104315,"ns":120,"title":"Item:Q2093572","lastrevid":55421869,"modified":"2026-02-17T16:01:35Z","type":"item","id":"Q2093572","labels":{"en":{"language":"en","value":"CNF satisfiability in a subspace and related problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7608291"}},"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":"Q2093572$65618E58-8F76-43E0-A814-FC46FEBF1C40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ea0b8efbdad4647b681c95cd735f1bd058c5910","datavalue":{"value":{"text":"CNF satisfiability in a subspace and related problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2093572$AE3F6A27-BBC7-4205-95A8-6A78E5E45519","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd4aeb4e5a3ca371ed6df12fa17daeace8cca68f","datavalue":{"value":{"entity-type":"item","numeric-id":197718,"id":"Q197718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$491441C9-C217-44EB-89DA-A8C95891E674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c036cc59d8136b1c1d330e12aacdea4899ce840","datavalue":{"value":{"entity-type":"item","numeric-id":293456,"id":"Q293456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$6C8A49E3-BBF5-43A8-A5CF-80503C2019C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$165F787D-DB02-4BF8-B17D-8F2E84836610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f4f5bf88e7cf6cb5883450d0b7f2980cf26dac","datavalue":{"value":{"time":"+2022-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2093572$31859506-08C8-43CA-9439-0D1FCBC95D5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b10e704cc580c168553e312434efa05f04e21fae","datavalue":{"value":"https://arxiv.org/abs/2108.05914","type":"string"},"datatype":"url"},"type":"statement","id":"Q2093572$B3C27D10-2279-43FC-B164-A33117DDD056","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093572$4C32B75D-4BE3-4589-861B-38D7274BBD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1a97a7188d4143e338e99eba7d65493911702cf","datavalue":{"value":"05Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093572$AB56B9B9-03D3-40F9-93C8-42DF4CBCD94B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93b9d9fef00b60c2973280844b333dd6ce18602f","datavalue":{"value":"7608291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093572$79429F81-1867-4278-BAD0-B36592BBD626","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093572$AFC56D7F-F297-42A4-B417-A5736EF4C96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc983c61d36c1459b56a24ad03d26c05e200eb","datavalue":{"value":"CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093572$55F8946C-E4E7-4F51-A6ED-11C97CD92354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ac6701bff6972da991c5209d8dad72896f4570","datavalue":{"value":"linear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093572$0D129DB6-6302-4CCD-A0BD-6F63CFD5F3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cee20b223aefbe85646d96aba6a449011485cad","datavalue":{"value":"fast exponential algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093572$8E11A926-B50D-40CE-9699-9396FC691FB1","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":"Q2093572$8B741FF2-2E2C-434B-A818-2C22B4667F47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8211834492194a0b47e95571b4f5a78561f68db4","datavalue":{"value":"W4220759393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093572$2E4C658D-E88E-4118-868F-EF4C52B4BA83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e1968fed2bba7e10e5ca43e320344fa831cba6","datavalue":{"value":{"entity-type":"item","numeric-id":5091175,"id":"Q5091175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$2671F7BA-2E16-45E4-81CA-BD1089DB6C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c297d02e2e54517f82bd75fe7cd937471e1f867","datavalue":{"value":{"entity-type":"item","numeric-id":5212801,"id":"Q5212801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$F681762F-DF0D-49D4-8CC5-899B0B24F14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e15ef5987cc70cfa0dfbd41bb809deb11f10f21","datavalue":{"value":{"entity-type":"item","numeric-id":5212799,"id":"Q5212799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$8B8344B5-B147-4D7F-890A-C1D712C3FA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106f5e1c95397190174c706fb166c7c5c1acf9ed","datavalue":{"value":{"entity-type":"item","numeric-id":5028339,"id":"Q5028339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$A000212D-905F-47FF-8256-6F19E792479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be3d8f1b675d419e8c87f899a1fbc1952444751","datavalue":{"value":{"entity-type":"item","numeric-id":2800587,"id":"Q2800587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$B2215DA1-DA19-4BF4-A760-B2B2124BE8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$E86C73E5-3B38-4573-885E-8B655DBC6AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbb60cde7f55c02cccf62f929b356800cce32f3","datavalue":{"value":{"entity-type":"item","numeric-id":1001898,"id":"Q1001898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$FFB5722B-8FE3-44A1-A58D-4EE2CFA19DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$FE53AC9D-D2F1-4F0C-A2F2-F117038F7246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351fcf8547cbdfeeae47fd4ed591a61bf10131f0","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$600A2B1F-9747-4A39-B584-106E2C04E992","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":"Q2093572$3DC2564F-0D24-48A2-A531-B20D210498B4","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":"Q2093572$C630AFEA-D25A-4574-B0BB-E89322ECF18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3470dd9c55d42a17c07d8f9e5c2d60682fb7074d","datavalue":{"value":{"entity-type":"item","numeric-id":340559,"id":"Q340559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$AB3A3CA1-7DB4-4147-BF69-DB8B9D46234E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b455c37e524adf0b43677d6109796c5986e059","datavalue":{"value":{"entity-type":"item","numeric-id":5061878,"id":"Q5061878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$F5B5C6C2-5289-4880-B6DF-3DAE2FA2601D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"449bbfdd5c23462229b7452bb32f9551b2170ebf","datavalue":{"value":{"entity-type":"item","numeric-id":4575891,"id":"Q4575891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$A83C8D7E-2AFF-41E6-9B8E-0F0869BFE55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$89731F4D-09D6-48ED-91EA-CF10A64BE477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4226e3e65547158ea8072512457653ecc8bcdac6","datavalue":{"value":{"entity-type":"item","numeric-id":5417690,"id":"Q5417690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$F78233FF-968C-4116-AACD-3D0BABA7F407","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":"Q2093572$7F9D98DF-9B74-4D36-90BC-024BC42F8EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca2e18e22bdceb10ced114e23ee143c1222e350","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$4171EA72-7976-49E5-AEFF-41722DDD03A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071bdb44cc5b1369609bdbe02172f167bb9432d3","datavalue":{"value":{"entity-type":"item","numeric-id":2225121,"id":"Q2225121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$F7B4CA18-8F54-4B2F-87E0-E0E21D042F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dfd82bed9266a9eb9ee03c49c86a8c45cb2436","datavalue":{"value":{"entity-type":"item","numeric-id":1090454,"id":"Q1090454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093572$4CB9D298-9A45-406F-A2D8-341F48EDC4CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad8ba1a2b02a58852dcf80a55cabc888f4f85d97","datavalue":{"value":"10.1007/S00453-022-00958-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093572$2345FE36-B2D2-4DE6-A300-682997108850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51195e7089b083c0f4219f11b76032215112a0ba","datavalue":{"value":{"entity-type":"item","numeric-id":6192473,"id":"Q6192473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392598b2e89c8890b5c4c1fac93007a0e1e43a93","datavalue":{"value":{"amount":"+0.9979268312454224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2093572$4D604B16-00F4-4FB3-A5E0-F27756AA7542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e45b606eabed5bdb0ecb9d682fffb754362e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029001029e236eeb29d15156f30242de7e83fe72","datavalue":{"value":{"amount":"+0.7793447375297546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2093572$A9A77434-0210-4274-A60E-AF5A6C4A8094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce28b873175d6abf10470282f8cd78a944d8225","datavalue":{"value":{"amount":"+0.7674431204795837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2093572$0055A65C-4DE8-4AB3-8336-E40C9F6FFB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e764e3d1332b136924b1d17cbe317eb3813977a","datavalue":{"value":{"entity-type":"item","numeric-id":2309479,"id":"Q2309479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ce55378e6c900d5bec56fd30ed9f051a9649ef","datavalue":{"value":{"amount":"+0.7667888402938843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2093572$E3D91747-CF93-48DC-965D-2F224AE8BA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3696411579a745fb8747e6c64a2d6b9586663c14","datavalue":{"value":{"entity-type":"item","numeric-id":3453207,"id":"Q3453207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c657fffbd8051bf7e83eec89f40cb407e06febb6","datavalue":{"value":{"amount":"+0.7596251368522644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2093572$E09B9666-6352-4438-947A-6B378D1AEBE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2093572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2093572"}}}}}