{"entities":{"Q4972172":{"pageid":7001751,"ns":120,"title":"Item:Q4972172","lastrevid":53600873,"modified":"2026-01-25T09:52:10Z","type":"item","id":"Q4972172","labels":{"en":{"language":"en","value":"Dynamic QBF dependencies in reduction and expansion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135671"}},"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":"Q4972172$7E218637-FB6B-4B4E-9CE3-77C4CFF46C46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2ba053d933a17f255b6a3f4b382f1ae6f847afb","datavalue":{"value":{"text":"Dynamic QBF Dependencies in Reduction and Expansion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972172$CF849C5D-49CF-435E-85E4-C02A46EC12DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e5988a1313af249c94e47458bd49488eee3c75a","datavalue":{"value":"1433.03138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972172$8F677C81-C8CB-46CD-8FF2-F0D6E3B71834","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59e16fc7016ec3ec4b6a4adad740c90e616a3c8b","datavalue":{"value":"10.1145/3355995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972172$E4966D5D-B5F2-4E62-A2A4-B43481D079F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972172$D11B3F1F-D169-4132-9927-30A0048AB8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef950d398e713f13e50d18170d592f5e03fdd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1680257,"id":"Q1680257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972172$AF86195C-2007-46BF-A16D-7B452CFF07DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972172$6905B5B2-9D63-46BF-AA26-6ACBB6BEFD6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972172$59F7E918-F80D-48B0-87D0-CA7A4D6BDAC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972172$6DA8B1D8-6828-41B9-B46F-1432A03419E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972172$8DDE8AB8-98AF-4F76-97ED-624FB79FD9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972172$E0EAC132-5433-4A69-8385-3BCB8AF58D57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bef4d9d4aebd7f010100d55211872fa67ae72855","datavalue":{"value":"7135671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972172$6BE74FBF-C4C9-42FE-BB6A-21139023B662","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972172$F2A6C47A-D459-4F75-A5D9-D60912300CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c35f031fefb7776ff4b9cd725e564979be59b","datavalue":{"value":"dependency schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972172$F1E5A188-F795-4791-A7B7-7938B6139937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972172$5F7CB715-3CFD-485A-BAD7-62BE527FF3E9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d2968f3128316300b8060ed13bb3ae865e67fd96","datavalue":{"value":"Q114071247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972172$5EBA4402-0E5F-457D-8BC6-ECFD8E4C545D","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":"Q4972172$A005A1E7-9754-49B5-B9EB-3DAE719C4C13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0699197f1c28b1b0bfbf251d5bba6bd376b59c9","datavalue":{"value":"https://doi.org/10.1145/3355995","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972172$490DA951-85E7-4A77-9E72-53D2B9E5BCA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"464c261f78a5ac7b8794268052483c8d85bd9740","datavalue":{"value":"W2983793616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972172$68D989BB-B154-44B2-90F9-FBBF969F5781","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6e396fa66334b947dcd82b2b6879e797832123","datavalue":{"value":{"entity-type":"item","numeric-id":1680258,"id":"Q1680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662a69c29c046357fc56ba8ab96366cc0c447651","datavalue":{"value":{"amount":"+0.917722225189209","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":"Q4972172$7CD3ABDD-434E-40BB-B91A-AC94D3FBA885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5c2ee4c3f509aa1a1ed0bb37051ec4ca9f5275","datavalue":{"value":{"entity-type":"item","numeric-id":2323446,"id":"Q2323446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b381238931d11e2bdeefadb56ced30478171ef55","datavalue":{"value":{"amount":"+0.8313563466072083","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":"Q4972172$DF475EB9-21E3-4F70-BEFB-300DD5E64A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ecc6b6949aea32936b478ec194782c98455988","datavalue":{"value":{"entity-type":"item","numeric-id":3192076,"id":"Q3192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a250f008a83e42d5f6c73831fc50913dbc6ad23a","datavalue":{"value":{"amount":"+0.8302294015884399","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":"Q4972172$A3A2EBA5-995B-4881-8166-EFC6192E7532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55510d2d33a6f3973a1e5a43384ca8597eb381fa","datavalue":{"value":{"amount":"+0.8206906914710999","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":"Q4972172$02B9A782-ADD1-4DC0-B05A-7B28213E10A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9e04a5281dad58360fba33cee7ce694420be2f","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f7e8bf66abe6e60e82a6538292c793f53d9caf","datavalue":{"value":{"amount":"+0.8188298940658569","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":"Q4972172$C04310D2-ED16-4908-B810-2B5F45F01F74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972172"}}}}}