{"entities":{"Q2843326":{"pageid":2854046,"ns":120,"title":"Item:Q2843326","lastrevid":51798677,"modified":"2026-01-20T02:31:58Z","type":"item","id":"Q2843326","labels":{"en":{"language":"en","value":"On sequent systems and resolution for QBFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197748"}},"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":"Q2843326$D6E7B40E-CBD4-42F7-8493-3A3A4156AB28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12de2c05b136227d3b7a0e073cbf39a1b5f9939c","datavalue":{"value":{"text":"On Sequent Systems and Resolution for QBFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843326$8850A60F-28CE-4F5C-81FA-1536B131DF5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da56c3f5f2c6935e781d19c4145ab4f0b0cec485","datavalue":{"value":"1273.03161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843326$499334CF-95C6-499D-B05E-A66B792AD796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b13367b9eef9874272fb8ade0671c856077cb8e5","datavalue":{"value":"10.1007/978-3-642-31612-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843326$C4A90254-79A4-4C2E-A314-0E5C08609601","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843326$A2B0A3EE-54F5-48AC-BFCD-5C0D3AAD7995","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99d453d9b3b27bd3cc6141a9b9e45331f29a9235","datavalue":{"value":{"entity-type":"item","numeric-id":2843316,"id":"Q2843316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843326$83C73427-FC2C-4AD1-AD63-EC5C1522A7AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843326$622BEF11-680A-4EC8-8D33-D0684E583F43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843326$1108E74D-FCE7-46AE-83CA-A10DC4BCF2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843326$BDD13582-5BCA-4920-8134-A15A3CD9AA44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"907b49b1898a93ec392f2e4b6d5ab6427e0cab47","datavalue":{"value":"6197748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843326$B4FD2318-E55A-402F-B796-BC42006F7CF4","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":"Q2843326$77ABD585-C9C5-438B-B2FD-2027CAF51D00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6967071fb29764442f54e054efa2016cadb80e6d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31612-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843326$8BE79A95-C32C-44C6-AE1C-4BD457DAF7B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9210d9c47d9dfcd9a1c0b7968b20e752ed6c5ee3","datavalue":{"value":"W2122908864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843326$A5825A05-706A-4644-BC22-C3C43F6A30D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104838a2ac0256989af4a5bfe7d161ed6c115a1","datavalue":{"value":{"entity-type":"item","numeric-id":5326454,"id":"Q5326454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b817f931c49a5a9504b4728f2ae979426a38b681","datavalue":{"value":{"amount":"+0.7993269562721252","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":"Q2843326$71A19FBF-F99C-4E2D-9D64-21414CBAF1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727305800beb6b88431707c0a51eb26e61f5272a","datavalue":{"value":{"amount":"+0.7974779009819031","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":"Q2843326$AB59EA57-ED82-46E4-95A2-5767D76C4C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f2391f28493616d0d38f84e0e92496039db9cc","datavalue":{"value":{"amount":"+0.7916306257247925","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":"Q2843326$E1934526-9B8E-4379-844E-3FBCD628F1DB","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":"1322b7e4d03386bc69c89da8084b5c6b32887169","datavalue":{"value":{"amount":"+0.7901909947395325","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":"Q2843326$62803C5D-DD3C-401F-8FAB-4B4A0D912462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ff8464602a5033ddbcbed7710f98cb87c90ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2181919,"id":"Q2181919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33203742fb28375674248b20e82c51d2c499ed6","datavalue":{"value":{"amount":"+0.7901333570480347","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":"Q2843326$0F2F90D1-4A66-4080-B36B-561164A4C427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843326"}}}}}