{"entities":{"Q897928":{"pageid":899776,"ns":120,"title":"Item:Q897928","lastrevid":65221518,"modified":"2026-04-12T01:07:10Z","type":"item","id":"Q897928","labels":{"en":{"language":"en","value":"Proof nets and the call-by-value \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517465"}},"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":"Q897928$B89C3934-ABE3-4402-8F56-2700EE9B345C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"255aa6766555523bf1703d960c5a5e8023a0e31a","datavalue":{"value":{"text":"Proof nets and the call-by-value \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897928$59345ED3-B012-4253-B575-1F95F4EE5861","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"608b85e51a96c9029390e9cde2e71187028444e9","datavalue":{"value":"1332.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897928$7A9A45DF-34EB-48FF-8251-BA98EDE9FE7F","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":"Q897928$CA0F838F-11F4-4D7E-9AFC-DF58C97A69F4","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":"Q897928$DA36F42E-3816-4639-ADB4-4CF1E8DD4D7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55afd84e834d230d3852aaa2c2d1c30ae006c32","datavalue":{"value":{"time":"+2015-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897928$41117D86-764D-4D11-83F9-33644A043ABB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e49c9e0665d39c248f0182f96f507df13d5f0c0c","datavalue":{"value":"https://arxiv.org/abs/1303.7326","type":"string"},"datatype":"url"},"type":"statement","id":"Q897928$0406D8AD-FB92-424E-99E8-D6E2486AD03E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897928$75266019-F29B-4B48-B2CB-BB52A0CE4274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897928$8D176564-DC84-4061-B161-1516FE0791E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897928$0F3BCD98-75CE-4F4B-98BE-07E7B5F942E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2db0af16fc615e1d14db745bda9510377d9c7db2","datavalue":{"value":"6517465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897928$4203506D-2E3C-429C-86A6-047833F2AEDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q897928$D23C044A-2AE1-442F-8957-46034A2CE01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a23064bee5a7c5da6dcf0d91edb0dcfb715749f","datavalue":{"value":"call-by-value \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q897928$8BE93CD6-028E-4723-BCA4-EEA05E44DC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q897928$CBDF7D78-2A58-4255-B563-C2E8F73E1012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20df70468d6858e31cde9819a8da756500d44a31","datavalue":{"value":"graphical syntaxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q897928$8E5753D1-3073-466A-8C27-95F77AAC62B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q897928$4F78CA5E-C56E-4196-BC33-9A2BB09DD46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q897928$CB87F260-35A0-4E5B-9DAA-9BF31BCA954F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db3f359fa57183e06e69ff3b28e5524b64756b0","datavalue":{"value":"correctness criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q897928$3EEF6A94-A23D-4BE8-8BEE-7690E0851B89","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":"Q897928$52ECFB36-C98E-4A07-8A41-0B8624DE7D1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"825f297834dfeb623344475da8f1ab91fe7abc05","datavalue":{"value":"W1136297157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897928$24AAB4E9-533C-4E4E-BF45-984EFD3A43C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c124b1eef9f41e78cedafbab76b9dfc77596cb59","datavalue":{"value":{"entity-type":"item","numeric-id":2958373,"id":"Q2958373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$BCE1CCD5-62ED-49C9-833A-9131095FCC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881b81f7bf66cd1b74c36866d3bcff62111e24a2","datavalue":{"value":{"entity-type":"item","numeric-id":5111891,"id":"Q5111891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$9F422FB1-8933-4B96-A247-2BF084584E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc01d0021ff7d63b3958c1cc1049d6b6ae70fb7","datavalue":{"value":{"entity-type":"item","numeric-id":897928,"id":"Q897928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$7EECB404-7A5A-4F1C-B410-79385C142931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d70c7fe596bffb03baa9c21fb0c5676ca6f17f","datavalue":{"value":{"entity-type":"item","numeric-id":3388525,"id":"Q3388525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$8F0176B7-FABA-44F0-A29C-EF9A860A99B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e207e093bc0b7d07405b2cf42890588e429e43","datavalue":{"value":{"entity-type":"item","numeric-id":2819700,"id":"Q2819700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$7BAB0503-EB39-4333-9817-8613260610CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b858a2dbc36a2860497e498a7e311c5cb8e39332","datavalue":{"value":{"entity-type":"item","numeric-id":2938129,"id":"Q2938129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$5B296143-C82F-4096-8551-9778EA3EF5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e9bdd3a85997a43806e94417f32440ed9f93bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3644740,"id":"Q3644740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$1E02B3CE-8393-4662-BCC6-8DE9999C5B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62652dd62ec51af26d1f57df547887590f807f50","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$9F23E79D-79FF-4189-9565-EC67F49E4B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55eaf870926bb49d2ce288fcc4e44fd13c4c4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4635589,"id":"Q4635589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$9829E46F-8F84-4C7D-A771-C53AF81680B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc59eca403e6d7ac2b4d4f9d044a3b60310a392","datavalue":{"value":{"entity-type":"item","numeric-id":2900255,"id":"Q2900255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$A4E81B6F-E7F8-4200-A798-DB9FAADAF382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843a825634e9bc89e3e7a2c65a06b1bf072573c7","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$6C538098-3DF1-4E86-82DE-A7E989F80C2E","rank":"normal"},{"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":"Q897928$7FDA767B-AD9B-44F3-991F-EB1520DEAEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6153e1c3fffb715aeb3bf1cf0bd6d05da7b7efe6","datavalue":{"value":{"entity-type":"item","numeric-id":1575873,"id":"Q1575873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$6BF68CDF-85E4-4A72-9819-DC414148F3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66fd4958199080118cc3631fff867a19068f350","datavalue":{"value":{"entity-type":"item","numeric-id":4814187,"id":"Q4814187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$4EBCF293-4498-4B96-919B-813F4989DD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64612808e96dd711eedd029a351c4e6627d56ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4438766,"id":"Q4438766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$259EB266-EA52-4CDF-B712-A6DA83EDB80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07909fb540df1f1fa2c60d78be287e69e3ad1e0f","datavalue":{"value":{"entity-type":"item","numeric-id":5150152,"id":"Q5150152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$38776EC8-9D45-4C0B-B9C2-68874924B72D","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":"Q897928$56C2F04A-2B8A-4926-84A6-4033B88A5A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448fcc10efe7c515230416cead17632ff927e67d","datavalue":{"value":{"entity-type":"item","numeric-id":4650577,"id":"Q4650577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$2BAE91A3-1681-4FFD-8A9D-A0F8665CF31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ceafaaf430db86d30058be4e3a17b419bcb1397","datavalue":{"value":{"entity-type":"item","numeric-id":5900715,"id":"Q5900715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$0B1D5977-8846-4CF8-ABF9-AE38E47A2664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d098aa06913d7a29ab62deb380c4bfe1d1dbc43","datavalue":{"value":{"entity-type":"item","numeric-id":3637192,"id":"Q3637192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$0A73E5B4-9E6E-4B5D-B0ED-A81E1BDD23CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa1392a6457245aa1a13636979cc944e1f47959","datavalue":{"value":{"entity-type":"item","numeric-id":876041,"id":"Q876041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$5ADB1CCC-9F56-4E01-A134-4E9814624EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd58e4092bb108764ef91a5f99a669bb715a194","datavalue":{"value":{"entity-type":"item","numeric-id":3182947,"id":"Q3182947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$48B4D185-A061-400A-BEC7-E8263F8D6BF4","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":"Q897928$FAE48235-BCD7-41A4-A588-1F3F17A3B065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd428aef388a024a0ffa0c90dd80734f46450c92","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$F3B988BB-F3E4-4C14-BFEF-BFEF758DF4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e637f8be1385e63b80e630a6a4462e0fcb7b8974","datavalue":{"value":{"entity-type":"item","numeric-id":5901567,"id":"Q5901567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$5F2F5784-B856-4628-9028-36D7928BB8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a5c08dc8961788926e623ce4a3da5d23a3f474","datavalue":{"value":{"entity-type":"item","numeric-id":3623947,"id":"Q3623947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$E29266B5-10A9-4162-9D34-8B6CCC23E949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$18E616DB-5EF1-4428-BBFA-F3DD3BE59F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0225f033d46261505e426bc2e285ba677ea904","datavalue":{"value":{"entity-type":"item","numeric-id":4953339,"id":"Q4953339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$081CF4AE-C900-44D3-A169-E7D94194E2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$22EC751C-21F0-44FF-85BB-B7177DE3ADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe69e3ad04f8df8583362e5970fcfef731f1f57","datavalue":{"value":{"entity-type":"item","numeric-id":4719353,"id":"Q4719353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$F23A898A-CAE4-4874-99C0-CC6871569161","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":"Q897928$395FF3D9-6F1B-48D4-99B0-D50F105D573A","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":"Q897928$27A551B7-949A-46D7-97F5-618E33EEC762","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":"Q897928$3B3EEDD9-897D-4243-9246-45ABFCF91820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865b75cced7ee435c9dfb2ebd9223962b3c16bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897928$85318E2B-9A06-49B5-A757-B7E7E409DE82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a44d413fda7232afdfc19d1fff55e9cb2f3a4be","datavalue":{"value":"10.1016/J.TCS.2015.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897928$C446C5B8-39D9-4E17-9653-2063A8C258D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4f08aed74baba680dae44fb6e9d14dabd755aa","datavalue":{"value":{"entity-type":"item","numeric-id":4992391,"id":"Q4992391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8bd54b4a33b42009d2983889a47b40e6becca0e","datavalue":{"value":{"amount":"+0.990235447883606","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":"Q897928$64C76707-52B8-4446-9915-E10C1C0814C0","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":"2f943ff3d17b5b3229af352ccd4924d3f73377ef","datavalue":{"value":{"amount":"+0.8378168344497681","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":"Q897928$4120BA7A-CC92-49F5-BDB2-23F62CC5B393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bc92fe9ec86073d7420e0578740e9dd61f5de2","datavalue":{"value":{"entity-type":"item","numeric-id":1623116,"id":"Q1623116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a00d8fa1ff655ca61f67169c2cb282b8a18d6fc","datavalue":{"value":{"amount":"+0.8299309015274048","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":"Q897928$A0C4F43B-576B-41F8-9B68-6BB42B8393AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a793ce1b179bb932cdefbf30ce0d98f6f9c3c9fa","datavalue":{"value":{"entity-type":"item","numeric-id":3637192,"id":"Q3637192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d297cf0384d1e420e50c8202f020bdcf3a413ea9","datavalue":{"value":{"amount":"+0.7937447428703308","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":"Q897928$1B89C1FC-EB2A-4242-9E14-03566146E51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990434b41fdca93f3852fee03bb7b413f380b45","datavalue":{"value":{"entity-type":"item","numeric-id":534707,"id":"Q534707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8068ad15f6028044523b3e9dfe5ff1803f7f9adf","datavalue":{"value":{"amount":"+0.7864745259284973","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":"Q897928$4EE7F6E6-2996-45C5-AAD9-BE645CB71251","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof nets and the call-by-value \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_nets_and_the_call-by-value_%5C(%5Clambda%5C)-calculus"}}}}}