{"entities":{"Q2843344":{"pageid":2854064,"ns":120,"title":"Item:Q2843344","lastrevid":51798728,"modified":"2026-01-20T02:32:03Z","type":"item","id":"Q2843344","labels":{"en":{"language":"en","value":"The community structure of SAT formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197770"}},"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":"Q2843344$685D670E-D6BC-46D9-96B1-D85272F9D2E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c5b0da19d2a79f99e248feb7b53c0c12a64f47d","datavalue":{"value":{"text":"The Community Structure of SAT Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843344$E8B2EF12-67DC-456E-8996-F670D013EB90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"669b0bee6c8bb11ed830a435f851a7337054f19f","datavalue":{"value":"1273.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843344$5D58DAE3-76AC-426E-B41F-F676372DFA4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd3bac27bc059677524f6e6b574a5372496386c1","datavalue":{"value":"10.1007/978-3-642-31612-8_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843344$DD727560-1FF1-4238-847C-BF1D7C1ACE20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f7d4fe21e22bb47f8af2be9af5b124c53cf779","datavalue":{"value":{"entity-type":"item","numeric-id":274401,"id":"Q274401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843344$B3D70BEE-7D00-4B16-B686-11230625CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6caab071be86bf56b6394b8a5c1113ccfe265285","datavalue":{"value":{"entity-type":"item","numeric-id":309917,"id":"Q309917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843344$F3250B56-B13F-42A0-8A03-BC7FA3A94827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843344$0387A4DB-2F31-4DF6-ABD1-8F7FAD17A01E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99d453d9b3b27bd3cc6141a9b9e45331f29a9235","datavalue":{"value":{"entity-type":"item","numeric-id":2843316,"id":"Q2843316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843344$07F12F88-5369-4B18-B14A-72445A196FEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-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":"Q2843344$26650B9A-4837-484E-95AA-EC8740B5D32C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843344$4F728E9B-1AAA-4482-B0C9-2D4F422FE896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843344$6A0D1304-62A4-4AA5-8B07-C2969D1749A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22916a0c45b0e83189eadd2a7cc682c9ddb398ad","datavalue":{"value":"6197770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843344$94BF8E7F-1E00-4C5E-8CFB-3ADA86085DE8","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":"Q2843344$C8DD3F5D-3D64-42B3-AB5E-D896B1F382CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f175a241220ff0f51b24894531174679fec98c25","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31612-8_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843344$D9DA471A-B68B-43DC-8C65-23F81D0AA544","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2a6bd98e2a6676a536484c5edfcdaf65c9be295","datavalue":{"value":"W73352345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843344$81B62115-2E94-4B05-B118-C91938E3DEC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066fb6ab6071bef73c5e443ef7e2422ca788b212","datavalue":{"value":{"entity-type":"item","numeric-id":5235475,"id":"Q5235475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc31d3c2cd655281c3e06d1dde38a58578154252","datavalue":{"value":{"amount":"+0.9644283056259156","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":"Q2843344$735D10A3-1315-45DB-84AD-9ACA194A638C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1167df140d6bd517cac1ec26194d438c8e8f9985","datavalue":{"value":{"entity-type":"item","numeric-id":309919,"id":"Q309919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e185aa46c98c74d5b6ef2193ed01345170e39ddb","datavalue":{"value":{"amount":"+0.8927920460700989","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":"Q2843344$CED09D67-4F89-49E3-9F10-58A379F5DF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed408bcade965652bf8669a88182d8911516fa62","datavalue":{"value":{"entity-type":"item","numeric-id":2818008,"id":"Q2818008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bccfea0bdf9f5ab84d3ec05b124aae4d586cf2","datavalue":{"value":{"amount":"+0.8819646835327148","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":"Q2843344$F7866A75-155E-40EF-8128-FC307949E604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8778ee37d6f68e3f6cf5cb488562759d7a0915","datavalue":{"value":{"entity-type":"item","numeric-id":3192075,"id":"Q3192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b05262c2e9bfe1e0e29d193ffd9fbc8ba4538f","datavalue":{"value":{"amount":"+0.8720204830169678","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":"Q2843344$953825F6-D6C7-44EB-8F32-FBA434353494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38c0a0088e1166e651fbc7418016d1c376a3892","datavalue":{"value":{"entity-type":"item","numeric-id":3453229,"id":"Q3453229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16df6a996f09efadab3efbf6a7bb8fb0af0cd8b2","datavalue":{"value":{"amount":"+0.8661492466926575","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":"Q2843344$87472FB3-F50C-4401-8EE3-6B8184B1160F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843344"}}}}}