{"entities":{"Q4952024":{"pageid":6981606,"ns":120,"title":"Item:Q4952024","lastrevid":91971572,"modified":"2026-06-05T00:32:23Z","type":"item","id":"Q4952024","labels":{"en":{"language":"en","value":"Normal Gentzen deductions in the classical case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1443023"}},"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":"Q4952024$2E46E0F8-8A99-43E5-B04C-741531CAF092","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b965af15f6d8e473ad41d01244b27d8e1fd10b23","datavalue":{"value":{"text":"Normal Gentzen deductions in the classical case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4952024$BBC93E88-CC79-484D-81EA-B3202C8103A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89f139dd1b84d93c69e0d92c4cb2b9af216cf543","datavalue":{"value":"0956.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952024$3D6EF0AC-7BD2-4D11-857D-96718B8D259E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952024$7F63C2C8-5D5E-4E7F-93C2-D814183A9C47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"842b2212bda6f0009051e977a4ae47e91602c98d","datavalue":{"value":{"time":"+2001-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4952024$674ECDEC-C08A-4387-AA42-38F906481AE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ecd2c422f0ec426c3d4f028dc9539d62a0ecc0e","datavalue":{"value":"https://semanticscholar.org/paper/6fc394eef73eb6d007fcd49a4c5dbe4bfc121b12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4952024$5FB531DE-5494-4581-A822-8CD92EDF5DD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952024$AF6CDFAC-4F70-4E70-8845-1A119EBE170A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9ff422ccce3139d9152215088caba6ba549e7e3","datavalue":{"value":"1443023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952024$B2430208-D0A0-4F63-AD8F-A91961EC3349","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952024$A3A5AB7D-B367-4C67-98C1-25C34E02D8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952024$F9EFB42A-0B89-4BCE-BB78-3E698CC4B4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952024$07042581-7AA8-4C33-8701-B9423E89E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952024$1DBDBC51-8FBA-4D04-B22C-2ED0D8001E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bece6d45ac8627bd97418f807e83fb0fcba31ae8","datavalue":{"value":"normal Gentzen deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952024$9CE01920-80D3-442D-80D9-1DDC848D1C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3868522c3d08d7f42604c0e6ab0ef82e664fa84","datavalue":{"value":"natural deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952024$F1FDD77B-0D51-4D5A-B451-6EFC4D6A92A1","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":"Q4952024$05038B71-2868-434F-89D4-02A95049DC7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b957293f715f717ab02d3d45aa35e8440d05823","datavalue":{"value":"W2082151676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952024$860535CF-25CF-42DB-A160-017D7C9EAF59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"957eee92139c154c984975d9d66b502c5b25317a","datavalue":{"value":"10.1093/JIGPAL/8.2.211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952024$501ABB06-36C8-4E27-A69F-1E12BB990C01","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":"Q4952024$D411B3EC-8B0C-42A2-BEFF-70F5864FF486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbb845e9e49b1861f2e8158b6403bf192d95f16","datavalue":{"value":{"amount":"+0.8261476159095764","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":"Q4952024$1579E4B0-2B73-44E2-9702-9E65B43FDEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f633fbfc462c62fc2b5a1a1bd52c4b4f11392","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3dffa1a7a1505301c2903aea96b8c5cf6069a3","datavalue":{"value":{"amount":"+0.8153084516525269","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":"Q4952024$AB0325EF-B48A-44DE-BEC7-EE007283E40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4818af88e39ff542e5d30a166666c717186733e4","datavalue":{"value":{"amount":"+0.8078303337097168","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":"Q4952024$1D098D03-57B1-49EE-AE8D-711A1E8E68E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc60abf8efe17c0cc5eae8dd5ba0ec4b6105d57e","datavalue":{"value":{"amount":"+0.7887551188468933","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":"Q4952024$C53092C9-1695-4693-8E35-ACF8E0CC2C18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal Gentzen deductions in the classical case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_Gentzen_deductions_in_the_classical_case"}}}}}