{"entities":{"Q2708317":{"pageid":2719056,"ns":120,"title":"Item:Q2708317","lastrevid":82800116,"modified":"2026-05-06T22:06:47Z","type":"item","id":"Q2708317","labels":{"en":{"language":"en","value":"Counting a type's (principal) inhabitants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1588175"}},"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":"Q2708317$69E6B470-CFCD-483F-A368-999A2C339634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfb27ced4e218391e3bb349879757ae82f13190c","datavalue":{"value":"0971.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708317$9171CD76-E409-4998-AE9A-FDCF315EDB4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be40013d629abcf9c4dedf0b6f10313a658759f","datavalue":{"value":{"entity-type":"item","numeric-id":596032,"id":"Q596032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708317$A45CB580-8759-475E-B6B4-8137F099387B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2641b8e7fca864cf6fafc527fcb34eae8b18504","datavalue":{"value":{"entity-type":"item","numeric-id":596033,"id":"Q596033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708317$C8EAA93A-ABDF-427D-930E-C71FE109FBAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c942329286f61912919b34bd0734f5ee78c9108","datavalue":{"value":{"time":"+2001-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2708317$09FF2464-83E7-44CE-977D-A4355706FD9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708317$67041AC0-C465-46E5-97C6-FE8F0E45F8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708317$7E6A7896-67F8-473B-BCF0-938CB2E3B6DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32f0432063a69a488bdfaf4dc1df0ebaa85113d6","datavalue":{"value":"1588175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708317$F5716B1B-7484-4507-86E2-8E1C7256F7DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708317$3065F801-97A8-4AE5-AA7E-AF720792A781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a9dd91f8716185f702d1a0a31added6e2c7e72","datavalue":{"value":"counting inhabitants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708317$6EBC86AB-299D-41F8-AF0C-86ABDA5E5D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708317$624E75A6-0E0C-4354-AEA2-AEE7ECEACDC8","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":"Q2708317$6257412D-AA8D-45AE-A909-8551A7AED3EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f333609dcfd30b0888f8152f3ce6ea77b83515","datavalue":{"value":{"entity-type":"item","numeric-id":4263863,"id":"Q4263863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e83c306c35d7f1450bb416457ed863850ea9128","datavalue":{"value":{"amount":"+0.8814325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$69F18B85-2110-4740-BAE0-5EA01368361A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423149f484c1d5f5317f39be9d386ada038ca9cf","datavalue":{"value":{"entity-type":"item","numeric-id":5111311,"id":"Q5111311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4c708a2b333fc566ec307ac7828acaadfbed71","datavalue":{"value":{"amount":"+0.8155294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$A17A0632-8042-476A-8E86-9BEDE207D0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d4a35f65cdc448399c9f634be2e682030daf7f","datavalue":{"value":{"entity-type":"item","numeric-id":1917086,"id":"Q1917086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614615d771ab8567cae81159b3192123099efca3","datavalue":{"value":{"amount":"+0.7785169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$8B1DD5F3-0827-497D-8D86-A48D5413BCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a8468c78d9b4c49e1f6b2e4bfedb214400d8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5144631,"id":"Q5144631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040ecc319b6e9c2e3c0777c1dc735c5fd1303926","datavalue":{"value":{"amount":"+0.72490144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$F5380E26-C2D5-4E27-9F6F-F01395549C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481ba62f2326cf0138f169b1c2bc980f74461d51","datavalue":{"value":{"entity-type":"item","numeric-id":4475696,"id":"Q4475696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e66bcc0217b6c8a9940c0a817af825fa0e22c9","datavalue":{"value":{"amount":"+0.69785374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$43A74BD4-51B5-4175-930E-C5F8DC09B3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9ff51abd5c98ea3674940b2983b4e672a93458","datavalue":{"value":{"entity-type":"item","numeric-id":4581460,"id":"Q4581460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f657bdbba215ebc8b12fef0fede554b7ff4269","datavalue":{"value":{"amount":"+0.69460714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$B6A16CBE-0B4D-4C16-BAF5-E1AD10AA9329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3577b46ed0afb46f602df71296e463a1f781f520","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8117bafc1ff8f242cfbe58093432936e2a5668ba","datavalue":{"value":{"amount":"+0.68879485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$1D648DE5-EEE9-4578-AA46-34CEA38BFC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3769c3a66218c2ab45b125531f856ff2cf1cffcc","datavalue":{"value":{"entity-type":"item","numeric-id":4993331,"id":"Q4993331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ecaf353e15c34eb76decf30cef5e64f347e35a","datavalue":{"value":{"amount":"+0.6856526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$4D638BC5-8545-4501-85D9-9F239D9852CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ac80237683eb0b06ca0314c4e5d9c2c12662e7","datavalue":{"value":{"entity-type":"item","numeric-id":2409739,"id":"Q2409739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61cb98ad4b694c6508bc637576c0c3f20087f0ad","datavalue":{"value":{"amount":"+0.66772497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$1FE09510-96AA-424D-B61F-C97C4F6174DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743628fd9cf6045dbcfe0bc1ef02d3cec023ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5113502,"id":"Q5113502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d77b65cd7bd85c1f0e3babd2c2ae65e30229721","datavalue":{"value":{"amount":"+0.66667724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708317$260ACB55-101B-4798-8A1D-F0C0906C3CCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a6072c20f79d5e127b4f4483c1fbd209694836e","datavalue":{"value":{"text":"Counting a type's (principal) inhabitants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2708317$C8FE58BC-9575-4685-98AE-C5C805984D56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708317$7008D488-8713-4031-8C10-D6E92D5CC927","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98963970654042c0be57c848854da7f804920ab7","datavalue":{"value":"This paper is concerned with questions of counting inhabitants posed on page 127 of the book ``Basic simple type theory'' [Cambridge Univ. Press, Cambridge (1997; Zbl 0906.03012)] by \\textit{J. R. Hindley}. These questions are the following: NEWLINENEWLINENEWLINE-- How many inhabitants in \\(\\beta\\)-normal forms receive a given type as principal type? NEWLINENEWLINENEWLINE-- How many inhabitants receive a given type as principal type? NEWLINENEWLINENEWLINE-- How many inhabitants in \\(\\beta\\)-normal forms of \\(\\lambda I\\) receive a given type and how many have it as principal type? NEWLINENEWLINENEWLINEFor each case, the authors present an algorithm which decides in a finite number of steps whether the cardinality of the corresponding set of inhabitants is finite or infinite and computes this number in the finite case and lists all relevant terms in both cases. These algorithms follow the idea of Ben Yelles' counting algorithm which counts (and lists) the set of inhabitants in \\(\\beta\\)-normal form that receive a given type. NEWLINENEWLINENEWLINEAlthough the paper is well-written and self-contained, I recommend the reader to first have a look at Hindley's clear account of Ben Yelles's algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708317$358FC4C1-688F-401D-BDE7-871DB226E728","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"46e9cef7d36b7ae4173018bf7537ade343bbebe2","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708317$13778494-B33B-4EFE-A047-B98FD25DF20D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting a type's (principal) inhabitants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_a_type%27s_(principal)_inhabitants"}}}}}