{"entities":{"Q1784953":{"pageid":1795695,"ns":120,"title":"Item:Q1784953","lastrevid":74243244,"modified":"2026-04-14T19:08:34Z","type":"item","id":"Q1784953","labels":{"en":{"language":"en","value":"Understanding cutting planes for QBFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944937"}},"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":"Q1784953$DF7A6F17-9763-44B9-A778-573D6230CF34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e297cddea54e4821b131040a7d65c33724f6201","datavalue":{"value":{"text":"Understanding cutting planes for QBFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784953$E7AA9E98-1AB0-4D99-80EB-214164E8EAED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"011412fb6c9abad2b27757bc2e7dd5ad02099746","datavalue":{"value":"1477.03245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784953$87CCD575-79E7-4C10-B71F-F967F8B9364F","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":"Q1784953$1AF608F5-E299-4BC0-8FE7-4AA1D149B98C","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":"Q1784953$61428024-7D63-4E9C-81D0-D1E4C5FC020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255779f34e1857f1e1d5d34372c6a4a28e1cfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":371192,"id":"Q371192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$D1A5F5E8-9130-4ED7-88E4-6C73A8A112A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0009674822f22156a0423b202eea1363b0e6415","datavalue":{"value":{"entity-type":"item","numeric-id":2201427,"id":"Q2201427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$3035F09D-1EC7-4A03-9DF4-51D9A21131F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$2E0346E6-E096-4662-A60C-C85F8B133D11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784953$75D1B82C-BA99-4060-B994-797D6614AFB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0f52ec66daed0cb5925cea23035e8e8b86c5ca8","datavalue":{"value":"http://eprints.whiterose.ac.uk/147855/8/manuscript.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784953$9516E5F0-CC3D-4A3B-ABAC-D4499E7FE0C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784953$B94CF54A-E192-4073-8984-54C46C7E5889","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd3dad6c3168b3c806f3f63ed93adfb35c53d465","datavalue":{"value":"6944937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784953$3F856350-965F-40B3-81DB-97CC516E2D77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784953$050043E2-83D1-40B1-96D5-C317D3E43C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784953$489E12E4-4D62-4F0C-84F5-860B56F14627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8059463fe1808c8b35d18923f1d4219e5258f66c","datavalue":{"value":"cutting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784953$612710AC-627E-46A5-8D45-CDB1E5950684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fafc6cd933e412833406a46c323d431a2c3beaf","datavalue":{"value":"planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784953$8DF1E9CD-D984-4F45-BFF5-983A116CEB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784953$2C3CC405-84B3-4BB3-8812-1A0E50784AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784953$F2ABE0E8-EA6B-41F0-9BB3-A5F575C161B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$91133449-9DF5-438C-8FAC-15C2AFA3C815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$FDBB8452-697B-4F5C-B217-83E9493D054B","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":"Q1784953$33BA028F-1AA9-46E5-AA27-C5310CE363D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31b1ac77ab4ed1ab2d78c78a4af90246977e2241","datavalue":{"value":"W2887013560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784953$CAB5B11F-A5E5-4BD2-9C25-BD389B409734","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$D5EEB498-3305-47EC-8519-C287C8ADB434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4b5bdc5e1b1ff1701a427c1cf9279891beb1f4","datavalue":{"value":{"entity-type":"item","numeric-id":2453562,"id":"Q2453562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$53195E66-9CBA-4C48-9806-F9E68C0670ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$FC079C88-D650-445D-94A9-2F38B33032F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$1A3D6D90-8CEE-4B4C-8F43-048812754FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c70b318395c4ed2d5675bb48c8ac58ac36b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$4D800F42-C37E-42D2-A93D-64E154E1B5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd47a55b9c2aed7b10858aad59c96098e81642","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$73DE839F-FBE4-4CD8-970F-25EDB6FC32BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f810fcfb753207e78a3aa47daed5406a72625356","datavalue":{"value":{"entity-type":"item","numeric-id":3619867,"id":"Q3619867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$71F97586-F6FE-4F69-8B68-BC6A5E2155A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9aa645a19372cb1ba6d08bac7b7f2329fc96427","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$05A38A3C-D5D9-4840-BAFD-929AE44C0DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$1B787B9B-56D4-4AA5-B048-159727FD7E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$DF7C63B5-9C4C-4796-87BA-87D9A3A525D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69b2c9c6f1e5d040d3e4f3683311cd80cedb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4636589,"id":"Q4636589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$17E687FB-5CEA-455D-B466-317A2C096C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e1991b57af1236465e3fc5b826bc609c184e61","datavalue":{"value":{"entity-type":"item","numeric-id":5270089,"id":"Q5270089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$723616A5-CC8C-4BFE-B77B-E9BC26B0CC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c759154fb561b77d0188e566fe836742f968efa","datavalue":{"value":{"entity-type":"item","numeric-id":2799200,"id":"Q2799200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$9FF92221-F3E6-4ED1-A561-AF12F619B7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2b7bc968d0022ba4821507b1570d3b6507fc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5136303,"id":"Q5136303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$41083EBE-48A5-4A7B-9727-C2A9C5DE439C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc0aa5894d70095df9cae9bea04a6713c68fbff","datavalue":{"value":{"entity-type":"item","numeric-id":4635870,"id":"Q4635870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$41CEB67A-13F7-4823-ACE7-8362BA9073CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af14d1eea6d8fc364f0aaf35446b8388a288328","datavalue":{"value":{"entity-type":"item","numeric-id":1764155,"id":"Q1764155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$1BA0E170-3E60-493D-AB6B-E3932372B6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$CBD6D82F-8F5C-4382-9C86-99767450CA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2e5035e8c49172e2a82144878400bd13d858ef","datavalue":{"value":{"entity-type":"item","numeric-id":408544,"id":"Q408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$4BB5B996-9663-4E19-AA91-1F76854DBB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98bedf28c1486feba8611f3f934ea721ca73c745","datavalue":{"value":{"entity-type":"item","numeric-id":4598235,"id":"Q4598235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$AAAE94E3-2F0E-4D60-BED0-8BEF40E49A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2efdce0fdc040cf654e2a84802c55bcebe88632","datavalue":{"value":{"entity-type":"item","numeric-id":5685112,"id":"Q5685112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$7B75A9EA-E35D-4BCA-95D7-E0EA3AA58E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$5C8593DA-9776-43DA-B618-392CBB585714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$D7F2B6DC-BBEF-4CBF-9731-B9DBE52EE79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$A686E1E1-BF11-4456-BDBE-9EF08D461978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039d7d777190c0b1fd3eefc651ea59a6829228b5","datavalue":{"value":{"entity-type":"item","numeric-id":2843326,"id":"Q2843326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$219148FD-86BC-4E22-BF48-327B9E2FA858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50c9d9aa61f974c5f6695b189187a5aef7851430","datavalue":{"value":{"entity-type":"item","numeric-id":2398267,"id":"Q2398267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$0D225AE6-5C02-4B3B-94B7-EDC60BD6A8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa44e7477708cf15aafbeca2fb67e3a90886b530","datavalue":{"value":{"entity-type":"item","numeric-id":2870136,"id":"Q2870136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$F64B4B2C-8CB6-479F-BA8D-025CA565B098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e79f22b24cdac569eeee74523491414214c5f57","datavalue":{"value":{"entity-type":"item","numeric-id":1656563,"id":"Q1656563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$9C7F8D9C-4A35-4FC9-B330-3B6D5E51A2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766be265e2ff76c1734e59a38c8ffc751fee1d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4601887,"id":"Q4601887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$C5D8E031-4D3A-4586-8713-14CED3F2E3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e5422152942ad81baddbdb7da8a9e8a447b954","datavalue":{"value":{"entity-type":"item","numeric-id":4281687,"id":"Q4281687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$6F1D95BD-C658-4335-ACED-E40CFB2DC0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebea33f2e693df44f0638331ccbcd56f31e0d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5645210,"id":"Q5645210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$C7FD7972-28EB-4C48-9E26-421DF7710B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$B92BA99E-700D-4858-ADED-76A656F85EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9787e6d0819215c90132b2323576c33dab530fc","datavalue":{"value":{"entity-type":"item","numeric-id":1872733,"id":"Q1872733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$FA78064A-6D51-4F2C-9BC5-0771EAA63518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$35CE0EF1-2D89-4FB2-8515-EC976E9DD7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$AEBB2A3E-C520-442A-AC9C-EF8DD596341D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$C68F0BD8-19B3-48C8-B1E5-80A92F4F2ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$7AFF1E20-DECE-4055-AAE9-DD0619717B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$E3A6B151-3E21-41D5-A21E-964AD540F6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$53EE460E-CCCA-4EEE-8DAC-3ED595354B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e842bbd08450dc68f1c7721c16694dd3a7e6cfa1","datavalue":{"value":{"entity-type":"item","numeric-id":4317412,"id":"Q4317412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$C6B751CC-BE9C-4CDE-A1A6-A0B6128040EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$9F3B27AC-D61D-4559-A6AB-29548EC899A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574a6599f545ec08b9afa71a7573eae29e700904","datavalue":{"value":{"entity-type":"item","numeric-id":5166888,"id":"Q5166888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$D7ACC23D-E7FA-4E6D-BBB9-88374EA88889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$231E4089-4748-4290-A82A-C3B584923123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$666EF061-F2C1-47E6-A0A3-F19D45E79B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$4137113D-CD0C-4FB5-BE77-3966B2493A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffb7c4897464eade24b984dc253233d6968fb77","datavalue":{"value":{"entity-type":"item","numeric-id":1095871,"id":"Q1095871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$EBB052B9-5F7C-4673-94DB-1F01ADF3FE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$C7E821F5-B5D9-4FE9-9A7C-29869E1B15D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$C626F1B3-8B40-4A00-BC61-67BB8E9B9843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef272d96a58799915f8a0b53fe2d5749a3e79a6","datavalue":{"value":{"entity-type":"item","numeric-id":3883904,"id":"Q3883904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$CA35D0AC-9722-40DD-8012-56D931FBD668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$A413828D-2914-4C25-A70B-89AA75464A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84865bf0bb8459da6bb92c4b58937a5a1d134569","datavalue":{"value":{"entity-type":"item","numeric-id":4336120,"id":"Q4336120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$C4B0F3DD-F2D3-4D8F-BBD7-2C12F51FB406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ba72b99f6b7c8f1619ec42b1fca7ba63faae2","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$052DAE23-9EA9-40BC-B2A7-36FC0AFA2407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624abf0da839d476906101af8b6d74820b65cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784953$A9615FB5-477E-4D03-BC5D-E3660C5C3E53","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"288cca8077d12c7314149dc721d09244b5e3ccd3","datavalue":{"value":"Q63378008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784953$AA6BE1F0-F991-4295-986B-76F2F83E87F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87b07e29073e9952cb207ffa55ce9a7bbbd1723a","datavalue":{"value":"10.1016/J.IC.2018.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784953$9B196521-E6B7-402E-AAE4-270446347402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d121106593383d56d4040444d2cf362da2818be","datavalue":{"value":{"entity-type":"item","numeric-id":4636589,"id":"Q4636589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b455a8cde1109e2d7d695ba02ac4e452dd77a6","datavalue":{"value":{"amount":"+0.9863213896751404","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":"Q1784953$36C910AB-EB41-4D27-AE32-E270EF6C3C02","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":"ed7e62eec41448b1c0590da0cfab5da55d64d962","datavalue":{"value":{"amount":"+0.8017630577087402","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":"Q1784953$0E6C3D57-E900-4D5A-B9D4-D40F64949604","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":"70474c469e46281f271768e9e2b19e418258130d","datavalue":{"value":{"amount":"+0.7904462218284607","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":"Q1784953$9A716162-D723-44D0-9441-EF3E19D9EE2F","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":"824205219f3f825bfde4e5edb58514dbdc900593","datavalue":{"value":{"amount":"+0.7849717140197754","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":"Q1784953$D07B7EDA-C529-4917-8C5A-A16389D5AF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a7973c1fbb139cc97b1d23b343c202854c8d70","datavalue":{"value":{"amount":"+0.7785205245018005","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":"Q1784953$33C59A93-C99B-419A-8544-98C1E734A8E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Understanding cutting planes for QBFs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Understanding_cutting_planes_for_QBFs"}}}}}