{"entities":{"Q3969854":{"pageid":5999759,"ns":120,"title":"Item:Q3969854","lastrevid":55136875,"modified":"2026-02-04T00:33:59Z","type":"item","id":"Q3969854","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3793391"}},"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":"Q3969854$15E4A89D-A1B0-45D6-BEA7-75AEB60D4DE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c0d266e802d95d63b3f6996c1b2cf30f0f75431","datavalue":{"value":"0503.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3969854$DC99470E-8C6D-4341-84DB-50158869FBD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3969854$724D779D-1763-4948-B4B3-14C246A8F8FE","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":"Q3969854$65E6FCA3-E324-4DF9-9B44-FE12FD94FBB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3969854$0A86D03A-3325-4ED3-B866-F55549B1D1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3969854$BBA3C5C4-516B-4EB2-A93D-4D5CC10A45D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed908e61cdffdf8fdad83fd54d1ca5fa40e9de12","datavalue":{"value":"3793391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3969854$6388EC24-86EB-41CC-8A22-E61229AD8CA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce1789a045c9d20464adf6cefbcdd80a466f164","datavalue":{"value":"semantics of while programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$428A1E4A-2D2E-4D29-AA49-7E8D88636F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$A7BB1618-46C9-4182-BD1D-51C05A905F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c81069f950402a4ecde2510464133cbf072750","datavalue":{"value":"Hoare-logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$FAC7BFD5-43B9-48A1-BEAA-34664D14816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e3c99ff9b7a6440793394c2837285ff5799e49","datavalue":{"value":"language constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$D61760D6-E711-413F-B048-EC4987DA939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e981093abb6386ba20389eb41032dcb8a4b43930","datavalue":{"value":"assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$0F92F248-7D1D-4C82-BA40-ECF2BDF1731F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bad1f6d15c6fa43a3793f9e8214ef203517a0d1","datavalue":{"value":"control structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$A68D22F4-BC45-49E8-8BA2-EDB7A7C70B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28985d04ce26cd9ca41917058f46c29aee254a2","datavalue":{"value":"free and forgetful functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$859C570F-2126-4140-9743-8292A8A19C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$3B4A010A-34E9-4BE6-AC49-905156CA2101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ec3a6e7bd554fba2d8e47e8901063190e851da3","datavalue":{"value":"conditional construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$7DE85032-8BEF-45E3-AE6B-0F0C35C57DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"522b7782107d19c0950575f012d664f004a7db2e","datavalue":{"value":"persistent functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$ADB0A251-1D47-4772-BB5A-F60259659548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"482bf16c80431f712af5fbf6329af06856297c4a","datavalue":{"value":"program variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$A4219372-3873-4FE8-ABE9-FBAAB83E5B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a433f0fc6df5ab885386e0269a90d8de2096fd","datavalue":{"value":"composition of conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$777D7FCE-41A5-4846-A0A4-1DBF21912E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3969854$0DFB4BAF-2C25-4E42-BED5-A17D273DB3B5","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":"Q3969854$B7BE57DB-0DFB-4748-AB21-B955F8225F0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3969854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3969854"}}}}}