{"entities":{"Q5889306":{"pageid":7918856,"ns":120,"title":"Item:Q5889306","lastrevid":57189045,"modified":"2026-03-27T10:27:05Z","type":"item","id":"Q5889306","labels":{"en":{"language":"en","value":"Indexed and fibered structures for partial and total correctness assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676411"}},"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":"Q5889306$9C482EFB-8313-418F-B303-717E3E7BEE7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ca251033fd4e9eb8f3a2a8707f7eec982ed5b31","datavalue":{"value":{"text":"Indexed and fibered structures for partial and total correctness assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5889306$005CDE75-10C4-451B-B91D-9042575AAE8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23d8ba9aa2975d13c9bf2fc737eb30ed885ec2bf","datavalue":{"value":"10.1017/S0960129522000275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889306$C24FF692-E2DB-4D7B-8C84-6ED2CCFE1F6B","rank":"normal"}],"P16":[{"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":"Q5889306$314FC6FD-A24B-4214-9189-D34FDE3AFA1E","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":"Q5889306$799AE0B9-2424-41C3-899C-C6F7840E6F2F","rank":"normal"},{"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":"Q5889306$7B9012F6-C48E-47C6-A773-675893A2806A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$1C59A2EC-9159-42F0-8A5A-892216B15900","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45170dd21fa676e67e724b08d39d43dc9ec45445","datavalue":{"value":{"time":"+2023-04-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":"Q5889306$62A1219D-7E1F-4FFB-B740-6B8657942D04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889306$B486441E-D2B7-454E-84FC-97708A097AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d96d3bfe2b2b3b39154c037b2fb9e56c6e72d501","datavalue":{"value":"7676411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889306$464AFAB1-557A-4253-933C-442DB6E2CDDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889306$17C0A2FF-964B-482A-8F1E-85E72EC5C646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77526ca6ed45a4455cf978fe76b2d850ce91b19","datavalue":{"value":"partial correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889306$C52E8594-951F-437D-861D-0D79E3D80279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9240fd2a43bae7fe2364257a97d2069ed914ce10","datavalue":{"value":"total correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889306$9ECEFF1D-E84A-44B6-BED3-67AB7CA35D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889306$47902C52-68C5-4376-8DA4-A0A8BF1ED6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889306$1F1899F3-05F0-4C41-998C-7D4224233279","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$F7C0D054-E7C6-44A1-BE7C-2EE32E2EADE6","rank":"normal"},{"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":"Q5889306$4B6EFD7E-C06B-4673-ACAF-FF18C542F8BB","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":"Q5889306$5652769F-5DE8-4002-85F9-4A73EA610015","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f3322c5429041e9841c2c142ed34225680add8","datavalue":{"value":{"entity-type":"item","numeric-id":2133463,"id":"Q2133463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$02F7165B-477C-4E9E-A598-6DFFE0325533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$E7DF7CDD-BAE6-4E2D-8C35-ED5CB512B7AF","rank":"normal"},{"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":"Q5889306$EA48CCFF-A45A-4636-BE7C-CC67FCD4FDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$B9830ABA-9C58-48A4-86D4-CB3CCBBB1EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$C0C0471A-E812-44C5-AD8A-D79B6A7AD6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$37A97177-6913-40EE-85D2-3E696A8EDE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$D05C8976-B025-41F6-898F-D1E3227FFBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eac54ab38ee39e26723094752e3f3419e4d7afc","datavalue":{"value":{"entity-type":"item","numeric-id":2233460,"id":"Q2233460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$D5426ECF-B187-45F3-AE25-3537FF93EC46","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":"Q5889306$5258E87D-243F-4374-96C9-FE76DF8A19AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9feb11a77fdba57e24b265e2c115c8bdbfb70d","datavalue":{"value":{"entity-type":"item","numeric-id":5271064,"id":"Q5271064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$ADD8FA1B-96B4-4926-AFB4-882D1191B9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$949C3C8C-C9D3-4EE6-A0AE-AE5B91F4E1E5","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":"Q5889306$0BAB4474-6CCD-4B01-ABA2-061027D1E4CC","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":"Q5889306$206D50C2-F63F-4869-9035-E43E5F7F5548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$3AC5A940-D46D-4875-AA96-FFB83DB3AAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106deb6aeb6cd6f238c87ee99fc1702adbc96bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3613360,"id":"Q3613360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$3D118479-DD98-461E-A861-B0282AF21B73","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":"Q5889306$517F9A66-D8A7-4F4F-8D34-20092C5E317D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6a8a6e352005f2a3b3ffe78f5b298fe0f67146","datavalue":{"value":{"entity-type":"item","numeric-id":5176546,"id":"Q5176546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$46936684-BE48-4E4E-9A8E-F15EB93CD103","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb67384c31fb0e2d2aa428e522137a57a37c3e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2219084,"id":"Q2219084"},"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":"Q5889306$87946CFD-D6BE-4BEF-9517-71153E9FCD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcb65e092eb5ae6f63b5fa479f6942638d55972","datavalue":{"value":{"entity-type":"item","numeric-id":2757831,"id":"Q2757831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bb29b2b6a4cb8338b6052def8e7f70779e0ee7","datavalue":{"value":{"amount":"+0.7521176934242249","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":"Q5889306$0A549CC8-284B-465D-BD52-F78CCFCDFEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ee5a5b3fbcf113ffbbd7886f1d8c4ab5994c80","datavalue":{"value":{"entity-type":"item","numeric-id":2946594,"id":"Q2946594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e2cffdad179eff686ad61867a58e451c30add8","datavalue":{"value":{"amount":"+0.7511364817619324","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":"Q5889306$602E87E3-4BDA-48EE-B320-7BC0BDBA6999","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":"2ec66adf863c8a2275104145c85eb89dbc0c2065","datavalue":{"value":{"amount":"+0.7499393820762634","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":"Q5889306$06955189-968D-464D-BF54-D92B48092DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dfa17040c705420c2b156bf9fc17fdc2a3345f","datavalue":{"value":{"entity-type":"item","numeric-id":800712,"id":"Q800712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efb05cb10e5be7cd772d7e456de4b9de09064cf","datavalue":{"value":{"amount":"+0.747958242893219","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":"Q5889306$5165EA8B-3466-4CA9-B70D-20DB374133BC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889306$D22FD86B-2592-434B-9F5C-63547EAEADAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5889306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5889306"}}}}}