{"entities":{"Q3917477":{"pageid":5947382,"ns":120,"title":"Item:Q3917477","lastrevid":54988621,"modified":"2026-02-02T14:17:45Z","type":"item","id":"Q3917477","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3729430"}},"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":"Q3917477$5BF690AA-89CE-4C21-8AE6-D849C549C947","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"573c5fbc62e2169420a46b7b4b5f7615e16dcd9a","datavalue":{"value":"0465.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917477$8672A53D-695C-4CAD-B852-E271286AFAC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3917477$87FA7BE3-2742-434A-9C79-D66481882587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3917477$478963AA-36EA-4A30-841C-B75CA14D0735","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":"Q3917477$209EAB08-887A-40CF-9CAF-20281D6F187F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917477$EBBD018F-6A51-44C2-A0AF-0B83A8144745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917477$70131153-408C-4D10-A900-09307954A62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917477$0D155E6F-78CA-41F8-9AF9-614436104DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917477$86BFED8D-C434-4ED3-94A9-A6E7B6C5B4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917477$86F868C3-18A6-4F77-AF3E-B3F71F9253E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"633c8b5f2f614b55bbae078a3b604c86d42e814e","datavalue":{"value":"3729430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917477$56FFED43-878B-42F2-B388-13C7E17F8460","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42385af3cdea285e6c34f06bcf3fa7c971ddbebb","datavalue":{"value":"algebraic Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917477$7CAE22B8-D93B-4264-A282-A88BF578AF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c02cd4ca8ec708288eda9bd04cdd3dd5a8897a1","datavalue":{"value":"computable datatype","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917477$58D97383-9BEE-4BAA-8A26-4EE9DF93BE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d83273420aff13e657dfb251af4675070a22980","datavalue":{"value":"equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917477$E2221F1B-A25A-408D-AA6B-C7B186440B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9e9fa52a5f92068e0ebe18dffdda46be58382a","datavalue":{"value":"initial algebra specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917477$5480A077-B38F-4FD5-82DE-ACCDD18C7649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c846ca541b88bc2388979c9e7e6acbcc27ec167b","datavalue":{"value":"partial correctness of while programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917477$16CB283A-17A9-4EC2-A086-B35479CEBF30","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":"Q3917477$1678E1E7-3362-4EF8-9F48-34287F18E946","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3917477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3917477"}}}}}