{"entities":{"Q5902502":{"pageid":8012005,"ns":120,"title":"Item:Q5902502","lastrevid":41878185,"modified":"2025-05-09T08:26:42Z","type":"item","id":"Q5902502","labels":{"en":{"language":"en","value":"The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653734"}},"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":"Q5902502$1A731C38-32D1-4D1A-BCB8-A8E67DC4225B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"354091298a908388283be371674ad2d8102c2ee5","datavalue":{"value":{"text":"The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902502$1986362F-6014-444D-956E-18F8B52DA18D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0431f5a58afea85efcbd8eb2777c6c2076917a25","datavalue":{"value":"1201.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$2D939CA4-4D57-489D-B3EA-FBF542C50124","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"592d607ba679f0323c6e483d5a104f56da1c5bf7","datavalue":{"value":"10.1137/07070440X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$632B1B18-8990-44D7-9D4F-8734D3997D6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62d7602d297dba1e0e9c3c6ec0267078f276fd9e","datavalue":{"value":{"entity-type":"item","numeric-id":354646,"id":"Q354646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902502$B01AE3A9-4894-4191-AD12-21D4C528EC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902502$F1186B18-C50A-407E-B7D7-29E075375FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f710f7e1d894c4ae737144ce1fbcb7f3fc75f44c","datavalue":{"value":{"entity-type":"item","numeric-id":716323,"id":"Q716323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902502$ABFC9826-18D0-4F47-B3D7-4877E525A1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902502$F4A4DD4D-0A5A-4258-AA5D-F06BBA394F1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902502$C6077987-B34B-4BD0-B5AC-5EF5F727EB33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92cf555916d59fb417884b9a08f363c4d96dea85","datavalue":{"value":{"time":"+2010-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902502$4FABFDD8-66E6-41DA-A67B-0D78904EAA7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$8CDFBB92-9BB0-43F2-A887-EE952B454CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$3F5433DC-5665-4A08-A881-A42455027E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$BA95E36F-979D-4EB0-B12F-7A686F9B7BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$15D6FC48-8B18-4FF5-88C8-40BD77B25B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$1E1A58A5-2F4E-459A-AD04-417BA4DC46A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$42B83199-5699-4BB4-9361-8F1E3FA4DE5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"293ee6bb7b1f85e0a3fd2c9bf52b2cb51c3939db","datavalue":{"value":"5653734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$534A95C4-E793-437B-91C8-2706579B59C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902502$F3850769-D25C-44B6-AFA6-FD7084470EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902502$760FECD4-1122-4B90-931D-ED66D5AED9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902502$5241EAAE-FC73-4735-A4AE-985A60622601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c802cc7f33511fd69b8d3479d25712d0d913b986","datavalue":{"value":"dichotomy theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902502$715132DB-0057-44FE-91CC-4891E51F586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942090a43c9689eb1ec56ea5d49e20aceb30d1c0","datavalue":{"value":"graph connectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902502$143FF876-B586-4AAC-9F5B-1D70E8EA59E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a49832d04d063fdce74546dc45c006a647ed868","datavalue":{"value":"graph of solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902502$8D6F8CA5-A3B1-47F5-B352-89ECE611DF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b7528120ef50a8f5205cf42893c121e1d21b40","datavalue":{"value":"PSPACE-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902502$479DE314-6B2B-43E9-B064-922D5D82D1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd55f09f70e9a5bd549fc1f672bd156d481fd80","datavalue":{"value":"solution spaces of Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902502$B948207C-9A1E-49D7-A155-BDB20569CF39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902502$5B2DE8BA-759C-40FC-9E50-17A404450414","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":"Q5902502$2BC7513A-41E6-4F1F-914A-3811E485AEAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d129ae1dc552b6616d52d5978103e68d1576ed90","datavalue":{"value":"https://doi.org/10.1137/07070440x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902502$6B7B57EC-F26E-4ABB-AB41-9B6467A1146C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d441a6b465c4efece09efdd18414915ee3ee8dfd","datavalue":{"value":"W1976090101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902502$59343C0E-1693-4C5D-804B-998AE1568C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3c4e1fa80bad3f6f7fcfeaa1365f5cf50c629b","datavalue":{"value":{"entity-type":"item","numeric-id":5901484,"id":"Q5901484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$F39C27C6-8EE9-4FB6-834B-38692E2C517C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ae5b589ce3131462163f64c0b751e0e7494add","datavalue":{"value":{"entity-type":"item","numeric-id":2411031,"id":"Q2411031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a78ff71e3a2240d0e97b71230b5255be897e06","datavalue":{"value":{"amount":"+0.964527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$E5523F5D-06FE-4311-92AC-D9A63C6DC195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d6f759c8a7844c73ee41354509b899fcdc0387d","datavalue":{"value":{"entity-type":"item","numeric-id":4981174,"id":"Q4981174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a78ff71e3a2240d0e97b71230b5255be897e06","datavalue":{"value":{"amount":"+0.964527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$0AF01326-269A-4BB1-945B-0A1F7493302B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef9001af321b33c44865fae830b95d982dc0697","datavalue":{"value":{"entity-type":"item","numeric-id":3194807,"id":"Q3194807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884ae5b18c47344eef4f016bf6a5a6e45ed3b38c","datavalue":{"value":{"amount":"+0.9585134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$CA5E989D-494F-4C95-A3B5-DB80BDBF33F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a85203c99cbcfe0abf575ceed71162f01a1a90","datavalue":{"value":{"entity-type":"item","numeric-id":3567616,"id":"Q3567616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98cfec5ca0002da12337d40b9dd6b1eda7df938","datavalue":{"value":{"amount":"+0.9142688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$324C752C-2C47-496F-83F6-5482DDFDC831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45957c5626845ad6a1b1e3fa9d14e8cf9c0bf9b","datavalue":{"value":{"entity-type":"item","numeric-id":2634500,"id":"Q2634500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945477fef2657bddf725ecf06d39c137334f96f9","datavalue":{"value":{"amount":"+0.8914167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$B3819348-0BCC-4C65-BA96-CD70CB2FBF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b98eae58bf4a4ab657d1b3454ce63e308c32447","datavalue":{"value":{"entity-type":"item","numeric-id":608293,"id":"Q608293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379e7083ab8e4ed5703d604ab9c9db4d282e683b","datavalue":{"value":{"amount":"+0.8883678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$067D0F1A-C9CF-48F5-AAFD-5CD29E334908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8617597157e08a37f4bc5c40c7aec1710063feca","datavalue":{"value":{"entity-type":"item","numeric-id":3612466,"id":"Q3612466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379e7083ab8e4ed5703d604ab9c9db4d282e683b","datavalue":{"value":{"amount":"+0.8883678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$D56D4DC9-5A7D-4747-8556-F8C8107F0B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5c76fabe88d9c70eba38b514452624b68ca549","datavalue":{"value":{"entity-type":"item","numeric-id":2729721,"id":"Q2729721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ec95a6b18ac7431904180dd1605473d180f4d6","datavalue":{"value":{"amount":"+0.88674974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$965496FB-5A89-4734-9B14-8C7433B4EEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b377312faab857de8566188ee7caa6ea38be22","datavalue":{"value":{"entity-type":"item","numeric-id":2947874,"id":"Q2947874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c1415f499be3990cdbfc54c9eb2cd9037cd17a","datavalue":{"value":{"amount":"+0.8802657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902502$95F83F76-3979-48CB-959B-95C79BBE0E2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902502"}}}}}