{"entities":{"Q3208063":{"pageid":3218771,"ns":120,"title":"Item:Q3208063","lastrevid":45687742,"modified":"2025-12-16T10:27:33Z","type":"item","id":"Q3208063","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3649968"}},"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":"Q3208063$F982A150-627F-4C39-A08A-A7AFAADB29FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa49a055a5bbdaf2275a36de3a8fb07a8e30c1c","datavalue":{"value":"0417.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208063$B49A2EA1-CED0-402E-B318-CCF53534F30D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3208063$02EF7C6D-2537-48C6-996D-5FF835A9016A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208063$015B3123-D61E-4F02-874E-B72BD3B43E63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c41fd5f92c26709d32239836fdf30956449ae667","datavalue":{"value":"3649968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208063$8449C390-6ED8-4EB0-B73A-B51FBDAA0ACB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b9124d8648bd5dcca5d88dd76cc3e1cb4eab68","datavalue":{"value":"abstracto 84","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208063$C4DA0A4D-7EB3-4E5D-B33F-A0BDEE5DD764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f83e13698d313acd83dd459c90c6186e54516757","datavalue":{"value":"language design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208063$6A9B97F7-F243-440A-9D48-0646CF45D31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544dd6cf222dd3d6adc0310d00b2dfe4a91d88c9","datavalue":{"value":"transformational programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208063$3BE97A73-19B4-41E6-8DAB-CB6CBB3F42ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208063$FEA5B2CF-F417-4C0C-A1A3-7349820BD791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208063$4BB310F9-16B0-4B1D-8B75-7A3D5C435002","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":"Q3208063$48379BA7-D8B7-477B-BE54-F13F32BFB2A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3208063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3208063"}}}}}