{"entities":{"Q2692727":{"pageid":2703471,"ns":120,"title":"Item:Q2692727","lastrevid":44637840,"modified":"2025-11-24T14:27:48Z","type":"item","id":"Q2692727","labels":{"en":{"language":"en","value":"A multistage view on 2-satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7667133"}},"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":"Q2692727$55D86570-A70D-4CE6-9969-E3E7F53033AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11f69d8c854174e039a2068f52d63e257dd83608","datavalue":{"value":{"text":"A multistage view on 2-satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2692727$5555A9CE-DAA4-4458-B8B2-664FCCA352E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"902c4b31df16b3fc974dd79dffd4a3f4aab533a6","datavalue":{"value":"10.1007/978-3-030-75242-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692727$A40E6383-C5D0-4CCE-9A99-E1BF294918A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d735a6e5353e41fc4a995d6bf52d6108210ee001","datavalue":{"value":{"entity-type":"item","numeric-id":1627170,"id":"Q1627170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$9AFA11AB-5548-47A1-A72A-5CA5D9D22B84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb8590338bfb507716d0e42bdca412b99e076ff","datavalue":{"value":{"time":"+2023-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2692727$B9DDD229-AF38-49A7-A0A8-B0008AE29754","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16a60051ee9fda7411bc8374e7f1292ba04ea26d","datavalue":{"value":"https://arxiv.org/abs/2011.02325","type":"string"},"datatype":"url"},"type":"statement","id":"Q2692727$BDFC7E15-D695-4201-B203-856FB2E3FBF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692727$D61FEE3A-2465-4AD1-9B80-9E1DA19DC616","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54fd478696e9680cf57b7ed7364c9d6b45ae5273","datavalue":{"value":"7667133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692727$8771484C-AE23-4179-BA22-94804A8A3315","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd85d86a7bb72433c989c807ba2c8d80abb52b6","datavalue":{"value":"temporal problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2692727$6D10A92C-62B0-4EF4-8A70-BAE2676A02A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacd8a1efe2137c331f15174e1eef409e33a7a12","datavalue":{"value":"symmetric difference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2692727$56560FD2-2CDC-4009-98B5-82A731DE002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2692727$EDCE5500-F963-48B2-A516-586094DD7B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e287bc29e8af54e3893e42f82f825e3df63383fc","datavalue":{"value":"problem kernelization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2692727$0FD71F1B-B8B6-4650-93D6-3F2575C32506","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":"Q2692727$D72E6201-BC88-4874-81BC-27DE3C5F9994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68b889e479d1c47c6de72efed8e54480ff79f4de","datavalue":{"value":"W3164377310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692727$FEE68602-4242-4D36-A8A5-FCA6C2502F25","rank":"normal"}],"P223":[{"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":"Q2692727$9A0E81C2-9791-49F1-BCC0-5E24B6425FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e2e062026c5ade23a20d5c62223f0e569f401a","datavalue":{"value":{"entity-type":"item","numeric-id":5116470,"id":"Q5116470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$F49B224B-1508-4C6E-B775-5D9FB0F7B13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3b2c3ac6aaf1b4fee6ff625fecc070f98d485b","datavalue":{"value":{"entity-type":"item","numeric-id":5075745,"id":"Q5075745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$1B1A00A1-08AF-42F1-B7C9-F515D1CF43DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ba7dd748eab547e5a36a2f2117d6b42fdec3ef","datavalue":{"value":{"entity-type":"item","numeric-id":5092381,"id":"Q5092381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$EAF0AD4B-ADEB-44E5-A7C0-C157A352EC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b19a3632c2026e90215c41118dbb16f94a23ae","datavalue":{"value":{"entity-type":"item","numeric-id":1034099,"id":"Q1034099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$2B253227-FF91-47DA-B3F1-2F82E8BCFE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af01e867ece0cd2f5ed5b36e1e2280b0857ccab","datavalue":{"value":{"entity-type":"item","numeric-id":856413,"id":"Q856413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$5404228C-055B-4B91-8D9B-A79DC3CD2BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f0c7926d2a924963a45c93eeaf6c727cb681f","datavalue":{"value":{"entity-type":"item","numeric-id":1606912,"id":"Q1606912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$577FA20F-EF8F-4581-9530-8578ECC8B403","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":"Q2692727$BE3BC421-C78B-4F61-B0A1-D46E82072250","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":"Q2692727$C1AC4367-E875-47CD-8532-DBA887B38F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee4c2f29e1edb2a4ed2089a87722e97005db098","datavalue":{"value":{"entity-type":"item","numeric-id":5501928,"id":"Q5501928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$FC88D778-CA18-40AE-9B05-DE05FE33DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc9f3fd3520c053652013a57dfa77e507ba3524","datavalue":{"value":{"entity-type":"item","numeric-id":5167860,"id":"Q5167860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$96C17D77-E823-4F03-9E94-B5B87FB3C30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$6986D288-5231-4C14-B79B-A3FBB6DDED7F","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":"Q2692727$CDC5D934-3B65-4E4D-9752-17DDB3DCF1B9","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":"Q2692727$C0385C62-49B9-4E59-BFF3-6C4649977AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3768071be37cf5910b24f230058b9a21c482f6ea","datavalue":{"value":{"entity-type":"item","numeric-id":5875546,"id":"Q5875546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$B007344C-787F-4CF1-9B9A-564800B1CB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8578dc33f61f9f52084ab063ce58f84067974f","datavalue":{"value":{"entity-type":"item","numeric-id":619903,"id":"Q619903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$D9EF081C-77D7-4DB8-B05B-0B912A61BF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f55fde8591f26ac6872ff6dcf4227a9dacaa03d","datavalue":{"value":{"entity-type":"item","numeric-id":5167773,"id":"Q5167773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$E0BE385A-590C-44C7-9F36-3097DA556B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d33a8b028356845740da5467fe1c998c0df742","datavalue":{"value":{"entity-type":"item","numeric-id":581969,"id":"Q581969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$61074223-C61A-47CC-AAF6-FEB3928202BD","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":"Q2692727$627606E5-208C-4253-A1F9-9CE891DEC217","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":"Q2692727$4B18E028-A716-4B8F-8A2B-566C3F91FE82","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":"Q2692727$E669FF2E-51CC-4E0D-A3F6-883C175DE62A","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":"Q2692727$2D7C80B3-F2D0-4F67-A0DA-9BCCBCC200EE","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":"Q2692727$77C97F8E-080B-434A-866F-F3D28DB1F1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db98467068aa2e6d235d3a105defb27c86742e","datavalue":{"value":{"entity-type":"item","numeric-id":3745779,"id":"Q3745779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$5C328D2A-93EA-4399-911E-94199E866F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d481c56dc0522a7163255b5e54b7a213464740","datavalue":{"value":{"entity-type":"item","numeric-id":4652636,"id":"Q4652636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692727$A78484EF-7F97-4F4E-80A6-E77BE720B870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2692727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2692727"}}}}}