{"entities":{"Q2988658":{"pageid":2999382,"ns":120,"title":"Item:Q2988658","lastrevid":52811381,"modified":"2026-01-23T13:35:03Z","type":"item","id":"Q2988658","labels":{"en":{"language":"en","value":"\\textsc{Lincx}: a linear logical framework with first-class contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721334"}},"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":"Q2988658$42FD3A1A-379D-4970-96D6-53708B72BD6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49695692cd964c3fd4ad5fee1ec68ed4ad4d49c3","datavalue":{"value":{"text":"LINCX: A Linear Logical Framework with First-Class Contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988658$A1C536FB-A87D-4E1E-A460-7CD6D6CE6D63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b03cc54e09693e06b7a141bcd5e0a01a10dd1e4","datavalue":{"value":"1485.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988658$C7A9DE47-4E43-471E-9B8D-4F16698891FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c615c13815407448fb683764559b2231e880ba47","datavalue":{"value":"10.1007/978-3-662-54434-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988658$6D2B9F45-1730-4D6B-88F4-19DFFE72CBF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72588cdde997403a3cca486dc6b642349386aedd","datavalue":{"value":{"entity-type":"item","numeric-id":2988655,"id":"Q2988655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$FE830878-B129-4DE4-AA9F-5E76D514D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f8bf4fd65558d912beb033f34a11580fa68ed2d","datavalue":{"value":{"entity-type":"item","numeric-id":2988656,"id":"Q2988656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$45D4E982-3813-4543-BB5E-0B2E8DD5082D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb0fed5b34d0bf70f7adaf81f6e212d55bceeac3","datavalue":{"value":{"entity-type":"item","numeric-id":2988657,"id":"Q2988657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$EE928121-2A5B-40D0-AD14-573CE0159E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$49718A58-11D5-461A-8EDC-86E53C8B698F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$1E19FFF9-F4FF-4392-B12F-FBAA9641CA63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-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":"Q2988658$06A9B732-2068-4B91-BF18-7E92F55771DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988658$C41D4AEB-B6D5-42AC-96CC-3DFD20E4646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988658$DEC4E5F3-1238-401A-917A-1EC3A9F911A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"089056d9de7ed29b33e75dfbcf268b7b9f67caf4","datavalue":{"value":"6721334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988658$D2BC1A51-A1F6-4323-8D48-3F9E76C43AA4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$B8FDE1E0-565F-4DE1-B8E6-60CA0B304035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$919C1EBA-1C58-4B1E-A972-486F2BCC5C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$F36AB416-2B0A-46BD-AB49-A3A86AF28A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"605960617776ba8ed66a185753927e4ca021062f","datavalue":{"value":{"entity-type":"item","numeric-id":34522,"id":"Q34522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$181CE3B9-26F0-4147-B968-BC57CE75775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aea350126982735e73539673e9998ee4fa425308","datavalue":{"value":{"entity-type":"item","numeric-id":32090,"id":"Q32090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$1DDD6CBA-49E1-409F-B31E-98C40ACF21DC","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":"Q2988658$889EE96F-E617-4D1A-9013-B6B530933EC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20a79453967c2b46bb6bf688d2f4f746ee17a5a4","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54434-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988658$A52320DC-81F6-4CCD-86C6-27FFD6322B64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c250a312b0fdaa3a27927dbe587b3b983c18bac0","datavalue":{"value":"W2595518539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988658$8A44A4CE-C286-42D2-B9E6-928A978EDDF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88745a0cd3171e11c93f43d8028df53fdd6dbc87","datavalue":{"value":{"entity-type":"item","numeric-id":2938052,"id":"Q2938052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$600DC10F-BAE8-4ADF-8C06-C143587B62B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e949d01eb7df08ca150012cd94d15a2478e4bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2914751,"id":"Q2914751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$E955638C-9968-4A52-96F9-DFA640ECFB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf0df807bad0ae05356846d3d601d36b3204e9b","datavalue":{"value":{"entity-type":"item","numeric-id":1870491,"id":"Q1870491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$8949DCA0-AAE9-4237-8713-D6FFEBE3876F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad337e7202a531988edc98dfe40e78f7d5688dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3460071,"id":"Q3460071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$53DBE4D8-0091-4ACB-8DA1-CCF8A6742839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$8EEBEB43-CD1D-4B49-9A6B-78FB817217D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228e40236d38aec5a149d907ee03718626a60ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2942890,"id":"Q2942890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$6554B6DB-6308-4116-A1CB-0B365E1FE714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$CCF4FB05-4164-4525-8FB1-1B0BDB3F32BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$77C15F00-1577-4F42-BD01-AD34C69E1C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab089872e48b2fd8c69c65ab71df3508a4efdb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899005,"id":"Q5899005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$F3759A4A-B349-4162-A7CC-4AEBC00C792B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$BE17DEFD-A6BE-4332-969D-66ACF8CB19DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$8345DD01-EEAB-4EB2-A417-E24430C93A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6476b13091bee9c8ccb7300f99e2ec31ff4c5541","datavalue":{"value":{"entity-type":"item","numeric-id":3183539,"id":"Q3183539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$AAB781EB-300B-452C-A5FE-3702B2AAD5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5fbf94b729f109d7385449e285b46324367154c","datavalue":{"value":{"entity-type":"item","numeric-id":2871843,"id":"Q2871843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$4CDF3823-F99C-4906-B158-2F13F30ED174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b1b6d321e9061de1263bc9768b7050048e21ec","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$8F8E9257-0C3C-4332-AA02-094B2CB964A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$A12590B5-9F93-49E8-A682-F9EBB7286D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$5AD4C6A7-B3C8-4E58-9AC2-FC36D9A7857F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db64b11464b9db48e2a389bd15fbba45af72595f","datavalue":{"value":{"entity-type":"item","numeric-id":5277845,"id":"Q5277845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$43A60372-BE99-43BA-878A-F1F0922B6ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c251862798025af0ed73cb57538684bb7c1e6c74","datavalue":{"value":{"entity-type":"item","numeric-id":3454100,"id":"Q3454100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$6562E032-5972-4EAE-956F-002BC6641C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$7C65D56F-927C-4D08-B45A-9AC81A856457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0f85a488d3f386518edb0636f9b1f48fc0498f","datavalue":{"value":{"entity-type":"item","numeric-id":5747746,"id":"Q5747746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$AE4782FA-A0A4-4AD2-9A2A-6BB5A59355EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca7d3d7743469415e0b8a942df4c8fb49dca870","datavalue":{"value":{"entity-type":"item","numeric-id":2985784,"id":"Q2985784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$9E455577-5134-49FE-919F-BAD5D579AF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfe52ebb37eeb823203f2e60e8d7931b53968e5","datavalue":{"value":{"entity-type":"item","numeric-id":5178008,"id":"Q5178008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$579AADE5-8A6C-4CA6-874A-AF8FB36D798C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988658$3525D3FD-B3FA-47E6-B87C-4B71588074FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767a73eff8d6236eb36e0b86506bb1816670fb83","datavalue":{"value":{"entity-type":"item","numeric-id":3460071,"id":"Q3460071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec747e9b7126a05d77ebf40a780f870f63179ac","datavalue":{"value":{"amount":"+0.7883291840553284","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":"Q2988658$77B158E6-90D9-4508-8BD0-2B83EDA74E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0168108907ddaa6d1022d429beb77d49ecf51da6","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cf84d48428e694f502d1520f685a5670140d67","datavalue":{"value":{"amount":"+0.7810441255569458","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":"Q2988658$5D0965E8-8D40-45B3-9F5E-80243DD7B0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c906d6ea96f2de0343d3de6007ed4dc3002c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2871843,"id":"Q2871843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98562442cdd0710dd8fb1118c5afca09caf2a99c","datavalue":{"value":{"amount":"+0.7294325828552246","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":"Q2988658$DA729BC4-608F-4F04-8396-B61F90C81975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465690f04c9941c4510fe2f97ecb75a7eeb41eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2333326,"id":"Q2333326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4070552457aca3bb710130473de6fdec5c18ca89","datavalue":{"value":{"amount":"+0.7142156362533569","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":"Q2988658$F7DC54B8-8D31-4713-BB00-5FDB7A69AC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a04a292f79b7a5f2a1ec2a18b87a0f16d93f019","datavalue":{"value":{"entity-type":"item","numeric-id":2948554,"id":"Q2948554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be420e6100b020f5000f5a315abe6b8327086abd","datavalue":{"value":{"amount":"+0.7029979228973389","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":"Q2988658$8DDDCC55-A25A-4B12-A111-D26DFE68BA41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988658"}}}}}