{"entities":{"Q655411":{"pageid":657260,"ns":120,"title":"Item:Q655411","lastrevid":63363681,"modified":"2026-04-11T12:22:03Z","type":"item","id":"Q655411","labels":{"en":{"language":"en","value":"Type checking and typability in domain-free lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5994294"}},"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":"Q655411$1FC6D1F7-4B79-46B2-8A35-7B70BD8225C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e4bbc4739898b62132d571fe3f9fa6adc1849e7","datavalue":{"value":{"text":"Type checking and typability in domain-free lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q655411$A5875208-BA5B-4462-9578-BF70D3B208F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c04e3b7ec2b54c80a51802065990243bc6a7b141","datavalue":{"value":"1241.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655411$9E8D55A1-E7F0-4F80-838D-3F970A85167F","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":"Q655411$9792CFCC-7880-4F94-959C-E196123FCADD","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":"Q655411$8AD02A7D-A59C-4F0D-8A2C-649B940994C3","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":"Q655411$8CD2E6AD-8EF8-450B-BE8A-EBF0B96DFD7B","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":"Q655411$4C491884-6587-4A6F-92D0-0DF2DD708132","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":"Q655411$986A6558-A2F8-409A-A206-F40E05AF2246","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd27d2961557708e7c2573aeb1bdd7381f0f8830","datavalue":{"value":{"time":"+2012-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q655411$C096D1F9-DCE1-4134-97F3-D6D20F6FA692","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655411$825CF816-4807-4307-B2C6-6B7C9F36781D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ae07f62b26ef3bf629e2e61b17fdfda16347db5","datavalue":{"value":"5994294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655411$A0A08286-722F-43F1-8EBC-E60DD7609A8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190c936f4bc71182a572b06a8d49aac384808549","datavalue":{"value":"existential type","type":"string"},"datatype":"string"},"type":"statement","id":"Q655411$8AA54511-22BE-4C92-A203-74657836F804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q655411$918301AA-EF75-4428-998D-AFC9DF5DCA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q655411$B1943D10-3124-466A-8E01-817DA6112683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q655411$BD929181-94D8-42E5-8974-5C64DFD7659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2852d6b61c908d0ade7cea515d4eddebafb4a0d","datavalue":{"value":"CPS translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q655411$7651A62F-67B1-4D4A-B4BE-778E66A18B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65585613f104b6550dac87d6db7756a9f0d410ec","datavalue":{"value":"domain-free type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q655411$A939A918-7E14-4F36-92A8-EF9B8FAB4B32","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":"Q655411$971245C9-C027-408C-A837-CB72D885257E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d44208b8f381b7ac989649c3f524c599f1c291c5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.06.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q655411$50D25B06-B80D-4427-812E-EC25B1DC343F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d14e4267d5ff156488903ff309700e684ff63d53","datavalue":{"value":"W2150562546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655411$F892399E-43F3-4DB3-A0F2-2EBD5F02AE4F","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":"Q655411$69774FE0-E43C-4154-AE09-367096563EA5","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":"Q655411$79D02C80-A1E7-4EEA-8BC5-30187AB5CE7E","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":"Q655411$64738DD7-5861-4C3B-8517-1BA5007FA9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a32c7af6cf72d9672a4ac24b0520c7f871f3d","datavalue":{"value":{"entity-type":"item","numeric-id":4536445,"id":"Q4536445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655411$AD7718A6-590C-4461-AA95-061DFE279CDE","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":"Q655411$A77FB4D5-B6CB-4469-AFD3-4206C2DAFFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46a04e996c6df68383cf21cf28b6b33c55e278d","datavalue":{"value":{"entity-type":"item","numeric-id":3637189,"id":"Q3637189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655411$6D162CEF-94F9-4B5F-907E-89F2698BEED9","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":"Q655411$0769F317-A663-4E37-8B1B-33AB3FD53686","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":"Q655411$8B1E5151-8DB9-4D9C-B963-6C205ABACF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12fe15b5512bcfef952a27d5040d116dcd6d788","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655411$30EC7FDA-D233-4611-9B35-8088CBDADEF8","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":"Q655411$9D3DF13D-BA61-4E33-8DC4-BC87E92556BB","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":"Q655411$72BF998D-2D6F-4CCA-BDE3-038BBFF7C12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655411$3F7EA0E5-7AA7-41D4-89B6-6E8D2DB1E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff84f3d3f37330062bf0e6cf37053817fea75636","datavalue":{"value":{"entity-type":"item","numeric-id":609763,"id":"Q609763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655411$66BD53FA-B25F-4BB1-B55C-BFD70BC4B8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ccafd37944b11b304db267e5048444b83d025","datavalue":{"value":{"entity-type":"item","numeric-id":636375,"id":"Q636375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655411$292C49D4-B581-4A85-A1E5-DC6F2116BD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655411$78F4E5A7-4701-41D2-8D20-8BF3BE4C7F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655411$06D35920-EAA1-4877-B9CD-FD6DBB1CCEFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17bbd3d01b1ea8893127d6f07956723e628481fe","datavalue":{"value":"10.1016/J.TCS.2011.06.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655411$39F25A58-3758-4CCE-9C6C-1DD89DEB04BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9440e44c0bc991151a1ad77ef1bfcfc962a16bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3540198,"id":"Q3540198"},"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":"Q655411$02B38071-CC41-451B-9421-B1DBA476474F","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":"1e6cdbcf5967f07417b4f49af7ebc54bfb2283cb","datavalue":{"value":{"amount":"+0.8331562876701355","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":"Q655411$77600294-AC89-4939-B1EE-F96BDE99F96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6cdbcf5967f07417b4f49af7ebc54bfb2283cb","datavalue":{"value":{"amount":"+0.8331562876701355","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":"Q655411$A92DCA38-1C75-4794-BB4D-B0CF257909A6","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":"e66b3d5f3a8ef9f79ca2e206639773ff8705f3b8","datavalue":{"value":{"amount":"+0.8194586634635925","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":"Q655411$0FF7FF26-4032-43F4-B959-DBF642AD3FCE","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":"514028cacab91f144635d8a53ce36e1f2bf2b810","datavalue":{"value":{"amount":"+0.7972890138626099","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":"Q655411$556CB2A9-A764-4323-AD8B-E751F83AED00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type checking and typability in domain-free lambda calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_checking_and_typability_in_domain-free_lambda_calculi"}}}}}