{"entities":{"Q2055876":{"pageid":2066618,"ns":120,"title":"Item:Q2055876","lastrevid":57686787,"modified":"2026-03-31T22:09:02Z","type":"item","id":"Q2055876","labels":{"en":{"language":"en","value":"Dual proof generation for quantified Boolean formulas with a BDD-based solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437093"}},"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":"Q2055876$ADB0AEFC-ED49-4882-B486-E6BC6EB13DB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcdcca39ad64ab7e58053ebb5dd4dbbce47065c9","datavalue":{"value":{"text":"Dual proof generation for quantified Boolean formulas with a BDD-based solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055876$2C72862B-6BBF-4987-A4CA-5F796117CF49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"687dc0a816cfc61047c3f8c396bb17eb5ad3ad0e","datavalue":{"value":"10.1007/978-3-030-79876-5_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055876$B546A01C-91BC-4DD7-AEC8-3FA226F2865F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$074FBAF7-CFC4-48D9-944B-249360758B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$92A83AF1-178D-45B9-B074-222EA797D865","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055876$BA5F9C31-1508-4AD8-BBDA-A113FAF3607D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055876$5DD338BE-BD21-4E68-8C23-ED8A090069F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055876$D6000A48-A338-4803-9116-CAC5FFD6BFFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2419c53ef6cf2b78a0477ab12f5f43047f2f5dce","datavalue":{"value":"7437093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055876$907E05E1-F83F-4449-8F35-0E948CE49391","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f364a5dc1a6dd72f6c6d02f82a7256dddfa704b2","datavalue":{"value":{"entity-type":"item","numeric-id":5975158,"id":"Q5975158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$4E105E17-2FF6-4CEC-9B6A-79BB57BDFF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54eecec17742b191be9c59853a2308b615ea6ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2703803,"id":"Q2703803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$D30E98F4-E759-4FEB-BABC-96F05152F53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$704D8998-7751-413E-A8B5-FA7F7FE39116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$71A93965-1BFC-4230-9D00-DDC117227EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$C8CBC595-751D-45D4-B1D3-F1949BF77BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$D59D876F-CA79-466E-B7DD-F302A73615C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ed20ca086ed8ee83e652195ddfbb40a6c734cb","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$1C0F26F1-23CD-4F34-A128-E45F9771E997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2460d834fdbd5dfc5763b880e0a3eed5bed6624c","datavalue":{"value":{"entity-type":"item","numeric-id":2044191,"id":"Q2044191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$3FA678C7-2F1B-42CE-97CA-04A4CF77304A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67fcddb24060125029173cfd968ce530b38d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1978379,"id":"Q1978379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$6F19FDAA-8DB4-4727-B4B2-59EA1C4DFE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$65F50F78-48C8-4669-B26F-84100F01B0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$2B50F800-7354-481B-B019-6F5F984C6F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ee549d8bb57e5e1846db9b011600108709cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$A9021739-3850-4EAB-B48F-7B7C24BACC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902fdcf74998a1444a82e1d931ed2cb2c0533230","datavalue":{"value":{"entity-type":"item","numeric-id":2362496,"id":"Q2362496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$ED70781E-87B8-4F59-8D8F-432EAAC5EDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$4DD45757-ACB8-43A2-AC45-A619F28692D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd73ca6e418060dc9aa1dc7053b40ae99fececfa","datavalue":{"value":{"entity-type":"item","numeric-id":5756562,"id":"Q5756562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$4E5AFAC1-2A57-4299-8C02-0A6C4A5837BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81867e3920d63292ec40a953a0141bb46dbbec3","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$881476DF-861F-43CA-91F9-2019710333CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$07A5404B-99A5-4FDD-BD01-9CAF77D38603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4f71e5b6c0fd354c817f9028a306383d024054","datavalue":{"value":{"entity-type":"item","numeric-id":5015604,"id":"Q5015604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$38E6C741-6F52-4138-99E1-2879E01E8A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a555c78e813a5bcccbb1c854682ba4748e2c2baf","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$C99D20BE-13EC-4082-8F4A-24F9F912A402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241a84e6f61ddf1a88ab9e24d91b0723d27a5775","datavalue":{"value":{"entity-type":"item","numeric-id":3400890,"id":"Q3400890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$FACB7CFF-1D88-4A11-B59D-B4D286FEA9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5843107a675ef426cb1b75becf5e9aa46b5362","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$99780DA0-48E0-42F9-A079-6484C80856A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a739b0a06cfd6f23058aacee220641cbbe4064d8","datavalue":{"value":{"entity-type":"item","numeric-id":1656583,"id":"Q1656583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$7432EC6E-46DD-4852-B19A-D2577973F265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a75db9bdf4ecf4e316a158af7db19da7d850d73","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$3D698943-CA72-4C99-A77A-464E78E8DBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caf86375d5742ea2c000a772a856d31236b04b6","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$3F0F4E9C-3B04-4A66-8DE1-371C3C0BB088","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4464e9323a2e404c3e874331935c8667263be3c8","datavalue":{"value":{"entity-type":"item","numeric-id":5975158,"id":"Q5975158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$B4B4323F-57EB-44DA-AACC-9763488535D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$272EB845-8AFB-4D6B-838D-94F37BBBBACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$7E948092-7200-4058-AA51-7489466B1C38","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":"Q2055876$772A6B09-5065-47C4-B4FC-DFB70F80F7E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bded2bd722999512a8c9938d909955b73efea79","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79876-5_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055876$DA9ED16E-7E6B-4B49-BEBA-DE75EEBD6576","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb4672220c3966de7336ba33da826a10ca947e54","datavalue":{"value":"W3178381410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055876$1FDFAFE9-728D-4A18-BD65-60727CE08BCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6b71d42a3a8ceb471b63787d9b0915812405e8","datavalue":{"value":{"entity-type":"item","numeric-id":2044191,"id":"Q2044191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54baceabf988bb7140c9739018d1fc96a2bf0892","datavalue":{"value":{"amount":"+0.7985212802886963","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":"Q2055876$558A6B55-3806-4487-9955-C01BF7A065AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b0db0006f6b601a4d415d7b7169c2b11c227d1","datavalue":{"value":{"entity-type":"item","numeric-id":5713717,"id":"Q5713717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cedc18d89a6659e74c810572be71abb61eded9","datavalue":{"value":{"amount":"+0.7756033539772034","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":"Q2055876$DE3C32B5-B8F8-434C-90EA-7C5616C8BC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca0e7e93dd7042cbc7e59c47a83bea11c5a6406","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1befee4517fc3ae7db2184befa18ad6bf7352966","datavalue":{"value":{"amount":"+0.7739711403846741","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":"Q2055876$E78121EB-F855-4560-BCF1-EBB51C11925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0547585d8f8a34dc989b699b2faf640176d826c3","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe08280500f734058cb6d6e943efe993ac4bdb51","datavalue":{"value":{"amount":"+0.7717660665512085","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":"Q2055876$8DB97B37-5FBB-45B3-8010-7118B97BD8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc427116e8e5de07b05e44314d4af2dec7739b","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2342505c2c06b978f34f94ac4085d2f04ebf4b49","datavalue":{"value":{"amount":"+0.7659479975700378","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":"Q2055876$23C77D34-AC8B-4C2D-94B1-3FCF399AE0CC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055876$75E30978-5154-4E38-81F1-C197BA80917F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2055876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2055876"}}}}}