{"entities":{"Q3236672":{"pageid":3247380,"ns":120,"title":"Item:Q3236672","lastrevid":45753964,"modified":"2025-12-18T16:57:40Z","type":"item","id":"Q3236672","labels":{"en":{"language":"en","value":"On the cut operation in Gentzen calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3121632"}},"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":"Q3236672$53AA6915-B2D3-4E78-BCC0-222BC741D4CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e52c91742419f99e77fabe68f6e920789baf60d","datavalue":{"value":{"text":"On the cut operation in Gentzen calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3236672$A981E7B0-79B3-4D74-9065-27D497BC7AFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b90601745f0932c55d9e7b76590b5294d87731a0","datavalue":{"value":"0073.00703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3236672$486EC909-80AE-4ADA-9309-6E11B21BF649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f390dd71b05b66b4144d0b935926206b46f62030","datavalue":{"value":{"entity-type":"item","numeric-id":3213207,"id":"Q3213207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3236672$1C3F1F66-7488-4B0C-A54F-4D32C8A47AEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fdeec1d184478b3fdb458fc97fe9e12c6f6e278","datavalue":{"value":{"time":"+1956-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":"Q3236672$AEB0F4E9-67F5-4421-AF86-BC3FE54DE1CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8aa03d2f759c1f999e35b267787f2d98f2a83dcd","datavalue":{"value":"3121632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3236672$C8DFB61E-E859-49CF-BA42-4BE46B85631B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d06d4b7490d70007624cc8dc0053848a1533fda","datavalue":{"value":"Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3236672$71BF23BA-AD54-4FFF-83EF-02E5A26EC8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40a42d979c99bb76e76bdfb0f208f6007b99848","datavalue":{"value":"Philosophy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3236672$E6F0FA6F-C85E-464E-9050-48D527BA446A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77600a7a0dbba718a9775db0bc993c4fd052ca38","datavalue":{"value":"Mathematical Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3236672$6B8E5F54-961E-4DA2-9EF6-00688DAC9D53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcaec2cf7016afb953f268c3cecac9633f7d07f0","datavalue":{"value":{"entity-type":"item","numeric-id":972549,"id":"Q972549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3236672$3F277A3C-BCE2-4368-96DC-DC876FB300E3","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":"Q3236672$1CD775E6-5B3E-441B-A525-B1CD3E6DAD79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a95a415de73dd7c2d169cb5f377bb35381f24265","datavalue":{"value":"https://doi.org/10.3792/pja/1195525210","type":"string"},"datatype":"url"},"type":"statement","id":"Q3236672$530FE2A5-64D6-40B4-805C-0496CB978AB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85b0239451e6d1d178ba8464b32af9703c33ec0f","datavalue":{"value":"W1969061137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3236672$3A104BE9-26CA-4045-92E9-34E9B774B72A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3236672$0686BE55-D97A-4FD6-B254-0657F327511C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3236672$047D9CC2-7621-4AF3-BE8A-D0DF47562B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3236672$8115595C-E7BE-43EA-81F0-D84DD722292D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22df34db3e7b14b77f1da6580a75f611ed7bba01","datavalue":{"value":"10.3792/PJA/1195525210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3236672$D07C28A4-3280-4900-8195-EBDB36C7DEBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3236672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3236672"}}}}}