{"entities":{"Q3853101":{"pageid":5883006,"ns":120,"title":"Item:Q3853101","lastrevid":54525527,"modified":"2026-01-27T23:03:57Z","type":"item","id":"Q3853101","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3653499"}},"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":"Q3853101$2795DB5D-ECAC-4A5E-8707-4E1DDDDE5DD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16b009739e98526d68aaaf316ddd92c044341903","datavalue":{"value":"0419.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853101$89EF7DEF-AA36-4DEA-AD85-8D3E0265A3C5","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":"Q3853101$B8A80443-048E-4AE5-8896-AA4D653A6E1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853101$7B5BE827-C33B-492A-BB07-CA8265E0CFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853101$52BBF584-5CBB-44A5-AA4A-D64F047C7675","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9493d9086893ccaf268e9cafeebc3737a3a690f7","datavalue":{"value":"3653499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853101$4DFCFDED-96CA-4081-8EBC-CFE2A986B180","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f382e209fb3f20a3a6f7649cbbcfd8c2bdfc67fc","datavalue":{"value":"goto statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853101$A7588963-C628-4547-BDEC-9253CA644A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853101$888CE683-C494-4C67-8DE4-893E02CACD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853101$5032A4BC-962B-4D69-80CB-73FF5AC7F708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853101$18D0DC3A-CD42-4847-9068-0345D3EC5280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3963ac93156cba3df8c7f173ba9358019548e92a","datavalue":{"value":"Hoare-like deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853101$7BF8EC4B-6F59-429F-846F-497FA8C3CAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853101$16E4BBE5-5AF1-4D43-B143-D35DC99D8C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853101$B77D875D-090B-4FDB-BD20-C7C247637937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e659c0dd63b1987ed9bd275c424b66e41c92a04","datavalue":{"value":"continuation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853101$01E2DA86-3043-4C66-9FE3-2E085F9EC891","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":"Q3853101$A53F503D-4A3C-4A27-85F1-A7A65B9B1A0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3853101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3853101"}}}}}