{"entities":{"Q6951695":{"pageid":21213705,"ns":120,"title":"Item:Q6951695","lastrevid":84082499,"modified":"2026-05-09T15:30:07Z","type":"item","id":"Q6951695","labels":{"en":{"language":"en","value":"Dependency schemes in CDCL-based QBF solving: a proof-theoretic study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8071033"}},"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":"Q6951695$7189BB60-E30B-4A14-930A-EDE8ADDB5D5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4603d35b360747838e0c9866714ecddabda70371","datavalue":{"value":{"text":"Dependency schemes in CDCL-based QBF solving: a proof-theoretic study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6951695$B6F2A37F-2585-4453-92F6-6C2151B2F38F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6064459e1533ef739fe2a22368b590d375dee179","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2023.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6951695$FF26C80F-1773-4EB7-88E6-5F247B30B743","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b4bfa9e717a7074ce5d5a5b73c9a3ce1c2d3de2","datavalue":{"value":{"entity-type":"item","numeric-id":6611964,"id":"Q6611964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$51E8EBE1-06C1-47FF-A17F-ACAF22A58A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255779f34e1857f1e1d5d34372c6a4a28e1cfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":371192,"id":"Q371192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$72D5BC22-D0E6-4985-AABE-82ABE5294FD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9811af95d74677c616838320cac001d09e488b","datavalue":{"value":{"time":"+2025-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6951695$899F0856-8025-4BAB-9532-53F115B364C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c49f7f584a5a78b30dd753c3ccb5191756f2590","datavalue":{"value":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.38","type":"string"},"datatype":"url"},"type":"statement","id":"Q6951695$966BFF9C-8A2E-4E6D-B946-AADF25965F62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6951695$1117C684-FDCD-4A1C-970F-1EF3DD979A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6951695$1BEE8EBA-182D-493E-801A-2F52D39FB403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1850c407a30c2fb4ba774ed5a1b0037ce735ae3","datavalue":{"value":"8071033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6951695$EB88DE1A-213C-4505-9211-917291C2CC09","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":"Q6951695$CFD6F54B-ECE5-4CB6-9101-614AEBA423DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6951695$49CFC5F0-E4E6-4019-9660-0E3D49C9B72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1009ce042b040215adb43e7bcff2e776d98ed6","datavalue":{"value":"CDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6951695$BF0EAC39-E035-4B3C-942A-B810E0FB7BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6951695$3A22CAFB-34EB-4B6E-89CB-C0923D8775AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c35f031fefb7776ff4b9cd725e564979be59b","datavalue":{"value":"dependency schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6951695$8601CD0D-107E-4888-854B-89FD251E2276","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":"Q6951695$6C6272B5-1509-4669-A020-DE2641BE1CB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"345d727ccbd76ddca8c6106034f4c5e52c95f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$D9ED45E0-4576-434D-82A5-132D09F78AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$B8A8BD89-2055-4A2A-8142-674BB25905CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6c6909b124e99090c7a8c5c97603d84d3b174f","datavalue":{"value":{"entity-type":"item","numeric-id":4972172,"id":"Q4972172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$70364AC6-69AD-4FB9-AE8B-39386377D7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c1425331244edab5d5c3eea9925db8c385ca69","datavalue":{"value":{"entity-type":"item","numeric-id":4625702,"id":"Q4625702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$22D0E10E-CB0B-4DF4-B396-F5B230CBF532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7c2abfc90a00440192972a82eaa784b2acb9ad","datavalue":{"value":{"entity-type":"item","numeric-id":2661365,"id":"Q2661365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$53ACA2C8-5363-4329-88FA-599EBDA088E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710e58c0bf3dcdc281e62a5c8528369d11bdfad7","datavalue":{"value":{"entity-type":"item","numeric-id":6135750,"id":"Q6135750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$D35FBFC5-DA4A-4A6B-A66C-0D7D446D2901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca94ae032d3cfe3b72112ec4150fa2e5f4c2395","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$E6CEE16C-94EF-45BF-8CAF-1A9210BEC1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$FADDAE16-7710-435C-8F63-9CA79F816B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84f4dde9abcb3867b7badef2b037c558131e664","datavalue":{"value":{"entity-type":"item","numeric-id":1680258,"id":"Q1680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$6D643CA2-D9D9-4D44-AF3B-70CC51CF5471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a070d8fdb1022ceaf1018e69d1c797690a1633a","datavalue":{"value":{"entity-type":"item","numeric-id":6572023,"id":"Q6572023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$A900D186-79B8-4013-8439-90C361003043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c4c418b1607bb92fa49816cc4cb896e40ed24e","datavalue":{"value":{"entity-type":"item","numeric-id":6643076,"id":"Q6643076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$3D456075-5012-4EF3-B340-2BC955EB61E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a27c21a4e07144fbea9ed63825155b5bf3f3d5","datavalue":{"value":{"entity-type":"item","numeric-id":6951695,"id":"Q6951695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$BBE19077-7796-4CE2-8550-BDAEC58D8DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c980258a2b52c992d9a0c35b22f3411058f7ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$36176437-C7E9-4304-B10F-F718AB078088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc791ea6031f9274a6c599a5a61a3da3960fb26","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$B6BF04DA-171E-4367-97E0-4B15A064A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc30eca61452c90db6ccb19485dac54a36250ff","datavalue":{"value":{"entity-type":"item","numeric-id":2417950,"id":"Q2417950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$B6F2BF51-92BF-4329-A406-0369FD91F0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$0FF673DD-E632-4744-9035-83A42E06644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a856eabfd48ba25e148be4fb9c4387f0a4d3d7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1040783,"id":"Q1040783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$CABD44F9-C56C-4F27-98C2-32B899AD8C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e32113a388ead486965a3578e589d36dea4469","datavalue":{"value":{"entity-type":"item","numeric-id":5889312,"id":"Q5889312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$D157798A-2579-4A4C-A81E-6C9010B1A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c6d0d596991bfe8d4d820bd3efbafa0c05d235","datavalue":{"value":{"entity-type":"item","numeric-id":896919,"id":"Q896919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6951695$A12ED1A4-217B-4190-ABF6-8EF4C368AA80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dependency schemes in CDCL-based QBF solving: a proof-theoretic study","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dependency_schemes_in_CDCL-based_QBF_solving:_a_proof-theoretic_study"}}}}}