{"entities":{"Q5213620":{"pageid":7243190,"ns":120,"title":"Item:Q5213620","lastrevid":53654735,"modified":"2026-01-25T12:23:09Z","type":"item","id":"Q5213620","labels":{"en":{"language":"en","value":"On Gentzen's structural completeness proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162495"}},"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":"Q5213620$6DB37F97-6BD3-4550-B8B0-C4730CCE4405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14480263d098a04d3f28d0ccfe8764189dd69eaf","datavalue":{"value":{"text":"On Gentzen\u2019s Structural Completeness Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213620$56797CD4-CA3F-47A2-9CE4-6CCF37935619","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d90aba2b3ca5a124f1dd40362234a86d3863bb5","datavalue":{"value":"1429.03204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213620$FB29D33B-E393-4FB7-8BFD-6BFE857F7496","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffaacfd4212fc3e8611508ca6897b84ee40a3fee","datavalue":{"value":"10.1007/978-3-319-11041-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213620$FD1CE3AD-622E-46AC-9A2D-603A4CD222AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213620$04F34764-E115-48D4-AA89-B8FC1BAFE0EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"751fc4d3c43bb9e144ea47418b6cb8b246d341ae","datavalue":{"value":{"entity-type":"item","numeric-id":5213603,"id":"Q5213603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213620$2B5CD2BB-1CFA-4F21-A292-742AC37A8A02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213620$7C7C9536-5FED-452F-96EA-A6723D95972C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213620$27031584-0AEB-4EAF-A805-024AC0A92DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213620$6913A906-1CA2-4722-A3C3-E54A356CF5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213620$7E2C3085-2FD8-441A-8DDF-1F0FA1212469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d8b619601ec948312d46ad5d77091f31a1da2e6","datavalue":{"value":"7162495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213620$A73207B0-18EE-4ADE-9CCB-4157A7C9068B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$37ADD84E-E56A-4CE2-8064-A5B21F222502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e698733d7ab8320f6c4cc1347291648bc4530444","datavalue":{"value":"thinning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$7AD56856-3AFC-4CE4-B5E3-245D42B132A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$8DF1F04E-85F6-43A3-A855-8BF38FD3BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803d820d270fc0e8a09770ac1fdada732058e5e8","datavalue":{"value":"linear sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$3A78103E-C67D-4584-A677-5A1CF3EB6393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c08bcdd5e6e2109bf6bdd3d6b991aee1fe1fdb","datavalue":{"value":"Gentzen proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$79F3F586-5385-41D9-BC0F-D6EF0B7FC10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b0e68cf55ac13d5f4a80cb98ce814564115107","datavalue":{"value":"normal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$2499F997-7B43-411C-BE8A-270AC85F39D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5e68b080729e2bf00e224746ad845030c96fd5a","datavalue":{"value":"normal deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$C6EB4199-F579-4192-B102-573510CA5174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea52c3c33644e1ec3c8d53dfde7271d9329f3d1","datavalue":{"value":"super-normal deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$13D393D8-B284-4997-9E87-FAD79018842D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e194689bddba36ead6d2f6fa873cf8020d23ee","datavalue":{"value":"undermining","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$666A2DB2-9AB3-471A-AAFE-766D5B71A073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e842d5e1d223a65a4a506659769c161a47c8709","datavalue":{"value":"confirming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$6117D7AA-BA99-4930-A5E5-2B4A6596B44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56ec290748ec5a9e42bfb10f210aa2e5610644fa","datavalue":{"value":"empty antecedents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$D884791A-E18D-40B0-960E-88FB1112F828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a2c411bae1ab9e77c1e80747c46686afd6f187","datavalue":{"value":"empty succedents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213620$3343D3EF-D72F-4220-91ED-BBA2258187FC","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":"Q5213620$90E9E933-C1BB-4146-9D93-B32D70C49CDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d74fca607d6e43f4701e3c034c4ed5d5f67f9d8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11041-7_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213620$8D0B6AB5-DB27-4C48-A09E-753A2319568E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ad378f3eef79545fa743b809e54ad1146b0c3bc","datavalue":{"value":"W168043144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213620$E3CA4F51-9C7E-4C69-8F03-86E3624B7163","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0b21a3e73cceb2c321db1aa3702d14a47375b7","datavalue":{"value":{"entity-type":"item","numeric-id":3019775,"id":"Q3019775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213620$C3398AF3-A1C4-45AC-8D3F-57EAF26D133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bfa6429084272e3b286c3ade956221a18f48d","datavalue":{"value":{"entity-type":"item","numeric-id":1353259,"id":"Q1353259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213620$08060DD6-DEC0-4639-847C-9E55C52E3C73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a6a7011bb26cd043a16ec0fa49b94a8d1e3cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3459084,"id":"Q3459084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcbaee941edf4af4e4fb54bec53888de644fccb","datavalue":{"value":{"amount":"+0.7767975926399231","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":"Q5213620$99C9B701-1A94-4D6F-A314-A528E636AD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7c426f10a188313032acdbe9224fcaf7d72a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3019775,"id":"Q3019775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd3e2f190e86cb418b7d233351647c4aa005c90","datavalue":{"value":{"amount":"+0.7644289135932922","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":"Q5213620$75E067E0-20DE-4964-A496-83D4F41E081F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a1363b9fb4769d2729b14d5535843556213fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5221860,"id":"Q5221860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79083a39b7f4dd12115bc5861efeda4d296dd2b","datavalue":{"value":{"amount":"+0.7570192217826843","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":"Q5213620$29746E0B-D082-451A-A86E-F0064AD04B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b89b9c92e6f8e147ea37ce8b8ba8f7f58ad79fa","datavalue":{"value":{"entity-type":"item","numeric-id":2915886,"id":"Q2915886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e801081f50af7747dd9f841fda23c6170d09051","datavalue":{"value":{"amount":"+0.7475014925003052","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":"Q5213620$A0B0C619-21FE-417D-8B1C-4818E9B7A8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87841b06f6d81884acd1204a2d1928d4d84031b9","datavalue":{"value":{"entity-type":"item","numeric-id":2534156,"id":"Q2534156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1b6d4314b3da1491aaf3c36a8f674d7418a939","datavalue":{"value":{"amount":"+0.7393174171447754","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":"Q5213620$54BB1CE6-5AB4-445C-A8D2-D974F1E0A77D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213620"}}}}}