{"entities":{"Q5941199":{"pageid":8118001,"ns":120,"title":"Item:Q5941199","lastrevid":47658565,"modified":"2026-01-02T08:54:00Z","type":"item","id":"Q5941199","labels":{"en":{"language":"en","value":"Proofs as computations in linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635364"}},"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":"Q5941199$3C99C82F-8B8F-4675-90BE-19B67D09DF31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a9f89895bfe71a75bde6698abb4be4a8a61273d","datavalue":{"value":{"text":"Proofs as computations in linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941199$C12D9145-E856-4F42-8FD5-D3B7CF896FC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbd16d32665e2fe3cf72e3453e31ec9e14168a24","datavalue":{"value":"0974.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941199$3E1F7ED0-63D6-4491-81A4-6CF12A967764","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a3afa4a24532aa3f4c9a6c5844c25e768d60d5d","datavalue":{"value":"10.1016/S0304-3975(00)00024-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941199$8A4F660E-BD4B-4D66-9509-C3A2AC988158","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$FA32174C-8991-43EF-8EC4-276237783DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29dc1236822f916648bcfce8c73940191d5a0074","datavalue":{"value":{"entity-type":"item","numeric-id":198014,"id":"Q198014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$9BDA3238-1513-4F9E-A68D-3EDC0A9D6544","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$C67CDBA7-6906-4D38-A56F-B6EBC9253369","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941199$97E3ABAA-3457-4330-8D0F-96C69CCAC834","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941199$28EEEB75-2E45-4CBF-BC2D-79C521B0FA58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bb12702c3d8290d99e3946813fb01df3c3ea43b","datavalue":{"value":"1635364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941199$58C307B1-C220-403E-9BA4-D6EB236E939B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a67732e211991d703b10b042f6303c13f8c68be","datavalue":{"value":"extensions of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941199$A1600A33-FAC0-4CD0-A93B-0B61741D8BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941199$B7B502AC-FE87-45ED-9037-21EA8F46D0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941199$CDFDF228-1660-4C5E-802B-C69C2B5E3B6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$AA1C4702-5D4B-4C8E-B6D8-FB98266F1243","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":"Q5941199$F939225D-9E58-4462-99BE-27095298EA68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$2E928092-8DC8-46FB-93F5-DC47E5B1D04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaa3f7e97d228d907b8c697808a7482aef33deb","datavalue":{"value":{"entity-type":"item","numeric-id":3357521,"id":"Q3357521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$7B0ED900-2B30-4AAF-9330-3C4E360D1A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e264368b4372d85751ccc0aeb20bf90ed7a2e5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4952027,"id":"Q4952027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$19BC9CFF-1939-4FCE-91D6-B82B03A8D620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f396e307e724b68de7f31c725e1c45ed9c19b055","datavalue":{"value":{"entity-type":"item","numeric-id":4223026,"id":"Q4223026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$E418D628-FC59-4A1B-9A7B-57687A43907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1634746e4d22a6420a4a8abe51fa00ef3fea6faa","datavalue":{"value":{"entity-type":"item","numeric-id":4261313,"id":"Q4261313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$EF1E2357-797A-43CA-A7F3-4F8BBFB37D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$009E1D13-81F2-489E-A615-1611CA990086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e10d811ba2353d8a61d15e121c0fa1ef3eee2c","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$7EA01786-1347-43A5-84DF-FEE070CEA845","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":"Q5941199$69960513-83AB-4261-8D8E-58C1F48A661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$2AF766A8-0018-4B29-A8B6-2D8EFA993AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5eefaa9162e0964440f1cf62ce3f6fb8453bf36","datavalue":{"value":{"entity-type":"item","numeric-id":4222845,"id":"Q4222845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$33EF2A3D-148E-4413-A2AE-8DD2CD32552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ab7446d8e02f0884b2e45caf05ee5ea16864ea","datavalue":{"value":{"entity-type":"item","numeric-id":1898813,"id":"Q1898813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$48767F9E-AA63-4C3D-8BC2-D46119B569DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$D76CF01B-301B-441F-ABC7-B7FA4ABF9BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$3C6C47FC-AB32-45C9-9E4D-BAD3973D726D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da3bd604f0a8895e8e0238ab57acb60bfefc200","datavalue":{"value":{"entity-type":"item","numeric-id":4291039,"id":"Q4291039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$152DD8B6-C2DB-406C-A73E-24FA3588C76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941199$5EC754BC-5070-493F-B73E-DFCEF1257B5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ae42a808b37199a642114f619618f8a831d761","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa8d6b469700d6b88febba99eddad9a7991d54e","datavalue":{"value":{"amount":"+0.8487028479576111","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":"Q5941199$A3ECA117-4F75-4828-9FCA-29C3C0297393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccca725b897b8a95c1327bf73fcd433160302c53","datavalue":{"value":{"amount":"+0.8299738764762878","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":"Q5941199$22EB5D4C-006A-4A0D-BA57-1FE79547A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9d4223dd3227b10018b637dae5c80fa8ce1b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4291039,"id":"Q4291039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccca725b897b8a95c1327bf73fcd433160302c53","datavalue":{"value":{"amount":"+0.8299738764762878","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":"Q5941199$04F7476B-7E40-4261-8791-A9ED83388068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cf38afce0735c00befb4dff53c39e111244570","datavalue":{"value":{"entity-type":"item","numeric-id":1311397,"id":"Q1311397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07269e32ef788a28a9fc11a893fd636ad97cb02","datavalue":{"value":{"amount":"+0.8292925953865051","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":"Q5941199$58EE2A2C-0305-4331-AA2F-370100B778E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f880533c119de7c2962c291abbf7a819980ff0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537511,"id":"Q4537511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07269e32ef788a28a9fc11a893fd636ad97cb02","datavalue":{"value":{"amount":"+0.8292925953865051","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":"Q5941199$AE5B345E-FA7B-4E98-8B28-1226ED325A45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941199"}}}}}