{"entities":{"Q1805402":{"pageid":1816144,"ns":120,"title":"Item:Q1805402","lastrevid":46355055,"modified":"2025-12-24T15:19:45Z","type":"item","id":"Q1805402","labels":{"en":{"language":"en","value":"Hoare's logic and VDM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 754286"}},"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":"Q1805402$A3479240-B9BD-4D4E-A845-B2C0364058EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e485bff7ce248d890a310e88e6972d624a8415c8","datavalue":{"value":{"text":"Hoare's logic and VDM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1805402$3DAFCDE4-4ABF-4DD8-9634-5EBB07817829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3d6af863bac8e70a14fd462775b554dee525876","datavalue":{"value":"0817.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805402$A20E45B0-69C7-4625-A477-B8F679DF6C7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cf658d33134e1a59981bd8ca2e8a69c7c76eea0","datavalue":{"value":"10.1007/BF01214625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805402$B593FB19-B255-43B6-BFC8-0F1488BAF537","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$9935349B-A7E4-4FBC-AAA6-08A344209492","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$7401D3D2-62F2-4A7A-BCB9-9BCDDC46476E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988f00ba557ba8646bc38d7c65efb145608ede4f","datavalue":{"value":{"time":"+1995-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1805402$8D3060D4-2293-4C16-B137-4055E66C6128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805402$19118EB2-4BA3-45C9-8D5F-47A5B5041117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805402$C5F464E8-FD0E-4FB4-BD7E-E6F50E7BFEC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f53e761fbc5334975e8174e141682c3adf54d8a9","datavalue":{"value":"754286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805402$AB93793B-C206-4539-B3C6-A9B95B23A866","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805402$70865E19-420E-471E-9D82-C6B3A4DEB115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805402$A46E4339-4416-4A70-95D4-CCD74E927E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805402$58B75EAF-A325-47BE-8570-A3440E6F8F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805402$20340941-1E52-4324-8628-6931163D7C30","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":"Q1805402$356D1BD4-5141-4405-A8A2-E77E9260E591","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$8E335AD6-1B91-4AA4-9B75-0AB8BFD22FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$8B20D7D3-E548-449A-928F-7268093B0AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$86495782-274E-407C-841B-7C68E8CFEE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$F32A3DE2-49F0-4601-BA95-6B01476189C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$207E97F4-4B55-44CB-9654-73ADFC32F729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f5a1bf73ad7c6b6dc9013f79221f2ece1c6125","datavalue":{"value":{"entity-type":"item","numeric-id":1838825,"id":"Q1838825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$676FD781-F71F-447A-A343-53F102B160C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805402$FB3CAEFD-1484-4D69-BB03-71C167264F92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf9b278c5ac469666b82a7e588ed73c786ce618f","datavalue":{"value":"https://doi.org/10.1007/bf01214625","type":"string"},"datatype":"url"},"type":"statement","id":"Q1805402$04AB0DAE-6959-439D-9B88-1B96C3EAAC2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3de46aa18047f281eb3fe213ab770e2671666f9","datavalue":{"value":"W2095484401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805402$4820F07F-8798-44F8-A727-F1FEC1A3CEC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558c84500e9cf1fe44c8497e47a50f13711025cf","datavalue":{"value":{"amount":"+0.7899672389030457","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":"Q1805402$4DC1112A-BFDE-4065-8544-218A21007537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676e852624bbd748b1536a2c0fe63b182daa7f08","datavalue":{"value":{"amount":"+0.7859100103378296","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":"Q1805402$98A4B098-A200-4362-8CB3-D7E58952FC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4610fe29e653a496e2384046c05ca7bc84ead29d","datavalue":{"value":{"entity-type":"item","numeric-id":1924753,"id":"Q1924753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bc1464e88e6075c9c8ff9f857b38d82a6ff89c","datavalue":{"value":{"amount":"+0.7838109135627747","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":"Q1805402$2313ECFE-71BE-4B8B-B08E-189631D03977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c3dd7c254c93463f9f47844d3c4cfc2f7b31c6","datavalue":{"value":{"amount":"+0.7656174302101135","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":"Q1805402$DC8477EC-82AB-4A40-943B-3AEF4432DBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59267f35c650dafe313c4eaee81b2b550188f4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4312477,"id":"Q4312477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc5ffd29b58e2c75fe73f3744a6b024eaea36b6","datavalue":{"value":{"amount":"+0.7567395567893982","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":"Q1805402$8034750D-9BEF-4EAD-AE58-3DABF31A5508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1805402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1805402"}}}}}