{"entities":{"Q1656580":{"pageid":1667321,"ns":120,"title":"Item:Q1656580","lastrevid":68252241,"modified":"2026-04-12T22:28:04Z","type":"item","id":"Q1656580","labels":{"en":{"language":"en","value":"Local soundness for QBF calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916309"}},"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":"Q1656580$4E9BE6A2-29BA-4701-9DFF-3401694506C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"202cbaf3973135aede0ac759176b1dbce80da075","datavalue":{"value":{"text":"Local soundness for QBF calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656580$2EABBE1D-28BF-464D-99B7-A51FC74FA62A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af2659979c8ddf524615aa720f465ce15f2ab8e0","datavalue":{"value":"10.1007/978-3-319-94144-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656580$BE7160CE-E3E4-46EE-A2B6-D47FB0D12CE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656580$0E9BEA9C-9850-4851-9DD0-A1CD6A0F88EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e3532073345392f8b183d01d4c05b2f63bbdef5","datavalue":{"value":{"entity-type":"item","numeric-id":1656579,"id":"Q1656579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656580$467E1CFC-CE49-4F97-B664-1234749E3ED6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1656580$8169308A-D2C9-4A64-A057-7764CE335BF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656580$B6A0F9CE-CEE0-4310-8B77-A8C7A910F682","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c602de23be551b6453eb267a4bd181ae40788042","datavalue":{"value":"6916309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656580$B2C068B8-8F10-438D-95C9-87B39DC7D5CB","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":"Q1656580$811DF428-05E8-4C0D-A5C9-B1331315001C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e46346913c714ff85cc57bcfda70d9e2dceab15","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94144-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656580$782C51F6-4B90-490B-82A4-6D84462D85AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5c4a1e61754064d10d2bb2e613b0759e100e1fd","datavalue":{"value":"W2810670605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656580$F44B9D77-688B-4A1B-A47B-29EAFC51FEA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d428460903c2987cbeea62164b5449c26762a3","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c9018123f6bff8b89a93c62d131190ba0bd80b","datavalue":{"value":{"amount":"+0.8743487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$63DE8FC9-1722-4632-8E41-F7D263F7D69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42cc4a40b5e1aa620fcd929946a911a45f26e6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3454748,"id":"Q3454748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0d9043bd3e2f08c724eb9e8f94dcff09d5f04a","datavalue":{"value":{"amount":"+0.8686537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$43B4F7DD-B70B-4B6F-9EAE-62407719F86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3303deeb82c513f81e72d5396c2160d4d8a9c836","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162944c69592c9888fac0178b714bc951fcff324","datavalue":{"value":{"amount":"+0.86514676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$34A3CC70-B90D-441B-9491-5F18B58B1E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a76d4b960130cce38d5661b43045d8c25c14a77","datavalue":{"value":{"entity-type":"item","numeric-id":2818031,"id":"Q2818031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b35816e14cf16b091efd5446747e75d4a0a312e","datavalue":{"value":{"amount":"+0.86507237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$288A24B1-20CC-44DD-BE44-1DBFC415F5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88566c7f4f8038972f0727dbcf3061457b45cb27","datavalue":{"value":{"entity-type":"item","numeric-id":4284237,"id":"Q4284237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1412964a63a79ecc826426c4a498e456e7aa0ea7","datavalue":{"value":{"amount":"+0.86453974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$C0C241EE-E67A-4629-B8ED-D0269BFC0748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29cb8639f98b2d0e12a94815fa6867ce540357b","datavalue":{"value":{"entity-type":"item","numeric-id":2943393,"id":"Q2943393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dceaa142118bf85c6dcbef1e9513eb8d480e8e5b","datavalue":{"value":{"amount":"+0.8602715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$FCE9336E-B8B8-4516-81E1-2892D84414F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a787d854aabdde116f7609f005bb2d23f89854d2","datavalue":{"value":{"entity-type":"item","numeric-id":2303611,"id":"Q2303611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53fc5305540330d6454b98baaa5409e24f98d89","datavalue":{"value":{"amount":"+0.8582828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$B3C33329-ECB3-4932-84A0-9679FCE0D8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5b4d381c577d9c7316bc051755b3d52a5658ff","datavalue":{"value":{"amount":"+0.8581558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$6FF21181-B71B-455D-910A-BA11CBF9EA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ac5db4fa534481d809c32c005ed8cc52c630eb","datavalue":{"value":{"entity-type":"item","numeric-id":2958533,"id":"Q2958533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2c61789b9c9f88b3fca9ebf93b08e3d9c90bf4","datavalue":{"value":{"amount":"+0.8566502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656580$4F15A6C6-29DB-4109-A355-5160CBDADEE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local soundness for QBF calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_soundness_for_QBF_calculi"}}}}}