{"entities":{"Q3007660":{"pageid":3018384,"ns":120,"title":"Item:Q3007660","lastrevid":80157230,"modified":"2026-05-06T15:34:01Z","type":"item","id":"Q3007660","labels":{"en":{"language":"en","value":"Realizability Proof for Normalization of Full Differential Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908720"}},"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":"Q3007660$42AF52E7-FCE0-4FC0-8497-4BAC0A046D22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2e053dd9f00611d29cef2823948f59992bc2887","datavalue":{"value":{"text":"Realizability Proof for Normalization of Full Differential Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007660$4452713D-FAB5-4C72-B2E5-1F6796D1C4D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36877ab012cf6e2612461b330bbd1e3d40db2acf","datavalue":{"value":"1331.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007660$8383F366-456F-45A4-8321-56B240869054","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bdda0ffa9815c084ac5827609d4960ee5dbfc18","datavalue":{"value":"10.1007/978-3-642-21691-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007660$BAA5D1E3-4187-43DC-BF4A-574964EA291D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8e83077f9b78301c97fd28efa7acb9c0c00065","datavalue":{"value":{"entity-type":"item","numeric-id":2828260,"id":"Q2828260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007660$3ACCD328-B868-44AA-BB94-6CC1B720F0C7","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":"Q3007660$91710BEA-3616-48E6-9A70-8AD1BD529ED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007660$2D1AA881-7A51-433A-A790-8AF15261EF7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007660$1701CC20-4D78-4A2C-907E-D960C073D756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bfc3bd54cc4517a5e65d38c099a8d5b9b719f51","datavalue":{"value":"5908720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007660$A4788735-5835-4DF0-869F-14723E301E20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007660$7395A258-075D-4A0D-8BA3-D235B0618828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007660$0E59FB03-D7BE-4DF5-96D6-02444B0CC48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007660$C8F8EA97-FADC-4AAC-99EC-8C15CFED72A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75dd10a1eebfa7bd77c048b80aa3df8f75dc533b","datavalue":{"value":"differential interaction nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007660$F938068D-DC24-405E-85D8-ED36265C62A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007660$8A3008E0-B345-4D28-AE6B-07E1491544AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007660$1D33EAC5-51E9-4F79-8D42-E93FC6366063","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":"Q3007660$32E704CE-0D48-4BDC-B09B-4C6B4BE476A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f35a17cc4cc10a8afb887e5cb19a962c8f046f9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21691-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007660$8E09B633-DF20-48B6-97D0-8B1308796243","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ef9e8787d59da313b9f303aead2bd80f4dc3ab2","datavalue":{"value":"W41668360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007660$160F4015-A6D3-4F51-ACA6-82A7D2CC4340","rank":"normal"}],"P223":[{"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":"Q3007660$73C55530-3E06-409E-9106-4394E5B58126","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":"Q3007660$E6FE97B7-F746-44C2-90B3-754025AFE148","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":"Q3007660$D1ACBE17-857A-4887-A5F4-92BC3C41130B","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":"Q3007660$E9D1A147-9DCF-4E86-A4A1-10DDB8CDE38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007660$E8C8DAF2-307C-4ACB-B4B5-8B14CB852E21","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":"Q3007660$B40201B6-781B-4A9F-BA07-231096A125F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4fdc336b43063ea23854b1e9b2526543940aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1044837,"id":"Q1044837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007660$AC28193D-42CE-45B4-B4F5-4AD63F321881","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":"Q3007660$AA79A517-28C4-468D-B1A7-84B80B928974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60160024512c73f3c431b760ec9d2b4a9aa14ec","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5759e0e3723bb7f5ab09afc2f1f01b286f52543","datavalue":{"value":{"amount":"+0.9066013","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":"Q3007660$847AC32A-FF20-4174-B478-9BF8E0EBDB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6dba9f748e3403d6dcafa58273bddf207696922","datavalue":{"value":{"entity-type":"item","numeric-id":1267849,"id":"Q1267849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd3b9830103969d74d371917c6f8469feb13d56","datavalue":{"value":{"amount":"+0.8854599","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":"Q3007660$16640D8D-6E5F-4803-A55B-A52FBB3A5CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa1009ce93a2784ce6a9644d44a57fd852fa559","datavalue":{"value":{"entity-type":"item","numeric-id":4656555,"id":"Q4656555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37d142aeda7302200ae95d51891e0af51a12e02","datavalue":{"value":{"amount":"+0.8853024","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":"Q3007660$69BFB9EE-6399-4F53-9AEE-926F6E205333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf72fe02636f2b7949c7e24d01fc14cb8801819","datavalue":{"value":{"entity-type":"item","numeric-id":2958373,"id":"Q2958373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a07edd40c37a498075b70fe3a84c8e417b380de","datavalue":{"value":{"amount":"+0.88232595","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":"Q3007660$E6B9543F-373E-41B1-A856-822BFDBE7783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c11d2955b3df79d91b61701b2c0ed5394bb1f3","datavalue":{"value":{"entity-type":"item","numeric-id":3800029,"id":"Q3800029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d4a09eef797aec1a4f548b8fc8894fb7ee6b1e","datavalue":{"value":{"amount":"+0.87929416","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":"Q3007660$BFEBEDEE-FEC2-4993-8877-010FBCD63F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58af55d4f20a549efd47fa1f81f2013179d77aab","datavalue":{"value":{"amount":"+0.8778633","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":"Q3007660$4983B9E0-8823-4293-80EF-86B203642669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e209d4a21f34e0a088a607f6de8d4e53ccded8","datavalue":{"value":{"entity-type":"item","numeric-id":4365102,"id":"Q4365102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d4fbca1ad6ffc85f563db8e2c70db26c8ba916","datavalue":{"value":{"amount":"+0.8760815","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":"Q3007660$BB553424-2564-4AFE-BB5F-76097DA0ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e64a5c75231fe28ee166263798112284e812c","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da531d2de61a0ec9e6431eb4f6072bf25a70feb","datavalue":{"value":{"amount":"+0.872027","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":"Q3007660$E46C9225-B3CE-4885-963E-40F24D0F49E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892821420de2e22cf3de67039cf40d6bec0e1fc4","datavalue":{"value":{"amount":"+0.8705834","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":"Q3007660$18349ECE-76A0-48BB-925B-3651631C485C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff897a52edb4c19eb266cdaddab5ec02d836513","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6154fec9507aad562d7e9353b6291f02acb9fc9e","datavalue":{"value":{"amount":"+0.86912763","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":"Q3007660$6FC7D7BA-BC7C-403F-B473-3DFD5A26FBC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability Proof for Normalization of Full Differential Linear Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizability_Proof_for_Normalization_of_Full_Differential_Linear_Logic"}}}}}