{"entities":{"Q5055499":{"pageid":7085076,"ns":120,"title":"Item:Q5055499","lastrevid":91235993,"modified":"2026-06-04T22:37:21Z","type":"item","id":"Q5055499","labels":{"en":{"language":"en","value":"Synthetic topology in Homotopy Type Theory for probabilistic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7630477"}},"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":"Q5055499$803E26A1-2A65-4F97-8078-7C4799A9E262","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e476aa69993f248869b92bd865994b21468564f","datavalue":{"value":{"text":"Synthetic topology in Homotopy Type Theory for probabilistic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055499$0B3EEE5B-B5FD-40E3-95C7-5F133B4E8C1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8076750b3d5107fbcb0395ef4f15484642e52ad","datavalue":{"value":"10.1017/S0960129521000165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055499$1134DEC2-A5AB-43ED-A299-DAE8E3990275","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eec7331348894d7f715f6d19acb5f4420c89306","datavalue":{"value":{"entity-type":"item","numeric-id":5055498,"id":"Q5055498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$6784BE19-D10E-4FE2-8DC6-B4D30963A7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a35183d16b67a9e02789384f7a7486e02ef91ef","datavalue":{"value":{"entity-type":"item","numeric-id":2673303,"id":"Q2673303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$48D5B439-9579-4125-922A-03C1092E9D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$13E10D2E-FA83-4551-AB03-721AE500334F","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":"Q5055499$3B0E8A74-D238-4B84-9CC6-E71BEE5100A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055499$1C355EF7-4C9B-438F-AF4E-957CDFB6FFCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ee779c6e1df1d95be457f457a47abafee2da83f","datavalue":{"value":"https://arxiv.org/abs/1912.07339","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055499$6144E2F4-07B5-4FFA-A187-01D7C33D6699","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055499$B201082A-B0F1-4AE1-AA89-40EA71EF2121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62c20fb529fdd8f867da67cdc3a8381b9af19c09","datavalue":{"value":"7630477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055499$8A6F84BB-2937-4D30-B20F-486E70B41AB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055499$89329374-98E0-451A-A0A7-50D5F4D00008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055499$AE5044CD-62D0-4E40-A174-727BDDE4C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055499$B08E8CDB-EC1F-4179-9AEB-99CF0041718F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055499$CA2ABC3E-05E5-467C-A8A7-78D42CC50CA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"723501325a83c597975238fada166e87a140940f","datavalue":{"value":{"entity-type":"item","numeric-id":27040,"id":"Q27040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$EB4CDAF8-6A99-43A9-8BEA-831409263BBB","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":"Q5055499$3ACC4C4A-C530-42EC-A32A-6B6C911D65C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fd92b9833462fe42760b8d6fc3f0d085dea203","datavalue":{"value":{"entity-type":"item","numeric-id":2988390,"id":"Q2988390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$DD5C1DEA-842A-45E0-A200-7B0827E9EA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10e46b1e0cfb4bb12a7ff92b5fe74e9b2afacba","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$CD7BCD5D-B99D-4862-A0AA-40C0F7D9ABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbfd76296100082bca0dcf7cbf3fe7bd904bd27","datavalue":{"value":{"entity-type":"item","numeric-id":3618814,"id":"Q3618814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$120DE9CD-E91C-4C9A-A634-CD58028ADDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$A3FDD55D-290B-4E3B-876C-1D8694CD674A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef842a3cd198e9d29cc442a5abb1e8c6263f343","datavalue":{"value":{"entity-type":"item","numeric-id":1407569,"id":"Q1407569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$4B29FC1A-A6F1-4284-8E06-D681A66DCA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d78aa29a7839ca6d4907bee904801e40b3cc899","datavalue":{"value":{"entity-type":"item","numeric-id":3621282,"id":"Q3621282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$4DBAC4B0-D2E8-48D3-A46A-18B035CDEAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e3f915abf61a33091940b2e7199423f76f10b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144677,"id":"Q5144677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$DF6271C1-68F0-481A-B481-95FFAA688415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68c250d398e623d795e5d7b483b44a661237736","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$BFB0CC3C-0A7C-475B-9B3E-1184ED3302DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce5872413301e1ca2ee857b8c147a667845bece","datavalue":{"value":{"entity-type":"item","numeric-id":290639,"id":"Q290639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$0B3C4393-ECAB-4A28-9279-30832C0D0D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d26aeb2dbcd0b7a1b0ff40a5c50d9ad788601d5","datavalue":{"value":{"entity-type":"item","numeric-id":5111189,"id":"Q5111189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$E9183115-AD0C-4A20-901A-04D0EF8EFFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc79590f2a7d7523a275ff43898ee75c1591f79","datavalue":{"value":{"entity-type":"item","numeric-id":3693527,"id":"Q3693527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$402E17F5-478E-4BB2-91C7-894A64F54A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317e22208e2347fc8fe10d4fd3b808788b549011","datavalue":{"value":{"entity-type":"item","numeric-id":2849429,"id":"Q2849429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$6B60212F-F32D-4079-99C2-AF8FD77CFA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$7B600D57-6D17-4532-84FC-82479CEE18C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485c45e451fd0f7a92a5994a15590d3cd4011eba","datavalue":{"value":{"entity-type":"item","numeric-id":5144684,"id":"Q5144684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$07E0473E-09AB-4243-9C96-AB944F7F67EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0684727e908fce1cfeb50a95bc49644a71dab11e","datavalue":{"value":{"entity-type":"item","numeric-id":5792540,"id":"Q5792540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$4BDAFDD3-758E-4532-90C3-9B59A1A405A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebabcd6b2b594caedce6d387ddeadf71b80d059","datavalue":{"value":{"entity-type":"item","numeric-id":5150947,"id":"Q5150947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$1EE7809C-E512-4E04-A78D-2A0EA5CC70B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c92da0edbb6315f5fc10e8ac4f3b36534ca6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3978973,"id":"Q3978973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$AD68FCAF-F941-41F7-BDA9-C7F7A6294C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1f060e7b86d3c3cd04ae2952a4ef249b9adc1d","datavalue":{"value":{"entity-type":"item","numeric-id":4186519,"id":"Q4186519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$6609F714-3E11-409A-8230-555861E41FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$E9CBE786-2213-4461-8CAE-42C02A825FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$F7DF064A-34D2-4C4C-AA50-3AA962C79DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ccb0923764a69dcb5b2e204893fd1386e60bbc","datavalue":{"value":{"entity-type":"item","numeric-id":5415639,"id":"Q5415639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$70EEF501-7987-4EA9-85AC-1EA8764A23C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a673bc5c4ac97f50c8cc036b0aa683001df6da","datavalue":{"value":{"entity-type":"item","numeric-id":5329405,"id":"Q5329405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$730A3054-8150-4180-BC41-B26011AA8B88","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":"Q5055499$39949642-A362-4801-926B-774F4B5A35CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$96464A00-FB22-4540-BFA5-4BF1DC85745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27dead8c326777b59b2417084e347d9c8eaf1ea2","datavalue":{"value":{"entity-type":"item","numeric-id":5740655,"id":"Q5740655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$42A5B6D5-4161-4DCC-8364-DD98B63BF9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$DCD7055A-450D-4351-9645-E89E2DB910C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$0DC1969B-459A-4169-8DAA-ADB19641315A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4c5afa32682b6614ad0638bf10a2f4f1610081","datavalue":{"value":{"entity-type":"item","numeric-id":4635912,"id":"Q4635912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$10E615E2-B6B4-4DDE-B7EF-435A3B19F7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850a4c41048cf5d2df71e9ae46b32546ac311185","datavalue":{"value":{"entity-type":"item","numeric-id":5094128,"id":"Q5094128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$E0864409-D06C-41C8-A658-0B307B616C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ebbd5788c587188010db35d2c4562fd8159394","datavalue":{"value":{"entity-type":"item","numeric-id":5055494,"id":"Q5055494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$E8159477-CC73-4BB6-988D-8EB5DC710471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$9E04EACE-A2A2-44FF-A132-A4AB1D0E7D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a950e71c24a21b61bdf380230f31276bb32d084","datavalue":{"value":{"entity-type":"item","numeric-id":3714078,"id":"Q3714078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$56AAEE31-7259-4C67-B974-36C49D88F2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6644278360a8daaf8a32bb34458088ec3837c2","datavalue":{"value":{"entity-type":"item","numeric-id":5448621,"id":"Q5448621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055499$7A8443ED-DEE5-4B88-A6A6-F2539380EB0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f341e3b87c29d21db53fddde511a42f7d897194","datavalue":{"value":{"entity-type":"item","numeric-id":5040166,"id":"Q5040166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d223042e3b1a220a9bb43402d76795a6c376dad5","datavalue":{"value":{"amount":"+0.89470625","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":"Q5055499$FCBA2008-443E-49D4-8F53-5CD34897833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbcbcb848da5aed1b3a4d183bd68857952c0130","datavalue":{"value":{"amount":"+0.87624586","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":"Q5055499$7A4406DA-ABE8-4296-96D5-E8F9BE6BF40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6076b413179705d08ca57f8fc1bef1c55052a74e","datavalue":{"value":{"amount":"+0.87624574","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":"Q5055499$DF041E36-32E5-4272-8416-F76A5B5A2304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afff89aed0cd32c368dc28ea9e160650d78eb55b","datavalue":{"value":{"entity-type":"item","numeric-id":3297838,"id":"Q3297838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bafd8df54f1a368d95a3e658a39a05b858c054c4","datavalue":{"value":{"amount":"+0.8740247","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":"Q5055499$C670F75F-8C08-44A0-9C31-7364075F1B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c0f914393ca2f9f5a76796fe6ce12374ceee27","datavalue":{"value":{"amount":"+0.87301266","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":"Q5055499$AB51086B-770D-4DC5-80D7-CAB3D5DAE91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420018dde877c03474baac078f651a8e3bd6e203","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078a77f3f6e899e24803d897af53da11c999728a","datavalue":{"value":{"amount":"+0.87213993","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":"Q5055499$D88A21F1-F80E-4C64-8AE5-6F4328560E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5df042b03f8a9220f42b915d707530f3ceed9d","datavalue":{"value":{"entity-type":"item","numeric-id":6157254,"id":"Q6157254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2608f365140f7df70b1d9cfefacb10e695bfb937","datavalue":{"value":{"amount":"+0.8676007","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":"Q5055499$F0B2ED31-1E66-4210-8FAB-CF022B235855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58355397779341e612357934702c01a75b0980d","datavalue":{"value":{"entity-type":"item","numeric-id":2942901,"id":"Q2942901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6f3cb5e2deefc62aa6eab794ac681b0d4b0f4a","datavalue":{"value":{"amount":"+0.8669395","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":"Q5055499$183AAB37-A0A5-4170-9C3B-888D9C0D3F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90777d0463c567b8aae8114725c08bb5396765d1","datavalue":{"value":{"amount":"+0.8663236","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":"Q5055499$BA93BCEB-249B-4354-AAF9-B1385191F8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f9e8952c90f9ac03a449ed010ba758d7f8e474","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e68c42790b0902d707be868f937f918e8bfc497","datavalue":{"value":{"amount":"+0.8660598","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":"Q5055499$66E10B2B-58FE-417A-8AD6-45DD06DB9308","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthetic topology in Homotopy Type Theory for probabilistic programming","badges":[]}}}}}