{"entities":{"Q4585074":{"pageid":6614659,"ns":120,"title":"Item:Q4585074","lastrevid":89560121,"modified":"2026-06-04T17:40:51Z","type":"item","id":"Q4585074","labels":{"en":{"language":"en","value":"The recursion hierarchy for PCF is strict"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932687"}},"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":"Q4585074$8FCE40CB-A786-4ED4-B046-56BD6E8B1BBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f67e517cfbdebfe272dad8b40ce2290405a1b6a3","datavalue":{"value":"10.23638/LMCS-14(3:8)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585074$B14E1C77-A63A-4687-8B36-A78B01ABFEC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76898a733b17c53f346309740a5ca19fdb6dab54","datavalue":{"value":{"entity-type":"item","numeric-id":679250,"id":"Q679250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$D23F562D-C650-43A3-BDA2-2F1882E447E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585074$C2668812-63D7-418C-AF17-B263C3CA49F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79d6432b0e32ee51cd16930603f536800e4935c0","datavalue":{"value":"https://arxiv.org/abs/1607.04611","type":"string"},"datatype":"url"},"type":"statement","id":"Q4585074$44FC7899-183E-446A-8F63-9CF9E2472D11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585074$E4273293-B2F8-4C23-993A-00B89D0DE783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a894e7d40d13355f74cb71a8317315635734a75","datavalue":{"value":"6932687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585074$DEC9D285-1C19-464E-8A4D-31B6E12ED657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32fb9824f8f58407f8c8c49d0dae9d25453ef314","datavalue":{"value":"higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585074$A37B986A-F42E-415A-AD5E-35A6E70DB51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585074$5625FA2E-0886-49B7-89AB-D8962476E025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37df4df8954f8d03cdbf4de85da37557cee580d2","datavalue":{"value":"fixed point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585074$C88E6FCB-8A02-46A0-92A4-DA5A88CC48B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585074$2E27835E-5B5C-4FD1-8A44-E07C9E85D854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585074$8FD4F8FC-0AAD-464D-8646-8517A12A86B2","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":"Q4585074$5053F189-5352-45CD-B6F1-701AB9482C64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$BBAFC244-EB43-4385-AB22-04AAEDB2E749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6750f6506709128140651597cac933c856e092f2","datavalue":{"value":{"entity-type":"item","numeric-id":4263830,"id":"Q4263830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$0FD50BC1-658D-4992-A02E-04894D7016C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$39043108-8261-4DB9-8CBF-2659274E8C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06482bab0f0bf0bd99dddd896a91f5eba7e27e1f","datavalue":{"value":{"entity-type":"item","numeric-id":4428700,"id":"Q4428700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$B8E0F17B-3CE9-4E02-B4BD-023935F49CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$CC0DB995-F8BA-45E5-AC36-09280A026755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b665a3d5bd4c237eefe65a7de574437410bf835","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$F076BE7D-2360-4875-8298-48C47D840D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$33DFEC29-E4F5-40E2-AD5C-32EAB05CC701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d37412feb3c9b7693518f86d19f47e0942eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2740986,"id":"Q2740986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$5A10AB60-5B38-4A77-918B-5AE7F019BCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81dcca66e17ef0ca7847fa04935b96b58a612b29","datavalue":{"value":{"entity-type":"item","numeric-id":2912755,"id":"Q2912755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$A96478EA-E0EB-4823-B3A3-B9C83E80BE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504b59d7bd73ac8f52abd03fa000ea3f212cc694","datavalue":{"value":{"entity-type":"item","numeric-id":3748274,"id":"Q3748274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$7C6F5940-547A-4DDA-8557-CA72310B8B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d734008241554531b740caf1751ae509fc06a3f7","datavalue":{"value":{"entity-type":"item","numeric-id":2882561,"id":"Q2882561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$131A6336-F977-404D-97AD-9B5663DF5178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d61fd0251775ecc89999c54c5093919d359a307","datavalue":{"value":{"entity-type":"item","numeric-id":5958762,"id":"Q5958762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$E1CA8AD2-ABA1-4C31-BB74-E2C6266516AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16fee7bb900c6dbb3530fbcab9ef2bf73b8c9d5","datavalue":{"value":{"entity-type":"item","numeric-id":1849853,"id":"Q1849853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$9CF90E7B-D478-4E57-AD6E-361F8F3CE198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a88466268e7bbf7d31f387449ec70ecd20da42","datavalue":{"value":{"entity-type":"item","numeric-id":5430138,"id":"Q5430138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$CD898554-DF0E-4611-BC63-3FF5127F731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$977D6136-9269-434E-8C8A-0A1B83C73331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$C0300617-86CC-487B-9BE9-8A45F19A2D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b24f669be0e3aef8ed868e9e31c217276cb135","datavalue":{"value":{"entity-type":"item","numeric-id":4527914,"id":"Q4527914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$A1ECA91C-0AD3-43ED-8FA6-98CFBD64AE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06350c27dc62b7dc62a841610aade4cf43f9c1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4637682,"id":"Q4637682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$00BC8083-A588-4773-B033-955A11E5B18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b9e81c57854ed8b421d6d422021f357f1aae03","datavalue":{"value":{"entity-type":"item","numeric-id":764278,"id":"Q764278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$C16C5F87-7805-42D5-8049-4A23891CB954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$C4C4DA78-3F49-4376-A352-090FCA3E8477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa1f1e22d14a969b6d4920214406059e190ad35","datavalue":{"value":{"entity-type":"item","numeric-id":599804,"id":"Q599804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$209A0045-120D-4A11-A876-F15AD111F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db6f9a849c321b1e8094d1abb003c87dfb6c229","datavalue":{"value":{"entity-type":"item","numeric-id":5426073,"id":"Q5426073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$26FC375D-9DDA-4B35-A828-BF08FF524440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$C8562C31-A48D-438A-8966-1754751742D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027d70fa3d5c4eb64bce68bb1b5cacf3e5818999","datavalue":{"value":{"entity-type":"item","numeric-id":1886326,"id":"Q1886326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585074$14060E79-B3BE-440C-BCD0-7FB9C1B83B63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75f9d50a7f7fdf4f49a8ceabd0da188cc359299","datavalue":{"value":{"entity-type":"item","numeric-id":1854294,"id":"Q1854294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85984015bf282563c98d20f978f39d653a41236b","datavalue":{"value":{"amount":"+0.7340695858001709","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":"Q4585074$0B65F075-56BB-494B-827A-77EB4AFFB42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5afd8a65194c2cd25a4a2a47f25f218ec86e0c3d","datavalue":{"value":{"entity-type":"item","numeric-id":4513578,"id":"Q4513578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85984015bf282563c98d20f978f39d653a41236b","datavalue":{"value":{"amount":"+0.7340695858001709","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":"Q4585074$57452D24-B2A0-46A5-A9C0-EDCDEB44B3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf2c23f0fa69b12de19d1c22933192611f02121","datavalue":{"value":{"entity-type":"item","numeric-id":4527914,"id":"Q4527914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17a7d3223e12c270db097b078b91501d9b5c831","datavalue":{"value":{"amount":"+0.7225374579429626","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":"Q4585074$F149BF1A-E8E1-4D63-9C86-8CDF95F35ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59998a24530f7edf98f9927befeae2fd94f34b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4850555,"id":"Q4850555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea1d52715db83f5871e833dbef5b61d92ccc7d2","datavalue":{"value":{"amount":"+0.7157243490219116","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":"Q4585074$66FF0AB8-D35E-413F-BFF7-9E8A58E43181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ef2a43b6053055e5fe036f9c47acd43b6d57d","datavalue":{"value":{"entity-type":"item","numeric-id":4511324,"id":"Q4511324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"051442fe235bedb327be2b153818b6cd000c46af","datavalue":{"value":{"amount":"+0.7157241702079773","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":"Q4585074$2FD9B8E1-519E-4B4B-976A-A5ED4C8CCD33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The recursion hierarchy for PCF is strict","badges":[]}}}}}