{"entities":{"Q3883459":{"pageid":5913364,"ns":120,"title":"Item:Q3883459","lastrevid":54613925,"modified":"2026-01-29T14:17:21Z","type":"item","id":"Q3883459","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3688676"}},"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":"Q3883459$761B5BEC-72A2-402A-81A1-D09E65EBC9D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a6c1c8a805e5a702cbf5cf9b18af339f37f4fb5","datavalue":{"value":"0441.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883459$871DCB25-8F18-4F7E-913F-6851A78715CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7236b524ba7733f5dd7009017dd3d0f2931908d4","datavalue":{"value":{"entity-type":"item","numeric-id":1013083,"id":"Q1013083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883459$224405A8-DF9A-40DC-9BA4-16A951D7D914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883459$3D878CE8-39C2-4448-A16E-B2E4E3D57618","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3883459$1F6F333B-3C40-40B9-9AC9-204A7F8BC043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883459$016BAE6C-20A8-48A1-B6DD-F980D82AB17C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df233a43a0733e0b9eb19f835a96daf817fa3998","datavalue":{"value":"3688676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883459$0834C518-D902-4700-A9B2-AC8BBA282D80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1017146e23b79343cb4870e54fa42e2b43619ad","datavalue":{"value":"ALGOL-like programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$7E6E28B1-0E3F-41E6-BEEB-01D366089C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07c9a1854c1d9456faa0e73c383c693fa2aae833","datavalue":{"value":"copy rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$A177E807-31DE-4C89-82A4-00293C427875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ca1c4330e07fd7882a16a16d37213ddfef68ae","datavalue":{"value":"static and dynamic scope","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$1B02F772-E336-413C-8709-C42EF71C9EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$657C165A-9848-4E39-A3AE-79F12FB9E07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e91a99118884ddb72e69a41f1e7164058e2fb8e5","datavalue":{"value":"Hoare-like systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$A7FE7ABD-9C42-4F4F-83F1-BB0BE6ACED6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$F3B2ABF1-62F3-4AF3-ABFA-63FC46746ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2323421b7f8b77555258d87741ac7c95c4d2a66f","datavalue":{"value":"divergence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$B4C97416-9530-416E-BDB2-37B4465295BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23891206ccdd049860af7e7e4cf43deae8a4170","datavalue":{"value":"self-application","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$FA5B98DD-5AC7-41B2-B496-D8D05ED9BD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883459$81D15D29-3F5F-4808-8690-3D59F77B672B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883459$CFE7F32F-8E89-4A70-9778-2E2BFA58EF39","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":"Q3883459$F18C3A97-EF00-4581-A9A1-26C11CF0033D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3883459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3883459"}}}}}