{"entities":{"Q3855174":{"pageid":5885079,"ns":120,"title":"Item:Q3855174","lastrevid":54530636,"modified":"2026-01-28T01:39:52Z","type":"item","id":"Q3855174","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3655931"}},"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":"Q3855174$4D0F65A1-741B-4A22-A9E7-801EF0C8BE07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e98ee8628b5c272eb4b532f2729c2e0480fbf063","datavalue":{"value":"0422.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3855174$5B273EAD-BCD0-49F4-A975-CAC104B8802A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3855174$A758A0F0-4D88-4E53-96A2-5E75D3DC7B66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3855174$1C2AB4A5-5F30-4E0B-BA1A-63675675D037","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3855174$6049B44B-CD72-482B-90DD-F003E6B3C817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbf52f7799842d3e8846a957c5c85007d342a05e","datavalue":{"value":"3655931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3855174$3100C2CD-B781-4EAE-9E50-99665EF93CEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca29b20752e3606c8beff7c12bce96594893e285","datavalue":{"value":"derivations in Gentzen's sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855174$BD17AA7E-1970-426D-AAF7-C17C391F3B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89fc3872ee63254fccb7d7a67113abad5d815b40","datavalue":{"value":"double recursive bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855174$9ACCDCEF-7468-4C3F-B0EB-11BDA85111CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d430455a20e40deb1dc3cda410bfd2b901c9313","datavalue":{"value":"classical and intuitionistic predicate calculi for strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855174$E1E7890F-5B6E-40BB-B074-647948C7D130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27650894e0c2fb9370903ae372711ed10cfa5e7a","datavalue":{"value":"minimal reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855174$8083456B-1D3C-4544-9B20-F00CF71FA35F","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":"Q3855174$C1229E08-6C56-4A2E-92CA-9A1D4BA337AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3855174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3855174"}}}}}