{"entities":{"Q2958373":{"pageid":2969092,"ns":120,"title":"Item:Q2958373","lastrevid":44783199,"modified":"2025-11-26T10:21:55Z","type":"item","id":"Q2958373","labels":{"en":{"language":"en","value":"Linear Logic and Strong Normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679814"}},"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":"Q2958373$215F954E-6D12-4F2C-AF35-D18CB28D9BE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b58fbcae48cf24ba78b2877b079b136f837794ab","datavalue":{"value":"1356.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958373$0C458FCE-B7B3-4AB3-AA18-07B3D4F3C25A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958373$2D3FFE36-6BBF-47CD-86D3-E55F2D0B82EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958373$044B08D6-C349-451E-A53E-3B92C805B2D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958373$4A649807-3656-47D1-8567-8E085316BA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958373$55849207-5B17-4426-BB2E-F6E9CE9D2BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958373$58C3BE9C-D363-4EFF-9548-F21FD6D36B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958373$6AAF699A-8931-4D65-9036-88ECB9C9FF6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0353158e25cf15467c154007364069480dd3db8d","datavalue":{"value":"6679814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958373$C5A2DFF0-B541-45A9-B287-82B1C0C2D6F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958373$E518CBC1-D293-4A40-8F5E-4265F035CA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958373$8C9A2C5D-98D4-4418-A538-EB79F7C3DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958373$6CAFE005-C6CF-48B2-A584-BB8B7CC3427B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958373$22B9597C-C126-451D-91E2-EA4E41CEDCC0","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":"Q2958373$2B563AEE-374E-4DED-A90A-540BD7F8B53E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a485aa8fbf988d2f6c1a5b3743beb3b45189c57","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.RTA.2013.39","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958373$F5415654-A71C-4E3B-BD48-CFE6F372578F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"165cb181544a6719dd6b84e0c45b75f67b46ca88","datavalue":{"value":"W2293542736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958373$730C742C-1DBB-411E-B11B-EEA67A940C2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81b8add5e48063242f783c40e7813b733e4d1a91","datavalue":{"value":{"text":"Linear Logic and Strong Normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958373$DCECD263-1A47-4AE7-B11A-120F2DC2D3F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7281d1a8885f286a05999e7ec92a91a8e55eb2a","datavalue":{"value":"10.4230/LIPICS.RTA.2013.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958373$77CAE8F6-AA34-4207-A3AF-83D413DE2B15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6d9075c9e829d985d67493ee701c3beb72520e","datavalue":{"value":{"entity-type":"item","numeric-id":276260,"id":"Q276260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a511c73ca35f65158338fcd1a497724e8088e2","datavalue":{"value":{"amount":"+0.94463843","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":"Q2958373$389DC2A9-496E-4EC1-BB1B-DB17E90741CB","rank":"normal"},{"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":"4593805de2fbc055e932b221cb1c376d33a3bdaf","datavalue":{"value":{"amount":"+0.93287945","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":"Q2958373$AF8A58B3-D012-4035-93DF-C14A8399D5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf288d97bcbfd54f497c29d54c5db6fc93f37b3","datavalue":{"value":{"entity-type":"item","numeric-id":1044837,"id":"Q1044837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1accd8d297289f2a258e3736cc87ac27bf6a7542","datavalue":{"value":{"amount":"+0.9299953","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":"Q2958373$754AED0C-9B62-440D-B6E6-BACD0B6D8567","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":"e8d4281a3175575ed20b46592a12ecf40947632d","datavalue":{"value":{"amount":"+0.9253049","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":"Q2958373$51D51943-5AB1-4EB8-A084-B8D5D978E0B6","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":"5a6426e0a3ea41bacd64ff9606a48144348e4e2f","datavalue":{"value":{"amount":"+0.92394245","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":"Q2958373$274E284C-4588-474B-A63B-ED55983F96F4","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":"935efcf56f0664b33db33ec0ec38acb7e4c50c39","datavalue":{"value":{"amount":"+0.91954666","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":"Q2958373$165A56E9-13E9-40E2-8A3B-6435D80848EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5a298f24996e765d38d2efeed8299436b97d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf4cf0c33f043a2ec86284378ace0dbe9fdf4f0","datavalue":{"value":{"amount":"+0.91381675","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":"Q2958373$2A3166EE-39AD-47CF-9308-9A22C3C4C6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f401ea73318666d32139faa52cd2010b71705e","datavalue":{"value":{"entity-type":"item","numeric-id":5310673,"id":"Q5310673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9288ecbbb5bdcd98edae6e98d18d845ee26e35e","datavalue":{"value":{"amount":"+0.9118814","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":"Q2958373$DECBD938-6074-40BF-913C-0714D210E6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45c7dff42ba9946e9a8acd3e138332c15ef18e2","datavalue":{"value":{"entity-type":"item","numeric-id":1902976,"id":"Q1902976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20d2395da510f0e9f2154dd62b28b38e8f7c573","datavalue":{"value":{"amount":"+0.91175115","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":"Q2958373$7FC42C1D-7F40-458B-B9BB-AEDB313521AA","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":"1c830841ba97ff0d0d390d8c311b57825057c26c","datavalue":{"value":{"amount":"+0.9079503","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":"Q2958373$EC91DD61-A08E-4F37-BBAE-E09EBE36A729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958373","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958373"}}}}}