{"entities":{"Q1352493":{"pageid":1363232,"ns":120,"title":"Item:Q1352493","lastrevid":67210500,"modified":"2026-04-12T16:05:02Z","type":"item","id":"Q1352493","labels":{"en":{"language":"en","value":"Consistency and axiomatization of a natural extensional combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 978354"}},"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":"Q1352493$E7A32C2F-8693-4981-B35B-F4304B5974A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aa4e444458b8a2632eff1e11c71d24d62792049","datavalue":{"value":{"text":"Consistency and axiomatization of a natural extensional combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1352493$B17C51F1-C87C-478E-B25E-4EA9F10B27E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c3f78e93ac0589152f4a1643f3f8fc126961016","datavalue":{"value":"0862.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352493$CC8A9E21-3085-4C18-9527-F4763E4E253C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76678952bdf37c42afd0df93bcec3a353fdbca77","datavalue":{"value":"10.1007/BF02879998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352493$1C38338F-F3B7-4DF7-8DC1-D57A37C3CAEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c9994e22132749d99397bc99150caa21bed2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":457561,"id":"Q457561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$3B1FECC6-0D72-4056-81D5-BA2EB25B9BA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$15C9BD3F-A2A0-4C60-AC54-1587AE6C029B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1352493$3CA10155-7AB5-45E9-A27A-23F3FBDD6D6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352493$960D4440-ECDC-4039-A0BD-DA4D56D12E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f29965ad2e6953c34ea0685b39298a45a70abdb6","datavalue":{"value":"978354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352493$A5EA3CD6-66C3-486E-8A9A-0489D34650F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1352493$0383E549-AD34-45D8-9B77-52D5AA4B059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8a7e24c89746e297937d78ed32147ee79dbca5","datavalue":{"value":"extensional combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1352493$1114CC15-5C40-4F98-8C4E-2E9EFF543AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a09dbd1122491e501b4f893420999725c96a772","datavalue":{"value":"consistency model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1352493$10C3EDBB-210A-46C7-8BCA-336C67D8B264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"255018a0852265100550eacd67b499e6f2bdbe75","datavalue":{"value":"universal retractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1352493$268E0234-58BD-4B3F-AEF2-BD5D6E8C5973","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":"Q1352493$3CE52770-D433-4FD6-891E-45062AD90319","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbfe0c9fdf91ccef12efc30be937b2c5f8097ff","datavalue":{"value":{"entity-type":"item","numeric-id":582530,"id":"Q582530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$FAF6A01C-A6FB-4847-AAEC-E00A95BA0129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e602b1e0f72c9b4845fca0c77c396374b5c7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3700226,"id":"Q3700226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$B838808F-E199-4264-A842-48E353DAE4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfe0d5fc87aaabff52b1993d0ccb5bff607bb87","datavalue":{"value":{"entity-type":"item","numeric-id":5890283,"id":"Q5890283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$CDF918B7-F1C4-4FCD-9B89-C7C21EFB1729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e88be9266ad9cf5c2f91a1d362aa2f1898835b","datavalue":{"value":{"entity-type":"item","numeric-id":3693558,"id":"Q3693558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$AE66E63E-2AE5-4C2B-AEEE-FA33C0D9FAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88ef202128a13c63e708cc26f0dcf8c3beb8abe","datavalue":{"value":{"entity-type":"item","numeric-id":3849170,"id":"Q3849170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$E2241470-F052-4BDB-ADE6-F39A508B4C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3beae63e2e1e43aec156b9ae7598ce1ad244fa37","datavalue":{"value":{"entity-type":"item","numeric-id":4122179,"id":"Q4122179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$BD1E2837-0925-4A92-823D-44FB44A63A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c38cac415e9be8d10ff6b0aa9a172e0420bfee5","datavalue":{"value":{"entity-type":"item","numeric-id":3994578,"id":"Q3994578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$6FFDF115-A337-488E-B9F3-6FFCCA7EADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce2aa763d03b0de53b2c3b4cfc93700a8d5e202","datavalue":{"value":{"entity-type":"item","numeric-id":3743524,"id":"Q3743524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$0D05F10C-12B9-48B9-95B8-27B965D9B089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0fe5b9c0f77e343dd06834f1101f8165e40b5f","datavalue":{"value":{"entity-type":"item","numeric-id":4003891,"id":"Q4003891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$E0A38AF7-24E6-40E2-AA0E-B0ABE908BEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934c87d74b5a0de56da60b6ed40bb6f151660a39","datavalue":{"value":{"entity-type":"item","numeric-id":1804029,"id":"Q1804029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$53AC6E0C-DFBF-4421-B6A8-954371A4B0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e625bed650c65733f50ba171080d2f57503bc02","datavalue":{"value":{"entity-type":"item","numeric-id":1804795,"id":"Q1804795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$29552CB9-39D3-41BE-8847-EE13D5563FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02c3cd6c628579d7eff4f0425b4e762eb1f8cd1","datavalue":{"value":{"entity-type":"item","numeric-id":4106692,"id":"Q4106692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$E8CF91C0-D557-426D-AF2C-A51C7DB0BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edf97263ed902d66e2a9824a8e7089646edbc50","datavalue":{"value":{"entity-type":"item","numeric-id":5559954,"id":"Q5559954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352493$4A10ED0B-766B-4C11-BE5E-58FBB0A4C182","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1619e9b8827e6183085cadcc2241e05054818ba8","datavalue":{"value":"https://doi.org/10.1007/bf02879998","type":"string"},"datatype":"url"},"type":"statement","id":"Q1352493$A8268FF9-D090-4637-859B-F82F29E640A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb0cf5c2c42605ce1e5ccac7b84490cde6c2d817","datavalue":{"value":"W2022686755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352493$31C48DC9-2FCA-4BF9-BF9A-AC9A5F253282","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acfde58e372d46283d90d4977f7f07592ea21a08","datavalue":{"value":{"entity-type":"item","numeric-id":4650272,"id":"Q4650272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d824bc57aa152feef4a770e855bf60c4037793","datavalue":{"value":{"amount":"+0.7496957182884216","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":"Q1352493$8AA93120-24F1-4F4D-9CE6-BC7B06C40898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a176d711ab9a9bff486bef294ca47ad766b9575","datavalue":{"value":{"entity-type":"item","numeric-id":1892095,"id":"Q1892095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683392114a452df2da9aa91a07b3a7d32c091971","datavalue":{"value":{"amount":"+0.7391358613967896","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":"Q1352493$518AE0FB-1C49-4195-9F88-F1DBCB1F865E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebab78aa434a90f74102dc31dd9283173d3409ad","datavalue":{"value":{"entity-type":"item","numeric-id":1193865,"id":"Q1193865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c4e43eea5c2bd267aa30167007c37437955e0b","datavalue":{"value":{"amount":"+0.7182700037956238","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":"Q1352493$49BFCC03-4EBD-49B4-A6E5-3E53A7DDF32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75612d2c4b8e28995fdac4f59968c19d3087b0f","datavalue":{"value":{"amount":"+0.7100842595100403","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":"Q1352493$168E5A6D-7693-4D7A-8BA6-202C9D2BE7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2d735d502385b9c909def59bd585dd876fd9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3501750,"id":"Q3501750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f63acfffd738f82d6ea0ca74078fa84c51c9f22","datavalue":{"value":{"amount":"+0.7010629773139954","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":"Q1352493$AF8938F7-722B-452E-9D97-2F78CD3D9DD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency and axiomatization of a natural extensional combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_and_axiomatization_of_a_natural_extensional_combinatory_logic"}}}}}