{"entities":{"Q5646385":{"pageid":7675945,"ns":120,"title":"Item:Q5646385","lastrevid":92758559,"modified":"2026-06-05T02:38:43Z","type":"item","id":"Q5646385","labels":{"en":{"language":"en","value":"The problem of constructing a mathematical guarantee of a computing process on a digital computer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3374949"}},"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":"Q5646385$12500E00-DE9C-4E53-AB33-9E6ED7FA2F76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce963634ecdfd4b2ea6ba1bece2d7f168eb883f2","datavalue":{"value":{"text":"The problem of constructing a mathematical guarantee of a computing process on a digital computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5646385$88B84368-AF54-43FC-B631-5A0A24975426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42b94184b2dac365623f068fbaac147fe10b6358","datavalue":{"value":"0236.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5646385$019D98BC-BDDE-46FB-9934-9F27AE5BF45B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ede148a7a64a45607ba16a2f2b4caf493daa436","datavalue":{"value":"10.1007/BF01070512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5646385$C164498E-9E51-4F9D-8039-18C8DA69DCEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5646385$43F67A54-C3B0-4C10-A4A8-4447581600BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q5646385$13EDA19A-225E-4152-BD05-EDB666234ADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5646385$54427C7E-666A-4861-BDEA-6A7D0732D56A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b42ee4704e54bf5ad3850512cf5d202569883f5a","datavalue":{"value":"3374949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5646385$66A51650-B07D-42A8-813B-D953A0DE1712","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f280ea3ec12f1ef6ec2257a3ac7f202db738feee","datavalue":{"value":{"entity-type":"item","numeric-id":424644,"id":"Q424644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5646385$B447C78D-34AD-46FD-9A08-1B8027EB6C9F","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":"Q5646385$65511772-A745-433A-A28E-3D1CF54E0126","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa3d57ceadd0ab63de97f83a31b8a25401ffb61b","datavalue":{"value":"https://doi.org/10.1007/bf01070512","type":"string"},"datatype":"url"},"type":"statement","id":"Q5646385$D20196AD-5FD2-4D2A-BD16-A9B73AFC1BE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64a9212ab27f7a7d79ce010d07e86418d2c55818","datavalue":{"value":"W1968362579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5646385$96B333F5-E1F6-434B-A50B-68C60FD2E39C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The problem of constructing a mathematical guarantee of a computing process on a digital computer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_problem_of_constructing_a_mathematical_guarantee_of_a_computing_process_on_a_digital_computer"}}}}}