{"entities":{"Q4526150":{"pageid":6555742,"ns":120,"title":"Item:Q4526150","lastrevid":81920489,"modified":"2026-05-06T19:40:16Z","type":"item","id":"Q4526150","labels":{"en":{"language":"en","value":"On the number of fixed points of a combinator in lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1553288"}},"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":"Q4526150$01470FA3-279E-4797-9446-D559C80C59C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee3f40933ca9a923070ac52ac3744b025a5c386e","datavalue":{"value":{"text":"On the number of fixed points of a combinator in lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4526150$A672083A-8AFB-400D-A826-518DFB5B3831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37e37d337f5c8599e7ff15a665b4ccd495924856","datavalue":{"value":"0968.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526150$D7C356F8-C679-4FA1-8D87-FA388F6D549C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d82d9ae42224711813fddca52b3742bfb4da11cc","datavalue":{"value":"10.1017/S0960129500003091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526150$01A9313B-B3C8-4F39-94BC-E34378DF5324","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"395b5137124702312f7d3fa6b0db1bd777258581","datavalue":{"value":{"entity-type":"item","numeric-id":397403,"id":"Q397403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4526150$D050F6F1-E828-4466-ABB5-3FF4C7C6296D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3968a201944fa902ce4fe944fa72b6905fe1448b","datavalue":{"value":{"entity-type":"item","numeric-id":4526149,"id":"Q4526149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4526150$975F111E-5A1F-406B-ABFE-65A09ACFE60C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4526150$9EF9F122-6197-4415-A29B-33122C89BC26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd300bc3ae32eb48ac0c23dd82d92114b5b8db39","datavalue":{"value":{"time":"+2001-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4526150$FBD07B0D-C8E6-4376-B8FD-74BAF18DEF2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526150$24A5171C-A390-43C9-B5C0-12D9D8D4E8FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e6fc4c8d7d327b9a56b047c8b72c483fd58eb39","datavalue":{"value":"1553288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526150$4D2D50C2-9660-4860-B4D8-925279EB900F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4526150$FE472706-FD3A-4F10-AF02-759A1873800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1199a36d8dd30e90713192bb02fdd1473fb89b19","datavalue":{"value":"fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q4526150$84F46F11-BD55-4CFA-809E-9C7FAF1406E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca46ea572c1e9219fbdfc95cd40e321b184f6ce","datavalue":{"value":"range theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4526150$C288DF28-E70F-4F98-86CC-C762A5FCC081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f32199b3fd10d349c4f5ddcdcc81e16cb4c787b8","datavalue":{"value":"NFP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4526150$04FA2B98-8146-4469-AF56-CF0DF976EA60","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":"Q4526150$95B5CA3E-9CC6-477C-AA1E-94A73560AEC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3539e86c314860ac117cec6d25423e75abf17963","datavalue":{"value":{"entity-type":"item","numeric-id":2973253,"id":"Q2973253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde8c03027c39b7bd5c1200a1cabd70fcca2b795","datavalue":{"value":{"amount":"+0.8405044674873352","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":"Q4526150$7F3361D4-9EF4-4EA6-A758-686D26122E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d2b3e834916cad1b9cd3aeba6a5d1ac5df8b58","datavalue":{"value":{"entity-type":"item","numeric-id":1688969,"id":"Q1688969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efe0d0110019a0423f9d01a718802f2a230e9f0","datavalue":{"value":{"amount":"+0.8026740550994873","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":"Q4526150$A9831124-B891-47CB-A3FC-FB05EE5CC1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf30f9d9f708ac7faf4ca7f3a30a6355b3c3ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4265612,"id":"Q4265612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d03dca6cacc59f2bb30532686276d26985c95e","datavalue":{"value":{"amount":"+0.7944077253341675","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":"Q4526150$3775D16A-D9F0-4210-AE6B-7DB077137306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21e13e81d5dd42cfaf73f45f6d4893ce5f8b644","datavalue":{"value":{"entity-type":"item","numeric-id":5213397,"id":"Q5213397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bcd0eb0a88c20403dd3c0a58f993b29477bf3da","datavalue":{"value":{"amount":"+0.771934449672699","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":"Q4526150$0A531234-19F5-4291-9591-4DC56897DA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9907fc44d2b4fb48725b80e34fa8e190e2b685","datavalue":{"value":{"entity-type":"item","numeric-id":1314345,"id":"Q1314345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ed0c6564a72ed123fa5aab530d2ec585f39278","datavalue":{"value":{"amount":"+0.7649337649345398","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":"Q4526150$A5A11FFB-7778-464C-91D8-D95D21803934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the number of fixed points of a combinator in lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_number_of_fixed_points_of_a_combinator_in_lambda_calculus"}}}}}