{"entities":{"Q1167722":{"pageid":1178471,"ns":120,"title":"Item:Q1167722","lastrevid":66286023,"modified":"2026-04-12T08:47:46Z","type":"item","id":"Q1167722","labels":{"en":{"language":"en","value":"Three ways of recognizing inessential formulas in sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3773587"}},"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":"Q1167722$E8500EE6-DC01-41C5-AE27-42EF7F2B5BF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb5d6c9d76390425abfd5880bd771ae1a7b06177","datavalue":{"value":{"text":"Three ways of recognizing inessential formulas in sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1167722$7646DFA9-C406-49D5-B0EA-E244921FD406","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6a42de3861c070dd8f11593a8278a9f5b0cc2be","datavalue":{"value":"0492.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167722$9014ADB9-4D41-4532-AC10-6F511E320811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bf7206f15002a0717f7852472d44bf06994fd37","datavalue":{"value":"10.1007/BF01629445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167722$225E4D6D-B995-468D-8C70-51E625A5D259","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c202384c22915715f42b7278cfa2bc8d6926211c","datavalue":{"value":{"entity-type":"item","numeric-id":684959,"id":"Q684959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167722$D014CDE4-FBF5-48F4-A19D-2E61E56BA0EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167722$BEA5FF83-293E-4336-B653-AF102B690293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1167722$C29DC96C-33F3-43E0-A2C3-C87725DBD7C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167722$41CF5DBB-A3FD-4436-AF49-0B805BF70A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167722$01FFBA58-DCD1-4A08-8998-A24E408AD408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167722$BBF09BEA-67CD-434B-B9CB-F64B2BE18786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167722$7B9E9317-E760-48FC-9DC7-7AD99008CAEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13e73fd411e13be5bbd1be384121b53b3aa91b42","datavalue":{"value":"3773587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167722$69B0FE71-D822-412F-A35B-31920C2EF4C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167722$62701609-5216-4D22-B3F6-EE85E2EF2E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bf65fc80bb516e2cbdac21dd89797926ededde4","datavalue":{"value":"hereditary unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167722$9A4918A5-922D-4940-B5F8-9D1B88DDC511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a1273cd1c86c1414322493cbc45122f6e4871e","datavalue":{"value":"intuitionistic equality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167722$14345AD6-9724-4A1D-A1C3-F5A17354AC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8feecf5a92f9316506fdd5a210b18066f290e83","datavalue":{"value":"intuitionistic monadic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167722$4529BABB-BF1B-4BF7-A27D-BB89FE146B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c1e1cc90ab1d9acba4e24b6d023ab0c98edd88","datavalue":{"value":"unessential formulas in classical and intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167722$84CC5C1A-0B7D-4923-BC51-B955F8ADC985","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":"Q1167722$A4907C98-545B-49E5-B8CB-0B3C31F4470A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f782b89ae0f7ed285b81b6cfa37d66781f2bebf","datavalue":{"value":{"entity-type":"item","numeric-id":5579043,"id":"Q5579043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167722$716FA99B-147B-429F-A705-9B6F34E030C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167722$25B768E0-F0CE-4D9D-B334-390B51558209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a91256f8e472a6bc924d6d5f4d24477de57bab1","datavalue":{"value":{"entity-type":"item","numeric-id":5579477,"id":"Q5579477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167722$FF2F7B2A-4BE7-49F2-A0FA-BE311F4B19EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9becb1a7a2b4a1c9b6360f0585dda0855dbf6464","datavalue":{"value":{"entity-type":"item","numeric-id":5559243,"id":"Q5559243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167722$B3D6DA71-6AD8-4F25-8198-BAE9311CDB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bb4bade9154b298dec9eeff5f3980507a06710","datavalue":{"value":{"entity-type":"item","numeric-id":5676209,"id":"Q5676209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167722$9367530E-3B07-44FC-8C09-B0B6F56D6B3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceef561ca7d2d07e2c763c6cdeefe1e66d730d0c","datavalue":{"value":"https://doi.org/10.1007/bf01629445","type":"string"},"datatype":"url"},"type":"statement","id":"Q1167722$AD48FC0F-83CA-441D-B0D0-A42101D4B33A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"520ec1b9ef199f5f4298c529006e3f74aaa6a1e4","datavalue":{"value":"W2323486780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167722$D55A230C-6C0D-42D0-A12C-F9B286607640","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three ways of recognizing inessential formulas in sequents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_ways_of_recognizing_inessential_formulas_in_sequents"}}}}}