{"entities":{"Q4779240":{"pageid":6808820,"ns":120,"title":"Item:Q4779240","lastrevid":74460519,"modified":"2026-04-14T22:39:27Z","type":"item","id":"Q4779240","labels":{"en":{"language":"en","value":"An Early Program Proof by Alan Turing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1834848"}},"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":"Q4779240$62A3B1D2-3314-43C4-ABE7-C978E26A905F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be75546aecbda1d2e2828b1d20fc9c4c85c68cdf","datavalue":{"value":{"text":"An Early Program Proof by Alan Turing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779240$8B862EB1-F38E-40A9-8639-4667F8F81995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72bf0bbac4f58b5f0f0b8827c2f54aedf4fd8d37","datavalue":{"value":"0998.01521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779240$7D5681E5-78AE-4A74-AF5C-D0284AE90168","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e1aec568b1177eff0cd354f38089c382fa42ce","datavalue":{"value":"10.1109/MAHC.1984.10017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779240$E0B5F948-6418-4E3F-9441-A42821B8876D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"56a8dcaab253099ce80ac5ea30348fb36afe2762","datavalue":{"value":{"entity-type":"item","numeric-id":3199362,"id":"Q3199362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779240$527AEA39-4C35-4719-9C39-585AE9CE0F99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54398e0bde44a65d9fdb144ae2fdcc29e53d998c","datavalue":{"value":{"time":"+2002-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779240$D2F39B11-8D7E-4B72-A5B2-3323F5EE869A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779240$666AE460-3980-4D15-9279-7047BF3B643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779240$0A5B5343-119E-4421-AA25-307415DFE51A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54fe01a6cdc788d49113d68b57f85e765f8f6321","datavalue":{"value":"1834848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779240$F3C23307-5A4D-4959-96F0-34295FF5192D","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":"Q4779240$14EE787A-D4D6-4A9B-B1DB-4C35D7535F29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Early Program Proof by Alan Turing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Early_Program_Proof_by_Alan_Turing"}}}}}