{"entities":{"Q5945009":{"pageid":8121811,"ns":120,"title":"Item:Q5945009","lastrevid":47680852,"modified":"2026-01-02T10:16:00Z","type":"item","id":"Q5945009","labels":{"en":{"language":"en","value":"Typed lambda-calculus in classical Zermelo-Fraenkel set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1655895"}},"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":"Q5945009$833862A7-377F-42E9-9BED-719125B93F0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3edd54d7d7b30fbb6578a0a278c4f4f98cb0e233","datavalue":{"value":{"text":"Typed lambda-calculus in classical Zermelo-Fraenkel set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945009$810E7E77-472B-41B1-8656-72BA9D46263D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d40dd26675e894ccf7c41fb113f7697721d7d8e","datavalue":{"value":"0990.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945009$BE61DDC9-C0C8-461A-9F43-471DF441F1C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945009$837E0B3C-62DB-4FC0-957A-6B57D07BE18E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945009$E15693DB-93EE-4601-80F2-E7598A89077E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05343dbffe17b2d34d1e2336dd4cb652c4d2598c","datavalue":{"value":{"time":"+2002-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945009$DE1BB76F-C0C6-45A7-8CE7-E8025CAB3C56","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"539c0f44cc496366e9a4aa09d5d9fe88e3222e38","datavalue":{"value":"In this paper the author introduces ``\\(\\text{ZF}_\\varepsilon\\) set theory'' which, he claims, includes all of ZF + AF. However, his proof of the substitutivity for equality is not complete, so it is not clear whether his claim is justified. He then develops \\(\\text{ZF}_\\varepsilon\\) set theory within a classical extension of lambda calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945009$430833AC-5BB1-4E1C-84A0-A3F439356A8B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945009$FACCFCF0-741F-4C78-8BB7-DBAFBF72E27E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945009$94779946-65FB-4AF5-9E83-8C1F537CA80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945009$661ECB2F-9885-43EC-98F7-FB83D923889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945009$DAB3D7FE-9B49-46CB-A640-2CDAFDE13590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25b485e45f2c2a3bff62556fdaf7174164cc9611","datavalue":{"value":"1655895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945009$5390B54C-49B8-4DE6-8553-ED98912A6D52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945009$36F895B3-E926-4174-BFA8-61FC30B8B860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945009$08BC9CA3-1C8F-4D74-B5D7-E592C7516DA7","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":"Q5945009$03EE51E9-2BCA-46EE-8CB5-85738B7100B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"615936ce191ea8fad7c1af8b8bb6b5934ac8d1c1","datavalue":{"value":"https://doi.org/10.1007/s001530000057","type":"string"},"datatype":"url"},"type":"statement","id":"Q5945009$0146CA05-D743-4019-AFE9-E62A5D94C952","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7470059d3468d04952d3feff778554d850d42dcc","datavalue":{"value":"W2056300881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945009$73138823-C4D7-462F-8677-0C959C595158","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e3fefff2b24205540ab4462a00e99da9ba4e8c1","datavalue":{"value":"10.1007/S001530000057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945009$B7DAB68D-4666-4125-8DF7-AFA42F3263A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cb1f27ab2f06747a69185e5627f229f429bb8","datavalue":{"value":{"entity-type":"item","numeric-id":3024838,"id":"Q3024838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e714683e45d22c1929092f2c99db853e00c6e4","datavalue":{"value":{"amount":"+0.7202534675598145","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":"Q5945009$9FBF6FD1-CC74-480B-908D-97B6CCC1BE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e0e74574b043e8294c16982712efe5af07a209","datavalue":{"value":{"entity-type":"item","numeric-id":5897610,"id":"Q5897610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7dc6aa1fa1d39dc16340469e26518219602899","datavalue":{"value":{"amount":"+0.7127844095230103","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":"Q5945009$0E82794C-C7D3-424E-B565-0B5714F329FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a88b820879f2cbeec29ad4d4e38baf04bad2edd","datavalue":{"value":{"entity-type":"item","numeric-id":3024833,"id":"Q3024833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c977d4470548ce7f1fc27e3a535dd57d22b8e7","datavalue":{"value":{"amount":"+0.7109311819076538","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":"Q5945009$7E5BBE5E-DF5E-4A52-914A-317FA4358F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b667b9772a48f1dcbf91b2d87a9a7ff7ef70c16","datavalue":{"value":{"entity-type":"item","numeric-id":1121865,"id":"Q1121865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d928be519d71272782875096ffd9906e1c8b26b8","datavalue":{"value":{"amount":"+0.7060678005218506","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":"Q5945009$37859301-BFDB-434F-BD12-5F24C2F44A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e29836f19406ee278c92436290a6f89ece997f7","datavalue":{"value":{"entity-type":"item","numeric-id":1919983,"id":"Q1919983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07deeaf1172e9e4b71e95d86188013f653bcbd47","datavalue":{"value":{"amount":"+0.7043415307998657","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":"Q5945009$B4BA4D95-B509-4862-B931-61B03C9A1CDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945009"}}}}}