{"entities":{"Q5958762":{"pageid":8135564,"ns":120,"title":"Item:Q5958762","lastrevid":42004108,"modified":"2025-05-21T16:38:20Z","type":"item","id":"Q5958762","labels":{"en":{"language":"en","value":"Finitary PCF is not decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715807"}},"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":"Q5958762$7249B7F6-A276-46A6-88D4-A95286BA0347","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b65cdc0a543e7dc5a058f1e0299666e04d75982f","datavalue":{"value":{"text":"Finitary PCF is not decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958762$4A19F11B-E53D-480F-8E49-D5A227DF26DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"123a354a8a6f21e5af4d4ddb265007fb52f8d56d","datavalue":{"value":"0992.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958762$436EC3E0-6EED-427A-9EA1-16E92AC478E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca97cc4e256072410a646ea4008d147a21a7851f","datavalue":{"value":"10.1016/S0304-3975(00)00194-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958762$9397251F-1AB8-49E4-8EA0-94500B8EDB70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$94862216-6049-48C0-BD0F-FA77766B9D64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958762$1E25712B-FF25-4705-AFC8-0ED770BA157C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958762$2292E19C-2EDA-4DDF-BC52-7EEC5F99D8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958762$1EF16ACC-0AF7-4522-8C7E-FA6207C0687D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07c2baf088cfdaccdad7a5adec5b9664b413961e","datavalue":{"value":"1715807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958762$1B1A01C7-DC2D-4FBA-83D9-445FE74DBA8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958762$F6EAB5D1-31A0-408E-91F7-E3C755883174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958762$D3E572EB-6AC3-457B-BFE0-E67F8223383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958762$E36354EE-E445-49B9-82CD-CEFCF7794ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf3004a2e588802ba97aa0068211aa61996d5f9","datavalue":{"value":"Full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958762$40DE248B-4D4C-43FB-A417-1B35198E290C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f679e5795d6fc59039715b3bd9d6cbbb395d36b2","datavalue":{"value":"Q29396610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958762$C10D9379-8949-4CCD-A5B2-DFC526754649","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":"Q5958762$1E05F850-63CA-454D-B7CF-90F9CCF6AE6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a1510f4538b361d4257c4f49fb58819ff03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4490717,"id":"Q4490717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$4B9CF803-11CA-4BF3-988B-6A662017D87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38c139f8c492dec370418023cbf8c9fd1ef84a","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$D5150DFC-A0F0-419A-9376-386BB2035C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aed163fa47586d6760e996c78b547299a8e45c4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$5C392E64-0499-48B1-913C-F275D858820C","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":"Q5958762$12A9CF95-705F-49CD-9344-8E756FD0BB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383583a52e7d15ede11883886a23c6659e358592","datavalue":{"value":{"entity-type":"item","numeric-id":4281476,"id":"Q4281476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$7307481D-3846-40D4-B1BA-3C7803116FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d309ffdca87afa8241150d47dbf4da857bf5c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1274980,"id":"Q1274980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$42F1ED18-6A56-4A0E-A0CC-A11C3693F7E8","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":"Q5958762$453DEE77-1628-4A9C-9315-1418083900EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a44e53117e2b5122cf3411e07466ea55fcf7f2","datavalue":{"value":{"entity-type":"item","numeric-id":1898483,"id":"Q1898483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$7D9828DD-45A9-4619-9F85-47BD0281542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3419ec0cfc8339e122481e5b88954fdf07782ece","datavalue":{"value":{"entity-type":"item","numeric-id":4647581,"id":"Q4647581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$C987538E-2EB3-4C65-894F-6CC9D3C474E9","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":"Q5958762$634F09E9-FB90-4BF7-83EB-669F31179B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6392d42cbb3ff439b46da03a5a55926e51f136","datavalue":{"value":{"entity-type":"item","numeric-id":4490721,"id":"Q4490721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$7E40C8BD-823F-4B4D-84B1-A3EE2AFD38D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531abc143c539bf5980f3593b87d7cc25d9d1318","datavalue":{"value":{"entity-type":"item","numeric-id":3138547,"id":"Q3138547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$430DC10E-2C35-42E6-9FA6-4A4FF0CFB292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$002AD551-4713-474B-A79D-76A88720217F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3fb1c2531b8f2599e97521ee4f9aa7daa9b400e","datavalue":{"value":{"entity-type":"item","numeric-id":1274980,"id":"Q1274980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f1e81ca546e86bbbc699512ea9daec17641772","datavalue":{"value":{"amount":"+0.85429376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$B3DAFC85-029C-40F1-916D-9196C8861464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a135cfc9b1d16940cccb67a278dec5c8e7993e","datavalue":{"value":{"entity-type":"item","numeric-id":3459425,"id":"Q3459425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f79efb4c1f712c611caf35c65c10ea9b0e730df","datavalue":{"value":{"amount":"+0.83196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$E8AF8496-906D-432D-B252-AFBEC8C9A198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91f28f5a9b14448eb4231f83f949c54854c1771","datavalue":{"value":{"entity-type":"item","numeric-id":4251052,"id":"Q4251052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43413fc4faf3082f460a483d0de3b8532d2c5a9e","datavalue":{"value":{"amount":"+0.82355183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$BA064FF1-83CA-450F-B185-42E9D343236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850bd61f63e036f647d8a7802d5b200422c24688","datavalue":{"value":{"entity-type":"item","numeric-id":4262575,"id":"Q4262575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043cb7856852246be85c379b3372288213eb456a","datavalue":{"value":{"amount":"+0.8227769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$FB5BC9B5-60A5-4B06-A8CC-A6222DFE4334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8cede415be6a92cc1d795bbe1ff2101ee88c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1272241,"id":"Q1272241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d025b0ad7910f25d2e323ac5637420d133faec","datavalue":{"value":{"amount":"+0.8122152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$2C253B6F-CC02-4A66-80BB-9C8D678FE435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e52844cf8c9e4649e90e8dfaa14ccb7ad437a9","datavalue":{"value":{"entity-type":"item","numeric-id":4647112,"id":"Q4647112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae0f4440b9db3ca3e2859ac053d7c62970926b9","datavalue":{"value":{"amount":"+0.8086431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$5E42F86E-C168-49D9-9902-4180D80BC395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31d28c2fbf631fecfbc8a1307ae82d66830eccb","datavalue":{"value":{"entity-type":"item","numeric-id":1176006,"id":"Q1176006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94d20797a02a327fbe4f341ad7f61881c2fb48c","datavalue":{"value":{"amount":"+0.8083945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$88BF7470-A185-4561-A16C-E64642A1A591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69dd44470c1d3c4edbb207956a27fcec32945fea","datavalue":{"value":{"entity-type":"item","numeric-id":3585163,"id":"Q3585163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334e024b90ac440d4df53e553074b73f5463d114","datavalue":{"value":{"amount":"+0.8078821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$1661870A-7B90-48C4-88DF-CAB5081EE1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae526afa8d7c905732d0212824f5b941d0eb84e3","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5794859a3e934342b6ed683b8c6ce268dcb719bf","datavalue":{"value":{"amount":"+0.80749404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958762$4D7B5A34-1706-4040-8D0E-3CDAE63B2052","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37d1e04fcc3709545f3df1ecf4c8d12176d05389","datavalue":{"value":{"entity-type":"item","numeric-id":1610597,"id":"Q1610597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958762$4D99303D-F6EC-4A7F-9CD2-BD58A1518E11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958762"}}}}}