{"entities":{"Q3708780":{"pageid":5738686,"ns":120,"title":"Item:Q3708780","lastrevid":80990471,"modified":"2026-05-06T17:27:58Z","type":"item","id":"Q3708780","labels":{"en":{"language":"en","value":"MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3935010"}},"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":"Q3708780$BAAE9000-EE18-482F-A927-177497DEB025","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4263b2b66f61df0e787419e9247516ccc7e21ee","datavalue":{"value":{"text":"MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3708780$A7BFC002-A0FC-4226-B7C5-E1B8B3C4EB53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e5d96e45d99443ea9595a8651766a2e71f9274f","datavalue":{"value":"0584.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708780$53C97C33-D2F2-4DA9-B3E5-BF705B394484","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72c895ab0c95a75242928e35bd111c40843f0404","datavalue":{"value":{"entity-type":"item","numeric-id":2037986,"id":"Q2037986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708780$3E2BFD2A-D531-4AB1-96A5-F71A4ADFC73D","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":"Q3708780$C784D2E5-FD87-45B9-B804-35182E49B3D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3708780$5A3AA91F-91AB-472D-BA16-BD102A72587C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708780$D2AE4DA4-4251-475C-8854-F263016405DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06a73ce96c3da3612edd23b0920a8cf50c17294b","datavalue":{"value":"3935010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708780$199898A0-8A64-4490-B928-D50D33D281C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708780$F0E2D293-8403-46DF-8D1C-26280D519FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ddb43eb08a47658c39a86a36df7bcab08cef78","datavalue":{"value":"Intuitionistic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708780$83771506-AB45-43BF-AFD1-93C412195EA9","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":"Q3708780$3B9E00B1-2AE1-4594-B695-5A0EF722A9C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7146c6ffc3d3a40c0395c0232401a68f1ca6ffca","datavalue":{"value":"https://doi.org/10.1002/malq.19840301908","type":"string"},"datatype":"url"},"type":"statement","id":"Q3708780$57CEA74F-AE3A-438B-BDF1-C8FA58670297","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e0b5e873035585ec94ee082ef9642ff3ebaaf1d","datavalue":{"value":"W2100443512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708780$4171FD74-BE2B-4082-B3FA-8BFCFC0773C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ce5260de5cc80b253406986973c804ce84c58b6","datavalue":{"value":"10.1002/MALQ.19840301908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708780$0464886D-16EC-4545-9528-71F0C24E9C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd550c3094da56996b5f0d5428cc44d0dfee405","datavalue":{"value":{"entity-type":"item","numeric-id":3755436,"id":"Q3755436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77eaaa6619506cd28fdaf18138f394f8ba19bcb7","datavalue":{"value":{"amount":"+0.8261861205101013","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":"Q3708780$69A88C4C-F106-4910-B464-54F764DF3D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f544eece7138b924dfb8715b49977f7b9c7ef0","datavalue":{"value":{"entity-type":"item","numeric-id":3762282,"id":"Q3762282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50764810913b81949a39789a40ec42a183d25852","datavalue":{"value":{"amount":"+0.8057639002799988","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":"Q3708780$471F0684-86B5-4156-A1F3-A5041BF57FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5260136b8166fdcb79c47f046d75047bcee8c917","datavalue":{"value":{"entity-type":"item","numeric-id":1111545,"id":"Q1111545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f6b07b466161550129e1b1bd0601610c2e4d16","datavalue":{"value":{"amount":"+0.8041720986366272","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":"Q3708780$03CAEEAC-39F5-410F-85D9-0E96B1F436EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c67c7baa355d83bb8de33bb6ee7174b047b0b75","datavalue":{"value":{"entity-type":"item","numeric-id":1115420,"id":"Q1115420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b679f9cd3c3788b5079d0951fcc6908ed80dce","datavalue":{"value":{"amount":"+0.7801764607429504","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":"Q3708780$F1E58E63-05CB-4ABF-90DD-9E487DC36A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276183bfbb11ba872b4c43c5d040a08f7dcd8256","datavalue":{"value":{"entity-type":"item","numeric-id":3718687,"id":"Q3718687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a31829915e1adeed347ea94b6bebeaaa6ade2ca","datavalue":{"value":{"amount":"+0.7639109492301941","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":"Q3708780$8F988645-366A-4620-B4E2-0DC90D4DF596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MULTIPLE_FORMS_OF_GENTZEN%27S_RULES_AND_SOME_INTERMEDIATE_LOGICS"}}}}}