{"entities":{"Q1580653":{"pageid":1591393,"ns":120,"title":"Item:Q1580653","lastrevid":72243816,"modified":"2026-04-14T03:35:49Z","type":"item","id":"Q1580653","labels":{"en":{"language":"en","value":"On proof terms and embeddings of classical substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512004"}},"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":"Q1580653$0E8C5DFD-12AC-4BF6-830D-D285D8CA3578","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30f441dbe997551e5ce3269241fb991d3a948426","datavalue":{"value":{"text":"On proof terms and embeddings of classical substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580653$DD496606-03C2-4050-BB9D-A5EEAAC92298","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c35190a32f20c0caa12d72e8385f28c301e13b7","datavalue":{"value":"0962.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580653$F71CEBC6-DCB6-43FA-9E4D-614F93FDC38F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ae8f361b6f13f621755106b64951728eae5f0b3","datavalue":{"value":"10.1023/A:1005073330585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580653$9CD46F6C-A190-46AB-A802-09140EBB2E8C","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":"Q1580653$4714538F-F92E-46C1-8245-08D76E10AD0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a558bf24d5f00d94b5bae7f77cc1862c3e2d13","datavalue":{"value":{"time":"+2001-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580653$A84157E0-0C55-4D5A-B0B6-72829081F3EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580653$D4689A9F-D95E-4E00-8FA3-9729C7179EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580653$50DA794D-8105-460C-86A5-A338AC838BA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bfaf19739ec4ee10f91d54c56a927fda68d3e88","datavalue":{"value":"1512004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580653$26A6F5D8-65F0-4C20-BE83-0A02B20CC40F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4221e3ddb0a8a18735f0c9ba8301ab3a063f40","datavalue":{"value":"G\u00f6del translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580653$A0A3C9FE-9DF2-4AE5-83F0-456828405A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580653$3D25426F-3F6E-40F3-8F73-F9401BDEA1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31dadab77e687f51d4a34a8f3f05b636d59111c5","datavalue":{"value":"\\(\\lambda\\mu\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580653$05B564F7-7C7F-4B4D-B105-E2EA19E3D1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa863121a6ce4f239599bfacb5eb00e66b67bebe","datavalue":{"value":"classical substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580653$96248DAB-D8DC-4241-8C98-A76EAE81859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb3100754a4a6d00fd4f42625ce2e1ccde7811d","datavalue":{"value":"proof term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580653$224AA6DA-37CC-4260-97DE-ABA51132362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7bd08d0645482afa238d75eafdc688efacb395","datavalue":{"value":"embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580653$278B52CE-6886-4591-9584-AA93925D14C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8bd73d5a024fdd494a36ed7a2b3cbc41f14f88","datavalue":{"value":"intuitionistic substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580653$0FC5B5CE-2052-41B1-A3AA-98C3E8CC7747","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580653$E4764DDC-0D78-4D5E-A947-C37A3FA18AFF","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":"Q1580653$F3A69DAE-E51B-43CC-B463-CF9E979E1F4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83d472cb88d587867ed21dc9be5af72e26bd3f8e","datavalue":{"value":"https://doi.org/10.1023/a:1005073330585","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580653$6DEA72F3-EBC3-44CF-B4DA-B0B7CCCE7D3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55cf08879c667b3009df6db6138aa8853cad2194","datavalue":{"value":"W1499106482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580653$FA98FFDE-8F8B-474C-A5C2-98BCEA3E007D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8b44db116aa82e480df419331aa94f2cd25fad","datavalue":{"value":{"amount":"+0.7996469140052795","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":"Q1580653$8462DD6B-75EB-415A-8345-04C12DEB5917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508878240f517a39f1f4cbc39bb49cfa2999cadb","datavalue":{"value":{"entity-type":"item","numeric-id":4703143,"id":"Q4703143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb18259ce3f28bc69e6d62f6fa92d2c414341c1","datavalue":{"value":{"amount":"+0.796880841255188","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":"Q1580653$1515D5BB-2E09-46B2-9733-7CAF991C3DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3807dcb7ed967243532e238e81423ccca34c5a49","datavalue":{"value":{"entity-type":"item","numeric-id":1001367,"id":"Q1001367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1fceaf1e5fce5da9f1408192aba84f282dfa8d","datavalue":{"value":{"amount":"+0.7911138534545898","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":"Q1580653$6C1944EC-50A3-409D-B76D-1D8137937541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce96de72e1ffe859b11185ed8b5bbcb6997d4e97","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a691e250e89cdd1c48e72e0f33793f15419ace","datavalue":{"value":{"amount":"+0.7738907933235168","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":"Q1580653$AC98E6EE-3F41-4C0D-86CA-CFA339E6716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6bfd0264180dd1d561b9acf5ce8273f188d1b9","datavalue":{"value":{"entity-type":"item","numeric-id":1575877,"id":"Q1575877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2724b3e0c7cdc4ae2ec6d1ab3f5edfb217030f","datavalue":{"value":{"amount":"+0.7734616994857788","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":"Q1580653$43893157-913B-414D-A52E-F3A463CE85FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On proof terms and embeddings of classical substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_proof_terms_and_embeddings_of_classical_substructural_logics"}}}}}