{"entities":{"Q1853586":{"pageid":1864328,"ns":120,"title":"Item:Q1853586","lastrevid":74322468,"modified":"2026-04-14T19:31:52Z","type":"item","id":"Q1853586","labels":{"en":{"language":"en","value":"Polarized proof-nets and \\(\\lambda \\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857111"}},"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":"Q1853586$21716EB1-A9EF-4673-B512-4A1201D21D49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b96cd3b91f8a54745031f4de815eaab79501e9","datavalue":{"value":{"text":"Polarized proof-nets and \\(\\lambda \\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853586$4E7F1062-494F-46C8-89CC-B1C0833F0AB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc6acd1d9f5c19c1744ff57886dd3cc98bc8568c","datavalue":{"value":"1019.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853586$30FD27C9-49BE-4A63-9389-DA8A5754B8CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c948267c45401332fe1a04d546ecba306c41040c","datavalue":{"value":"10.1016/S0304-3975(01)00297-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853586$2EF39B17-1510-4456-BE19-B7B5A1AA370C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$99B33DFC-A7D9-4EE5-AB70-3E045CDB6F54","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":"Q1853586$7C790FD4-1201-4BF8-A150-E6CECC7EF8E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853586$47BE7B9D-017A-4B42-89D5-85D155B5DE89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853586$1DA245BD-37B4-4576-830A-63847D0569D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853586$AC985E9B-7E74-4388-BAA7-DB007E76FFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853586$AB245D8A-7BE2-465A-B1CC-CEB104F97A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853586$9197DB25-D89A-4B76-BC7F-4F985C66F2BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba2547f82c9ddcc8a98642c59c50fbdf2d4e98b","datavalue":{"value":"1857111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853586$B344D508-9B96-4BB1-A12B-73C7F4E6A588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc34c4ab840c2264bbf7308dd6e8ea71488297a","datavalue":{"value":"polarized proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853586$ADE8822F-240B-4DC0-817E-A18428DF8FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb2f1172bf222f2545c9e1320da36ad0a6e4eb7","datavalue":{"value":"MELL proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853586$9617D511-C62B-4275-B85A-EE762E4329BF","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":"Q1853586$8C4778CD-91B9-4407-BABC-7EB600C2A0F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$6C2B27E9-33CF-468A-A5A6-ECA16A680848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$AD473392-3E63-402A-8F63-F29530F1EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1ed148ff66b406057a98235839d96140aebe76","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$72D67550-398D-4C80-A6BD-DBC8B938B3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$7E82FF52-F91D-45EA-AD7E-34A6ADB979B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23e4484dbe90c851fe3b3eecd6556006a3445e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$1FC60C14-DAAA-41E4-8816-4F16AD628BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$5858DA66-28A2-439C-A4F1-596819196EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa835630938477c822be55302e9ff7c75f348e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$AD7F086D-00D5-4AF8-9194-5832ADF319FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af047ffb50fc6a2b4ea9b8f905f959b0fc9bd081","datavalue":{"value":{"entity-type":"item","numeric-id":4896474,"id":"Q4896474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$2040ABC1-329D-4E15-9593-2E970A091A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$D8C99BC4-9684-4F0E-81B7-BBABEE98DF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853586$17908E6E-0685-4EDA-9429-37E70484B478","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e5a40f20ed1a717782e51aea050c0dfc355b0b8","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00297-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853586$BFB3E6A2-59CE-4EA2-8839-5DC2E9C3CC48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f0146651c284daed8135b43b53fc4f76b70665","datavalue":{"value":"W2031381178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853586$CF452075-66B3-42EB-813D-BF4E2F0E697A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4459a670fc9de0c839f1a1636303e8bebb2a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c49951affd175681797fcbb651ab37610e33d2","datavalue":{"value":{"amount":"+0.8172537684440613","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":"Q1853586$D7C21734-BBBD-44D9-89D9-B5C06C8D9E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e59895028f0926655f2427a7fe7fb82313259c","datavalue":{"value":{"entity-type":"item","numeric-id":3188293,"id":"Q3188293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6fb3c6fecca596e8ca846e1596991fa841cc01","datavalue":{"value":{"amount":"+0.7941766381263733","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":"Q1853586$A83DDE6D-1F28-47BA-A54F-55D2662538A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64dbf5b58c942073400bfa1f887eeb83ebba948d","datavalue":{"value":{"entity-type":"item","numeric-id":1744450,"id":"Q1744450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e739ddaf2bcee04246ec0eb35ea6e1d8be2ab0ea","datavalue":{"value":{"amount":"+0.7898045778274536","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":"Q1853586$08CF260A-FD41-4DE4-88DF-5DACAC59391E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e81071e64ccc7c1d94893876ab0d13eb357773a","datavalue":{"value":{"entity-type":"item","numeric-id":4650577,"id":"Q4650577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037ffdfb8d19d5046086aff1b9a2d9fde5040100","datavalue":{"value":{"amount":"+0.7880146503448486","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":"Q1853586$B629A913-C95D-4604-9864-4B97F37B2A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee7886267e483c781e55c64a1519c3f8896e51c","datavalue":{"value":{"entity-type":"item","numeric-id":556824,"id":"Q556824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b2117f403d32a4f83989a13b5656bcf6b38df1","datavalue":{"value":{"amount":"+0.7777063250541687","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":"Q1853586$B622ACBB-92DD-4F9E-BED5-F9F4B3F3F05D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polarized proof-nets and \\(\\lambda \\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polarized_proof-nets_and_%5C(%5Clambda_%5Cmu%5C)-calculus"}}}}}