{"entities":{"Q3453228":{"pageid":5232628,"ns":120,"title":"Item:Q3453228","lastrevid":52400450,"modified":"2026-01-22T13:46:00Z","type":"item","id":"Q3453228","labels":{"en":{"language":"en","value":"Community structure inspired algorithms for SAT and \\#SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512576"}},"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":"Q3453228$90364271-4954-49F5-BC0A-26C886ADD3DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"353802fd484376eadd1767c3c1eabedbc972745e","datavalue":{"value":{"text":"Community Structure Inspired Algorithms for SAT and #SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453228$0B1E99AA-68CE-40F5-8E05-CEC574252F1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c6b343c6ebcf6027cdb555f0c1cfc23a28a1989","datavalue":{"value":"1471.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$F906C745-0456-4435-B052-59B08B34F4C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bff10d0283625c34e07221b32953db36a8518e2","datavalue":{"value":"10.1007/978-3-319-24318-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$C6ABE127-0D6B-46C2-9416-CF74D4427A3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20032bcc84344d7c9c68c7fbf55beb604aad0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":395001,"id":"Q395001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$EF14303B-3006-42A3-9811-7462EAC8D8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$D840D8A9-8213-4E6B-B120-860CBAC99E07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$4ABFB6B5-B8D2-4D88-8B3A-3BA7615FEA57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453228$AFD9FA37-BF75-46FB-A26C-9ED71814A602","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$4198E35E-2B16-4C80-BE06-E41363BB712A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$84A4BFBB-1789-459A-9A3E-07EDCDC839C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$F8BDE334-B7DB-43C3-9267-A5C0134420F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$E902AEE9-504F-44F5-9611-98561742A3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$0AED0B25-9D4B-4B47-A0EA-348DE8546112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$5743A8B1-DF8D-4D58-AC62-895D84992F34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50130d083045f0771e446e376405559035b916bf","datavalue":{"value":"6512576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$DAA8E3FB-82BF-40CD-9B09-815A72EA99AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce514966e327ded3c17917f258854330d9f0ecdc","datavalue":{"value":{"entity-type":"item","numeric-id":18319,"id":"Q18319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$59E79408-9DD4-43ED-BE4A-3EF33AD12DC2","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":"Q3453228$D726555A-6220-4731-9C1A-0D284AC5DC50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8f79ddcfa2f3baf891903640e228359fe73f870","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453228$482AED0F-6DF5-4B81-B896-F90B43242B5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a004982031bb726aa9c7f37c7a15fa2e48caf19d","datavalue":{"value":"W2157837456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453228$0BD5C535-8897-4432-9D11-17D3C50A8619","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78ebb32053d94dc1d773ab91668cf0fbf23b87c1","datavalue":{"value":{"entity-type":"item","numeric-id":3192184,"id":"Q3192184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$C3E24B7E-D753-46D1-96A7-E959B768E3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d889df2923f181d6ce0923a425cbb78c6fb0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3624187,"id":"Q3624187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$B7657EBD-0C9C-4DD3-AD23-8F46552CE117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$F242A76C-6881-45FA-A510-7BC40F8ADF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3e133365d57dfbd2c07919f3093669a42c66e","datavalue":{"value":{"entity-type":"item","numeric-id":5928867,"id":"Q5928867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$07E81A93-7E59-4F6E-B6EB-3A4F1E8BD684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9d41de292e3fe88a7d1837b26ece3d8fec8518","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$48F1840D-8A21-4739-A570-373539ED823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62e967816953cecad41268e715794a55d56323d","datavalue":{"value":{"entity-type":"item","numeric-id":3577833,"id":"Q3577833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$EEBC1406-5F8F-478C-9FC4-80B9728FF54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$5BB18269-6279-4B33-B75F-1123BA17D97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276e8a66235a10e3829c4b2abd3d940a89923ffc","datavalue":{"value":{"entity-type":"item","numeric-id":4914311,"id":"Q4914311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$D63D9AB9-88E9-4D68-9A47-A70842C4715C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$10C948A1-D1F1-43A2-9355-326F5925DBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f90f14c7f17aef07745280dbd63e19b5c6789d","datavalue":{"value":{"entity-type":"item","numeric-id":2741513,"id":"Q2741513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$7C148E07-FD27-41B7-80D4-9F540D74C15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e9b3d4894f3739abe95fe62d00a87db18c64ef","datavalue":{"value":{"entity-type":"item","numeric-id":1408380,"id":"Q1408380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$FBB7B15B-023D-4C2D-ADE1-BD93693E9F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a0d4c2b83e2d1c052c87c581c72cdba8da38e3","datavalue":{"value":{"entity-type":"item","numeric-id":1338451,"id":"Q1338451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$C8810594-AB5F-4E09-A3C2-E1CA3F0242D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14744950525d0d45f46f3cdfa3d4d384984627b5","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$CCD93BB3-17E1-46F5-BC13-4CDB510B2EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d27a8235808fe7506c514b85a7a3cbc1e64a34","datavalue":{"value":{"entity-type":"item","numeric-id":4426334,"id":"Q4426334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$CC21F8C1-F490-4342-9B87-36539B334F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489ae184126b14496f8db90426e5f33c6171fc6b","datavalue":{"value":{"entity-type":"item","numeric-id":4547718,"id":"Q4547718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$0F507F85-6831-4EB5-BCEC-48D24BB704EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83cd2b9d3b5bbd3273c11ee0a55188ac24de6e58","datavalue":{"value":{"entity-type":"item","numeric-id":3192075,"id":"Q3192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$08E426E2-40C5-4861-81D4-781AC659ED8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e8c85abb17e5c746e9adf1fb83dab40fda3182","datavalue":{"value":{"entity-type":"item","numeric-id":2464035,"id":"Q2464035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$04F235EB-0514-4AC7-A96E-702046934541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6760c1a0ed84f473ebf9c19dbb4d05bbf42b9a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3751592,"id":"Q3751592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$9BF199F4-4795-41A9-82B8-430808C3D3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76d15f0e9844553eca361034c3e508123e3ba11","datavalue":{"value":{"entity-type":"item","numeric-id":1844861,"id":"Q1844861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$6B5AE999-B16C-46C3-957D-0F201DE7A657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$09595DF4-B546-4A32-B533-91FCC6FAAA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b89a10d5f8399d9170c00181a2ba1cff53d7043","datavalue":{"value":{"entity-type":"item","numeric-id":1765303,"id":"Q1765303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$728EA0C1-CE72-4166-84E5-9AE737BF98E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$6DE8D5B9-32F0-4DF9-9677-419B1A014EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83cded05ea19b46da18554a3a06b16dd5358833a","datavalue":{"value":{"entity-type":"item","numeric-id":4911805,"id":"Q4911805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453228$FEC7FB7B-A4F7-4CE4-9601-1DE55B1F5BE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258c80fab1f94fc13ff1472f57ee8b5e3d036e95","datavalue":{"value":{"entity-type":"item","numeric-id":2238644,"id":"Q2238644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3333e248c0895bbc47a43524bcb49cb4f361b1","datavalue":{"value":{"amount":"+0.9234432578086852","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":"Q3453228$5A367DDA-172A-47B3-A77B-6B0F807AAB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395b22117f7460ff6106cd16ea9221d387d6f706","datavalue":{"value":{"entity-type":"item","numeric-id":2843344,"id":"Q2843344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b90ae17b82339c2cf0b970e9502973aa64e6238","datavalue":{"value":{"amount":"+0.8398409485816956","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":"Q3453228$89C75E13-6DA8-43DE-B83D-77BD12DED819","rank":"normal"},{"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":"ff6c7f54d78b48ee6317757742dea46ce92e54a9","datavalue":{"value":{"amount":"+0.8092073202133179","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":"Q3453228$CE7025AC-24E3-4602-AE32-36C0D3E60C73","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":"1cfb0acf6413fd3ae76befc254ea0fd8733b0941","datavalue":{"value":{"amount":"+0.8005751967430115","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":"Q3453228$91DDA8ED-B926-40F7-BE6B-1EBC6B903967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5859d4e9d54577d2b635828f62eb46bf651c86b","datavalue":{"value":{"entity-type":"item","numeric-id":334935,"id":"Q334935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34a7157acf1b45347d52832e08399b19fcf896c","datavalue":{"value":{"amount":"+0.7902622818946838","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":"Q3453228$5CBA7E0B-AFA7-42E0-80B5-11B39455FE75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453228"}}}}}