{"entities":{"Q1247417":{"pageid":1258167,"ns":120,"title":"Item:Q1247417","lastrevid":42973483,"modified":"2025-07-16T12:43:06Z","type":"item","id":"Q1247417","labels":{"en":{"language":"en","value":"Cut-elimination theorem for relevant logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3590257"}},"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":"Q1247417$CBD8A9AE-A536-4991-A27E-85C6AFF006DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5599d87327db2c4a5dea17c7cf4aea5db4d91240","datavalue":{"value":{"text":"Cut-elimination theorem for relevant logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1247417$E00E43AB-C762-42EE-8D09-09CAF51C4EC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"511115f9b544929bbccc1a931259418832fc95f7","datavalue":{"value":"0379.02011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247417$515A615D-4154-41CC-94FF-51343F8E924D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"553e85a46dd17b53fb35ac643032c891e49afd06","datavalue":{"value":"10.1007/BF01084083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247417$200E36AF-659D-4C92-B6F7-FCB9A37DD618","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":"Q1247417$9E92CD1E-E88C-43C8-8850-4EDB073C4F91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1247417$6E8C9CFA-6CD3-4769-9DB1-412F5E4E3548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247417$B0096C87-A4D1-422B-B0AB-5652F3D2C340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247417$7B2DC902-90A0-40FF-A81D-A4A8841F8D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40c83390f687638a98759d360bc989f4c9f0a1d3","datavalue":{"value":"3590257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247417$8981EE20-AB95-4109-A5A3-DE7EFBA15157","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247417$113C636A-EF78-47F9-AB9B-2A1BCC2AB08A","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":"Q1247417$346F941D-3974-41EE-A2D7-CFDDB72E171F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"babcb2136f09546a315df53e15ed48a3be9ff116","datavalue":{"value":{"entity-type":"item","numeric-id":3849883,"id":"Q3849883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247417$0A2EDA2B-C5EF-469E-BA10-AC2E80C42EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b17ead031342026b30248a721964c6b8403d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5552158,"id":"Q5552158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247417$E9F57566-A6E4-46F7-9E22-BE43E0131647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247417$344B882D-ADD9-406E-8714-2F3EA53DC7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10670e83ac257a39006aad416722f9e5f2826687","datavalue":{"value":{"entity-type":"item","numeric-id":5519120,"id":"Q5519120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247417$FC21EA99-2DAF-4F2A-997A-26701E66BC26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8a5f0b2cb51d1805ab595d7c2b371dfb6b44de0","datavalue":{"value":"https://doi.org/10.1007/bf01084083","type":"string"},"datatype":"url"},"type":"statement","id":"Q1247417$E217F96C-F16F-4057-9F59-D6FBFCDED0AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"902c15becdc341ab71eb7dc49c457ccf51b5b913","datavalue":{"value":"W2014579147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247417$702110D8-B48E-40A3-A15D-2BB889BD7AF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1247417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1247417"}}}}}