{"entities":{"Q1704571":{"pageid":1715312,"ns":120,"title":"Item:Q1704571","lastrevid":53041247,"modified":"2026-01-24T02:45:00Z","type":"item","id":"Q1704571","labels":{"en":{"language":"en","value":"On the construction of graphs with a planar bipartite double cover from Boolean formulas and its application to counting satisfying solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6848998"}},"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":"Q1704571$187B55C3-866D-488F-8084-D0267700626E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf65c78a37893ab85ac252ecdb357563ef08b159","datavalue":{"value":{"text":"On the construction of graphs with a planar bipartite double cover from Boolean formulas and its application to counting satisfying solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1704571$6F0861E6-FA76-4838-A9E2-47420A76F2BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d823c719f9b0354206cfbf35dd50135b6077265","datavalue":{"value":"1388.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$C74D58DF-6982-4F37-BCDD-0F2ECE7F25F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a999af0ef4900da6d263b87e1ded510767e29a","datavalue":{"value":{"entity-type":"item","numeric-id":338830,"id":"Q338830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$CDB955DC-14B0-4FB1-ACAA-1E3D61E07DB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$29A12641-A163-4F39-8C04-1184D9894844","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cc8ff785145483794beca95dd57f9ed4de5b6fd","datavalue":{"value":{"time":"+2018-03-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":"Q1704571$38D444A0-0602-467F-8F02-47AC7792A497","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$240BEE29-B044-4931-B88C-4F9A80493D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"357c7c34a1a90d83243f17011b7aa90788d1792d","datavalue":{"value":"05C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$3741A22D-6F6E-4DD4-A103-BD8DD11D269E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"898109ac7e401de8fce76101fe27418b7afd5158","datavalue":{"value":"05C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$0A88D5AB-0A95-4668-9264-D279FAD61198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$EF85500B-43EC-4DA5-907F-E13223B2FC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$519D7E88-533D-48EC-AFB8-FD305595F3D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c68b2ee7d886e10a2df8e4e90986dd4af0b4f669","datavalue":{"value":"6848998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$0F15B009-FF45-4E20-9021-66C45D4E989C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8192f11610279d466bb99aa31056e9f91f415eb7","datavalue":{"value":"planar graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704571$C8988FB6-4B98-40D5-B82C-FBE4C6DE4BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef7a0523820059ae0a12acaf5991f29116229b63","datavalue":{"value":"bipartite double cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704571$BB02D3EE-3509-406C-9F8C-90EA9F2F45C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e613916c36996eda3081db85d279e3e413eb46a","datavalue":{"value":"perfect matchings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704571$27E58290-C118-424E-8737-4E392CAEB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecde75e20fea1230a086243cffda8342cc569a15","datavalue":{"value":"permanent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704571$AB065AAB-D48C-4303-B213-63198A90974F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efb5fa8e30f254c08c7977b8a930f70e0a08bcd","datavalue":{"value":"counting satisfying solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704571$6C665ED8-2F31-469A-9709-3DF2C6EB8189","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":"Q1704571$1A7D5EC5-DC01-484D-8AED-8F07BEDAA0C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"100180909de575dca7e837aba232be837e3d49d9","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.11.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1704571$B3E5F903-2BE4-49CA-8E7C-EF97533ADC38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3311d0ea8f9a9e9b5f6df2d196d2b1c24c2e7a1","datavalue":{"value":"W2770870172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$9789E032-9FE5-43C5-9CAC-3FDB476D4FB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$3BEE9620-94AE-4B07-94F2-CFE30733DBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e84f2cdd97a529158f23d71726d0bf98b9a8935","datavalue":{"value":{"entity-type":"item","numeric-id":4864429,"id":"Q4864429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$43112B08-1A42-423A-A102-DD2F6DE5B5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98872e40323a345eb5c5b33a8a0d5898b7bd292","datavalue":{"value":{"entity-type":"item","numeric-id":5333353,"id":"Q5333353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$19B8D95B-C43E-49B5-B56A-707F8A8766FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f683459d249a7c93a2ee5ccc345d4a67d4cc81","datavalue":{"value":{"entity-type":"item","numeric-id":2903673,"id":"Q2903673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$B6A1B8CC-9EFF-4151-8EF0-4AE6F706CD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13fcf857d7e3636a194d80800c8b94ca1464759","datavalue":{"value":{"entity-type":"item","numeric-id":3532577,"id":"Q3532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$2995B634-A36A-48F3-884F-CDD30F5E76F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e865eb16d25dffd9fc456cf73579bb48ec2418b4","datavalue":{"value":{"entity-type":"item","numeric-id":5737812,"id":"Q5737812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$C720C0A6-3519-44E7-9A87-1B510EFE6EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$D242D063-7BB1-4582-886C-8B1276E595FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b3bb72268e811f46476ea8559c6205f6bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$CFDBFB32-9E77-4132-9C36-53D9FE083029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dfd82bed9266a9eb9ee03c49c86a8c45cb2436","datavalue":{"value":{"entity-type":"item","numeric-id":1090454,"id":"Q1090454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$FE20CA3F-88BF-4D1C-B1FD-002FC0C2DEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9144ef896584fec271af71b07c2c7cadc790b8f2","datavalue":{"value":{"entity-type":"item","numeric-id":5428860,"id":"Q5428860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$FC7B5F6E-8D82-409B-A9CC-5D43AA653CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11074dbd05e9aa8aea5660f04de1c8356bc302","datavalue":{"value":{"entity-type":"item","numeric-id":1124750,"id":"Q1124750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$596B6AA4-C684-4CB0-B3F1-F8950BD9035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39738cea79e11456d6583aec1786d79af209b23","datavalue":{"value":{"entity-type":"item","numeric-id":5341586,"id":"Q5341586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$AD5D32D0-08BB-4C1E-A9CA-247649CF7909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efcbeed35653bb79abd91537419405343c057f8f","datavalue":{"value":{"entity-type":"item","numeric-id":3069905,"id":"Q3069905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$9D0199DB-2E49-49FA-953A-1254E03B1D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176f92be0a5c8084cbea32a162c15c6e5a582bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3936195,"id":"Q3936195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$E5C76201-827B-4AAD-A538-7DF95402B3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b852a7a28bbec3b861b12cebdf1e5b87806fca","datavalue":{"value":{"entity-type":"item","numeric-id":2645755,"id":"Q2645755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$2695C3B0-5420-4B36-BA5C-483318974372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c31d1cbbb3f608df266c0768589c5cc798344d","datavalue":{"value":{"entity-type":"item","numeric-id":5545841,"id":"Q5545841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$39E5DFAD-262A-4B7B-9348-ACFA1F3F8B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318ec508daa59685bbcce1ce3027ff65fb2af8e7","datavalue":{"value":{"entity-type":"item","numeric-id":2378519,"id":"Q2378519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$10F12819-276A-41A2-A45F-1E78A66D48D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963b960c9672538cde7977264c41dbf3cc8c9e93","datavalue":{"value":{"entity-type":"item","numeric-id":2912747,"id":"Q2912747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$719DA4E7-3BA2-4C2B-97A7-F664D11B30BA","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":"Q1704571$0642FCC3-ADD0-4C60-8C89-95E7C010747C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6c795b964173c3170d88f9dea284f7d447142d","datavalue":{"value":{"entity-type":"item","numeric-id":4210088,"id":"Q4210088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$0968FD4A-8017-4A7F-80EB-C3AD6205EF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f388ebba1247f442588dc302d845e360a31fb74","datavalue":{"value":{"entity-type":"item","numeric-id":3796778,"id":"Q3796778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$346D7FCD-97F5-4395-B50B-05D160B8017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837500b402bdabc255bcfc306169de2caf8bad88","datavalue":{"value":{"entity-type":"item","numeric-id":503455,"id":"Q503455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704571$DF5138B7-66E8-4FF6-B44E-F5AE055FC32D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b0f7fc60ecdfd0ceef8381b00c149da669218aa","datavalue":{"value":"10.1016/J.TCS.2017.11.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704571$57A054B6-47BE-4CAF-B2DB-D08B48D4644A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c02d5d91aaf998118524bd7578cc25ca859afb","datavalue":{"value":{"entity-type":"item","numeric-id":2784460,"id":"Q2784460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32518d24a77ccaaf45e2eacee81473b46e24f79","datavalue":{"value":{"amount":"+0.7931883931159973","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":"Q1704571$CC899190-901E-424A-8278-EC65185813D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf09f0a25eba3db51e3ec3be22b144d85683e4b1","datavalue":{"value":{"entity-type":"item","numeric-id":2382289,"id":"Q2382289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0eaf2ff60382623939d32431eb5ea458056f15","datavalue":{"value":{"amount":"+0.7769020199775696","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":"Q1704571$2DD03C1C-5805-4441-81FB-2B48DC820882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328e354de4d29c3a623e0eb91a6467e95c4fb260","datavalue":{"value":{"entity-type":"item","numeric-id":4210088,"id":"Q4210088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c63979608c5e138c7daf81d086e41b2de29b49c","datavalue":{"value":{"amount":"+0.7631447315216064","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":"Q1704571$0635E3CA-D65D-49C2-82BD-3656781F5E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd35a3df112970d6cc97180e5ec0ad32b2881cac","datavalue":{"value":{"entity-type":"item","numeric-id":3386918,"id":"Q3386918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c63979608c5e138c7daf81d086e41b2de29b49c","datavalue":{"value":{"amount":"+0.7631447315216064","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":"Q1704571$A6A3647E-AD24-4172-AC29-B82D1A16069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8697d05729552a65d29bd5d2b8915a1f6d871cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5898890,"id":"Q5898890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014b4514c9916fd5b8912ffd98decd1f5a489104","datavalue":{"value":{"amount":"+0.7611196041107178","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":"Q1704571$9B4A9A89-3370-4A2B-A996-AB57DD096DD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1704571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1704571"}}}}}