{"entities":{"Q2117787":{"pageid":2128530,"ns":120,"title":"Item:Q2117787","lastrevid":43523450,"modified":"2025-08-18T07:52:23Z","type":"item","id":"Q2117787","labels":{"en":{"language":"en","value":"Defining formal explanation in classical logic by substructural derivability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495172"}},"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":"Q2117787$38A5DB80-ACC2-43FA-A45A-3C299A85945E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c94be4721b2cc479a20cab02fff6980a5119904","datavalue":{"value":{"text":"Defining formal explanation in classical logic by substructural derivability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117787$FE71CA78-DE3A-4DA5-BB81-20D62005822D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aa79f47054c51df16d64da72034f59e67bc1f97","datavalue":{"value":"10.1007/978-3-030-80049-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117787$57AB7427-F6F2-4270-8186-4D62C642F0AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42bee7817e5a0e44e265abb433bc2f33ece0a2be","datavalue":{"value":{"entity-type":"item","numeric-id":1989343,"id":"Q1989343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$44744985-F773-4561-ABCE-CA9D083177E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$304DBD47-FDFB-4212-B685-3236B5594CED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117787$0EC66142-4282-4570-BFD6-FD28E8107AF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117787$1DA1928A-D0C0-4887-B90C-0FE62D659781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"714dcf3a1675a94453d48baa0b16386c52a7e94b","datavalue":{"value":"7495172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117787$478EFE7B-7D87-4853-AB7B-50756C65C08B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a106d7b97a12d5c0c28fbe235be660070bb84639","datavalue":{"value":"formal explanation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117787$6D7983A8-B713-440D-8BBD-438E67E090BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117787$216EF68D-EEA2-4012-B853-50ACD54DF984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117787$D2E21639-0753-4534-8DF2-0192C2FBC2EC","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":"Q2117787$797FBBBB-09A7-4771-8D8D-61D3F093DA42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"398ffb9b66c912d949f8b18e34499841703e4b63","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80049-9_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117787$91C2835C-2F09-437E-AA89-A9913894F8D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb5ab03a3bbf7e00006306d3f5f328f795899c55","datavalue":{"value":"W3183926297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117787$E49C705D-64D4-4AB8-A54C-439916AC2181","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"607032864cb06dec4fa711d9a8c97f9a6304f17b","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$FB2C48DE-7CE7-40BC-A5A2-304EFA78CC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169e5f34704059e9126449c6280fd1ed331b7cb2","datavalue":{"value":{"entity-type":"item","numeric-id":2873772,"id":"Q2873772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$7A56F268-C4E8-42CC-BB1E-A4A6CBBC39F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7163d8de1692df4de55e5b43a5f6074ea75b371c","datavalue":{"value":{"entity-type":"item","numeric-id":2940865,"id":"Q2940865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$34B4129E-5EC2-41EF-A768-2B001D9F48BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$40ED6F9E-1016-4387-99A4-420A989B86FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$B412DAC3-FA82-4295-AD0F-CB79002CBCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f411aa8618cc0fbb9fd5a04c140cafcf84d7d52e","datavalue":{"value":{"entity-type":"item","numeric-id":5950504,"id":"Q5950504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$C920225D-6EA3-4A70-9C66-DF38656B1DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e0c597ce2dfaa2e54a53bfde6d5ec42d99e17f","datavalue":{"value":{"entity-type":"item","numeric-id":2321252,"id":"Q2321252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$AEF5DE7D-4F74-47AE-981B-8FD2A40882CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$143EBCF3-65DD-4878-B251-10E41EB22809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e803cb7b0abe0fa657e6cd6ddfc1713efc876a","datavalue":{"value":{"entity-type":"item","numeric-id":5226130,"id":"Q5226130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$15BE6E2F-0093-4D30-86F4-8AE2346DDA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a508b01325e596d10cc3cd09f6010534877e9b","datavalue":{"value":{"entity-type":"item","numeric-id":513936,"id":"Q513936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$7FF9B780-3411-498F-95AE-892F4DAAF3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1a353a3e1161c1db6ff079c107e61ea6b8b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":1709100,"id":"Q1709100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$BF14784B-B88D-4BAC-A239-595C73003AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46aa76f9ef7865e8b7549a33c010e944d6e15b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5871536,"id":"Q5871536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$9F3FC8B0-2A66-4AD7-BF09-75B6A7276725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22d15b5b2cb7f545673a3ee80f15f67ef34dff7","datavalue":{"value":{"entity-type":"item","numeric-id":5402234,"id":"Q5402234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$E483FB8A-3847-4106-8464-9411F5CFFE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a524a694695dbafb6c3f13fbfee4aefde0ccec","datavalue":{"value":{"entity-type":"item","numeric-id":3096822,"id":"Q3096822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117787$B593013B-E98F-4ED4-9B83-94A456C67BCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117787"}}}}}