{"entities":{"Q2219084":{"pageid":2229827,"ns":120,"title":"Item:Q2219084","lastrevid":82661153,"modified":"2026-05-06T21:26:30Z","type":"item","id":"Q2219084","labels":{"en":{"language":"en","value":"Indexed and fibred structures for Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297795"}},"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":"Q2219084$76ED1B58-6079-4841-9851-36354DECF1C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c9db723941adc043fd7a45a1c9392a3237384bf","datavalue":{"value":{"text":"Indexed and fibred structures for Hoare logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219084$2F47CE1C-85A5-4C8E-8B2D-9EB77DBE921B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd13a004fe7e9018505c33d0df2aff3623bafe3f","datavalue":{"value":"1495.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219084$BA2638C3-96FD-4F73-9ED1-FBD67EA52D93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b219dde9559cc2dbe816c2e2bdcb9870e93cabd0","datavalue":{"value":{"entity-type":"item","numeric-id":2219081,"id":"Q2219081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$6DD31133-6560-44A5-82C6-96189977FB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17dd4380397b327155ca59dac8369b05ad969f93","datavalue":{"value":{"entity-type":"item","numeric-id":2219082,"id":"Q2219082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$0FD4613B-97A5-4141-862D-F65C5BECD8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$1237E63E-ECB1-4E33-B30F-2E7DCB91034D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219084$EC0AE679-DB90-4752-AF3D-1F5AF1B27492","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219084$87F26D3C-6061-43F4-B35A-00AFA6E5CCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219084$DE65C3BF-AE19-4BD1-987E-0F59B00EB2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219084$3E50DEAA-B2CD-40E3-97D1-5A652E19D9E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cef8da34c2452dd60e2ed332c8f504376052d446","datavalue":{"value":"7297795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219084$9B22B8AF-21AE-4D4C-AE83-8111F495D3E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219084$F79D7415-9C61-4C2E-A93B-80FE1341527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb02aa772d5ca9ab71841ccc7e5dfbc96f0964f","datavalue":{"value":"weakest liberal precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219084$AB7F189B-3224-41B2-BB9A-6DE5D9F583D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219084$0B5E91A3-BFBA-4E63-B4B3-5F99E12AF321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219084$1C17FA4E-D4D7-4FB1-B1ED-2AE829BE1F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219084$2996A60F-AB6D-459D-AC46-C02C265970C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1930e4bd76acfc6653ca8d2f72941229956755cc","datavalue":{"value":"Grothendieck construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219084$FA30247D-70CD-4EEA-93A4-A70C9B524CC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$95607A85-44C3-4E6E-81BE-E02876C47E97","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":"Q2219084$DE1B302D-5CEE-4850-AF8C-A19BF89D13AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebda22e32ea75cad7085d07546d93b75bf5ad9ab","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219084$2034BAAC-DE13-4FEE-BD42-32AFDD7B2BE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad4bd08dabd61f181cee43b3d077185cd05e9263","datavalue":{"value":"W3013738153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219084$811B4238-BAC7-4431-928B-6A5F54CEC537","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9fab8d8f8fcaeec57f0e69fbbf30b2e45ad9342","datavalue":{"value":"Q113317339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219084$97D1F3D3-B348-43B6-B1C0-D9EA09A83569","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$08DE4D74-056B-43FE-AFA4-2219E02EDE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$A2D309F8-D672-4B61-BD97-B157BC0ED2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"140e5ebc6bc3732e543c1f5ace19df76e24476d1","datavalue":{"value":{"entity-type":"item","numeric-id":3160259,"id":"Q3160259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$540C57D5-4730-4360-9A3E-5FDA2E3C15B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2d917a98e9ba47f267e20d5dc5fbd3a2f2e909","datavalue":{"value":{"entity-type":"item","numeric-id":4928425,"id":"Q4928425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$4FE78073-B576-43CC-BA58-6FC7D0BCFAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$B453890C-83BD-4502-8D43-9C98AFB60893","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":"Q2219084$9A3BED7B-126E-48C0-970B-1BB22D323033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4170327bed633cd7419b4ee7258748284301c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4302334,"id":"Q4302334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$73D6C003-CADF-4D2D-AB1E-FC9E7F143035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$997690E9-D415-491C-B82C-0764792A41C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c186745dd3ef330bd68e9c36703c16a3972189","datavalue":{"value":{"entity-type":"item","numeric-id":5436999,"id":"Q5436999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$1EE79812-5805-4214-ABC0-7C55B593020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$72507556-050D-4F4E-A7DB-6B3FB1F19095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$66C122AC-3E3F-4D00-9C2E-030167A68968","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d32ce9c22aad1fbd99a5904c39a6999e4332eff5","datavalue":{"value":"10.1016/J.ENTCS.2020.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219084$FFBC6810-8994-4809-AAE4-A3C81ACCA1A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3513f3745ba5f9d31a3c10b99e4a366811182cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5889306,"id":"Q5889306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95d576bb06d560d1cfdd80a7cda68579d06b824","datavalue":{"value":{"amount":"+0.8442569375038147","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":"Q2219084$B6FAF2E7-8DBA-4097-825E-575A090CD601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a59eef45f759032dba13d30f6236ad00ef587dd","datavalue":{"value":{"entity-type":"item","numeric-id":5436999,"id":"Q5436999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239ebb89373c5d054d9f40b2efce58e93e129c76","datavalue":{"value":{"amount":"+0.8152044415473938","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":"Q2219084$127CEDA8-9A05-46BA-81EB-1307FDE39BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fb83c5ab5e10f9558addeaa9ab5106832c96d0","datavalue":{"value":{"entity-type":"item","numeric-id":3986546,"id":"Q3986546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff6c08d4819d553408b81347e2c8875578fd270","datavalue":{"value":{"amount":"+0.7754707336425781","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":"Q2219084$FE2775DD-2BB7-4990-9F18-AF8B60F5CC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862d52aae74d5ac4a4e52a1890336b085ff1deac","datavalue":{"value":{"entity-type":"item","numeric-id":2996182,"id":"Q2996182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d611878626ebc91075abb0ea9a9f8df7d2814c4d","datavalue":{"value":{"amount":"+0.7712593674659729","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":"Q2219084$42BB872D-FA66-4B93-B1B8-FB79C4CA1B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab2208a8c1c3afffb34ff6959422d07dd717a2","datavalue":{"value":{"entity-type":"item","numeric-id":4302334,"id":"Q4302334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19193126739fd2895132d94db44d7fac3202706","datavalue":{"value":{"amount":"+0.7606750130653381","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":"Q2219084$2DC20B38-BCC1-4CED-B1CE-656133B37EE7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219084$0AB71A25-E956-4944-B211-3479EAFB95A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Indexed and fibred structures for Hoare logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Indexed_and_fibred_structures_for_Hoare_logic"}}}}}