{"entities":{"Q2311523":{"pageid":2322266,"ns":120,"title":"Item:Q2311523","lastrevid":78563498,"modified":"2026-05-06T11:53:38Z","type":"item","id":"Q2311523","labels":{"en":{"language":"en","value":"An inference system of an extension of Floyd-Hoare logic for partial predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7078676"}},"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":"Q2311523$3AD6D5ED-E519-4580-AD4C-C646A1213675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75dc098191fb23c2e83a7caddedaa9e96dc95482","datavalue":{"value":{"text":"An inference system of an extension of Floyd-Hoare logic for partial predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2311523$4090B689-641E-4528-A78B-4EA2431D0391","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1aa75daa902efd4086e543cd6358023a75902756","datavalue":{"value":"1422.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$34B1B988-A3A9-4AB3-A6E6-2069E8BB2298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e5a0a219ac98a153cde5448dff95be1f29ecc27","datavalue":{"value":{"entity-type":"item","numeric-id":271898,"id":"Q271898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$06F51FA2-AACE-4F5C-9B16-BA07673A3357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$265D1AF5-92DD-45A1-ADD7-A749429E4DDC","rank":"normal"},{"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":"Q2311523$9188EE61-DAE7-4BD3-8176-27E514B1CD42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$83161EFA-0E86-4076-A82F-0D797C532300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4c5ce9058e70e86b27db6383241102ef321cb0","datavalue":{"value":{"time":"+2019-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2311523$CB357185-6C5B-46B7-9EB7-1C85627B6762","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$1E89A16F-B66E-4F3A-94AD-6770FCE7D7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$4BA4E42D-521E-4810-A07A-E48E52493571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$8FE83F19-D82C-4270-835C-49C3D3A699FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$BB975004-80EC-4877-9AFD-52C91CCB2D8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"107a0e5cdb77bcc6c48f13691c045ec0b5b2b23c","datavalue":{"value":"7078676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$3A0952B8-B36B-4892-B400-BCE1BBCD73F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f082d23ececda4495232af64202f592a5942f2","datavalue":{"value":"Floyd-Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311523$1D6DC2E5-ADC5-49B4-9AEC-BC92ACC87579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eef5b78393751fdffee89d1fe9e2bb790b950778","datavalue":{"value":"Floyd-Hoare triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311523$5A211835-95EF-4745-A80C-86DC49189298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311523$85D880D0-8279-4A5B-8913-8AC71AD9C4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311523$3C20B5CD-ABC1-4048-B207-6D56E51FD63D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$67C48CD7-15CE-4E37-A598-27DE643BC6F6","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":"Q2311523$3FE4D264-1F96-460C-A03D-B34E653AE591","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a1552d12ef3844e1f33013c5b11e9591f36f76b","datavalue":{"value":"https://doi.org/10.2478/forma-2018-0013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2311523$71F3ADB2-C5AE-48C9-BCD8-D486803CEC73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"855cceffe24f98bdfe63503a2351c107a00ed2b5","datavalue":{"value":"W2907861474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$8E66736D-D636-435A-88BC-8ECD0BC79DEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$8BA6EE15-73EE-4358-BA84-4214DA0DA4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$D89A0460-307F-4CF5-AA0A-5E0DE6D94616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50098f7373776d4560222ecc8a748602d90caa1a","datavalue":{"value":{"entity-type":"item","numeric-id":1688748,"id":"Q1688748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$1CF67F82-8E25-4459-BED6-4EB21E3C2255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeae895a2eedc4d5094f7da768129446f8f2e69","datavalue":{"value":{"entity-type":"item","numeric-id":1650410,"id":"Q1650410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$72C7BB4A-EB4B-48EF-9B32-ADA86FF5FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804d612aa23ca04bde66555843a754f787b9f3b8","datavalue":{"value":{"entity-type":"item","numeric-id":1796766,"id":"Q1796766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$4BC33616-ED18-4367-84F3-EA41769E4BFC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3f5987c6244f4b608dfa9f353b12cfdccf9c235f","datavalue":{"value":"Q128657926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$D5DEB9F4-D8AB-4F31-8008-1E10F39514FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5726186dd3baee833c3660902165424e947a89d0","datavalue":{"value":"10.2478/FORMA-2018-0013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311523$72A3A753-B8C8-4787-9714-A3F2FE3EF699","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29005388c422c91663bd4dee53302a3620430792","datavalue":{"value":{"entity-type":"item","numeric-id":5746017,"id":"Q5746017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192b8ed8ef7d962a8fda31a607d921eb0cf80b6e","datavalue":{"value":{"amount":"+0.8820504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$DAED5769-605C-4A1E-9A28-213B66932F1D","rank":"normal"},{"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":"1f454a1df898d344f10e41ff58f238d15df379cd","datavalue":{"value":{"amount":"+0.88092613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$8BD16158-B567-4831-B4D1-7C8E8F5C2AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fec4e7deecb0f7024e304691aad87c74e55c5a9","datavalue":{"value":{"entity-type":"item","numeric-id":5311050,"id":"Q5311050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9209c3aad405bdbd4cdf37620f884efe91ad996","datavalue":{"value":{"amount":"+0.8784692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$D9697D03-6A1E-4E9C-8CF5-8ED51824CF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6675a8677c1689199cd1ca719e30be2b4a201317","datavalue":{"value":{"entity-type":"item","numeric-id":3813851,"id":"Q3813851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa60541b24a137953e30257b607ba908348582f","datavalue":{"value":{"amount":"+0.87691516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$346BD9F6-EF36-4E42-9A6C-4DB45B8E0A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84539b3542c488b06c971dcfe8ae7d9d49005c60","datavalue":{"value":{"entity-type":"item","numeric-id":4798419,"id":"Q4798419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c7a7b2adec29c34aecd2a46a4ea7e0c18b5dfd","datavalue":{"value":{"amount":"+0.87611425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$B94B11BF-6DD3-4817-8C84-83897ED718EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1125fd08c9b48b75ae71422de0fb29d56e97e9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2993257,"id":"Q2993257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82bd2f0ef7498115a0252101ab042fb06a2c9a9","datavalue":{"value":{"amount":"+0.87576663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$454A43DA-4AA1-48B1-9BC2-A76E48274D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645abf4b915901b51cbbe9587d2f5d49f4f9a967","datavalue":{"value":{"entity-type":"item","numeric-id":1610676,"id":"Q1610676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf73e7d64e19aac1705db7a05b6f212bef465e3","datavalue":{"value":{"amount":"+0.87464404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$F69F6F30-4143-422A-84BA-D591F87CCEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51960c901bf538fdaba0fa6ee253caa9d32ae175","datavalue":{"value":{"entity-type":"item","numeric-id":1762230,"id":"Q1762230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467d14bffb4784b10991d473995f9b4943e76b46","datavalue":{"value":{"amount":"+0.8738691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$BEF89EFA-8A60-47B2-BA0E-FE822719D06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6303aebf5891c318f4669e51aa2350b73e0837","datavalue":{"value":{"entity-type":"item","numeric-id":5746107,"id":"Q5746107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b258b32540c083768985d66ce60cdc657ca53492","datavalue":{"value":{"amount":"+0.8702556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$D65436BF-FDBD-4B3C-B427-3C2DC46E68B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5652f6ea177e26c0e269378dbed95cca44f56bb","datavalue":{"value":{"entity-type":"item","numeric-id":4353623,"id":"Q4353623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6856302d3a51bd05c7fca432572e91ddb8f1fff1","datavalue":{"value":{"amount":"+0.8684414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2311523$893F533A-70E0-4C28-B2A2-0F8ECE7A79AC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311523$709088CE-F369-45FF-8D6F-9408EDF90B69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inference system of an extension of Floyd-Hoare logic for partial predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inference_system_of_an_extension_of_Floyd-Hoare_logic_for_partial_predicates"}}}}}