{"entities":{"Q3924173":{"pageid":5954078,"ns":120,"title":"Item:Q3924173","lastrevid":92933951,"modified":"2026-06-05T03:10:05Z","type":"item","id":"Q3924173","labels":{"en":{"language":"en","value":"On the Gentzen Type Formalizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3737631"}},"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":"Q3924173$645E9E54-EEA6-4583-B8C4-5455E8B33F53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bbcdac1144bfe4ed562a70a3057aed298a67e3b","datavalue":{"value":{"text":"On the Gentzen Type Formalizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3924173$5F541170-2371-464C-84FD-A713A747C507","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"213b9a18fe82f81054875892d8a83ea33bdfe59b","datavalue":{"value":"0471.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3924173$C0870326-D0F3-4BD3-B2FE-BED6729C0489","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8c3405505d0d73c01e55d1efec5c7e96955a14f","datavalue":{"value":{"entity-type":"item","numeric-id":1066887,"id":"Q1066887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3924173$1DF9C247-29D4-4A44-9254-98AF9FBB9CCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3924173$D4CE1DFE-43E8-4428-A8D9-BB2C75A64104","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3924173$1DB077D6-30EF-49D7-B58C-72A8A327ED87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3924173$5DA15A8F-C188-4482-A1C5-832E55CEAFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3924173$5854703A-6F0A-4E8B-8A43-2E07A181BDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3924173$79312211-64C7-4858-B7A3-FF000D8247D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d971c59f7220dbbfdd26f139786cc347277e2bca","datavalue":{"value":"3737631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3924173$C3ED04AB-E3CC-4004-90B7-B028D65862C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff6cd2d6d26028f22a5c834f8acf42feb1abbb25","datavalue":{"value":"relational systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3924173$8E427BF5-69B1-40E6-B9C0-F000A416AC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a649fb5d3752efe23804f8060b07a7d5d77a0f3","datavalue":{"value":"recursive relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3924173$6A03AAD0-CD7C-486E-987C-C70CC9D6A497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c8cd41fb31ff50079b6fda2587a118327e02e4","datavalue":{"value":"Gentzen type formalizations of propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3924173$465FE88D-4298-42C2-808D-DC616325D7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c8004ef9dcd0f7f9544cb585483abf07c7c7f5","datavalue":{"value":"predicate calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3924173$57DA4A3D-63BD-433A-A50A-042AC777E9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3924173$66170FE1-C508-4217-9B06-95858405E447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3924173$89948172-61B9-47EF-B9C4-ECECAD8AA48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"877bf2c951473a030616716d8f4e28f960e75727","datavalue":{"value":"syntactical decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3924173$8FBC2D1B-8183-4961-984D-253E96716CC3","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":"Q3924173$A494A0A1-35F1-4C11-B1BC-B901BEA5A6CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92740cfd7f71d4be9e0b9579ffce2766e09b0704","datavalue":{"value":"https://doi.org/10.1002/malq.19800262803","type":"string"},"datatype":"url"},"type":"statement","id":"Q3924173$AD9313C1-7FD4-4616-BCD8-3772B0F824A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bf69612a87e367d440f8715c0df7c4884a023b5","datavalue":{"value":"W2101860627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3924173$152791A8-9323-4ED0-8939-A4544FA7A729","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f6f1c1b70c4c44c9da7c661a618dfd663417029","datavalue":{"value":"10.1002/MALQ.19800262803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3924173$69ADBB6E-1CD4-480D-8D07-493A5F688C04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Gentzen Type Formalizations","badges":[]}}}}}