{"entities":{"Q689218":{"pageid":691067,"ns":120,"title":"Item:Q689218","lastrevid":63639054,"modified":"2026-04-11T14:31:43Z","type":"item","id":"Q689218","labels":{"en":{"language":"en","value":"Counting functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440201"}},"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":"Q689218$6D52E26F-53C6-4A89-8FED-B0124C992F8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c728b43a4188eb3ee689b96f4d17ff9060e0c79","datavalue":{"value":{"text":"Counting functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689218$214BABBD-4DF8-4B19-8EBD-2A2B1DB3F921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ad9385f453c7b087bd6eb01e956b0c664ee6ec6","datavalue":{"value":"0789.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689218$0E018871-43B8-4CFF-97D7-74C21A4A4BEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"550e436bce12dc301873b71896ba87592825ca6f","datavalue":{"value":{"entity-type":"item","numeric-id":689217,"id":"Q689217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689218$4AC422AE-8F1E-49C8-945C-F08F6385F0F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689218$3B44307D-7BC3-4E58-A658-4BC3B539FF5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d23d21db40355b5deb6afbee2057e3f63e35671","datavalue":{"value":{"time":"+1994-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689218$002E50DD-93D7-41AA-8697-9E248D49BE8A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f5fdfd6c15d6a78b68a65aff545e01f91f6daa7","datavalue":{"value":"The proof by \\textit{F. J. Pelletier} and \\textit{N. M. Martin} [ibid. 31, 462- 475 (1990; Zbl 0745.03007)] of Post's Functional Completeness Theorem contains a very complex argument that shows in effect that counting functions are closed under composition. The purpose of this note is to give a simple proof of this result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689218$5A17FFA7-1911-4205-9391-F4A9AFE159DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689218$39B0658A-67BF-401E-84BC-D5E1D5C3283A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c244fc7fdfb326084190a1b1e71b53c38d9dab5c","datavalue":{"value":"440201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689218$E0F7FC80-E4A0-4F25-A2E0-6E5B49CDD971","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323b73cf8960adb039507dd3d53e7d1488e6670","datavalue":{"value":"counting functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q689218$F58488B1-B093-48D5-84C3-7F2C39DEDD50","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":"Q689218$C39B5528-BE49-4AB1-A07F-282A31C5EBBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a99018ffd3d57c312db7795b11cce3e05f25f51f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634488","type":"string"},"datatype":"url"},"type":"statement","id":"Q689218$900AEAB1-99AB-4C26-992E-619EECC8D47A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13fd1b57db2da28978f03a4345828dfb03f13283","datavalue":{"value":"W4255405682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689218$0F1E9A79-476A-4A9E-AA50-3CAFEB2BC01A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d1908c2b986cfadafdfbae6c29cfb30e074ab45","datavalue":{"value":"10.1305/NDJFL/1093634488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689218$92C8539F-8516-480D-B8B2-955C72CBC1E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194297a085addffafec6c497af587932adcea765","datavalue":{"value":{"entity-type":"item","numeric-id":1173782,"id":"Q1173782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f2aade3c3ffdf6bd38998af8e73542163d6968","datavalue":{"value":{"amount":"+0.7709674835205078","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":"Q689218$1667ADB4-DB7D-4FD8-8B3E-3B4D9A08645F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ca1a239c00242d0c0848fa512b01b90617481e","datavalue":{"value":{"entity-type":"item","numeric-id":3360920,"id":"Q3360920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0473a80946511b0f9025c96aa115f8fae4ddcb9f","datavalue":{"value":{"amount":"+0.7537698745727539","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":"Q689218$F0641A64-3623-4DE1-8415-A67F448F9654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a53f4c64daa27a99412f42abfdfba78e29c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":3973135,"id":"Q3973135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188142b273183bc5f34b12c89fc69b766cae4052","datavalue":{"value":{"amount":"+0.7152299284934998","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":"Q689218$60E9A96E-EEB9-4A86-942A-88B0E2116262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb4ee4a5e12200bb37772f575dfef22a89a9f74","datavalue":{"value":{"entity-type":"item","numeric-id":5947814,"id":"Q5947814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959614bfdb27dd1401121b501e264bdbd7835bb8","datavalue":{"value":{"amount":"+0.7107996344566345","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":"Q689218$02AC21AA-9AD4-4393-BC7E-5370FFD314AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_functions"}}}}}