{"entities":{"Q2850296":{"pageid":2861016,"ns":120,"title":"Item:Q2850296","lastrevid":51835643,"modified":"2026-01-20T06:59:51Z","type":"item","id":"Q2850296","labels":{"en":{"language":"en","value":"Semantic properties of monotone Floyd-Hoare logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212492"}},"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":"Q2850296$08F53AA0-57E2-4850-98F5-09740C509238","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"452736ccee5fefdfded66f2ff0a954d2b5d9ba3e","datavalue":{"value":"1289.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850296$3648978E-7654-49E9-A924-27DCC86F1A29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5736b10882fcd248ee7728f1c7c88885067ebad5","datavalue":{"value":{"entity-type":"item","numeric-id":271899,"id":"Q271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850296$096E70FA-AD9C-4515-AC8B-162BA1B9B19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c686c55886f371d0db3a69328a2d90cee06df986","datavalue":{"value":{"entity-type":"item","numeric-id":2850295,"id":"Q2850295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850296$D4BF12B8-7D95-4F9E-AAEA-8ED7B1DB2BE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-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":"Q2850296$BB1C33AF-C37D-4D81-B248-E5333BBE95AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850296$1DCB4F2D-8E59-45AB-8A9C-1CD7FD5BC22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850296$D2098AA2-029D-48F8-A7F4-D97A41B473F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f665ea68ea2a960a27f123c83992447af5c4638","datavalue":{"value":"6212492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850296$A71D16F1-26F7-40E6-BE47-2877AFE41AD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850296$CE006AF1-CED4-41CB-AE9B-B44F227E1301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eec8c863c19bda352011252eb441ae0cc8291d89","datavalue":{"value":"partial predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850296$5773DEF3-DD55-4641-B578-A7C53FF4197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1f584cbed03810cc1c44c714a20b6c059050d1a","datavalue":{"value":"composition-nominative approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850296$063E33F2-4D0D-42AB-A276-8F1DD982F7F4","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":"Q2850296$AEE72970-E9F1-4C1A-9A13-EDEA47CB8BB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5031ba03deb574a99e27f5db5100b47e47840352","datavalue":{"value":{"text":"Semantic properties of monotone Floyd-Hoare logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2850296$AEDC2D80-B25A-4B31-9F76-9C49DAACB7A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad2dee7d47d7dcc1a11d7db2f11f00ec159c5374","datavalue":{"value":{"entity-type":"item","numeric-id":6648625,"id":"Q6648625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850296$C48F6400-D729-4221-8BE3-A2B226824526","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb845aa60906e5a9c5c63b82e72f88a5660e418","datavalue":{"value":{"entity-type":"item","numeric-id":3464364,"id":"Q3464364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34c504b8faae2d21c9fe3506462018d56d37033","datavalue":{"value":{"amount":"+0.8287683725357056","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":"Q2850296$9DD61317-0FC9-4AF7-B045-C8AA82F84467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65a7a6bef1bd7ab2fe9514ee3c9a3724ba8a113","datavalue":{"value":{"entity-type":"item","numeric-id":1317433,"id":"Q1317433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70683bbf6a4d8582fe98aec7e274a6d3ff851f7","datavalue":{"value":{"amount":"+0.8159464001655579","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":"Q2850296$24F8FF1C-9585-4145-B004-97CD55BB5C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da56f187f1fe8b9722e80b42fcfda2768aaac89","datavalue":{"value":{"entity-type":"item","numeric-id":5254639,"id":"Q5254639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81879fa673c142a2a57f03154a677b0a6cf44b8b","datavalue":{"value":{"amount":"+0.8113415837287903","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":"Q2850296$AB394C6D-14A4-4FA4-8A63-7D24466BC2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd2740193add98900db4272ed3db8f021d6fc98","datavalue":{"value":{"entity-type":"item","numeric-id":2311523,"id":"Q2311523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d76d48598cb535ed3a38f1a0ab8284a42756ed2","datavalue":{"value":{"amount":"+0.783667266368866","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":"Q2850296$1F4AC872-078B-45A9-8A53-97CF2E6CBF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4000f3e910fb88358a7de6b1a38b7e88dcae90bd","datavalue":{"value":{"entity-type":"item","numeric-id":4302858,"id":"Q4302858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96c6f50e00d500f6c30cd09689b0a2a6f715cde","datavalue":{"value":{"amount":"+0.7705788612365723","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":"Q2850296$E1AA22C2-6F5C-4E73-A6A2-069EFEA68560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2850296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2850296"}}}}}