{"entities":{"Q1576379":{"pageid":1587119,"ns":120,"title":"Item:Q1576379","lastrevid":47031276,"modified":"2025-12-26T02:14:50Z","type":"item","id":"Q1576379","labels":{"en":{"language":"en","value":"Protoalgebraic Gentzen systems and the cut rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491201"}},"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":"Q1576379$8A96751D-D2B7-4707-9AF3-847ABD842C72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0381b8d8f3266d6c4cfacdb88065755e683bce0a","datavalue":{"value":{"text":"Protoalgebraic Gentzen systems and the cut rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576379$A14413FB-31C6-41EA-B4A4-1D0B354AB004","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"206beb0c8573f4a91fa640d393637588e5886e0d","datavalue":{"value":"0953.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576379$4D6231AB-D16A-423D-9C9D-801A66589DCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2ff421e70c70aa4acae77cc95da5794691ba0cb","datavalue":{"value":"10.1023/A:1005243108996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576379$98E86327-8102-4B6A-AA42-64AEBDA72BA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcce233b166e058167480b7b1c165291f5f8481f","datavalue":{"value":{"entity-type":"item","numeric-id":1576378,"id":"Q1576378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576379$1BDCA383-4735-4BE8-A48F-21D840FD0E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf784982af8e887ab145db313b0277672ae374dd","datavalue":{"value":{"entity-type":"item","numeric-id":368478,"id":"Q368478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576379$A80232F4-7EB4-443F-868C-066BF386ED20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576379$99C82CF6-80D4-4C3F-963B-E2564E227B87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97fbaa74108aac30250cdf29ad1831a2e82622ab","datavalue":{"value":{"time":"+2000-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1576379$1C62769E-29C4-4034-9A25-633201CDB99B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576379$DA386C7A-0C63-4DB1-8B30-224D8A2E24EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576379$483E334C-6EEB-40AB-9F34-EF15AD3A9BFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"181e1f19442257b9b1c4071c1f7daa85135b229c","datavalue":{"value":"1491201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576379$F7A845FA-375F-4E1E-839F-3272CFE87D79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576379$16DD834D-D90E-48AE-8F02-0704A98BEA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f16a3b59de3a903fa7124333da485e11cec18ea","datavalue":{"value":"structural rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576379$50109B7D-29F7-4EB1-971C-3BB8067DDEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7efea7d2feb0d6bf816b853705634850e9f34244","datavalue":{"value":"logical rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576379$80537F4D-4661-4EAE-9E9D-DD536E854CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad4efed7bd7fcc03254ec6f5c376ca702be7652","datavalue":{"value":"protoalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576379$B825F293-4246-4D00-B4BF-104F671D6B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576379$97290743-4884-4C7C-A6FD-AF327E526151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576379$2A9A7A38-9901-4000-AA1F-551C38DA2260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6277cb1e417019214b309b0d9089c2fafaf3f2","datavalue":{"value":"many-sided sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576379$9184960B-67CA-4135-932A-ADECCB6F2182","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":"Q1576379$0503A1EB-4648-4501-9A3B-46C841CE3FA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbfa91f1dfb79cdb07c18e8177599ac7f8389385","datavalue":{"value":"https://doi.org/10.1023/a:1005243108996","type":"string"},"datatype":"url"},"type":"statement","id":"Q1576379$134877FD-D09B-4668-AB43-02BAB33E26CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7de20b0a03d06962de8ea6e5d9d0ad5a48bb887","datavalue":{"value":"W1582926964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576379$40E55C21-9FA7-4A9D-A42F-13D099C9F412","rank":"normal"}],"P1643":[{"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":"ad8a5feecad867093a559c42d6ed965c93c7adc9","datavalue":{"value":{"amount":"+0.7834035158157349","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":"Q1576379$5CB9BD73-ED26-413C-8D2A-5C1C620B6195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68211a7e42d5820c042f0e78f684627476a3887e","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b6d423e0a6c0dbe1110f296a9a5a5d8d0a36c2","datavalue":{"value":{"amount":"+0.7662241458892822","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":"Q1576379$15DE00D6-ACAD-4B8B-92EC-216EB6B833E1","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":"d13099774dfd7daee7579c1590403fd17adc7d8a","datavalue":{"value":{"amount":"+0.7634935975074768","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":"Q1576379$E14DBA58-1B19-409B-8CAE-F546E6DF1F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa85fac83872cb99dbb747d462ccfb4204ef7dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2772907,"id":"Q2772907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e89a6e4b4eb42301e875115abd6da37bbba15e1","datavalue":{"value":{"amount":"+0.7598574161529541","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":"Q1576379$CABDD1BD-189D-4E5A-8528-0ABADD9FB43C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1576379","badges":[]}}}}}