{"entities":{"Q1680263":{"pageid":1691004,"ns":120,"title":"Item:Q1680263","lastrevid":52957247,"modified":"2026-01-23T21:52:42Z","type":"item","id":"Q1680263","labels":{"en":{"language":"en","value":"From DQBF to QBF by dependency elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807235"}},"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":"Q1680263$9EA9A462-BE26-4752-B143-BA1B0D6A00DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"444c534b157e1c1e8033320995872f76d0688175","datavalue":{"value":{"text":"From DQBF to QBF by dependency elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680263$183BE560-FEA0-4E39-8C8B-317FC5AA0F31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9516898fcd1508cee158712f8ec6f756eaeb4c47","datavalue":{"value":"1496.68372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680263$1A85B92F-2F03-4ABB-9423-9795DED7A6C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1a7443bebab83bc44598edfb4232e29c5589919","datavalue":{"value":"10.1007/978-3-319-66263-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680263$7F4C6676-08F8-4192-BEC0-6DA79FD730E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680263$80A88BEF-2537-4C81-89D3-DCC4A4216A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1abd501369e31dd35e46eb7e05a8099773087f5","datavalue":{"value":{"entity-type":"item","numeric-id":500991,"id":"Q500991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680263$0E7171C8-FD12-48F5-93AA-E018E1C27257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d46f43b5897fc91a96f9a8d396638857810f0be","datavalue":{"value":{"entity-type":"item","numeric-id":1680156,"id":"Q1680156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680263$4F52F9B9-537F-4D40-9EFA-83D59403CDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"618dff94aec38f24478b8597ebb886639eab98cb","datavalue":{"value":{"entity-type":"item","numeric-id":436416,"id":"Q436416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680263$DFDF871C-E95F-412F-B7B7-414763BC4C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680263$4496027C-8CEE-4850-9560-DBA8EB00FB7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680263$70D74CF3-5480-44C5-AEBA-6741E02B4EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680263$98D46452-20B2-413A-A27F-3396F44265D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680263$B202FD90-C085-4EA4-8AB5-9800C41FC0E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7be909d217950acc24c27cc866a8afee34773a75","datavalue":{"value":"6807235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680263$42D17F8D-CB0D-4779-9D74-63E9867C6994","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":"Q1680263$9E6BE662-3B96-48EC-9D1E-4E873747B6D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceca254b45b181bb086b743cb416bf12a3297f2f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66263-3_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680263$97C6764E-A3B3-412F-A37D-4F267C7C43B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ba830f806da68919ba1f8b8a6b5515c267d8012","datavalue":{"value":"W2744754855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680263$CF467E41-9F50-4C53-89B3-3C8F5DF490A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb61ea282983acf31e37fd5a0de564b807944ee","datavalue":{"value":{"entity-type":"item","numeric-id":2818034,"id":"Q2818034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e1c9ab3fcef41d1382770a5c3ef3fc2e44385b","datavalue":{"value":{"amount":"+0.838623046875","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":"Q1680263$3E0E10EE-A8D0-4505-897E-25A14EBBF49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b48ed177789756d6086d8bec72fa577b58d46b","datavalue":{"value":{"entity-type":"item","numeric-id":5889312,"id":"Q5889312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e88b6db9f7bf6a4e4c5b985d786c3d6a809dee","datavalue":{"value":{"amount":"+0.8265241980552673","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":"Q1680263$7BA50794-BFD0-413D-A6A8-9E4A1327106E","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":"f080c9b3ba43886d88202e7172f8e06b85f8787a","datavalue":{"value":{"amount":"+0.8215888738632202","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":"Q1680263$8CDE1176-3432-441E-ADE9-4B4827B9446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06a54f9f58d70b750796b92f3947935b7f23d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efbb3dd519523271895ea31f9754b2ea05d9f9ae","datavalue":{"value":{"amount":"+0.8200821280479431","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":"Q1680263$D16EBED8-F42C-43B7-990D-9DE8587137DE","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":"fa8c1ed9d03174608b51ba55790a3ba68423ebec","datavalue":{"value":{"amount":"+0.8168815970420837","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":"Q1680263$29A58C93-D4CE-4C63-867C-38612BAF8B1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1680263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1680263"}}}}}