{"entities":{"Q3948574":{"pageid":5978479,"ns":120,"title":"Item:Q3948574","lastrevid":55074151,"modified":"2026-02-03T10:18:42Z","type":"item","id":"Q3948574","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3767015"}},"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":"Q3948574$C2ADB1F6-B400-4D74-8BE1-1DE7AB145D36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"679b23f6881d372d5b3b0e6d4c5a2987f2972ae8","datavalue":{"value":"0487.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3948574$7528F711-8530-4761-9DF4-FDAAC197E097","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":"Q3948574$94CD3AE4-3085-4782-88D8-8C9B54ECC270","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3948574$A8A541C9-8FBB-4744-810C-8C73FAF8AE2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5bd76b059b7ea11e25ea1c8ab8d587004e0a3b8","datavalue":{"value":"3767015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3948574$6B5DEA06-C0CF-427A-8FAA-E304EFA83DAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc10871a67b6b639c9b659a9dd5dfcfcfafc824","datavalue":{"value":"Algol-like programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948574$085AA1D0-AECA-4A8B-A0FF-7B4ABA177314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"373e55e6444a297d5fb9e43f61790b7302dd498b","datavalue":{"value":"procedures with procedure parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948574$DEB0B83A-B7E4-4E23-8719-30F4FA8EEB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e16cc3c1458fc6eddb21f95bddefceb6059cd51","datavalue":{"value":"Hoare-style proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948574$2F82D044-0D80-49B3-9C41-5FEED28B61CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee535628e39270cfb1233d689fd017a4bf76a924","datavalue":{"value":"deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948574$86F9496A-DE43-4775-9D4C-BEAE8803E0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948574$DA9A7FED-9111-4BED-A447-2B3C05139AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948574$F2409909-00F1-47FA-BF32-3B6DC320E55D","rank":"normal"}],"P16":[{"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":"Q3948574$DA25C358-F2F4-416B-AEE8-817DC4BC4A2D","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":"Q3948574$83DA94C1-E6BD-420B-B13B-1E9CAA6A57AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3948574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3948574"}}}}}