{"entities":{"Q5958296":{"pageid":8135098,"ns":120,"title":"Item:Q5958296","lastrevid":97724987,"modified":"2026-06-05T15:18:05Z","type":"item","id":"Q5958296","labels":{"en":{"language":"en","value":"Completeness of intersection and union type assignment systems for call-by-value \\(\\lambda\\)-models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715297"}},"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":"Q5958296$3275FB88-3604-4084-B760-47C14D65FAE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6449db1905cb359599e740e1e4af925b4563991","datavalue":{"value":{"text":"Completeness of intersection and union type assignment systems for call-by-value \\(\\lambda\\)-models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958296$7E00FD38-846E-4C67-9AF2-DDFE87BFE4A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88005df0e86851955170c89c0e22a1e6c08a48fa","datavalue":{"value":"0984.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958296$B8B3295B-AAD6-4D2B-B96E-DA1CA4E6A34C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24a919ec01ef5736345c74c332343bba593e3a84","datavalue":{"value":"10.1016/S0304-3975(00)00351-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958296$6AEFD30E-34F0-4F3B-8FE2-7A4108F54CF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$A12ADC98-3FE6-43BF-93BC-DD9E0DDACF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc5d6dfc5bc4d625b1f2730e8c0a7a90680b486","datavalue":{"value":{"entity-type":"item","numeric-id":235612,"id":"Q235612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$FEE0DE6D-21F8-4517-96E6-F0444C12A64C","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":"Q5958296$D4AE95F1-8A9D-4D48-8719-0C1743E976E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958296$B3894617-8A4C-4E53-94F9-EA724BF02EAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958296$976ABBC2-B6DA-4647-81F1-A3CC3672980A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44aa5a7f9870acdf88ae7be4732efcd7437dff0b","datavalue":{"value":"1715297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958296$69A5C08D-E82D-4194-BBCE-9C714197BC2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615e4541e3d2332923ae5aa3431a1aa028caae4f","datavalue":{"value":"call-by-value-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958296$14F3B1F0-4FA4-453E-A0CD-EC273E53401F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb1f1f999f7e71549f697c27fc79cba0cf0805a","datavalue":{"value":"filter-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958296$BD3AC2D8-BBDE-4A3F-9DC8-BAE7B74FDC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958296$35002C02-8017-4DA3-832E-B64D9722D927","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":"Q5958296$7CF53E1A-CC78-45A1-A3AA-557F5AD14EEF","rank":"normal"}],"P223":[{"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":"Q5958296$00B58ECF-FAA0-41C2-8751-F144CDA14561","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":"Q5958296$E3AAD7F3-A5D0-49EE-B23C-81ABDA9A2F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$498B680D-C70F-4DF8-8B68-DDFEBD914B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$4B9A31D5-6BFB-45C9-B7E3-FD5C80211302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1800e8bf2200f74fee53569f33dd921cbc5e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4699351,"id":"Q4699351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$2F984936-F45D-426D-A006-BC515918B219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6ea593319c3a92c989573a001f928c1d6ba2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018065,"id":"Q4018065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$34B867F5-D5DD-4FAF-9342-4A82FF310777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfba4ac132116d209506069ad2d1e3b24c873805","datavalue":{"value":{"entity-type":"item","numeric-id":1322477,"id":"Q1322477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$6EE1425B-781E-48BD-9A91-2A8B21EACD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1650ec8986b79af49285234bcb3522e3340bd0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3659755,"id":"Q3659755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$799AA501-A206-401B-931F-C907ACD84FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$E08A1D79-15C0-480E-BB76-5E7D8B8E1C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$0D4C4B7F-EB41-4969-B56B-9AEA3241E5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$A1FCE3BC-D135-4678-A30D-37173DF8F8FA","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":"Q5958296$F8587FDA-7FEE-48D7-8FD7-563DFC0B6CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$230904A0-A774-41D4-A765-88DA292DF8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b225773fe3bae5d0d1a4a5da3e29136b70567e8","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$88589B2E-9725-41ED-A439-2AC85C42671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$3C76FD6C-8A96-4734-B142-AB2FEA7D0930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$D4EDDA6E-7A3C-4267-8984-EC17781EFE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$ED131D4B-767D-4F5E-92CA-59A40D5FD958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0acde52144c4033ae04be7909cf97ad30cdd9b6","datavalue":{"value":{"entity-type":"item","numeric-id":1914154,"id":"Q1914154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$441AEA24-5B04-4098-A5B9-07B3B20C8EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e226dff61f319a8019819eac0545f1a56a11af","datavalue":{"value":{"entity-type":"item","numeric-id":4699352,"id":"Q4699352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958296$13F352F7-99E4-4F1E-AB02-F111CA91DE15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a4630bcb45689e60570ff9bb7139f3d99679c","datavalue":{"value":{"entity-type":"item","numeric-id":5958301,"id":"Q5958301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e573c31f1906ef1beba9362ed2644d8dff6744","datavalue":{"value":{"amount":"+0.928971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$592CFF16-AB66-4A45-8F8F-DF589B16E051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfdd3859ab3f18d560c2ed51380f876991a6d6","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96758b58f3eeae573c026c312ab917c3653f0472","datavalue":{"value":{"amount":"+0.9037119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$D7553A9B-6534-4636-800A-16DCF5C33107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66118c8bd507f5c048a8e4141ac25ef6374d2824","datavalue":{"value":{"entity-type":"item","numeric-id":636376,"id":"Q636376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e948c6ac976e8b29e4c7dc5748bd026acc8b308","datavalue":{"value":{"amount":"+0.90158784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$FFE9548D-902A-4C9C-93A2-884A31E87AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa9c0b85a7a042442c5e93b6c02fa881bc3b374","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd9823931d34bf2e9531787209f28714fb746b1","datavalue":{"value":{"amount":"+0.8956586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$9FB69CBB-BD67-440A-89FA-CF4EE208B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36cf8959e4e3b25411d87c3c93bdef79c639cf19","datavalue":{"value":{"entity-type":"item","numeric-id":809993,"id":"Q809993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862cb293cc5b30d30b5bb75ddc61f8308351a241","datavalue":{"value":{"amount":"+0.8929754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$37EEE11F-62F4-4533-A958-22D69C2486E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7514b1fc02ec409a99fc9c64890cb3f4ea9157e1","datavalue":{"value":{"entity-type":"item","numeric-id":882122,"id":"Q882122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4988ff063b1b33295d5b1c657a041b6f3d716277","datavalue":{"value":{"amount":"+0.88401765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$D402C2F1-9870-4844-90BF-BEB50A808850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975a1e465d9cf947edf3cb473af5303a9b11bb64","datavalue":{"value":{"entity-type":"item","numeric-id":4903713,"id":"Q4903713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3ca01fd42fb86bd0980bc0fa4c4ba1fba3e4ae","datavalue":{"value":{"amount":"+0.8816577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$DE2C069F-5F86-4324-9CB2-C8423D0B29B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6b93420c7e2994d0369ec226b714f70e548b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4417863,"id":"Q4417863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c6d593e9d8fd51498b4f99a18c91ecd095e066","datavalue":{"value":{"amount":"+0.88051057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$00A5C560-7857-470B-8E67-79733C2A2C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e533cb1d8331d72c7a35cc5f31db506d5a24e4ee","datavalue":{"value":{"entity-type":"item","numeric-id":5111914,"id":"Q5111914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6ae025427ae9ac0580c84a86480e5b86cb2463","datavalue":{"value":{"amount":"+0.8773626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$E7F7C7E6-B238-485C-B62F-8147060F3C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee482c69d1c03ccdad4af08b4279047c87ce18a","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbce10c807062742dbfe264d02bbe9fc7120f247","datavalue":{"value":{"amount":"+0.87684566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958296$C5B15C8A-DB91-4E29-8329-8C911C784A2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of intersection and union type assignment systems for call-by-value \\(\\lambda\\)-models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_intersection_and_union_type_assignment_systems_for_call-by-value_%5C(%5Clambda%5C)-models"}}}}}