{"entities":{"Q6611965":{"pageid":14223122,"ns":120,"title":"Item:Q6611965","lastrevid":57126915,"modified":"2026-03-26T17:25:42Z","type":"item","id":"Q6611965","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 7919845"}},"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":"Q6611965$988B73F6-3B1B-4EF3-B6AF-7A76F9AEBDAD","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":"Q6611965$D32B8356-C754-4461-AA32-F52B570E1E2D","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":"Q6611965$7583B469-A3A4-47E6-A4EF-EB9D98452445","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":"Q6611965$75A8B5E1-EF13-417F-A957-40598787D02D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611965$39331ADE-87BB-4108-AFF9-063D1B07AFD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa77625b6793398e9785907ea2f3653fa0fbf243","datavalue":{"value":{"time":"+2024-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6611965$E9784DD6-BC9E-40C8-9D10-B63F9C51F065","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611965$0CA42A0B-84D9-4D08-8C38-F2794A7D7DE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30b2d0c2ee17908990ef77d783db219f8deaffb8","datavalue":{"value":"7919845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611965$0D3EB481-E6E6-4B19-A84B-68F89D496628","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611965$02E12B3B-7EC4-47D1-8B74-4BDA20C60C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e9f8634e1d80292d6e6e6f298fabface0a58664","datavalue":{"value":"QCDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611965$56BB229B-9FA3-4169-8880-83AD8C1A4F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c35f031fefb7776ff4b9cd725e564979be59b","datavalue":{"value":"dependency schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611965$04BC2227-172F-4593-BF14-FA48F8A8E011","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":"Q6611965$C777F51E-E211-4E02-9C5C-CC1AE5D177F3","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":"Q6611965$85F82FCC-6FD6-45E2-8366-D578913FFB50","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":"Q6611965$90146071-4EA1-4A9D-BDE0-725C749DCB6B","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":"Q6611965$C6D34027-1ED8-47EF-AFC2-A8A41A942444","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":"Q6611965$45927FDB-D4C7-402E-9696-79D8D2810533","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":"Q6611965$558B41D5-5395-4DDE-B073-4C656DFA93B2","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":"Q6611965$4529D3E3-A117-4466-B507-533D49385374","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":"Q6611965$BBBA99F3-F5E1-4819-A39C-9EBB9DCB6B6E","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":"Q6611965$A710561D-247C-4283-8566-45C8C41F8FD0","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":"Q6611965$E0F4F878-D68E-41F7-BBC2-BED2D30CA06D","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":"Q6611965$49075C72-35FA-499B-B3BF-EA7B27919EE3","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":"Q6611965$049652B7-6E44-46CD-9C0A-CAD4478AA149","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":"Q6611965$0E189BCF-C075-4580-83BA-33C22E4F8570","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":"Q6611965$61C2BE1C-F0CC-4571-82CE-98DE892409F5","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":"Q6611965$A2ECFD64-DBA6-4ABC-A633-7D68904F36D3","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":"Q6611965$CD42F34C-39CC-4016-926E-2B1FD1F3679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d60dad0ed0c9b52ceb981500075dad75a13309","datavalue":{"value":{"entity-type":"item","numeric-id":5015602,"id":"Q5015602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611965$E50031AF-7A0E-4E44-B639-7F31B91F7186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a25870e8dc3c9d9677d96f510eca96cd58b1ce5","datavalue":{"value":"10.1007/S10817-024-09707-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611965$85DC7CAC-3097-4E0A-B78D-88A320540875","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":"Q6611965$3146E4BE-C3E1-46CC-B484-9C1345FAFEAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6611965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6611965"}}}}}