{"entities":{"Q3309038":{"pageid":3319746,"ns":120,"title":"Item:Q3309038","lastrevid":45916450,"modified":"2025-12-20T12:04:15Z","type":"item","id":"Q3309038","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3839298"}},"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":"Q3309038$4257EA94-7672-4CF5-B523-78D9F6BFCA49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2de1b50b022f2b40886d2e2399f7344367f58dce","datavalue":{"value":"0528.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309038$9C38EEDB-4386-4057-98FD-43AB3276AE18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309038$668D3F66-2C78-4FDE-8A77-77F92B667026","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3309038$DD9AD7E8-1F08-421C-A729-075AECBEBE01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309038$46C0B74C-5762-4A9C-9A20-FED9BE784EC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e355813f79f26f9092f72063b2300a1d912388c","datavalue":{"value":"3839298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309038$A554E63D-2B4F-40F8-8AAB-63E677F650B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce082811cbb13dfcf2d410ec2e4fba767aec477d","datavalue":{"value":"semantics of a programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309038$5B625AE3-8985-401D-B6B5-4D8D40E6759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c616db952a7823540792a410540afa2d600170","datavalue":{"value":"go to statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309038$38E80038-BBFC-4D42-AA3D-79AF5F5D47BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5ca0e55c217f0c1e99b46285c19312863cc4a4","datavalue":{"value":"compiling process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309038$B06291B1-817C-422E-862C-4DC22AF2C6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206a2359ec2a279c7084b042456f0e836656036","datavalue":{"value":"verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309038$41C95E39-BE01-44BF-969F-E874AA9E266C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309038$C1ADF363-7CF1-414D-AFE0-8D98AFF0ECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309038$C5E77A68-CD79-435C-B56D-746C0C5BF788","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":"Q3309038$A1A559FB-8851-479C-BC93-8B0A973147CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3309038","badges":[]}}}}}