{"entities":{"Q5844997":{"pageid":7874548,"ns":120,"title":"Item:Q5844997","lastrevid":32360972,"modified":"2024-03-19T22:19:48Z","type":"item","id":"Q5844997","labels":{"en":{"language":"en","value":"A formal theorem in Church's theory of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3106194"}},"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":"Q5844997$086E4EE8-FAAA-4CBF-ABFE-10DEAA8F0FA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5291a8bc140c9264cec4ec21dc3ab965b1cbc6ee","datavalue":{"value":{"text":"A formal theorem in Church's theory of types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5844997$A703E3BA-292F-45B4-88D5-61CB614A8077","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c42aaee67dcd278457fc1fc58a2c1814c3c1683","datavalue":{"value":"0063.05941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5844997$E8F35E4C-295F-497B-A251-428E2F784FA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5243788b1a48ca120059982f979efd011a159ba","datavalue":{"value":"10.2307/2267552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5844997$3D88AF3C-43FF-47F8-B73D-23947CB5017F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402cbda02b0b5a40586fa8e95c9ba2c274e5be6","datavalue":{"value":{"entity-type":"item","numeric-id":563171,"id":"Q563171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5844997$E12061AC-F8B7-4D37-8D50-DDF9727A7138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0355dbed6289ee949e5a70974729934b3a9b008","datavalue":{"value":{"entity-type":"item","numeric-id":2593897,"id":"Q2593897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5844997$E1E4C1E6-C063-4961-8094-A99CB9F49DA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5844997$C5685B31-F61D-4550-AE6D-6460BCDBE7A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e8d5cfa941f0abf28997ed7977dfb1ee35cd2f","datavalue":{"value":{"time":"+1942-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5844997$EFEC7EEB-B700-4D53-9C4A-65EC9E29B33B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23856137454dfe49b4b06c502e490238063534fb","datavalue":{"value":"3106194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5844997$9E7D3AC3-EF0E-42BC-A2DC-352D95FE7049","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":"Q5844997$0CD48D5E-25E2-401E-90B4-666556FC17C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76fe7294be41b6b261fb95847baa26939b495c98","datavalue":{"value":"https://doi.org/10.2307/2267552","type":"string"},"datatype":"url"},"type":"statement","id":"Q5844997$F34174B1-7ADB-4426-AC4A-3EE1828B5AC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a588fbcf21e4beccf8b2465a1ae67c10f23228db","datavalue":{"value":"W1988522427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5844997$01E2FFEB-805E-4C51-A2A5-839601D3C72A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5844997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5844997"}}}}}