{"entities":{"Q2922598":{"pageid":2933318,"ns":120,"title":"Item:Q2922598","lastrevid":85028666,"modified":"2026-06-03T05:36:27Z","type":"item","id":"Q2922598","labels":{"en":{"language":"en","value":"On Unification of QBF Resolution-Based Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6355305"}},"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":"Q2922598$3CA85F3F-462C-42A6-9702-13B5368AB456","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0d6c54aa58d7fd9d8cba2e0970e249ac159de69","datavalue":{"value":{"text":"On Unification of QBF Resolution-Based Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922598$A54849A9-3394-4011-9A26-032C8C448A7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40b166f6c21f4e63795fd2959342801d54d2e9fe","datavalue":{"value":"1426.68283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922598$05D40B05-4646-42E9-A98A-F5E4E8B396E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a9dcebad8a6714f1298d367d91d86d1d735224a","datavalue":{"value":"10.1007/978-3-662-44465-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922598$62D7CE54-77BC-422C-A291-57E60848B9F7","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":"Q2922598$F04FE0BC-6A23-4C70-97E9-2F1CEC07145C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922598$994B9A39-9875-4825-BD52-2F38DB6B12A8","rank":"normal"},{"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":"Q2922598$918D5FBD-6A54-4998-A7CA-BEDCD0E4062A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68b25ed9d3c306483bfc58de311b8d2185d8c136","datavalue":{"value":{"entity-type":"item","numeric-id":2921996,"id":"Q2921996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922598$7BD29BF6-DAED-42CD-B684-E3CF013427E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b416645c0a17193441756de619503aab4f6e3c3f","datavalue":{"value":{"time":"+2014-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922598$0AB05B8E-4EDB-40BF-8D58-F540E9C02021","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"678f675c5aba631027d9d63bd6ecd74151bf75ec","datavalue":{"value":"http://eprints.whiterose.ac.uk/80488/1/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2922598$8233945C-168D-4ED0-A719-EDB0B44B3590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922598$AEE8B547-2D82-44E8-BD56-A22D04252700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922598$FC8596E8-7FCC-4FF8-BAE6-93CFD9A1B1E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb5fbfc1d87b3391c1c064c6fac18cfa6e6603a6","datavalue":{"value":"6355305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922598$0515C403-BF7F-487C-A752-003BF0AAD5B6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8505792c4b2b1f804a902cbbeb6315ec1e3f6fb8","datavalue":{"value":"Q59900282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922598$3B64DE15-81A7-4352-B850-F1124E5FD266","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":"Q2922598$9AA55B30-D0E8-4874-9872-C5AF6545D482","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f1a947ea3375e643c141108b45a10e056510559","datavalue":{"value":"W1525848078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922598$8FE22DDA-AB47-47BD-BB5F-71C341F52BA7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"46e6d239e85218e8f5a0811e1cbc23a95cf258ca","datavalue":{"value":"conf/mfcs/BeyersdorffCJ14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922598$A2CB889B-7CE5-4EE4-840D-CB6034E1ECDD","rank":"normal"}],"P1643":[{"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":"2cdb82cb20f8f5331f6f9d5184be4d4b5eea9c5b","datavalue":{"value":{"amount":"+0.9176271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$FE9BA72E-A981-4C68-843C-1A82AAE96C45","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":"0722d95aea0e4e641f97227b8c26a0d578749ff1","datavalue":{"value":{"amount":"+0.91247535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$E44806A2-66B9-4FF5-9894-C4E8CB14B97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab45ed4ffa48184397643d2935acd78ffba209e9","datavalue":{"value":{"entity-type":"item","numeric-id":2843326,"id":"Q2843326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effb9d8966047d09b1a2608a7ee7015b4e854c3a","datavalue":{"value":{"amount":"+0.9002125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$49A4E8DA-8D48-4CB5-8A7F-62F8A451EC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316f41812037143c55f949ca95fe8a48b96dfdb4","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b672bb671ed91812eedfed9116f737283941d38","datavalue":{"value":{"amount":"+0.8976046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$43734CE4-24AD-4D2C-B60D-D3116A8064B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2c12c4971d60e18bee75dbfac10158f583ecab","datavalue":{"value":{"entity-type":"item","numeric-id":2818035,"id":"Q2818035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db71d8bfe4a885b898cc5a1225f2bf84ff1ff26c","datavalue":{"value":{"amount":"+0.8952013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$A4E126CA-8393-43FC-BCE0-1C91BB682BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e8282c1906c0a109f090afcb63fdb2efce005d","datavalue":{"value":{"amount":"+0.89512473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$5ABAB27E-F045-4EE1-9F90-4B2B255D19A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5297348b318b2171e975cf85fa5bd9cfdf4280","datavalue":{"value":{"entity-type":"item","numeric-id":1349886,"id":"Q1349886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab0b1c1e59170ca1d46b7df6aeafe805c8b4a62","datavalue":{"value":{"amount":"+0.8892644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$BF3F9F99-FF55-4B9E-BA9B-790506DB2268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca0e7e93dd7042cbc7e59c47a83bea11c5a6406","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde9e31f2930e521e1255bc3cfaff3cc4775bca2","datavalue":{"value":{"amount":"+0.88574123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$9A64E2C1-2249-44DE-881C-5165A3A618FB","rank":"normal"},{"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":"f03ae1d06981fa5ddd1c0fcb86c049931c8cf098","datavalue":{"value":{"amount":"+0.88303024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922598$D84CE908-307D-4324-8704-12DC16F3960A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Unification of QBF Resolution-Based Calculi","badges":[]}}}}}