{"entities":{"Q5493749":{"pageid":7523309,"ns":120,"title":"Item:Q5493749","lastrevid":92457941,"modified":"2026-06-05T01:45:55Z","type":"item","id":"Q5493749","labels":{"en":{"language":"en","value":"Formalizing Church's thesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5064396"}},"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":"Q5493749$3013A7DB-727E-4E2B-BC55-913FDDB8DBF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7b1f36aaae601c93dce4429753498b38a3201df","datavalue":{"value":"1105.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493749$BFADBEDD-8A87-4A2C-844D-2237E7E02599","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d8806d8e05c27ac5a88b3dbec26c9e656a1fde","datavalue":{"value":{"entity-type":"item","numeric-id":185581,"id":"Q185581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5493749$53827A9F-BAA5-40FB-A586-C6A9524346F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b61222e6662b6e0a1be4caad9cdbe2627f3c2f","datavalue":{"value":{"time":"+2006-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5493749$9D98D429-43B6-4825-8176-5FFA576175DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493749$3954D1D7-8C41-457D-B1B2-8A2CB93E9D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493749$A045BB8A-81C3-4F34-B386-7206F0ACCE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493749$D1A30607-41CD-4594-B784-1440490FED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493749$15ACA5B2-9700-4742-84C7-E9A9183752CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5691e76b84eb483d0cb383c2f9a1225b36148ce8","datavalue":{"value":"5064396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493749$255EB20F-4003-4879-B44C-D303967F9BC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493749$10A8DFDB-B875-437F-ACFC-82C916ED9210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493749$71D1954A-8C03-46D8-94BB-3A42A42C2D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493749$C8EFDFD3-2E73-49A7-A66E-7DE5374A0860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493749$B89F886A-5D29-4360-AAA0-4E42C825FEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea0e565f2e23172a509549943cea9b596903707","datavalue":{"value":"epistemic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493749$D30AF35D-ED74-4FAD-BDF2-490B76CB355E","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":"Q5493749$FA4425C4-08A3-4FB9-B67D-8C9B1DB84AF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ac4fa9240c052e894ddf6ae1731712be724738","datavalue":{"value":{"entity-type":"item","numeric-id":2997664,"id":"Q2997664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb40d55d6fe57e51b9e647db338ed4aa1f77d324","datavalue":{"value":{"amount":"+0.8287627100944519","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":"Q5493749$A4075282-98D8-44B3-AB46-02FEA22F00DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bf00b20a5a5322a2f378d2f2673308fe11163b","datavalue":{"value":{"entity-type":"item","numeric-id":4723728,"id":"Q4723728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c43dad3fcabbd1d6fafb72b1e10ed981c782058","datavalue":{"value":{"amount":"+0.8198479413986206","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":"Q5493749$BF94CE8C-E717-43F7-83D8-72CCC1CD6D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a9cfefb1398f61f50808582aef882530ba7577","datavalue":{"value":{"entity-type":"item","numeric-id":5493751,"id":"Q5493751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990fb9f30ee2726e6aafb1b5ae6a7649c826cd22","datavalue":{"value":{"amount":"+0.806826114654541","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":"Q5493749$7AD479A6-05AF-4F0C-ADDB-0C2D1497DCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c0efab7ca26a66cf1e90b1b88073aa6d8dfc27","datavalue":{"value":{"entity-type":"item","numeric-id":1823243,"id":"Q1823243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9e5b9dbb4fc588118d94387d945a1bc8af6a76","datavalue":{"value":{"amount":"+0.7974961996078491","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":"Q5493749$9818E65E-56C8-4505-B1E1-CF94B7BAF94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c38e4af35c824721259dec8e3e526129c82795","datavalue":{"value":{"entity-type":"item","numeric-id":5493758,"id":"Q5493758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89d7308b5ad203f528b2da838f66f243247085b","datavalue":{"value":{"amount":"+0.7933717370033264","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":"Q5493749$C812A04F-28BC-4E08-9C90-ACF6A402D2E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Church's thesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_Church%27s_thesis"}}}}}