{"entities":{"Q5437003":{"pageid":7466567,"ns":120,"title":"Item:Q5437003","lastrevid":41864582,"modified":"2025-05-09T04:50:47Z","type":"item","id":"Q5437003","labels":{"en":{"language":"en","value":"A Note on Gentzen's LJ and NJ Systems Isomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227993"}},"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":"Q5437003$950D5528-0DF2-4FF3-81F8-01F76A359E9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"594f24ee00f53a7b364117ab687f641c932f83ba","datavalue":{"value":{"text":"A Note on Gentzen's LJ and NJ Systems Isomorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5437003$ECCAC7A4-4683-40B8-82FB-2E852128A90F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21d2cf6b02981c085de7f865f873fba8bf858eb8","datavalue":{"value":"1147.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437003$B5311CB6-6A2B-4A15-9936-87321F8C13C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ff7f622ca81706638077d58382bb39a806921e1","datavalue":{"value":{"entity-type":"item","numeric-id":516327,"id":"Q516327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437003$ED998041-2DAC-4935-903E-BF20247F0EDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bf5ae4c4f38a4e50ac194230d4567cace8e4006","datavalue":{"value":{"time":"+2008-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5437003$BE69EF20-B3D4-4112-842D-534FF0E60BE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437003$FBE2614F-C920-4C2D-BEE1-17791DCB2848","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f4c764e23ea0934813234922401d399475f8e8d","datavalue":{"value":"5227993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437003$13DF94CA-A249-4E7B-9870-10F17C058431","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd5a0fc8524d164d5f2bf08c2ab6fbd4c6ec28e","datavalue":{"value":"intuitionistic sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437003$16F09F47-79B7-4BEE-BD84-164B562C3051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e79daf59147d3d74cf2f5c7d895e4b7353348f32","datavalue":{"value":"negation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437003$900D4E1D-7DDB-45A0-A943-904B63E082CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13cbc6b5da6c7d9d0d442f27633032713d3dfa1e","datavalue":{"value":"Haupsatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437003$7B68108F-A110-4134-858A-DF1D0F47563E","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":"Q5437003$40F27694-777C-4CE9-820D-3AD4601516A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"068b8f496ffce2344dce4727e0635a19edd1476f","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzm048","type":"string"},"datatype":"url"},"type":"statement","id":"Q5437003$958116B1-2D49-41B3-A310-57D0B599CBDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d126286d3b004af91597a76ce4b55133f12313b","datavalue":{"value":"W2106308060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437003$DF8000C5-EEB7-4AF5-8158-628C2F3E16E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8e9f1cdfc3bba56f22341edbc017ac210dc8e21","datavalue":{"value":"10.1093/JIGPAL/JZM048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437003$382F976C-6B1F-402C-9F6F-C25F1F1B022F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437003$74F074B8-7364-4FA4-82D7-878C47A57CFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d1823f6ab9896798edb158b31b35117786196","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e20e609ca24a8a2086456ce1361b1ceb5bbbf3","datavalue":{"value":{"amount":"+0.8416189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$35B9C9BB-F3EE-4286-8B94-07687ED96E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b5c5c87ba28448143f812cde9b5da7ff0aa33b","datavalue":{"value":{"entity-type":"item","numeric-id":3410681,"id":"Q3410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe888165d03a903b6e1bec9191f181d6afd124f","datavalue":{"value":{"amount":"+0.8305351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$4658F631-1419-4A68-97A3-58134B13AAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e1c48dc49f5c7eb06976ff62ca81cedf708784","datavalue":{"value":{"entity-type":"item","numeric-id":4864489,"id":"Q4864489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c2d32396ea181664c3ed45a0f933eeb42d47b5","datavalue":{"value":{"amount":"+0.83000296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$38F56829-5843-45ED-88E9-FFA5533A34DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6bf705cb985255239fbc42d8eb7234e1f76cd7","datavalue":{"value":{"entity-type":"item","numeric-id":5201126,"id":"Q5201126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256cee7d3f26af2a1ae7b59433a70795448ed95c","datavalue":{"value":{"amount":"+0.82819384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$C88CBACC-35A8-4CE0-9A87-4BEF3B7484A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cfa520369bdc61cc16a23a4dcecb6e807fddbd","datavalue":{"value":{"entity-type":"item","numeric-id":5441551,"id":"Q5441551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd05e9aeb370d604cf3b945e1c59d8f8f067f178","datavalue":{"value":{"amount":"+0.8276235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$717ACC2E-308B-4C94-93F0-E59443FB657B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b89824a3a929de7167ce723a0223791c66c1c82","datavalue":{"value":{"entity-type":"item","numeric-id":4577998,"id":"Q4577998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70993501e36454968f4c9a92f14583347d21077","datavalue":{"value":{"amount":"+0.8272136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$AA125497-6500-4735-83B3-4AEEB3E4CC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d917e395b1ef507ef9bbf1228a3e92eb914ce008","datavalue":{"value":{"entity-type":"item","numeric-id":818712,"id":"Q818712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2e347965c397f6392789029c9172c85a2a0c6c","datavalue":{"value":{"amount":"+0.8270494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$904B563A-903E-4F73-B467-460814093415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df363475b9ff86c06451ab493af4d1482ce6f47","datavalue":{"value":{"entity-type":"item","numeric-id":1179955,"id":"Q1179955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d17397df4336259154a9da0e88aafdaa992936","datavalue":{"value":{"amount":"+0.82380664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$E39594B5-70DB-470A-9641-63F82AF2BF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7731830c6f0dc9ae8227a72b2f834e5a1a3e1a5","datavalue":{"value":{"entity-type":"item","numeric-id":698982,"id":"Q698982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a09ff8893572f729f326353e66c697dee8cb79e","datavalue":{"value":{"amount":"+0.82353634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$4CF9E71D-4FC8-4F87-8E71-B4D54B391948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d6e9cf31e74a2e59aee0b064c367acbb625c1","datavalue":{"value":{"entity-type":"item","numeric-id":4351798,"id":"Q4351798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfc49d06b7241f775c746d5cca0193b0ca621aa","datavalue":{"value":{"amount":"+0.823279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437003$C1C78ED0-1654-42BF-8A70-4E5179328D92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437003"}}}}}