{"entities":{"Q3434690":{"pageid":3445393,"ns":120,"title":"Item:Q3434690","lastrevid":90165803,"modified":"2026-06-04T19:27:08Z","type":"item","id":"Q3434690","labels":{"en":{"language":"en","value":"Relativisation Provides Natural Separations for Resolution-Based Proof Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148722"}},"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":"Q3434690$08D6B7EB-512A-4375-B258-5262CA76CF90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd79f0fa5e565507ef456545dab2f98bfba43088","datavalue":{"value":{"text":"Relativisation Provides Natural Separations for Resolution-Based Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434690$73566C35-5737-4B6F-B521-B1E506D99B25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb016369e6b58a4b549d2cae1e2a9dd5455adf90","datavalue":{"value":"1185.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434690$BD7C70A7-1266-4E5D-A26F-486BA31FC965","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0efcfd44c7f2969ee91e6b9ad39c7a525708e97","datavalue":{"value":"10.1007/11753728_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434690$F7CA1268-CECF-434F-8A00-1438678EFF43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434690$67878FF8-EA90-43A9-8C26-9103D3249DB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434690$C801516E-F451-4511-8740-7522335F3B80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434690$A0E3C3A9-0751-468C-9730-258413888779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434690$08212958-AA4C-4324-B95A-EF6E5C4FB461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ad10406454cf4c947b656b7ea134ff8cf8a787c","datavalue":{"value":"5148722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434690$E7192174-DD41-4175-8E99-8234EBD22D28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb09d87b39fd189b9631d1d1dd35ec7a70bf362f","datavalue":{"value":{"entity-type":"item","numeric-id":1300668,"id":"Q1300668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434690$71B81850-0C76-4388-B46E-AE3901DA9577","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":"Q3434690$3E70F145-0EC0-4801-815D-ECCE473F7088","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d86b03c102f5e8d25ae54ec46c737e1c86d4b5b","datavalue":{"value":"https://doi.org/10.1007/11753728_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434690$E08132E1-A180-43AD-8DB8-397B451B35A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bf16535edc516289b5bf02fe042dcb1ca7e0658","datavalue":{"value":"W2155848600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434690$E7153B29-4FEC-48B3-BB76-0F0A791B499E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e86875d6be3139f15b3aee3947588efa3914fb","datavalue":{"value":{"entity-type":"item","numeric-id":386151,"id":"Q386151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9744d7570e2676015c66e3804bf7504c74a42cbe","datavalue":{"value":{"amount":"+0.8751755356788635","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":"Q3434690$B20E2B8C-692E-4274-812B-7A8543C1B9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b33d841126a1af3b226ff8222c1cd047a83841","datavalue":{"value":{"entity-type":"item","numeric-id":5292633,"id":"Q5292633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22bcc848f3284de05911445958b0f8ae6370a4e","datavalue":{"value":{"amount":"+0.8089208006858826","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":"Q3434690$131B8709-DCEB-4F5D-B128-1FFB98F1D21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa00a891a00a769ce43edc8b8072827c2fc509bd","datavalue":{"value":{"amount":"+0.8028330206871033","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":"Q3434690$C553D9DA-90A9-4403-BEEA-6B522FC59A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29568667d6424b287c6206f9b1baf4d1ee7e6943","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa00a891a00a769ce43edc8b8072827c2fc509bd","datavalue":{"value":{"amount":"+0.8028330206871033","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":"Q3434690$91D746B0-E556-4B69-8CEA-BBFACA487A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e06d558ba1f4942a6861b5084b0b135115253f","datavalue":{"value":{"entity-type":"item","numeric-id":835026,"id":"Q835026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea463f5f7b36996ef3f431595917373defde151","datavalue":{"value":{"amount":"+0.7940273880958557","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":"Q3434690$F9E8620A-7CAB-466F-9B0E-CF433DAD44F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relativisation Provides Natural Separations for Resolution-Based Proof Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relativisation_Provides_Natural_Separations_for_Resolution-Based_Proof_Systems"}}}}}