{"entities":{"Q2948554":{"pageid":2959274,"ns":120,"title":"Item:Q2948554","lastrevid":58074510,"modified":"2026-04-03T17:07:33Z","type":"item","id":"Q2948554","labels":{"en":{"language":"en","value":"A categorical semantics for linear logical frameworks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487987"}},"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":"Q2948554$3E2E8AB8-218C-4D45-8CA3-C95B04E01EA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61c538d03d9220a070c6476272a15079cddfad0a","datavalue":{"value":{"text":"A Categorical Semantics for Linear Logical Frameworks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948554$FBB45CF3-FF78-4250-88D7-46CBA7E6A2CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3683ef267f15460dfa236833515ac6949efb608a","datavalue":{"value":"1461.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948554$8F641BD2-06B7-4E08-8396-D8C797C23ED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07808b554d2cea78eee0e4c590942b90944ce901","datavalue":{"value":"10.1007/978-3-662-46678-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948554$B40255D6-3A35-4A62-907E-09936C96F4DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09c4ab2f85ec3a6c147a24b8fa181cc0bd032c75","datavalue":{"value":{"entity-type":"item","numeric-id":1641013,"id":"Q1641013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948554$FF9AF7A9-29B8-41E4-8827-B373643691CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948554$C84728DB-CF38-42D6-8585-55AFD0B13C66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948554$1F20A399-83EF-475A-9180-B04D10116829","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed398c78010bbd3b02ff485d5a76379e2d1aa49d","datavalue":{"value":"https://arxiv.org/abs/1501.05016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948554$FDEC3FA9-8102-453D-9684-ACC552507A2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948554$487D4241-8B06-4D5C-9BF4-6BE24A3497CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948554$F563ACD7-02BE-4067-B807-49D8E899D4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c14a2d39bd509619e0ac8d311921ec01e67678bf","datavalue":{"value":"18M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948554$8E422CE3-A4F1-46F6-B5FF-E2000EACAE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948554$811F82F5-6C07-40EA-94F1-D5334C87F247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf807ba16d75591d1b4603013efb27f2341ae553","datavalue":{"value":"6487987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948554$C48B272C-67A5-48BE-B57D-E28F70BB8A3F","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":"Q2948554$2936CC8C-98B5-4CA9-8F95-F1543C0EE936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd8ecd9e423887401fec1ae6ec236e4844ec9fff","datavalue":{"value":"W1923962694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948554$B141BBC0-0156-457F-98FE-F4BFEDE0FA15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb1aaf2acf15f6e896a6c662893ea9ed19b57c4","datavalue":{"value":{"entity-type":"item","numeric-id":4508305,"id":"Q4508305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addcf9a2d826719ec43e595f937641e31a0129cc","datavalue":{"value":{"amount":"+0.7952193021774292","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":"Q2948554$B7608859-CC06-4D4E-B2C5-8079F15E13F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcbc147ff58141791856c42c017141265cfb2dd","datavalue":{"value":{"entity-type":"item","numeric-id":1781095,"id":"Q1781095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8df8c4f4b784cbb7804f51cc3561251a8f9eaeb","datavalue":{"value":{"amount":"+0.7867001295089722","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":"Q2948554$3951CB39-2836-4356-BE10-886E7BF2DA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a89bf161b99921f125b2fc62f09e63266563562","datavalue":{"value":{"amount":"+0.7751495242118835","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":"Q2948554$2AE78A31-6507-43DE-9034-3E744A6FECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d4d542908a4b6a8fdf36e57cad1cad9910df0d","datavalue":{"value":{"entity-type":"item","numeric-id":3077284,"id":"Q3077284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a89bf161b99921f125b2fc62f09e63266563562","datavalue":{"value":{"amount":"+0.7751495242118835","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":"Q2948554$F05817C6-0DFA-45EC-9821-98BD843E4F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82be4f64f3f477b605185fb7639e4e595f9a29c4","datavalue":{"value":{"entity-type":"item","numeric-id":4263871,"id":"Q4263871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b0c58d60895971fde0d871905d57c505a74055","datavalue":{"value":{"amount":"+0.7741820216178894","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":"Q2948554$6FC28DB0-3B06-41B0-86A5-47DB94FA3532","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2948554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2948554"}}}}}