{"entities":{"Q3448783":{"pageid":5193722,"ns":120,"title":"Item:Q3448783","lastrevid":58193688,"modified":"2026-04-04T04:38:15Z","type":"item","id":"Q3448783","labels":{"en":{"language":"en","value":"Feasible interpolation for QBF resolution calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6498642"}},"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":"Q3448783$A452E7D9-DC83-44DE-AD13-8A68F2FE7177","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66e7c2498610c08f213f4a337c3c04ad1f48d474","datavalue":{"value":{"text":"Feasible Interpolation for QBF Resolution Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3448783$3BA1D8E6-CD78-4C56-9140-2E2ADAACE876","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5f2f9c59704e6f23cb34f00556bc770c2828244","datavalue":{"value":"1440.68320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$8F922C4C-564F-48B3-857F-4FC0D0F09E85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a50c2933d0c0d252f23d60b33a22d7527c5e98c","datavalue":{"value":"10.1007/978-3-662-47672-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$94DBB8D2-CE4F-4574-9FB0-EADCA102EDD3","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":"Q3448783$5FA3E4E9-31AB-4247-A229-19C3F663BE63","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":"Q3448783$27BD67C3-C3D7-41C2-A6AD-4DC880E804DA","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":"Q3448783$D4E0B187-2E36-4257-9FF4-23524D2D64ED","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":"Q3448783$44752519-3B95-4325-BC44-E2C73C79A09D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$D6A0B486-CD30-4FB0-ACBB-1E7BD26181B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c7e608d0bb85e41554d5122b6bd0bdc88b90e0c","datavalue":{"value":{"time":"+2015-10-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":"Q3448783$8ACF0E72-2DBE-48C8-8A10-695E151F0DA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a51d2f95a9e05f995eaae1586ac729ed83e08b1","datavalue":{"value":"https://arxiv.org/abs/1611.01328","type":"string"},"datatype":"url"},"type":"statement","id":"Q3448783$DD68DBEE-A7EA-4BEB-BB60-8B0429831F2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$6C9D07D8-FA2A-4B57-BEFB-9CAC8230C6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$4D858584-B37D-4750-8A05-932EE798EE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$0B67DAAD-C632-487B-96D1-EF439E622DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$99CA2C9A-0EE6-434A-B10C-36DDBE206877","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a4f87a12335d82cea527e42eb7bb81674b3f846","datavalue":{"value":"6498642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$CA0BD091-161B-4640-9453-C5E8F3E0F714","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1eb79b202ee96ce98a20b4948dbc776877c71359","datavalue":{"value":"Q61835453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$2C6FCFFB-7F49-4E49-A01D-45CFF2E5A8D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$3A05E8F2-74C7-47F5-80D1-C45D338EE9C4","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":"Q3448783$42600C7F-533A-4600-8C9C-B8DC4190DAEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cdc858db5b6a0228267fb3919e710c9d72a7d62","datavalue":{"value":"W756639098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$542C2243-6DD8-43FA-B080-1664D266CB8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$9B80362B-06E5-4760-9E45-84C6102AB5D7","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":"Q3448783$0AD9C825-E6A2-4DD0-9B7B-BC3670F38825","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":"Q3448783$BAEDB94A-F316-4593-8CE8-70250EC0FB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$31A11F8F-AA07-4D4A-999B-20AECA1346BF","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":"Q3448783$C94031E7-4C5A-4E83-AC36-4C68B5EA8B01","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":"Q3448783$FBCF6157-D1D0-427C-869E-B2544BE814E1","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":"Q3448783$EF945D1C-DDAD-4535-84B8-F69A8033713A","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":"Q3448783$66ED3EDA-8908-4569-8036-768EFE3DCC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f02144b860d73e00cf89611c8cec3ca5fa5cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":3192062,"id":"Q3192062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$44B5FF66-42D1-407F-ADA0-6B06BCEE73AA","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":"Q3448783$701BD718-D2A1-4D52-ADEE-0AD58386602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$EC30FDBE-4A0B-484A-B882-E25ABC00B89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$690E144E-733F-479C-85DB-8BBBA7163A56","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":"Q3448783$D695984F-5361-43D0-83C8-C0CC2B778062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af1b7852a24d15cb98fd91aac427024f3784b9","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$16716FF7-46D0-45BD-A1B5-3D6C13C1383B","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":"Q3448783$A74382BF-142E-45DD-B013-1CAFEF5592AA","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":"Q3448783$993475B8-6A79-44CC-B972-FC86749AA9C9","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":"Q3448783$59FA7A66-4847-4E04-B104-5CE15A058FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb8b81064be6d973a6c25598ebeb9e1adf756","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$E7272B0C-C8D8-4087-96B3-1BC28C104236","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":"Q3448783$81342AB1-E0D3-46A2-833F-8A8160285721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d44d3c343ef7926b71635413bf0973b2041449","datavalue":{"value":{"entity-type":"item","numeric-id":1076669,"id":"Q1076669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$0E424CE0-D77B-4904-8D59-25F53688641E","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":"Q3448783$C76EDA2C-8F05-496A-839A-CF15463082C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448783$9475B193-E11C-4471-A8AD-2EAA1E69E4DB","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":"Q3448783$F58B7232-DB45-4051-9148-4445E1745242","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fe524cf1f9a53f879640f5b3bc8efb14c6d51a6f","datavalue":{"value":"conf/icalp/BeyersdorffCMS15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448783$7F1386EF-3259-462A-8905-2503117C0F24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19169d5068063326a550391f9c05bc6ceaed953","datavalue":{"value":{"entity-type":"item","numeric-id":5270089,"id":"Q5270089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5edce3e7fad59ba97af62724d86b76fe568e822","datavalue":{"value":{"amount":"+0.9980257749557496","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":"Q3448783$C3C13057-F571-4A35-B85B-4D457120DF67","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":"7e20e5b85bae4adc06016f9c761d60bc1e77bce0","datavalue":{"value":{"amount":"+0.8349847197532654","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":"Q3448783$39FF9D42-AB9B-4191-94D3-28881B3D4C94","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":"8d422e85ef9ace0932898d9d5f7c8ccc203a3bfe","datavalue":{"value":{"amount":"+0.8139655590057373","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":"Q3448783$3DF740E1-8E0C-4265-B989-B01DE44EFE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579c5174dbc904f2d81d8da1b65db3df333552d","datavalue":{"value":{"entity-type":"item","numeric-id":3304096,"id":"Q3304096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9e076513a35f23e37a5472d5126f72109997ef","datavalue":{"value":{"amount":"+0.8098573684692383","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":"Q3448783$A66C6324-16E7-4959-8AD8-96A3FC468127","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":"a59c12a5b134b698734f793bc2a9c7ae1ef1c87c","datavalue":{"value":{"amount":"+0.7875780463218689","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":"Q3448783$216A201E-B7B5-4EBF-9BA0-747000A1F06D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3448783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3448783"}}}}}