{"entities":{"Q6657782":{"pageid":14268939,"ns":120,"title":"Item:Q6657782","lastrevid":42410325,"modified":"2025-06-15T12:48:07Z","type":"item","id":"Q6657782","labels":{"en":{"language":"en","value":"A deep inference system for differential linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7962578"}},"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":"Q6657782$EFA7C58C-67B1-48BB-BA86-18B81AF213B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80bdc4d47c0cc288b15f6f6f4783e21ddffcbcbd","datavalue":{"value":{"text":"A deep inference system for differential linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6657782$A372790D-28B1-4C77-9C0A-BD5B65D76371","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$E572DEC4-E52A-44D6-ABA6-0C0DB4897D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$6C9FEADE-82FA-4BA2-8A90-BE85F49A05FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61d4fcd001548dfc6222d0098d472cd2a6031b71","datavalue":{"value":{"time":"+2025-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6657782$F76C3EE7-FE1D-4850-8B79-060E1D372266","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657782$FE6794B4-3C11-415B-9499-C3D73DD69A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657782$078333B2-E7FA-4F36-A91F-96ABEE604E97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9670180acdc81144f8aa62ec9c0341452d1a1994","datavalue":{"value":"7962578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657782$F25F4B33-0D9C-4F65-AD70-053D9D3011B8","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":"Q6657782$452AE154-FE6E-4CDE-AEAB-1FFC213CF5FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a41a3be562904c0725282929a98dd954b0717e4","datavalue":{"value":{"entity-type":"item","numeric-id":5145617,"id":"Q5145617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$0A3020D5-127C-47CE-BA7E-178F43A1036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$E2BFE960-DF4F-423A-9921-BC50D1091A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5727727b5f6d6c2dab20127e050d8fcf3a839557","datavalue":{"value":{"entity-type":"item","numeric-id":4611381,"id":"Q4611381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$245327A7-CEF2-43C6-B9E9-844C51C3790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$0D490999-C58F-43E6-B748-60B7DB991337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340939432c5a5d06e884c51fa8fa92ea5f231196","datavalue":{"value":{"entity-type":"item","numeric-id":4577980,"id":"Q4577980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$AEE6F894-405C-481B-A268-2C9A4B08A851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a671cf16345b29b37e821cc9fbb410673b841a79","datavalue":{"value":{"entity-type":"item","numeric-id":979075,"id":"Q979075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$ED5BC7EE-F1A3-4EF9-AEE9-D9329518A79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$689698A4-6E2A-4CAE-8FA6-76FCFC65779C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edb7a0c6ea1f06765b6708ba458501deba3011d","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$8EF6CBAB-C313-4D34-B250-63228D7113D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44344e1b9d06c74b17ab363ea3c3099e86c02d07","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$8600D9D1-83E6-4C0C-9A6E-85B54679D033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$2EA93D86-332B-4863-B06E-082DE99617B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95b846f43488d93cc3ad17b5aebad0886b5b9b4","datavalue":{"value":{"entity-type":"item","numeric-id":3007660,"id":"Q3007660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$0DEF3017-A7F6-4415-90F3-9BC8C9AB610D","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":"Q6657782$39F44272-1C33-4840-B98C-5E1D44E58BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$EEFC0A64-F3F4-4DB6-A510-A8C651718F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02bb2ef2212805ba3d6ddbe7c18feb44722ac49","datavalue":{"value":{"entity-type":"item","numeric-id":5369485,"id":"Q5369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$F6138D8B-B351-4E5D-859D-C22AF0EB36E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b47b9cf2eab678beea08332c9d4b220e274b051","datavalue":{"value":{"entity-type":"item","numeric-id":2303597,"id":"Q2303597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$5856A7AD-8076-46B6-B0AE-EE5F6109105E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b205e88c7b436cf1b92daccc1fa1597ecb72e59","datavalue":{"value":{"entity-type":"item","numeric-id":5874211,"id":"Q5874211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$83A369AF-22A9-4C1F-B2CF-1A523352F095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$9C8AED00-5A92-45D2-A8E0-64DDAB5CEFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf499e29c0e8e2f018546e104c07e47e84ff64d","datavalue":{"value":{"entity-type":"item","numeric-id":5389140,"id":"Q5389140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$7977E030-5540-4714-AC3E-F304168A9A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$70C9E40D-5447-42BF-98CE-E9E32F48BF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075322df0e7aaaa2a72a696288712dbe0ddbbb95","datavalue":{"value":{"entity-type":"item","numeric-id":4428303,"id":"Q4428303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$49114C16-743C-4960-B791-3EF5B58D0F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b942b2bb70dd621d500d8ef4a7b2d998a8cd4b3b","datavalue":{"value":{"entity-type":"item","numeric-id":4972161,"id":"Q4972161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$036EE0D9-2605-49E2-BA33-2E16330E3FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c201afdbaabda3e205453413ef792ef340fc12c2","datavalue":{"value":{"entity-type":"item","numeric-id":4577982,"id":"Q4577982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$3AE8823D-F76A-4A73-BC0B-9D8AB0C8C267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4339d9007dae5866396cd8db2d09ade62fb16431","datavalue":{"value":{"entity-type":"item","numeric-id":3498483,"id":"Q3498483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$EB5B2D42-0C3C-403E-8FB2-5AF30BE98B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$D3FE8B9F-35B1-4C81-B238-8880943735F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4156d6b6304ed941789a800554e49884f0e7f6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3637197,"id":"Q3637197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$2C649370-68BD-4861-80C7-A0FCDAAA9822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c605c2c35a299c7b77067ae6c2666126c4d457c9","datavalue":{"value":{"entity-type":"item","numeric-id":5360213,"id":"Q5360213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$7E7F37CB-3609-4B5E-AE64-C4FBF693F81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691258b7dd0ca2d9f19b52dcd002a66925f7ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":1884903,"id":"Q1884903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$E6E7B79B-68B6-4C94-8706-0CF213CB7F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1ab920babe8b69cd188f78a28074341fb4e88e","datavalue":{"value":{"entity-type":"item","numeric-id":3644769,"id":"Q3644769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$5CEC291B-1E33-4C83-8DE4-947FF7CD9297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bea83542b3938ab5dc0b4c67cbff4d5767796f","datavalue":{"value":{"entity-type":"item","numeric-id":534707,"id":"Q534707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$FDE479F0-3E5A-4B5A-9424-0B2E44F3B50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb943d914c702ef223ece3da61b38b33c9e1b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4608728,"id":"Q4608728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657782$463AC671-5BD9-4ACF-A8E2-B499A8F1E901","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b6f0afa8d64d6fc88094053ee1f91103904654c","datavalue":{"value":"10.4204/EPTCS.353.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657782$AC5B3FAC-67FE-4222-9539-64FDD2591E34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6657782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6657782"}}}}}