{"entities":{"Q5326454":{"pageid":7356028,"ns":120,"title":"Item:Q5326454","lastrevid":51791456,"modified":"2026-01-20T01:39:29Z","type":"item","id":"Q5326454","labels":{"en":{"language":"en","value":"On propositional QBF expansions and Q-resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195188"}},"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":"Q5326454$99E6C802-6E2D-43CA-8722-A10CA0F05DBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88d81f9d21620ce7ab154ec20609199deb68ee9c","datavalue":{"value":{"text":"On Propositional QBF Expansions and Q-Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326454$9CB764CE-36F3-4AAF-8457-41B8B232DEB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"234b0cf0ee32ce4552cdaa179ea0a2b431fb8956","datavalue":{"value":"1390.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326454$2A03B0E9-1722-421A-B3F5-7CC6E50EE244","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c3c7219aab6d7f4d9874eecf40e858dcd1d68cc","datavalue":{"value":"10.1007/978-3-642-39071-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326454$4458AA1C-6E7E-4743-A179-5C72DCA2563C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326454$0E737870-EFFD-4ED8-991B-EB7D4EE597AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326454$683E97C7-9813-483F-9B23-9A0258C1FBD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326454$B7C186D0-EA03-4A3A-8CCD-570B80471CBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326454$91BA0E95-E802-49B2-BB60-C688DE19447D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326454$3A2F6D5E-729C-4286-8209-443624C53297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326454$C148A5C0-3EB0-40F4-A8B6-84555B02F1C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2a097a7e775fce8c838a4cd82bc4812b4eb8e98","datavalue":{"value":"6195188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326454$1C810720-8FDA-4366-A006-A3AE907F1DA3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326454$6257B1D1-EDBB-4B9D-A4B5-F56AF425083D","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":"Q5326454$2BC1714B-90DB-4787-A99E-ACEEF9F5C9B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43a35279388a77525c5c577b81cc2334bcb1c018","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326454$A50DEC9B-E3D6-40EA-B743-ECD890358585","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2de913e9278b7acf5d41ca3e5c1116c5162b93c5","datavalue":{"value":"W45235819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326454$790A67CE-BDD0-45A9-BB04-02863606D1F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6505004c7d850880d939618afa2db85f00ba60","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50d26a56eab2193064ba04922d9736460688677","datavalue":{"value":{"amount":"+0.8671534061431885","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":"Q5326454$071CA5E3-A442-485C-A773-85C3B3E8FE2F","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":"3c047fbc7af31dbe5ea909682906f48c3a53be69","datavalue":{"value":{"amount":"+0.856040894985199","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":"Q5326454$562F3472-85C6-446E-8FED-A62913D36E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd56edf54f27508795f985fdb8fe850a23e1491","datavalue":{"value":{"entity-type":"item","numeric-id":2164249,"id":"Q2164249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8010459f767b98a752b540db146dfbc05b1ce7bb","datavalue":{"value":{"amount":"+0.8476946949958801","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":"Q5326454$0687A89A-4072-4BD0-969C-03E56C091958","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":"25184cdb710e079fdba7f14445de82e13e35213d","datavalue":{"value":{"amount":"+0.8431786894798279","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":"Q5326454$D24411EE-7DD1-4C57-98B1-5B0D82934E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758042405434138d14efb0c0f39ea4481adfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8df11806ce51e571eb655f72276951018c8c15","datavalue":{"value":{"amount":"+0.8289010524749756","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":"Q5326454$FD7DE6C7-F8C9-43FC-896B-ABA3758A871E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326454"}}}}}