{"entities":{"Q930871":{"pageid":932719,"ns":120,"title":"Item:Q930871","lastrevid":65459742,"modified":"2026-04-12T02:44:43Z","type":"item","id":"Q930871","labels":{"en":{"language":"en","value":"Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292221"}},"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":"Q930871$B1D5C51A-68A9-4B5A-B3AD-369208BD0AEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca8ec09df75fc83819168a13386c4a7ca11cee99","datavalue":{"value":{"text":"Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930871$8DBF5EA9-FCFE-4D05-BBE1-5E7B48F4B420","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a100939f3377ae842958c311afd581bc3e6b617a","datavalue":{"value":"1146.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930871$AA1FC5C9-F736-4119-9ED2-BDB835CAF5C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$A4642A61-7491-48D4-91D5-C2FD2493E0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$7F2CF098-4DE2-4256-80BC-59325204C925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$3945447F-2A3A-4DF0-8358-27539EBBF59D","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":"Q930871$EB5A10FB-8DA1-4099-A59A-3EF34427AE79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930871$83FA4073-3E43-4845-9273-AA8312E5D70D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930871$D2E2858B-0472-402E-9255-F1B574C4A297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930871$CF7F690F-8F5A-4AA8-AF20-53FB4AF2DE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930871$2234BE91-78DD-42D6-844A-DC9537BE90B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e34eab0da88911213f8afae0897894fc21b8262e","datavalue":{"value":"5292221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930871$958EFA1F-C08E-4882-96FB-4ECA0B3D46C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35bddff94bbdb10b06c77d042a767118eb954e1d","datavalue":{"value":"intersection-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q930871$9CF58917-0257-47D2-BAE5-D6FC8C5DF743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q930871$E4924702-A326-42C6-B292-0453988D0DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q930871$67C871BA-8943-4667-948D-CDC5FE618A99","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$03FC8EA6-B1AE-45E9-9007-ED4B5266F38D","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":"Q930871$3602A295-69D0-481A-9BCE-5CDC9D2A9A55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"172fa42a3690eb3a5487f05ddfb701c17ece0be3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.01.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q930871$6F168A03-EFD4-4EAC-8B2A-7AC5C5B4D50B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c65d036453f082dd9bace5ee2bb336a0ce0fffa","datavalue":{"value":"W1980174718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930871$5CF628DB-FB5D-4126-9E46-E57BFD66392C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$AE8D4FAB-86BF-4083-87DA-17B3D767AA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$04155A1B-56CE-4962-A08A-F365075BAA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$432E3210-CD94-4DE6-994C-E1394AD5C40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$EB423E36-7D24-46C4-B9D6-4A4C740731E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$264434A1-E347-4E34-BF78-77C31A2CD781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93cf3d86e411ec792ae5136592464754653b2b7b","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$396A694C-074C-48F1-A800-B85323C5E06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e1ee392898b643dbb52096021c1afac41d8393","datavalue":{"value":{"entity-type":"item","numeric-id":4473165,"id":"Q4473165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$7986A534-586D-46B3-A381-54FFD1C61A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1648bdcfaee094ba2a2bd47f6ddea0e5fb136a","datavalue":{"value":{"entity-type":"item","numeric-id":4916178,"id":"Q4916178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$40C92C0C-5356-4199-AF40-F305446794FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$E1B1DD23-A6C4-49D7-8C04-B3F7EC50B12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$A405A1B2-972D-466F-9BAF-B188F8EE9DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcf95bab4328dd6255ba989f357c1afdae5b7b2","datavalue":{"value":{"entity-type":"item","numeric-id":4650295,"id":"Q4650295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$A89C40EC-7854-441A-8E41-61521FE43DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89014fdaf1fabd43e47c8e235e2631fcd212f550","datavalue":{"value":{"entity-type":"item","numeric-id":1840460,"id":"Q1840460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$40CFD490-335A-486D-B00D-1BE25191FC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84b832ed7190208927e77de885748d75e5f7f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$6FAAE87E-3AA5-46E3-8CA8-A2FF3C4E3F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5688d40c9725b5bb9cdf1fc19ea473f7da06434d","datavalue":{"value":{"entity-type":"item","numeric-id":2851698,"id":"Q2851698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$AAA8306E-4AD4-4D90-B036-153199161423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6702cea0608dda49f9fd0c414c42b15c1d7b9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1381437,"id":"Q1381437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$4D5737E2-50AC-4181-9C36-39415246B890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352b0dc9b68c6b305648d508d24819cefbedc890","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$6829D15C-C1BD-4116-B5AD-330407E94263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c64a57b8ef57bab3420f0eb4cb0377db308673","datavalue":{"value":{"entity-type":"item","numeric-id":5387838,"id":"Q5387838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$3C72D8EF-4513-40DC-A2A0-D93E4FC8DBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ef9cd64a1b4e2d2871633f569d2d100bec2df4","datavalue":{"value":{"entity-type":"item","numeric-id":4417863,"id":"Q4417863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$A359F964-0C3D-427B-B7DE-F3241CEF70F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef20c41c1051207d3ed06e91d121ed54b215875","datavalue":{"value":{"entity-type":"item","numeric-id":3452267,"id":"Q3452267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$1A29BE8B-43CD-48D2-8C42-EB6369A12A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e650bcd8ac2cb860c8b65a185578a9fb209a5849","datavalue":{"value":{"entity-type":"item","numeric-id":787128,"id":"Q787128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$5A2C057F-B0E8-4465-8414-AF8597F5D9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be2512671605ebe72e3a700003c529ae354271d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$3FF9815F-63CF-4BC2-9135-C4C8EFA6E510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068704cf4615da30a2835e3abea74899686e26a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732171,"id":"Q2732171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$26341EE6-E4D7-42A3-BF54-C77AE91CDC34","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":"Q930871$6538F7E4-E067-4BE2-A446-441E3AFFBB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1a6f045f9ac8b011f54546b8ebd71da22116a0","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$FEB84D3D-7D12-4CEA-B06E-29B0106653FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$CD9AEEF9-3B14-4631-A927-E5B3B74B3EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01a3a60293b8dcee3f22c6ba500443234c547f6","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$E2C62116-445F-43E6-AC97-EA47400B609B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926336abba0524ccb1cb3e54cc99d238b8657591","datavalue":{"value":{"entity-type":"item","numeric-id":4163188,"id":"Q4163188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$83D3E182-BDE0-4DA2-A114-821B7C9CC58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$D5A846FA-3C51-4BE9-BA6C-F48504F06F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b919ba15b0c4eaa2317882009ec468013e4b5fc9","datavalue":{"value":{"entity-type":"item","numeric-id":4263882,"id":"Q4263882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$8612D4C1-25AE-4D66-A006-CBF05CD985DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59f0470868d890facd258dc61c1d63aa031f33c","datavalue":{"value":{"entity-type":"item","numeric-id":4286211,"id":"Q4286211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$00BFD9F2-CB5B-4C62-8738-C9BC952815D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$531E79BA-57FB-4EF2-A87B-3A1B9F1DABD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2225749455c4dd2dc8c5b8c2994a20623567f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703848,"id":"Q5703848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$D9D79C85-304E-456D-97CC-7C03A5B3E119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20042831b1f6c6ecd30f7c56ffcc730575175375","datavalue":{"value":{"entity-type":"item","numeric-id":4542147,"id":"Q4542147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$F5B98906-4C83-4EEE-B439-0E2B13549AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b829e11b7e086e434ca5f59894bd994b3f0b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738350,"id":"Q4738350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930871$7C6D9FB6-95FC-4935-9945-D8A4BD9D6083","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef8cbc588596bc5fd6087e6410340ba91e2382c5","datavalue":{"value":"10.1016/J.TCS.2008.01.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930871$F849C55A-7294-4B45-BF8D-4591E306A84A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311129986e338c879f28527b6a269f8381609c7","datavalue":{"value":{"entity-type":"item","numeric-id":5367073,"id":"Q5367073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21ae236f3ecb7f5ade0385ce25c53438a383805","datavalue":{"value":{"amount":"+0.8455857038497925","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":"Q930871$F521ABD3-EDBD-4AF9-BCDD-78A13BF11A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46532a14a7339e34a6f94d8b29e3795c7b193599","datavalue":{"value":{"amount":"+0.8413023948669434","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":"Q930871$D2564348-78DA-430E-BD40-0E5FEDA0B282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a59cc9f998e01330f563136f238af0aa7062f","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e9aab8f5b96947260a6e7d311f3cb4ce5a6825","datavalue":{"value":{"amount":"+0.8397842645645142","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":"Q930871$E450FE5B-A5AD-4F2B-B250-C3B1AB7699A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8233962fd49c5bd66fdd2bf3acc23a8f3975c30","datavalue":{"value":{"entity-type":"item","numeric-id":4993849,"id":"Q4993849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9459aa94c015f323d5ac1f0987d96fdcbe29b806","datavalue":{"value":{"amount":"+0.8390927910804749","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":"Q930871$696DA71B-2CC5-494E-BB94-398A3CF0E4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0285b1c03c9b3972ae14ca8db863da41233c811a","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221c33810c100edc4c1acffe4a0ce59f3e759bb4","datavalue":{"value":{"amount":"+0.8388381004333496","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":"Q930871$659BBF0D-89F9-4C78-B377-AA3B63ED0C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_strong_normalization_in_the_Curien-Herbelin_symmetric_lambda_calculus:_extending_the_Coppo-Dezani_heritage"}}}}}