{"entities":{"Q1680243":{"pageid":1690984,"ns":120,"title":"Item:Q1680243","lastrevid":68124675,"modified":"2026-04-12T21:35:56Z","type":"item","id":"Q1680243","labels":{"en":{"language":"en","value":"On the community structure of bounded model checking SAT problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807219"}},"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":"Q1680243$0DB3618C-545D-441D-9C3B-D0E1E6EECAE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c603c08ea4cd6ea61d823130c9c63c29d9034e2","datavalue":{"value":{"text":"On the community structure of bounded model checking SAT problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680243$E23956C6-EB84-439E-9D41-51BB44F28A6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f53ae705999ebe21b2b72d86b429713fc0c31526","datavalue":{"value":"1496.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680243$68E4A616-CE55-4891-AB0B-BEF17668D6F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5012b9dcbea89af6bd8ba58d79e692b51c42fc1c","datavalue":{"value":"10.1007/978-3-319-66263-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680243$DB3829A9-CA2D-44A6-97BE-2E742B19B34D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ed4356b39afcaa8908adecfd9a8cfb0021841c","datavalue":{"value":{"entity-type":"item","numeric-id":1680242,"id":"Q1680242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680243$C0F61ED1-1637-4558-B412-7B8813C1BFAF","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":"Q1680243$3868C8B3-32EE-4D2E-A30C-142E35FAF8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5030f3a1f4f4cc7743a44d19430b0381408bf85","datavalue":{"value":{"entity-type":"item","numeric-id":630953,"id":"Q630953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680243$03268829-3B82-4475-B32E-1B7D33139F6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680243$F66D7F4B-ECB7-4936-8F3E-6B4F4F7E8B63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680243$C9407972-BF5C-47D0-BB35-0555FC26CD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680243$71CBDD7B-BF27-424F-BA9C-61404B7F8543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680243$6FDB1E7E-433B-424B-93C6-4B9E272C8FA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f1a53dd1a67c294f8ea207d69aabc1150749fa8","datavalue":{"value":"6807219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680243$2B955DBA-DA72-4127-BCED-AC4C8E9DD391","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"653a6fa8244aa30333c256cc037f0dd6705a8f9e","datavalue":{"value":{"entity-type":"item","numeric-id":37663,"id":"Q37663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680243$27F78970-7FC4-455C-90F0-BF01CB57CE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680243$7FEAD56A-6CD4-423E-9015-5538A48DC7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680243$483FDA27-987F-4073-A237-288C293AAECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680243$48C045D2-2166-4479-ACEC-F3C6ADC2B895","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":"Q1680243$160566BA-45B7-4680-94AE-9CCC0F30FCFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f129b51525bbd7794aafc3d69aa705862c8dad43","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66263-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680243$8F86DE70-AB40-4267-A3BA-C1655963AA4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dbf630a13da36a50546ee61e37cf1adc29bb1b7","datavalue":{"value":"W2742798638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680243$1B5BF947-B2AA-4462-BD8F-A8C234AE8829","rank":"normal"}],"P1643":[{"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":"6b6873e070bca9948d2f30e53255b1895100ce52","datavalue":{"value":{"amount":"+0.8410462737083435","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":"Q1680243$5F00A6BC-73B9-4E79-A0D8-1A0A0E2A54CE","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":"982286736ea5ebe51ef2f01fb98da30275fb26f6","datavalue":{"value":{"amount":"+0.8364508748054504","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":"Q1680243$DBD65BAE-4FA5-4804-A910-3C87555DFD34","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":"86e9fe6c05db4c34880be31eef9e7b42a0b369da","datavalue":{"value":{"amount":"+0.8275870084762573","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":"Q1680243$A84A0642-062C-4912-A9C9-9F25A3717F81","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":"1bde71972d2e9404dafc3e30c3aa8ce402a51b82","datavalue":{"value":{"amount":"+0.8272332549095154","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":"Q1680243$9A483885-8970-436A-A480-C57FAF98BB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7a4d1a04c45052288a22f119e0f9aae5fc8e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3453211,"id":"Q3453211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c07d8a0957eb0e96474a22d79f2a8933f1e6dd","datavalue":{"value":{"amount":"+0.8202361464500427","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":"Q1680243$D64465EE-3A56-4146-9068-71B63D063DFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the community structure of bounded model checking SAT problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_community_structure_of_bounded_model_checking_SAT_problems"}}}}}