{"entities":{"Q4952027":{"pageid":6981609,"ns":120,"title":"Item:Q4952027","lastrevid":41621277,"modified":"2025-05-06T11:32:09Z","type":"item","id":"Q4952027","labels":{"en":{"language":"en","value":"Object calculi in linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1443026"}},"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":"Q4952027$6DB3A35F-8E6E-41B5-B4E8-F2ECBF433B3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3050c7eedf33d8522fdbb98dd4078955774b474b","datavalue":{"value":{"text":"Object calculi in linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4952027$63C39BBE-C9B8-4B3B-8E3D-57F4BCD8665B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8264848dc319fc1d109cfae7464e6e273a6957d8","datavalue":{"value":"0955.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952027$62B32398-A8DE-41A0-9E29-A5A55993F1AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b5563d299e28a4051d39f0936a40aaf2d80854a","datavalue":{"value":{"entity-type":"item","numeric-id":511942,"id":"Q511942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952027$13AD8C08-A222-4138-8C03-7BD0C0548A5F","rank":"normal"},{"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":"Q4952027$94502A5C-0B57-42F1-8599-24D6EA663D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952027$B184F1BB-09E2-4A8E-B37B-8046E2AF460F","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":"Q4952027$9AEE0113-0978-4C95-BDBD-C64F8DB3DBB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff549de5c6ce5b4225ab7822aed4075af58e4092","datavalue":{"value":{"time":"+2000-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4952027$EC23865B-8B6B-4EDA-B52B-F2E9A7F0BD08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c25c4e6278ea5fc92a6df1c64ce78fab8d60ebf","datavalue":{"value":"https://hal.inria.fr/hal-01152636/file/2000-jlc-00.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4952027$AF0D0369-34C9-45E1-B4BF-F59CDACFB7FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952027$C1117CCC-3B63-44EF-A3EE-A5F11E34BF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952027$0FD0D864-DCFB-4C7D-B5F7-90A30E306D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952027$AF608B99-04BC-4B76-9582-9EB3EF38CE2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69edd8d4fdb7d232e7acec8b9abfe19e2f97df71","datavalue":{"value":"1443026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952027$0C0D5393-6461-480B-A91F-F058C93E3B91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3fc78681ec7b1a07ce81cbc147bdb7370196071","datavalue":{"value":"object-based languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952027$A46D7572-E482-4C42-ADD5-47A60572FCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb28a5b6d2014bd06a6c1dcc22116bf68563a05a","datavalue":{"value":"dynamic dispatch","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952027$392774B8-EE35-4EDA-8D11-CF79E8EDB188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da00735c2bbc7d69cb76a3c1c640ce3b52571677","datavalue":{"value":"object-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952027$0607D369-FCBA-41E5-AB3F-D99F2CA93D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"340eea5f83811671dac2df0cab6ff61cf3503799","datavalue":{"value":"higher-order linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952027$4A19F851-1DEA-4D11-9503-199CCEA964DC","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":"Q4952027$C8BF19CE-BE54-4086-B1C5-EC53286B64F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80a71ff0b0b917b6cc0cfd7ce63198ca6c749f2c","datavalue":{"value":"W1964960651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952027$4649D5D6-E065-40C6-B321-8CCCFB9F3C5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5c7f206edafddf39a2ef9bb11e2dd7e5eb6a7f9","datavalue":{"value":"10.1093/LOGCOM/10.1.75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952027$E77D7949-C915-4319-B3E8-FAF3EBA48A34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952027$A8524AFB-AE86-4F7E-8A33-96FC557723B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d8abc9830180e9f98bdccc10033b3141909948","datavalue":{"value":{"entity-type":"item","numeric-id":1434358,"id":"Q1434358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d198a300c2613b6d44506f6d65aa38175e211f5b","datavalue":{"value":{"amount":"+0.9235233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$49B1E756-989C-4F50-9984-1742999CF798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d2677eb1d9898825042f0cd1e5a1b290ddc742","datavalue":{"value":{"entity-type":"item","numeric-id":2715877,"id":"Q2715877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53851677c6bd4e99275c826f6c3c4815bbadc924","datavalue":{"value":{"amount":"+0.89129555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$0DBA6461-73ED-497B-8402-FE217DCA9C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c91f8c0dd24d77502b5f12babf10733af517479","datavalue":{"value":{"entity-type":"item","numeric-id":688277,"id":"Q688277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57905277610a5acb8817bf8066262e85ab6f2b1c","datavalue":{"value":{"amount":"+0.8880106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$A01FF3F6-7AD6-4A1E-9E5D-8E37E9664AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cb1131b47924ebfb8ed3d03507a73f52c7832c","datavalue":{"value":{"amount":"+0.887704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$CD7049E3-6B3A-4CF7-94BE-7CA3EB9510A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c7d845ea924732a87d2f1d2a1d25c95a8028e","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffee1a760d76b59e28b9a1b9e15fc5ff1f4bf120","datavalue":{"value":{"amount":"+0.88269246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$9CD04F72-5301-492D-B9D2-E9AAFC127C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3b597b201785937e15701372800d828882304e","datavalue":{"value":{"entity-type":"item","numeric-id":5022931,"id":"Q5022931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b2d7e5662bd609ea6ae2f3f16cfb37952695cd","datavalue":{"value":{"amount":"+0.88233113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$AFBC6991-2837-4970-A602-C1B490262088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4b4e126c2d0ced1d7e3dcc88e4ffcc7396c754","datavalue":{"value":{"entity-type":"item","numeric-id":4244309,"id":"Q4244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"526ea522dd61521ad67f32c9d0d51fb7ddd4d688","datavalue":{"value":{"amount":"+0.8768587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$93BF5DCD-0D74-4F52-A463-1EAB1128C2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49348d4d19df3c31a72ae42decbba878b3f9ccbe","datavalue":{"value":{"entity-type":"item","numeric-id":2848697,"id":"Q2848697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa74a159d73b06cbc1a19695ecc191c2450f664","datavalue":{"value":{"amount":"+0.8758985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$40C42AF2-A4C8-4836-A3CB-14A4CE82F15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e862e05763e2b86283d1262784a28953014ae6","datavalue":{"value":{"amount":"+0.874878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$B56D7D5A-B833-43E4-92C8-33F90209B883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367ed7b7f2ea229c9ebb8d7698210b1e32cb88c7","datavalue":{"value":{"entity-type":"item","numeric-id":4023285,"id":"Q4023285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a785934a66531c58cd3b7b75cb6d8c68fd664aac","datavalue":{"value":{"amount":"+0.87484807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952027$DA31A6A6-1FEF-4685-8BA9-50316639B097","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4952027","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4952027"}}}}}