{"entities":{"Q1853595":{"pageid":1864337,"ns":120,"title":"Item:Q1853595","lastrevid":74352726,"modified":"2026-04-14T19:41:34Z","type":"item","id":"Q1853595","labels":{"en":{"language":"en","value":"Confluency and strong normalizability of call-by-value \\(\\lambda \\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857119"}},"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":"Q1853595$E79404E6-C8EA-474C-8C22-08BAEC1934F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a1a197485d9aefad9b8fc41dac59b1067661597","datavalue":{"value":{"text":"Confluency and strong normalizability of call-by-value \\(\\lambda \\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853595$42A2741F-BEBA-460F-96BF-1953157047C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1800ef3a0bc9f33855a3f2e3323d562ce79dd1fb","datavalue":{"value":"1018.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853595$6BF60318-B039-49E1-984C-C92D8863DEF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09646b184e611b742439efa84abcbd1bb90fdc63","datavalue":{"value":"10.1016/S0304-3975(01)00380-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853595$10627141-E134-458B-953C-05410FB9B06E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$3358ADA2-8C7C-4D3C-AD00-CC28D12F8630","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":"Q1853595$0F46884B-7A81-4E36-BC11-806531283D78","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":"Q1853595$DBBCC708-996A-42EB-B493-0D9E1AF15FF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853595$EA7C000B-75DC-45C8-BA10-E76B776A3A4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59aed0b9e461db17634b854981ca6ea951cc0a40","datavalue":{"value":"1857119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853595$AF3D8B28-096F-4F57-A8E7-F9BA60BF29CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9025d8bdc4deaabbda95bce9cfa604da9cee013e","datavalue":{"value":"call-by-value -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853595$D040F533-63D5-4DF5-9A4D-117DCF91F39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65585613f104b6550dac87d6db7756a9f0d410ec","datavalue":{"value":"domain-free type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853595$49176877-5C7B-45D2-9AC3-A0295DBA02C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd4c6640c3889138d51036070e3414f7f2b827e","datavalue":{"value":"confluency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853595$5361DD6D-981E-4011-93DC-9E55B8DB6A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226a26eede641240926e849457ec19b837c78bc5","datavalue":{"value":"strong normalizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853595$3B69E7E1-96A0-4F4E-A87A-E6642BCB9D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7547b0f63b18775f2a3e5101db1500e9847e1299","datavalue":{"value":"CPS-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853595$2AE90015-1F6C-473C-B8D3-440A445AACD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$77CB2F0F-C532-4137-B399-4790EDED64FE","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":"Q1853595$5C905105-CF38-46D6-BBCB-3EEBD26F4E3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14d7967fb21e1684a2efd177087149a79f15644","datavalue":{"value":{"entity-type":"item","numeric-id":2703743,"id":"Q2703743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$A5CDE193-1BC6-4AC2-A8CA-33C6CDEA069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bbc5e5cf625f0e0c3beb1d0ba5fa007c6b864c","datavalue":{"value":{"entity-type":"item","numeric-id":1902976,"id":"Q1902976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$34678159-9BD9-4099-9DC6-6CA44936A715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$BCF4F288-354C-4EA7-B864-E24BE834DF90","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":"Q1853595$73D3A8AC-5A6B-47BF-90AE-0E9164ED4239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974d1f198a8d979a72c541959c750e0d0512ea5e","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$AFAF4CB8-1AC2-4BF7-A8FF-7EAF4996F9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dc71408bfc822fcfb26590a9ac4a240325ab9b","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$5C962562-1D41-45B4-BD8F-F0662CBAC381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$7708CDE9-EE1A-4106-A597-505733360002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"281ad9aade93ed507b79d25fcfbecfff136dab3f","datavalue":{"value":{"entity-type":"item","numeric-id":4263869,"id":"Q4263869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$C3FC685F-06D3-4257-9EA6-E76FA68D1C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89ddbcbedbc2944384a44feb02b02519cd3b018","datavalue":{"value":{"entity-type":"item","numeric-id":2729625,"id":"Q2729625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$1DF426EC-6E8F-452C-AAA9-DCCD9CBDB5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$C7879502-6014-4E8A-A58B-86CEAAA9D1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$AB193025-BCE5-4121-82F3-42D260F780BF","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":"Q1853595$A76ACE61-CBC0-4325-8189-59A1F854A11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853595$FBC81FF9-155A-4E2B-A808-F6A7C25816FA","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":"Q1853595$4519792B-FC9C-42A7-8FF8-351F6D587578","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9007a95a5ec5f74b86dac93b17e660bb7d7e5f72","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00380-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853595$54B3717B-ADDE-4C86-8911-1E693A9328BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"321eeec01d43c80993b4c5590d8aaf990d643010","datavalue":{"value":"W1968553947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853595$E874ABFE-ADD5-49AF-B22F-A0F97BF1DE26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0854ef5e3b5e5faf28543a0e24eb306047e6caac","datavalue":{"value":{"entity-type":"item","numeric-id":3576003,"id":"Q3576003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8eaf52e15e6a9de05f5ecabf5ea5a746fe21b5","datavalue":{"value":{"amount":"+0.8712120652198792","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":"Q1853595$D95E58C2-4763-4ACE-8DD9-E82A586C0A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a236d589ae41e4eee9a29acfc96025fe797f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2703743,"id":"Q2703743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56ce6932b0708d82693273418ec5474be70c10b","datavalue":{"value":{"amount":"+0.809798538684845","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":"Q1853595$AF7A1C9E-6467-4BE9-A1C2-3763F4AFB0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541981255c88103372c1dc30533f0e50fc01091e","datavalue":{"value":{"entity-type":"item","numeric-id":5856422,"id":"Q5856422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4721e5a62efee66d4d04390052b528ef9d59af11","datavalue":{"value":{"amount":"+0.7951425909996033","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":"Q1853595$3D8A52CB-99C1-4536-9A67-5183181BD55D","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":"20e1c9ce49c7a31d5d49276ecd8300b832210655","datavalue":{"value":{"amount":"+0.7929947376251221","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":"Q1853595$3C753ABE-BE78-4DEB-8366-223D4103FE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41218928b8e812851ddfaaa5e2bdc5d7db555a0","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f990ecb3f28a4e45e91f641f128b033d69859d3","datavalue":{"value":{"amount":"+0.7913191914558411","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":"Q1853595$DDB5CD9A-FB0B-488A-9D58-70109FD6BC88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluency and strong normalizability of call-by-value \\(\\lambda \\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confluency_and_strong_normalizability_of_call-by-value_%5C(%5Clambda_%5Cmu%5C)-calculus"}}}}}