{"entities":{"Q6635503":{"pageid":14246655,"ns":120,"title":"Item:Q6635503","lastrevid":56084889,"modified":"2026-03-12T13:40:58Z","type":"item","id":"Q6635503","labels":{"en":{"language":"en","value":"Simply typed convertibility is \\textsc{Tower}-complete even for safe lambda-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7941265"}},"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":"Q6635503$01F5AB1D-1E04-4546-A6C9-4ED35EF117CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ad4c0a58b1608c1ae2f197ba3d37467c53a0334","datavalue":{"value":{"text":"Simply typed convertibility is \\textsc{Tower}-complete even for safe lambda-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6635503$0402685E-611F-43A9-A000-7418F0A0A318","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"379d09015c10f0a5b996eff94ab07f1265e36cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4993355,"id":"Q4993355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$455B9A95-CDD6-47D2-BADD-F073F58D6A10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$10AC944C-52DB-45C2-B79B-ECA5E705D4A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6635503$1EF6E460-792E-499B-8433-AE4A5665540C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635503$A4E1CD35-5959-4EC2-BF33-8B144E8D3DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635503$441D2F27-309D-4BE0-A749-13B15891DF49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2041b2789158aac2e5057a8ef96ec5384738f2b","datavalue":{"value":"7941265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635503$331E9E0C-5AF7-4543-9440-376F7BFFA67C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89f2f833b3ab8d994fc4522eb974d4dccf12ad0d","datavalue":{"value":"non-elementary complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635503$52306413-0C18-4AAE-A734-4880CE15540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f0686b604a0ff08a674408984be7dd8bc3a8210","datavalue":{"value":"safe \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635503$F2A7EAE1-A22B-49A8-B2CA-90CD5394F233","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":"Q6635503$1B667C24-5B38-4487-A7EF-7837910EE083","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"537a220b197280db3460dd6e3d1ea8f0a078e621","datavalue":{"value":{"entity-type":"item","numeric-id":4625705,"id":"Q4625705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$FFF7C1AB-80B2-4EBC-A5F2-D78443EDED83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9ba77ba996281fe5afb7c519b2a039ab0230b6","datavalue":{"value":{"entity-type":"item","numeric-id":5271066,"id":"Q5271066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$E39B156C-641F-491D-9C33-1AB1BC723587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$FF473A4E-6A2E-4AA0-9397-025266CA2EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$3CD71FD7-DD96-4BD8-A328-50B213813432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$C7DBA698-BB17-4D47-BEED-C6E83A72B246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398bdb41311ca1c0b088df074fe93694f499ab24","datavalue":{"value":{"entity-type":"item","numeric-id":5901537,"id":"Q5901537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$04386EFB-F16F-4EA8-9BB7-D9F4D36065A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c11978bf2c6f0525f873d1f33f9607e9fd4574a","datavalue":{"value":{"entity-type":"item","numeric-id":6622048,"id":"Q6622048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$29600297-D860-441C-8E1D-7570F4292B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb9d1ebd546c56bcec60d4ff330790cec8f03c2","datavalue":{"value":{"entity-type":"item","numeric-id":6584029,"id":"Q6584029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$E62DE4F4-FFA8-421D-B8AE-EF65AF1C7AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df474932ff236bde42e6271df7390e03690d7fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3182938,"id":"Q3182938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$C6CB1DED-271D-4C4D-B6CC-6CD62BEEBD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c936fe87c1afb4d2161219c0d984e0a2495fd1ec","datavalue":{"value":{"entity-type":"item","numeric-id":2909093,"id":"Q2909093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$F3BD1F69-F965-4AA8-A402-A01D810CD13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccfff9ccc546e60207087666568ffe80878d4580","datavalue":{"value":{"entity-type":"item","numeric-id":1923099,"id":"Q1923099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$56A9D44F-1555-4789-A46C-E5A4FD2BD234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84b7dde39c5e707e29809fbd34028722da531ce","datavalue":{"value":{"entity-type":"item","numeric-id":1652964,"id":"Q1652964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$59A03DF4-51F6-441D-B6D4-25AD95E92183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$C2DB8D94-6F45-45BB-9D88-59D72AAC4F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21e4553a477c17aa7c25cd378cc8e6b396ad161","datavalue":{"value":{"entity-type":"item","numeric-id":334149,"id":"Q334149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$A1C29D5E-59B5-4204-95D2-F6C73429A61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dd304c0299403d2bebe74ec297d73e4c0d658d","datavalue":{"value":{"entity-type":"item","numeric-id":1199546,"id":"Q1199546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$8ACE23FE-7561-44B7-BF2D-DB80BD5E9662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d69e2311c34607d36c964a6bf0442ddde06789a","datavalue":{"value":{"entity-type":"item","numeric-id":4635798,"id":"Q4635798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$B426CDF5-16CF-47E3-B688-83640EA6A51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$EA40EEA0-18E5-4A30-9215-1FFD34694990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6c0c1e6188d01f5997c7a9f691cd701a434b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4993359,"id":"Q4993359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$C96E2207-4B22-43D3-9627-E0AB538DDA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e4d1aab23edc846fb3dbac3e3dbe2ebf816800","datavalue":{"value":{"entity-type":"item","numeric-id":4683189,"id":"Q4683189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$9471259E-3193-4580-BF35-25309680DC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e085c4847c227118c61fb798400661bb25f4681f","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$0A453823-B3E8-40EB-94F6-6CA93DD0FCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$2F253C7E-94AF-47B9-AFB0-9CFBF75AE144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e305086dbb5d7eb2e70b336cf8b6d4f42f1e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5370875,"id":"Q5370875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$E9B983C2-5393-4BF6-82CA-0562B62A8E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$25E9E44B-D501-4EEC-A4CE-7BF1CDE7F0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8899f398543bd23bc0a70006c8cddf8efeba9fb","datavalue":{"value":{"entity-type":"item","numeric-id":2973243,"id":"Q2973243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$0ABCEEC5-9B91-4B94-87A3-4960525F8B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$27994FEE-8907-4B49-A674-04A8FAEEA3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b648f8228198461e8f53391f1f3021378e1f2262","datavalue":{"value":{"entity-type":"item","numeric-id":5111914,"id":"Q5111914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$C575CDE8-A93C-4AE8-8468-00995C359713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b5d59f3624f21c2d43731419df26dd8d547233","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$C42189D1-974E-4B08-8590-AC83CBEFDED1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc88a293c35e1f1ae91a9078501763a7ff975c80","datavalue":{"value":"10.46298/LMCS-20(3:21)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635503$66F64E7C-33BF-4CFD-84BD-BF44F43B72EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db41a706e9c677204e614a55da6ca2a768e7e18","datavalue":{"value":{"entity-type":"item","numeric-id":5901537,"id":"Q5901537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0e68f17b4e4c548cd7ecb4bdcf1d5863b58dff","datavalue":{"value":{"amount":"+0.7569102048873901","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":"Q6635503$28EBE5C0-F38D-45C9-90FA-C1363580A99E","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":"18cf29bb75f369cf96ddceb9355174d8c326a010","datavalue":{"value":{"amount":"+0.7476069331169128","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":"Q6635503$92DC0E75-13D0-4CBB-802B-7C52AC191CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d809c196c39f2e163ea8fcf30b346cc6e52b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4855295,"id":"Q4855295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089befdd9e6e0de07257e2c1bb57229135b07c28","datavalue":{"value":{"amount":"+0.7370862364768982","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":"Q6635503$CB6FD7C6-88D5-4FA8-8ACB-BDCF5F799F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb04cffa79c10b94b46f43c3aaf14e7c6a69a84","datavalue":{"value":{"entity-type":"item","numeric-id":3024853,"id":"Q3024853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9dd8f61fab8225dcac71a78685e2d879575452","datavalue":{"value":{"amount":"+0.7360353469848633","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":"Q6635503$423DADBE-1E1A-49EC-9643-F48CDC30FEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab10f7b68645b8268d1dd457fb8356626471a8d5","datavalue":{"value":{"entity-type":"item","numeric-id":4795875,"id":"Q4795875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca7101e6cb0f15752f7f1c945c5e64b09606abe","datavalue":{"value":{"amount":"+0.7255120873451233","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":"Q6635503$683C8872-840B-43A5-B8A7-A60DD492F360","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635503$9ED91626-291F-49ED-902A-7FC99D3388D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6635503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6635503"}}}}}