{"entities":{"Q4948544":{"pageid":6978126,"ns":120,"title":"Item:Q4948544","lastrevid":58371918,"modified":"2026-04-04T22:36:30Z","type":"item","id":"Q4948544","labels":{"en":{"language":"en","value":"Some results on combinators in the system TRC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429788"}},"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":"Q4948544$322BEFCC-B634-481B-8CA4-5229EAFE7A60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c144b4aeed5d06493bc1948a7e79d1d1d71e9d5","datavalue":{"value":{"text":"Some results on combinators in the system TRC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4948544$B39AAE41-FF27-4D3C-B5A9-3C5F67C51EB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93c0da53c268bd0a806d7f9d5cff2242513b7340","datavalue":{"value":"0947.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948544$5083493E-B098-44DD-8E87-E5E5508A607A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"623df611fcdc5b40d9a6883bc2b19fb271640df3","datavalue":{"value":"10.2307/2586813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948544$813E4FBB-1FCC-46C0-AFE5-772D72B6849F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c760fa6fd763a238e3824a780956095b7bc8d741","datavalue":{"value":{"entity-type":"item","numeric-id":585195,"id":"Q585195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948544$D86191AF-7644-40D7-B2E0-ACCF8E94234D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948544$58BD237D-8373-4850-9471-B6C066E0E931","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808321b5dbf4c939be439eeccdeece7a1f77a12f","datavalue":{"value":{"time":"+2000-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4948544$2F1672BA-278D-4BC6-B7A2-50529BDA10E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b6a13b722609acb390d16785226b61cd6cce602","datavalue":{"value":"https://arxiv.org/abs/math/9802075","type":"string"},"datatype":"url"},"type":"statement","id":"Q4948544$3250FE7E-02E3-48B9-8A61-6C5B0F0AA837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948544$20D9D86B-94A1-40E0-8DF7-00D1BDA55A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6604d8ae585b2d8df0e4cae4fc52b51a64884bfc","datavalue":{"value":"1429788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948544$54B41C32-AA77-4EDF-BC3D-A3E93E1514D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948544$B981361F-61C2-442C-94C6-5D8F82EF9205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9683493859a6ff041a7d0705c419c7a94c785b56","datavalue":{"value":"Holmes' system TRC","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948544$EF762E1C-9A84-486F-A2BC-9E70DB801CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944c2b728e6833501c7aef03feb65209541f5835","datavalue":{"value":"untyped illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948544$76834695-14FD-4CC6-B607-9A980BC16A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948544$88AC2332-03FD-4098-A2D8-F02AC8935FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948544$59DD4373-D11D-4C3E-ADFB-A9C0F0F7EE86","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":"Q4948544$D0E39359-6185-4392-8322-1B539A062BA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3e29bb23cbfc699252e7565faf9f63b1f8a4480","datavalue":{"value":"W2110448098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948544$BAFF1FE5-95FD-4CD7-BC32-08B4CCBE794D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"024fc5c9bf31d84f51f7dd41f396f168c12ba8b0","datavalue":{"value":{"entity-type":"item","numeric-id":5765811,"id":"Q5765811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948544$F118BC0A-B468-40FC-8C7E-FD2B08B507B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378cb8facb2a4cf0a54cfb6889ed887dc80a3a31","datavalue":{"value":{"entity-type":"item","numeric-id":1893130,"id":"Q1893130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948544$F1E7A4AB-B1C7-4A8C-9B18-E8AE0B651753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948544$3BEECB02-4608-4FB3-A18A-84464A5C79BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462804e5d0d8d570e06c0dfc040a70acad688f8c","datavalue":{"value":{"entity-type":"item","numeric-id":809994,"id":"Q809994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948544$79732713-F1A9-4C9D-802B-6011C0A2CF4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecc483379deebe7faf8e3a08f395363a3d22999","datavalue":{"value":{"entity-type":"item","numeric-id":809994,"id":"Q809994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26535d834752aefccf3c56c2e381ef4864b2f36a","datavalue":{"value":{"amount":"+0.8325809836387634","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":"Q4948544$A58BDCBC-370E-4D68-8AF6-DC9381EBB206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2712cc77f139bb5b0b96ae015a4eb1826f727515","datavalue":{"value":{"entity-type":"item","numeric-id":1208084,"id":"Q1208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c7c6731d5d9c5a05d6ec27e1ce2f31a8038d34","datavalue":{"value":{"amount":"+0.7942474484443665","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":"Q4948544$E4E0AB92-267F-49A9-BF53-8F6FB939BA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b51acb4bbba060f2b22496011e53785aa0a530","datavalue":{"value":{"entity-type":"item","numeric-id":1893130,"id":"Q1893130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce516b4f5db5422ce790cc9f645d40678e90cb2","datavalue":{"value":{"amount":"+0.711215615272522","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":"Q4948544$8F4D471B-B1D1-480A-BFC2-237022E1CD35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4948544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4948544"}}}}}