{"entities":{"Q4823140":{"pageid":6852720,"ns":120,"title":"Item:Q4823140","lastrevid":74926689,"modified":"2026-04-15T01:02:56Z","type":"item","id":"Q4823140","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2110620"}},"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":"Q4823140$9A94A5EB-100F-43DB-97CF-EE0CC4B78D9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49d2319a7131f5f78900fcd823592e5f40c714e7","datavalue":{"value":"1068.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823140$B31B1DB2-C175-47D0-ACF2-F3683FACC119","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823140$7E87720A-2BE0-49FC-83D9-EAB19E4F7CED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d189060835c8b07830e372ef6f5a59e9a201b3","datavalue":{"value":{"time":"+2004-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823140$24EE8FE3-006D-4105-B070-BB1723DDB36A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823140$009411CB-6A69-4BB3-BF42-621F3E6F2110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823140$A9D8F505-4EAA-4CD6-A7A0-5CE30EE06303","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af781f2a6d97a41deefa7423b3306acd433b4cf","datavalue":{"value":"2110620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823140$326A65F6-CE4C-4245-B360-B4BE5C079961","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823140$AFB7A95C-FFD7-4963-BB43-567642B3E809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823140$4AEBE88B-D29E-4BD0-81A7-341708E89357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"482c3f845cac6032b06a93fcee39f4c998594eff","datavalue":{"value":"propositional Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823140$E3A8C148-332F-4EE2-B8A1-2C87631D928D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823140$5E48F25F-CB3B-45EF-A961-30610F1C10F7","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":"Q4823140$DEBC0ADA-E26D-49B3-A4C6-FB3A53953630","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a02dd3cc93ca3c9a0e16106fae253dc2e0af80","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615c635658ac76c8ef41687a256fbc992f7ea0f0","datavalue":{"value":{"amount":"+0.8713645935058594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4823140$9A4A13B3-8F3F-4F7E-9BE7-3CD1F53E0A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e685dd3d6d5059dc0bd8a2b049a131d647774c","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bf386ffe0e2c57aadb06d819ebfb9e75f80130","datavalue":{"value":{"amount":"+0.7956153154373169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4823140$88B6DA03-4AE3-4B25-8C82-815A7338DF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7278c5a3b26be6a8568a98057b17d9774024fe2b","datavalue":{"value":{"entity-type":"item","numeric-id":4505700,"id":"Q4505700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc24ab7e52de159b1ebfc909859502ff7900959","datavalue":{"value":{"amount":"+0.7943203449249268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4823140$441D8F4B-66BB-4402-9714-4F28EEF5A081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb4a09b3436528ff53ecbd19b34ce8215675f75","datavalue":{"value":{"entity-type":"item","numeric-id":3221388,"id":"Q3221388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c94abf916a46057658567d07e099be399850d92","datavalue":{"value":{"amount":"+0.7943202257156372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4823140$3531EF4D-7C6F-40F3-9FCD-821DEC0DA0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed9f18728efbf178c12c394f7c72ef61968d349","datavalue":{"value":{"entity-type":"item","numeric-id":1122978,"id":"Q1122978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549654c429b4008c4ae7e15816eb4f96a955ce58","datavalue":{"value":{"amount":"+0.7841460108757019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4823140$91B3DA15-6EB2-45F5-9DA2-526D6FD39A0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2110620","badges":[]}}}}}