{"entities":{"Q865658":{"pageid":867506,"ns":120,"title":"Item:Q865658","lastrevid":65005935,"modified":"2026-04-11T23:41:08Z","type":"item","id":"Q865658","labels":{"en":{"language":"en","value":"Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128353"}},"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":"Q865658$BBF83800-E68D-4486-9D21-BEEB9202060A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ea1320bd0863f0836db50bcb8d488341a66f594","datavalue":{"value":{"text":"Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865658$2998D8BA-5418-4E1C-ABFB-82E2FAD96DFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9714993704abab8213ae76442c6fa8670c6dff7","datavalue":{"value":"1114.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865658$3ED874E8-3217-4317-9BA3-DCDB9C5ADDBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$45E1C09D-C1DF-4115-A017-F40801DED7D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$B2EDE71B-5C4B-4DDD-9544-72355B18B293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-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":"Q865658$C117D065-4D12-450F-A655-9348E39A890A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865658$B3BD8747-0FD7-45BF-A788-917F06D17D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865658$00EB56ED-ED8D-4876-9407-24EE71AC32EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8342adddfa3136202c9f5b14e5a119a6f9a46cd4","datavalue":{"value":"5128353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865658$360EBB89-5A54-41DD-9AC8-63A9625FCEFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$70965B0E-5F9F-4B46-94BA-F98824BF9149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f5eeb81f0f69f74992389a82ef0e993259e6d4","datavalue":{"value":"foundation of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$9483C88D-0F5C-4A6B-8FCB-47340ED9E75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e10659ec0ab4c1636b61cba98e7ea0e00939e8","datavalue":{"value":"Automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$CF7AF134-0EC1-44C1-89A4-EA922EF4DCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$863D2B64-4B01-41A7-B4C7-D4B115819B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$8EA31F4E-A3F3-4688-AE2B-CDEBE217F7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$DA14F40F-7256-426D-9199-16ABD4FECFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$7A1E9AA9-1FEA-498B-BBC8-966899A04EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57af8312c37ff78ff414892d74ff2cecb5ef8fe","datavalue":{"value":"Zermelo-Fraenkel","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$D8190019-FF16-4BE8-99E9-459E0C8A1CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27053093570a92fff4e919f3d76d6d1ef93b0691","datavalue":{"value":"ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$D43FE3D3-2BFE-4C11-AC63-2D76909F384D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68138c6c4f989c8583da9383e27778d5268533ba","datavalue":{"value":"ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$E452E38F-2E0F-4046-9626-11DDA2975611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$503BB33D-D2A6-45A0-B071-CE61544D3641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbaaefab3f304a1ac4befeaa41a8bcc76e1a0de","datavalue":{"value":"NF","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$F45AB4C3-102F-4440-AC8E-4F3E4CB57546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$4BB6F30F-2647-4078-849E-ADB9FE7B5D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$6FBC065F-06E7-448E-9F06-D8935460745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$941C6A25-F1E5-4B81-A6F1-BDC73DF4FD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$CBD42CEB-7EB4-4F60-90DB-3A1A382FA8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q865658$F78C052A-23D5-4529-9E0C-4D51656873EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$C662B00C-08BE-4143-8D00-BBB6206FB45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$F61EF358-C452-4FC5-9799-16263C89BB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$34433765-B2C6-447F-A8C9-E8E5EF9B4522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$912645D5-FBCA-42CC-B203-13D9321698D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$153E1118-05BA-4AAF-B91C-1DDDE257F1E7","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":"Q865658$762C162E-3EA1-4778-BB27-A300E2B03D1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"947a290262190d05474e341864066aa1417cc9c1","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q865658$B649958D-4C9A-4CFC-82B1-1E88914F243F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efea5850d4ecb6772119631d6bf6a19674fbae7c","datavalue":{"value":"W1510554082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865658$F1CAC0CE-0978-4667-8728-FE47947E2890","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$7A75F2CF-2247-46F1-9AB9-D17A5E0F5CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fe9af6936098c61b7d20341de070d991c465e8","datavalue":{"value":{"entity-type":"item","numeric-id":4230782,"id":"Q4230782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$D48E9219-F86A-40C9-961E-33D13261EC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabf8cee824c9a4fda7f420caf89018796ca96d0","datavalue":{"value":{"entity-type":"item","numeric-id":3889024,"id":"Q3889024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$DB17E97C-DD15-4670-B433-0197770484BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$E9B4DF3E-332B-4345-82C0-249E4F36038A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$74304F28-29D7-471D-8817-00913D0D996D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$50E18EE0-F576-42B6-B396-0E71719A72AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$13EEDB37-91EF-4FD9-AE7F-82D8E46F576D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed05651791fb8c4f3fb964cb5553f33b601dcda","datavalue":{"value":{"entity-type":"item","numeric-id":1868514,"id":"Q1868514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865658$4EB4A5BF-4489-4056-899B-6187A3F6AE27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d45ff18b56e20035d4a3d6f0a5a71e07d5f225b5","datavalue":{"value":"10.1016/J.JAL.2005.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865658$32531265-DC03-44F1-8614-08465AEF2995","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831aa2c14449bcdc0b75723358de372704b3053f","datavalue":{"value":{"entity-type":"item","numeric-id":5950500,"id":"Q5950500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03500be426558df16a969b01f219ac0a093fdb4f","datavalue":{"value":{"amount":"+0.7708193063735962","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":"Q865658$E95CA095-A72D-46FD-911E-05729598C675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ab48e658f70ed8cd0b2468a72322822fb127df","datavalue":{"value":{"entity-type":"item","numeric-id":1687749,"id":"Q1687749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1131989f067411271d87dab8bac980547db79b61","datavalue":{"value":{"amount":"+0.7685097455978394","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":"Q865658$F70A9874-D9B1-4B88-AF4F-EF2EF35CA7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb24a47f03b7d7974d34ca45b1bc9d03e66b1ce9","datavalue":{"value":{"entity-type":"item","numeric-id":3094180,"id":"Q3094180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061eb3436e7220a2743accaa7a228f04c6e3f5f8","datavalue":{"value":{"amount":"+0.7497177720069885","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":"Q865658$8EDA68BA-498B-4E77-964A-C652CCE7ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942bdedabae6481b1253a0d9554720a247a8ecde","datavalue":{"value":{"entity-type":"item","numeric-id":3003342,"id":"Q3003342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedbeee552808c8dc713e17c28bb86abd29630e3","datavalue":{"value":{"amount":"+0.7346391677856445","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":"Q865658$6CA69F9D-A3C1-451A-A135-1AD59D6980CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfd99d9c223eb0f3fc5e26de01873d6f72966b3","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fcf1b9e08d60b72a1d48e313cf1bbc1f148890","datavalue":{"value":{"amount":"+0.7283880710601807","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":"Q865658$704E1F66-4264-4E80-9C22-2AD4D3C55594","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Is_ZF_a_hack%3F_Comparing_the_complexity_of_some_(formalist_interpretations_of)_foundational_systems_for_mathematics"}}}}}