{"entities":{"Q3166228":{"pageid":3176944,"ns":120,"title":"Item:Q3166228","lastrevid":58134045,"modified":"2026-04-03T22:58:08Z","type":"item","id":"Q3166228","labels":{"en":{"language":"en","value":"On Berry's conjectures about the stable order in PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096743"}},"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":"Q3166228$D19BC11C-E41C-4742-9491-9A0675A648CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"809d4bab5f1699cbed736422839f9030729b108c","datavalue":{"value":{"text":"On Berry's conjectures about the stable order in PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166228$EB66375F-41FF-43A6-8F65-EBBA33A86BCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b45cdb68c9943a638c39d4d6c27b04adc85205","datavalue":{"value":"1248.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166228$7FF028A5-0E6D-4C82-92EC-CF680A9D40BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef0ee0432aed70e7d16f90b1056eafc899614c40","datavalue":{"value":"10.2168/LMCS-8(4:7)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166228$E7A84DA5-D03B-490D-AFA4-96A936C80615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c7c2c6896e2b95959c56b9b2301e869a109662","datavalue":{"value":{"entity-type":"item","numeric-id":1197986,"id":"Q1197986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166228$410CA303-1378-4DCB-8FDA-4B49E20644D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166228$69F89994-756A-4790-894A-99102E9C00BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166228$FD963260-C91B-4DC7-810A-4A5F6DE1767C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14a151d1ae0b05b6ed0eab37638c804e8431cdc0","datavalue":{"value":"https://arxiv.org/abs/1108.0556","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166228$C50552B6-2954-41F4-A5D9-D4CE3326E6F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166228$E4CBC542-DBE6-4123-9E2E-7E81E936E851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166228$3F0ECE1C-5934-4773-91BA-E934F5F28B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca09114916de73a3ec00328f97d1bf6cf6a6050b","datavalue":{"value":"6096743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166228$7F7C09A4-8CF4-46CC-88B3-724A2EC2DC32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5c1d09bd2d372c9ca45f05810bdcf5a728927e","datavalue":{"value":"functional program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166228$95FA0EC9-5476-4852-AB72-726F8A4AA9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166228$A93152F1-9F78-4FD0-A93C-BCE54906CABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166228$D10B6E36-466F-4717-A6F6-F57403DED5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166228$C4D78F41-B16E-4F6F-BDD9-C58C7D57487D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7120633c01149dd50fece868a5af7a97a0ba8337","datavalue":{"value":"fully","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166228$12A8A3D6-4ABD-4FB3-B1E4-66C1C6E6831C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13cfe1f2962701acdd0fd87131b0cb8ba3b1fb2b","datavalue":{"value":"Q123011758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166228$D4BFA1F8-84CF-405F-BBAB-8EF8E1D9B434","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":"Q3166228$8A0EF2E0-DE21-4848-94E9-B7EDF49240F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61084141a82d4cf039aabcd908b02a719cf46a76","datavalue":{"value":"W1985422639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166228$858A94AB-7F2E-4CDF-9D00-8619B7954783","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5adbf6635576b878da7dfce169b422e3cc97aa","datavalue":{"value":{"entity-type":"item","numeric-id":5096876,"id":"Q5096876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94444889360c48da90c77e702d6dd6fdd8f2f71","datavalue":{"value":{"amount":"+0.809066891670227","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":"Q3166228$417DDCDE-573E-4EED-BE9D-9A962E0CDAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149acfe731e69f7ec56a480870adff42533ba246","datavalue":{"value":{"entity-type":"item","numeric-id":5096215,"id":"Q5096215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d1b51ea7fb2590b63020fbacd20da2eb6f6e94","datavalue":{"value":{"amount":"+0.7924374938011169","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":"Q3166228$3A9CFA2F-1D41-4C31-A6AD-D36ED5E85725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5975a64c32539a02a4d8debb72fadd8bd5e4cd1","datavalue":{"value":{"entity-type":"item","numeric-id":2492185,"id":"Q2492185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b06ac8e6abc4321433fa5527ac3ee30b1d1414","datavalue":{"value":{"amount":"+0.7882320880889893","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":"Q3166228$06D68495-6830-4CAF-A3D0-5DCC1CD155FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82440d75f6230f8e0a8adecf6d808dec059c173","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b71f3b5511f53622d1dd6e148f1fc6fccc1386","datavalue":{"value":{"amount":"+0.7811393141746521","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":"Q3166228$2A360C30-02B5-41CE-B304-9AB2EE6CE866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0b6037c33b4ba82021370c915303f954c35b65","datavalue":{"value":{"entity-type":"item","numeric-id":2757809,"id":"Q2757809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b71f3b5511f53622d1dd6e148f1fc6fccc1386","datavalue":{"value":{"amount":"+0.7811393141746521","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":"Q3166228$7121A538-619B-4E62-BA47-AA3875024251","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3166228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3166228"}}}}}