{"entities":{"Q5058365":{"pageid":7087941,"ns":120,"title":"Item:Q5058365","lastrevid":91148288,"modified":"2026-06-04T22:22:57Z","type":"item","id":"Q5058365","labels":{"en":{"language":"en","value":"Weakest preconditions in fibrations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7634875"}},"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":"Q5058365$8BEB6EDB-FFE5-45F9-916C-4FBA4E580A2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec831896cf5f9451e2ffb00eb9b1435dc2b59ac2","datavalue":{"value":{"text":"Weakest preconditions in fibrations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5058365$D2B438ED-77C2-4CD3-A9C1-0708835234C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d14e626438f6810be890428ea53de1f76464d436","datavalue":{"value":"1506.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$1A8C5615-6B94-48DA-8A7E-A1F3C6512B8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"411a46adfa12f56abac0e1117423d6f45416490b","datavalue":{"value":"10.1017/S0960129522000330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$2BB574A4-0793-4376-92AE-E2460FD6235B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca1362f66c9e3c909a39c34748d1b216a78e7983","datavalue":{"value":{"entity-type":"item","numeric-id":2133462,"id":"Q2133462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$7AE5312C-499D-4799-BFE0-244645A2120A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03210fd9ce4ad9876a1650d95ea915c3881207f","datavalue":{"value":{"entity-type":"item","numeric-id":1652970,"id":"Q1652970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$EA66E4D6-3124-4D7A-BF06-DB326EDC3D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58ede524bd6e9a73189c75201402127e2eb338ff","datavalue":{"value":{"entity-type":"item","numeric-id":832250,"id":"Q832250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$52DD6021-D5EB-4F35-8FB6-52EEECC66EDC","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":"Q5058365$9A1D76A2-5D0F-499B-803E-9B19A8EEEED9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"354f8a07359c96bc03092e439a646dc8de328ac7","datavalue":{"value":{"time":"+2022-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5058365$6B9402E2-A07D-40A2-A007-13EB1270A3F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$1EADAF09-A1C9-4A4C-81BC-6F6FEDAF8347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$FE78752C-3743-4513-8B4F-56E7632D8C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$CA70AFF5-B97F-434B-8674-F99164614021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$C353FD4F-655B-4F76-8668-1572FB2B2C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$763CC6EF-A2CD-455E-A621-6C4E553F3796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$5E6F2675-7E1B-4AEB-BEA9-92B101FECA67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34124ef3f93f794240bade02f477420092022c87","datavalue":{"value":"7634875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058365$826162AD-B74D-4011-91DB-117D7784BEC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058365$D17437B2-535A-4305-A026-28D3ABFDFA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb80064ca2fa95faa6b853920ad7922be2c2376d","datavalue":{"value":"strongest postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058365$F7F4AED2-00BC-4C77-BDDB-3B94830FDD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058365$FE283764-2391-4EF9-8D0A-E68A6B833F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058365$2EA33705-24CF-40A0-AAA4-AA96C4CB5B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751e37efbf8082f0fc895bdc4895d3880e1bb01f","datavalue":{"value":"fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058365$095960C9-850C-4053-BC20-0BAA095F2A4E","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":"Q5058365$E154FD76-B88A-40E2-8E4A-604D030F280F","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":"Q5058365$C1AA92F6-C3C6-4312-80F7-9380089F0AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a526ec59c544e05de173e8c74ff59db47564fd","datavalue":{"value":{"entity-type":"item","numeric-id":5370885,"id":"Q5370885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$654DCCA9-878A-4D76-99B4-A5023D183FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$28FEFE25-8F66-4D14-A906-FE4DA5C05A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$983C58AA-3A70-4B17-AC0C-D67943E3542D","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":"Q5058365$AABF1848-C4A6-4399-A56E-8AA0CDB36B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f80bd569568dd60e0aecd80316d7117694212d9","datavalue":{"value":{"entity-type":"item","numeric-id":879354,"id":"Q879354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$D9A1EFFD-8140-420C-A6A1-DCFE7900D418","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":"Q5058365$3E7C0500-A942-4365-942F-A39D21B079E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70310057f6e65c7bae9c8a38aad2028890ef7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$95E965CF-C383-477A-AE7C-0F4514C636A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336aaf7def72e45f4eaf987da6d63600d49e7fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5145654,"id":"Q5145654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$297136D2-736B-46E8-BA57-B06BB2C1766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea309f37c981e5b0b2835f097b6a2ae230d10a51","datavalue":{"value":{"entity-type":"item","numeric-id":890376,"id":"Q890376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$3B939595-D3A7-4061-A104-998832BC20B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae50c0eeab4227600a9ee43395fe61dbdc520fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4635931,"id":"Q4635931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$DA534A94-0586-42FD-85EF-7AD984FD138E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$8925D71C-B784-4A9E-BF81-53255F7E56BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$22C6F95A-3FD6-45F2-93F1-2E657A01B6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$E9454828-A224-4A0D-8B6F-25C1412EF525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$B0751906-13BC-454A-85EE-265FFC5205EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1b2121fb39961209147ea9074ea26e7b6ca52b","datavalue":{"value":{"entity-type":"item","numeric-id":5394571,"id":"Q5394571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$6A8E4383-E7D0-46CE-A415-1032AC90F640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dfec62a3b57280c51bf9451ff387180bda96e7","datavalue":{"value":{"entity-type":"item","numeric-id":4553284,"id":"Q4553284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$771719CA-4D98-4BD6-B534-460CD53AF402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104145a2ddcf895a9e50b05ecb74648a0f7293fc","datavalue":{"value":{"entity-type":"item","numeric-id":5664060,"id":"Q5664060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$5E04F4C7-A225-401C-9986-58BC0CF780A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$DEC259C6-F508-4097-9888-AE041777D03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$47750BBA-FF73-4077-B7A5-9E279638B6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$35ADB78B-5604-4DCC-9CEB-31B186C33AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f5bd7e02fbdebf5becb223f7027d33454969d2","datavalue":{"value":{"entity-type":"item","numeric-id":3432078,"id":"Q3432078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$869D866A-084C-4A7E-93DF-7A1096E2DB76","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":"Q5058365$D340013D-C840-49B6-B601-68AB440FFEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$535C214F-4672-41A4-BFE9-5B7C0F9CC5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d34a9c4e2d8231512ffc28ee4d474595b3025d","datavalue":{"value":{"entity-type":"item","numeric-id":2819783,"id":"Q2819783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$CF962F28-BFA9-40E7-AD9C-90964FFAAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$1DF08B26-56AD-412C-8BDB-3CF2C9193078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce42d0e1b28625faf6385be733adf88021aaed2","datavalue":{"value":{"entity-type":"item","numeric-id":4327833,"id":"Q4327833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$6643F67B-3BA0-464E-948F-A3518C2B85E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e973b2146ac3fb681ef35b74ed590882629fab","datavalue":{"value":{"entity-type":"item","numeric-id":5126106,"id":"Q5126106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$F76A65FD-E7A7-4535-8271-1CF53E726E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d50cb1a6d133c5815028e4157924452355310f5","datavalue":{"value":{"entity-type":"item","numeric-id":4499144,"id":"Q4499144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$C2368122-86C6-4FA0-A525-94019871FE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca56c8100a823695872d37fd629e46409982af4","datavalue":{"value":{"entity-type":"item","numeric-id":4917064,"id":"Q4917064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$8A954B4A-9315-41CC-9F54-F93C7A4AD7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5a8b2c1e1ddfaf00fdc8adbb66072bf07324d4","datavalue":{"value":{"entity-type":"item","numeric-id":5208509,"id":"Q5208509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$41208759-DF84-46F5-A6DC-D07694310856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$166B8828-AD12-47D7-83A4-245E583B2C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$EB75B204-1E22-4F68-85A0-869C7A384AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840589aa017e4bdd320164c9fcb16582bdcfe083","datavalue":{"value":{"entity-type":"item","numeric-id":2133179,"id":"Q2133179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$B00AED82-F7B0-4EA6-A684-2CB5AF5FAC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6069f71c29aa16adbe1325d0315b7bbcccfff9","datavalue":{"value":{"entity-type":"item","numeric-id":2219084,"id":"Q2219084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058365$08BCC99E-4691-4965-A46B-62F01A891A6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eeeff09f09fb2c70c24a8c54f4909178b15c9bb","datavalue":{"value":{"amount":"+0.7966044545173645","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":"Q5058365$60A5EDEA-201B-460C-9596-00930D419258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d51c5415f5cc6dd0804ccdacf176a148df37dec","datavalue":{"value":{"entity-type":"item","numeric-id":3783508,"id":"Q3783508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e186c9028079365455d975c0fe556f6176b5821f","datavalue":{"value":{"amount":"+0.78204745054245","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":"Q5058365$26162FFC-C20F-4AFD-A4B6-49EE614973F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bfb29dc4dbbe5cc4ecbf3880250c485d2c8385d","datavalue":{"value":{"entity-type":"item","numeric-id":2942773,"id":"Q2942773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b729934b7f6dcb39f8182923392c214ab6eb3b","datavalue":{"value":{"amount":"+0.7678953409194946","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":"Q5058365$77425A7C-42E9-4025-8E68-AABB64BE8FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce55a1d848848e0caa5e2473660ded0dee474912","datavalue":{"value":{"entity-type":"item","numeric-id":890376,"id":"Q890376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b909eb5cca27a0e30d53e06eeb5f49b9f6f07589","datavalue":{"value":{"amount":"+0.7668301463127136","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":"Q5058365$40623C32-7665-41DB-B6A1-CD4F78CB052D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527587a1ff474d835d5707030072688b1eed0c75","datavalue":{"value":{"entity-type":"item","numeric-id":2942780,"id":"Q2942780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e6325d806abb57697b6dd78316c200af88b046","datavalue":{"value":{"amount":"+0.7471651434898376","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":"Q5058365$35B78050-A58F-4CF0-B648-4FBF8E333E79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakest preconditions in fibrations","badges":[]}}}}}