{"entities":{"Q4218928":{"pageid":6248529,"ns":120,"title":"Item:Q4218928","lastrevid":46693725,"modified":"2025-12-25T10:12:23Z","type":"item","id":"Q4218928","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223617"}},"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":"Q4218928$C2DA32C7-A7B0-4F61-AF71-929B965D938E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbee904df3e163a19265e87a1063022d3886b81f","datavalue":{"value":"0910.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218928$E4E7C495-56A3-4231-AC9B-535C1E13E998","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218928$8A713F37-768C-4F9C-B37A-48305C8C1075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218928$B5C73D84-F17A-400C-848E-D16C92B8E012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"598703f00d94fef55523c92c719be9981f1c620a","datavalue":{"value":{"time":"+1999-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218928$9B2B7EB8-D2E0-469A-BB57-E92DFB49E2DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218928$E3B6B0BD-FFD5-4EAB-8968-10BEDB09F0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218928$EE8482BB-FCF1-4244-94F9-7BD91B652DF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d49a98f41749c8f2d9e075a9a204ed16eee50b41","datavalue":{"value":"1223617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218928$503BF847-61DF-45ED-BD05-352BFAABDEAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55161998414f766e758bdcdfe8e008b5d310b06","datavalue":{"value":"full intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218928$F9118D0B-258E-4543-B383-B54D52AF6855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218928$CA00981C-4E7F-47D1-B284-A186C449BECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949fde471c7f0523a0a758622bdb0f2df2bcff5f","datavalue":{"value":"FILL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218928$C15EC2C2-0BFC-431E-9C39-971FDA269715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef1746d11fab49703cd497a504c0d35ad16a7c12","datavalue":{"value":"exponential-free and multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218928$8339731A-970B-45C7-A1A1-4083754DAFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0077a8f3ee7a3e9641775c68ecac296a4a8d252f","datavalue":{"value":"classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218928$907E5B11-BA42-4D49-81A0-E5D47EC1945E","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":"Q4218928$C8CD8298-6CCA-4557-BFE4-F6C879BC3E15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e64a5c75231fe28ee166263798112284e812c","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ed6b32fd7326411fe70339346d1500c3dbaf77","datavalue":{"value":{"amount":"+0.8241157531738281","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":"Q4218928$C30FD13F-E792-477A-AAC9-5B080E02318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d609b596dec98d72c061d1f01d25a655960e7c57","datavalue":{"value":{"entity-type":"item","numeric-id":5283420,"id":"Q5283420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ecce3c3c3c33a7089cc2b8aeda357f7c08e6b91","datavalue":{"value":{"amount":"+0.8180092573165894","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":"Q4218928$58CF5306-6F49-4F31-AAA0-8D24E72F1F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118577ddedbdc165434b3660dd665ac30c43ed79","datavalue":{"value":{"entity-type":"item","numeric-id":3413927,"id":"Q3413927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09035ab005f6fd08a891f0fbbf9eceaf2e91c525","datavalue":{"value":{"amount":"+0.8111205101013184","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":"Q4218928$3BEBA33F-11AE-4632-BDE5-A433F81C6E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d34d3a1a7a03a8724c7b79ed6f19475aef63760","datavalue":{"value":{"entity-type":"item","numeric-id":5108019,"id":"Q5108019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb5fc60c0f132e46f3b7a449a3fee03ec6d1eee","datavalue":{"value":{"amount":"+0.8032764196395874","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":"Q4218928$4C6D7DE9-959D-4E0B-88DD-78A36379DE36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218928"}}}}}