{"entities":{"Q3914409":{"pageid":5944314,"ns":120,"title":"Item:Q3914409","lastrevid":54979705,"modified":"2026-02-02T12:01:14Z","type":"item","id":"Q3914409","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3725676"}},"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":"Q3914409$DE704616-8483-469E-BC60-35AB604A2EF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb29a8ae94c2381947c89c290fe4da8e08e436c9","datavalue":{"value":"0463.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914409$CA589A93-1A39-4ACE-A7DB-DBC8166ACF40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a570112bd3074b9470b5a0d571863e20309ed27c","datavalue":{"value":{"entity-type":"item","numeric-id":789889,"id":"Q789889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914409$BF727CB6-F61F-4043-A33E-BAEE5F13AECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914409$C5A37985-6565-4D6C-AB83-E4A8C0C3F494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914409$9E700912-709A-4333-8C60-9332C7F504FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3914409$11DD5572-89EC-4B9F-A2D5-D74AB5A7845D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914409$D7AD745E-60E8-4EF1-BF2B-E0932EEEAB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914409$D3369A0B-BB65-44B3-90DC-AF7D4BA20930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914409$B0EDF1B1-C7F5-4E2D-9800-E34BA90FC1FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd6fca48d2fff5a6e2cd9dbf6df3f8422a0a9527","datavalue":{"value":"3725676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914409$00A7EC2E-B407-4525-8B1E-EB70D0F717C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$44627805-D903-4C42-A7C1-F743EFB3EF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ffcd080b8a6812ca6b84c24d951f3535846f3a","datavalue":{"value":"recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$505BAAB4-D48D-4AFB-99D4-C56656E8F188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$5CC7FD7A-4AA3-438C-995A-02B78B342306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$4130772D-A53A-4F7F-A56C-6A2E9DA6F6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$2806CA0D-75A2-42FF-AD14-8284DA04BC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$88E535F1-CB7B-422A-BD87-90575D5FAF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$5F686A2E-A4BE-4020-BD66-63489B0DF6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$F06A1486-5A72-4EB1-A829-37AEF84F7B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914409$3AEF5359-4F7C-47F3-B8F2-96EE7F3E4483","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":"Q3914409$869FA609-F233-4508-8B8A-F97CBEA10572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3914409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3914409"}}}}}