{"entities":{"Q5902541":{"pageid":8012196,"ns":120,"title":"Item:Q5902541","lastrevid":50871665,"modified":"2026-01-15T12:44:06Z","type":"item","id":"Q5902541","labels":{"en":{"language":"en","value":"A syntax-directed Hoare logic for object-oriented programming concepts."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655964"}},"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":"Q5902541$8969AD32-9870-47DB-8967-CAF0ABF1D667","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363ca424090ed56c7c7a013242ba064621ef3cf7","datavalue":{"value":{"text":"Formal Methods for Open Object-Based Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902541$952FC848-D004-4370-BBFC-69C589D64990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c514e05c05165d413eedbd10c801026538aa102d","datavalue":{"value":"1253.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902541$03335E76-2D41-4789-997F-DF022A02C907","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b732ee5187208e4a6dc98c3fb56aff4c884cb9fd","datavalue":{"value":{"entity-type":"item","numeric-id":2571206,"id":"Q2571206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902541$CC0AB276-1E24-4B4F-B0A0-6E6F5629390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902541$565728E9-86E9-4F7F-B915-8B158F2271DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902541$18B6C349-6C77-468D-99ED-EC95632CB4DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902541$90DFDDB2-79BE-41F1-BF3B-7AF822632B63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902541$4E833E71-342D-4E0D-9F4E-BE9AE7ABBAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902541$EB18E37F-7D50-4981-922D-21C6F3E88DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902541$0703F11C-C960-47DE-92CD-6BB5CB56DA64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d52ae28b30167aba0bb605ed37145bcde1729aa2","datavalue":{"value":"5655964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902541$60B31A81-F52C-447C-A751-D4EBE749C4CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902541$86C733B8-69DF-4F2C-951D-7E19B287E298","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":"Q5902541$3DF50D4C-17CF-4E7D-81D1-86B83BF27697","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ecfb77cb46c115fc8dde8520100c4c50d11d0d","datavalue":{"value":"https://doi.org/10.1007/b94120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902541$FA606D22-3156-4D71-8012-8195C91D2C06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902541$0B884F5D-90B9-4666-A4CC-24A5470A28E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902541$869BA4F3-AB50-4BE2-9BA0-C3C0005A103B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2394bbb3853ecf63c20bcb8236988818ed2daabe","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c073dd82851350d75fca881cb08e05b180123ee","datavalue":{"value":{"amount":"+0.8534184098243713","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":"Q5902541$B168CAF9-9662-4312-983B-10695BDF8E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02658ea832e71a99ea5469476d7e1df85df4a9a2","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f2df1c0e7e80b3aec7687a45506aec4649bd1e","datavalue":{"value":{"amount":"+0.8290553092956543","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":"Q5902541$E13B7980-0273-4DDB-B23D-CD13B21F9BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ae75dcb6292175f166ba647ace62c7ae055e37","datavalue":{"value":{"entity-type":"item","numeric-id":5311301,"id":"Q5311301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2457740ed9324ef4baa783d2b3e1525487dc6be7","datavalue":{"value":{"amount":"+0.807612955570221","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":"Q5902541$9A6C1A79-4A95-4C72-A62F-ADD0FB45A8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6aaebf68c59600c5656aefd5570e3997509162","datavalue":{"value":{"entity-type":"item","numeric-id":2026792,"id":"Q2026792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebbe25686366e38aaeed228192701ea84abf4b1","datavalue":{"value":{"amount":"+0.7992531061172485","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":"Q5902541$5E12490E-2FDF-4E8A-A841-6B36205BA5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff65630b99019d89f30e1a1675eb234adb5b6ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a60c9c22317570f2e1b58527c871ce8520ee739","datavalue":{"value":{"amount":"+0.7919479608535767","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":"Q5902541$C65598AA-6493-4AAF-A54A-CE9A3B18BFC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902541"}}}}}