{"entities":{"Q3800029":{"pageid":5829935,"ns":120,"title":"Item:Q3800029","lastrevid":81135989,"modified":"2026-05-06T17:48:46Z","type":"item","id":"Q3800029","labels":{"en":{"language":"en","value":"Normalization of deductions and interpolation for some logics of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066874"}},"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":"Q3800029$3669B5CB-A2A7-44AC-AB4B-778C09AF9DAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f93688fc5bd91539428486218a626a8e6f069607","datavalue":{"value":{"text":"Normalization of deductions and interpolation for some logics of provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3800029$0BAF0160-253B-4AE0-B3E4-354FC8303854","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5090f7f424eb1333adedc76e084bfcb64d4e1b84","datavalue":{"value":"0654.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800029$617A1BC3-7867-4F2A-B9F8-FCE90A5F66E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3800029$4B20AE2E-4B65-43AE-BA2C-9E7CB3E405CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3800029$99C19056-A896-46D3-8EF3-F247AA2F1058","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800029$EBF74E0C-B665-40D8-B5D1-292D5FF771C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800029$B909FE11-EAB7-4FE5-BEE8-E2ADC6B7F6E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6371787c977bf074228b74eca3dbac69aa187313","datavalue":{"value":"4066874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800029$2C8A798A-CE33-4F34-9A33-A43F85429397","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800029$B595B107-DB65-4EE0-88D9-299DB006178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351599fefb932c7d3d8d6f9d2e135dd2ed085b95","datavalue":{"value":"Solovay's modal logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800029$A3FC55A2-07D4-43F8-BCF3-B0014CE2AB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800029$2255E17C-13F0-43FE-B064-7A9363BBBC15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3800029$2EAED3D5-5173-4361-A45D-04F8DC3AE5C3","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":"Q3800029$04FAF4B5-155F-4785-9CAC-D75A7A676DE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d522be1133e7742cecb546c1a0c0982cd83e270","datavalue":{"value":"https://doi.org/10.1070/rm1987v042n06abeh001496","type":"string"},"datatype":"url"},"type":"statement","id":"Q3800029$7C38E3C2-BA8B-4B4C-B0B1-02311022DF48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"616a1ef0726b2babe3f762441100afdabeac572e","datavalue":{"value":"W2051872094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800029$A379A986-F64D-4DAE-8162-F95D1E4D7B52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f04a6af2eda90420d5af17abae76831318117f3b","datavalue":{"value":"10.1070/RM1987V042N06ABEH001496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800029$CC8E8A22-72E6-40AB-AD6F-F48C080A0CDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalization of deductions and interpolation for some logics of provability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normalization_of_deductions_and_interpolation_for_some_logics_of_provability"}}}}}