{"entities":{"Q3925859":{"pageid":5955764,"ns":120,"title":"Item:Q3925859","lastrevid":55012402,"modified":"2026-02-02T19:39:06Z","type":"item","id":"Q3925859","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3740740"}},"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":"Q3925859$7928F1B2-D7E6-46DA-9FE2-91BED5F1F79E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5019d5f260645c5ac36012fbbe344ae3eb12bd82","datavalue":{"value":"0472.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925859$A9F593F0-962A-4E56-A760-471C6092D115","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3925859$6FE2AA7A-555A-47CF-90EE-BA9A0513F068","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":"Q3925859$83CAAC05-2846-44BA-8B37-82F5D377AAD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925859$8C5C694A-C7FF-401C-BC86-D68EEDA120BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925859$F6BF0B92-569B-4E38-842A-07BBAB069E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925859$7A59C6BC-018F-4B2E-BBB5-5A8241374781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"119eb488a2501517b5032bc6dec94b8096186069","datavalue":{"value":"3740740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925859$0FD65A74-2895-4859-B394-3385D25BF11A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925859$1CA15C89-DBFF-4F81-B18E-FFCA78D1625D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c1c87c959ae3336f940650f91b28d5b56efe6f","datavalue":{"value":"development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925859$D1E7F30C-9BD9-4C75-BFE3-506CEC423AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925859$00E8E68E-0F9D-44C5-A135-D71DDBD0D88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"833dfea086b23d667081f04ecde3e3a46a7fa0e7","datavalue":{"value":"Dijkstra's weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925859$F2EAC9B1-BDD3-4A08-9AF2-6A11E2473B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc35c5de2c26cd87ee86d21c103a4c4a707e571","datavalue":{"value":"Hoare's partial correctness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925859$B6035B72-1434-441A-9C85-B727F3050DF4","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":"Q3925859$7D3E49A8-66B5-4310-AB3F-E87082114306","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3925859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3925859"}}}}}