{"entities":{"Q4664058":{"pageid":6693639,"ns":120,"title":"Item:Q4664058","lastrevid":82326452,"modified":"2026-05-06T20:38:16Z","type":"item","id":"Q4664058","labels":{"en":{"language":"en","value":"THEORETICAL PEARL Church numerals, twice!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2152485"}},"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":"Q4664058$C09F8B99-F5F5-46E5-83CF-EBA23640810D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74bfb3a85f6644769e7a4e94b4bec75f71b6f551","datavalue":{"value":{"text":"THEORETICAL PEARL Church numerals, twice!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4664058$2EA6CFEC-366B-4950-A525-A7EDD6083386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfd6451b2297894194ecf931e0373c99b35fcbf4","datavalue":{"value":"1063.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664058$E521A9B2-B896-4C8B-B523-1AA8C13BC4F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d5112b1d6abe1b632a8a9c817c0152bcbbac075","datavalue":{"value":"10.1017/S0956796804005313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664058$60FCD282-7BD2-407A-8350-ABBC5DF34F0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7203456c922c316414817a6a8a5b99d0449fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":700973,"id":"Q700973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664058$83D259CB-6C92-4F45-9BB8-8BA6E60BBF5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664058$4F10087E-7AE3-4822-9AAF-14A28CE2833C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69cf2a81b6ae1673a040d25ae05c9f6a7d99e6cc","datavalue":{"value":{"time":"+2005-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4664058$77C83DE7-B56D-4F85-87BA-34252FAEF4F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664058$39A31F5A-9937-42E3-A56F-FE30EFEA23BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24a48412505f3e36d30201b0842f4e0354055179","datavalue":{"value":"2152485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664058$0D323EB3-424B-44CD-ACCA-4809244F35B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ef5ba4a59e08e0aa1e9616906d7caa64f6f47b","datavalue":{"value":"polymorphic \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664058$815B0409-5E86-4A94-92C6-A8934BD6418D","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":"Q4664058$5C7927B1-06E0-4DC4-B547-596EE8256A86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82542edeed70615bf8e37cf6b0027a69d72e20fd","datavalue":{"value":{"entity-type":"item","numeric-id":3150178,"id":"Q3150178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75433f2d7859d761cd446abcafb8a4f3e16d4dc6","datavalue":{"value":{"amount":"+0.8194065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4664058$2794B68C-B9AC-4686-A37F-8ECA3BEBD734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84666230437d807e66683e1dd4dff573b84817fb","datavalue":{"value":{"entity-type":"item","numeric-id":2005559,"id":"Q2005559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e13176b4155a822827a4beefb097876e68250c4","datavalue":{"value":{"amount":"+0.7813717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4664058$550BC893-2DC2-4DB0-88A8-83C55460687B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ee6a66a07bc82a91c9fc799359032feb6f0b50","datavalue":{"value":{"entity-type":"item","numeric-id":3521981,"id":"Q3521981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30cd00616dfdfa0ef76ba604f9d7fe29094ddcc","datavalue":{"value":{"amount":"+0.7368134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4664058$96C5B156-69CE-413D-847E-F4ECA0812952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a092c1c681987b129b9a43a4922f73fd219cf94","datavalue":{"value":{"entity-type":"item","numeric-id":5412100,"id":"Q5412100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c24bcc1bebe15c1c5d69e53196e39290d9ffaf1","datavalue":{"value":{"amount":"+0.7063651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4664058$F0F5853E-5B2F-40FB-AF3B-965FE5E721EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41b103c212787b5c5e95e5144c789e9f9c6ced3","datavalue":{"value":{"entity-type":"item","numeric-id":2915491,"id":"Q2915491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4466789cf2b75c439ae8aa1d0995b8fd2d24dc60","datavalue":{"value":{"amount":"+0.7050347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4664058$57BA5DCF-7205-446D-B887-A073B81263CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"THEORETICAL PEARL Church numerals, twice!","badges":[]}}}}}