{"entities":{"Q3540198":{"pageid":5570102,"ns":120,"title":"Item:Q3540198","lastrevid":50499236,"modified":"2026-01-14T05:22:28Z","type":"item","id":"Q3540198","labels":{"en":{"language":"en","value":"Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369515"}},"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":"Q3540198$CDB33170-180B-41C1-B483-F08E786C9054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff26b3700e045402c6d850cf0b2c2f823c9c6f3","datavalue":{"value":{"text":"Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540198$50D0029C-A973-4231-837A-10337F94C641","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebaa8962bde6b3f5f4689f2c91fb27950d81b5e4","datavalue":{"value":"1156.03316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540198$7EC1356B-A00F-46E5-A5D4-57C24B0D761F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68941c27c226bd7019c1d037bc32e55b1075978c","datavalue":{"value":"10.1007/978-3-540-87531-4_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540198$9D49DE54-C15A-44B5-A929-20E3A53080CE","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":"Q3540198$E4B12246-E698-40D1-B59B-4715784F3E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$0EE742F9-670F-4F66-B33E-7ADC2B7FCFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c79719327e302b2e8896050f22e092a513d420ee","datavalue":{"value":{"entity-type":"item","numeric-id":235614,"id":"Q235614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$E6C317D6-0660-4CD5-8C71-38666E86EFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75853f7e08c5ec0a931788ccdc88ee6b9693460","datavalue":{"value":{"entity-type":"item","numeric-id":230794,"id":"Q230794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$E1672A99-5000-433E-A29C-661651601BD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$68C16105-1F66-44A7-8BB6-0BB5B9744E68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540198$8A1A1C94-78E3-4A60-9621-943849668B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540198$FDEE6D9D-90D3-4AFE-A360-0E6B6B17ED71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540198$DF01BEA9-0718-4CD3-9BC4-78B710605C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540198$D9182F48-7424-44F9-8300-D0E4530EC415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540198$E527E3BA-9416-4C40-B774-7E25CC579B3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53f3f34b9c22f792ce3abcd5c40c65d51e88d296","datavalue":{"value":"5369515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540198$487CC46E-E846-4C8C-BB3A-CCA5D24F1667","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540198$8DAB8C6E-7BED-4EAE-B712-2BF3291F6EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190c936f4bc71182a572b06a8d49aac384808549","datavalue":{"value":"existential type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540198$DE771C89-93B9-4D4A-AFD5-2F924A6D61EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7547b0f63b18775f2a3e5101db1500e9847e1299","datavalue":{"value":"CPS-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540198$5389601C-C51C-4D44-9334-BE2BB7094284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65585613f104b6550dac87d6db7756a9f0d410ec","datavalue":{"value":"domain-free type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540198$CB02C462-75A2-450B-800D-A09B84A79118","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":"Q3540198$A4E0E0A6-EE40-4352-A2FF-26285E571D65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30a25bedd6d143a249e6386a853cca96889f57e1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540198$754396C7-5A7D-41A9-A60F-67C98D4DBD68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98953700855b037c8797c9ee9ba3f19519333e9d","datavalue":{"value":"W1592799753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540198$7E10F50D-BA6A-404D-BBA8-66356FAB9B08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbed5b14a086787bebc35634de251ea7dadb5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4762953,"id":"Q4762953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$6543F07A-CB83-4EE2-9E3B-0D6C22693369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$1F60712E-78A2-44D7-BD00-4FB3018F5ECD","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":"Q3540198$CC3326E8-87D0-4E47-BBE4-269AA785CF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52237542f76dae60353f25dab21f407ab4b0b2d2","datavalue":{"value":{"entity-type":"item","numeric-id":5704009,"id":"Q5704009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$07AABFB6-A649-4592-B79A-BFBF1A1222CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30eece9bbafcf9bacb5ed064949ad5d50378e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5310662,"id":"Q5310662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$2EB2D72E-CE81-40C0-A864-FA59137581A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$E5A3C1E0-4F06-460B-A96F-F75DF4299F30","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":"Q3540198$E5F79976-2BE8-436F-BE50-A18C25D28792","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":"Q3540198$B756FBCE-7945-4687-A94E-173D34B6DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35a78f28e85aecd50d587d9a798703b66a30ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3612644,"id":"Q3612644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$0D67D541-E4FD-4BD9-B93F-940065F63A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67e2e2d02ae6d35f2a2689bef6339892adf0815","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540198$1366C8FC-D915-4024-9E02-6DB448E5ABEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e459fcce0891d3f978d9a97ead5e1d9d881edd5d","datavalue":{"value":{"entity-type":"item","numeric-id":655411,"id":"Q655411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a72c774b3ca3c19efea2844fd6773fed7665bd0","datavalue":{"value":{"amount":"+0.9424322843551636","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":"Q3540198$B21F5148-F8AF-4C40-AF55-6948FD8E3CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df92bad6a76ecc608f50672347c39bb3eaad921","datavalue":{"value":{"entity-type":"item","numeric-id":3557097,"id":"Q3557097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980683991049f12d228cab700558ebb0e5409d66","datavalue":{"value":{"amount":"+0.862659752368927","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":"Q3540198$5F748A39-CE50-45ED-8B6A-B463E20908B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4f90f05733de76327741fe2bb8f9e36f8b05a9","datavalue":{"value":{"entity-type":"item","numeric-id":5414586,"id":"Q5414586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d584251d201367e7acfb0d13b553ab57b7ad2d3","datavalue":{"value":{"amount":"+0.8278213143348694","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":"Q3540198$79FF5FCA-BA44-4A15-ABE2-76B388796423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc5fc02249d7fe072d2dfa32926af06efc19c9","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d0523b294146bf8f673091078fd3eb26ab7268","datavalue":{"value":{"amount":"+0.8156744241714478","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":"Q3540198$3FF06FF0-3DC6-4495-B19F-295394C417E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d2df76a741cf581e954cfda428b2466142500","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d0523b294146bf8f673091078fd3eb26ab7268","datavalue":{"value":{"amount":"+0.8156744241714478","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":"Q3540198$571CAAAC-2B53-4E65-8ED2-BF068CD2132E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540198"}}}}}