{"entities":{"Q5875348":{"pageid":7904899,"ns":120,"title":"Item:Q5875348","lastrevid":97508153,"modified":"2026-06-05T14:55:09Z","type":"item","id":"Q5875348","labels":{"en":{"language":"en","value":"Coinduction in Flow: The Later Modality in Fibrations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649891"}},"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":"Q5875348$3E874EB6-C2CB-4BC5-B489-747DDB5BA877","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c4579b04445885ccce3d16d5b0f09ea564b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2233466,"id":"Q2233466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$125EAE63-96DC-477D-8B2F-7EA889F4DA85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875348$6A8E97A7-BFCA-4345-A722-99BE5FBC2DEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875348$9EDADDB1-D8CF-4DB1-9D30-B6B500D99E10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9591f95b7481bd27d851a5577bc9cd041f2d29b9","datavalue":{"value":"7649891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875348$8F288DF2-3529-4E50-A2B0-91C9A299BF17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875348$E45A5A19-20D6-4210-BCB6-CC92B4E0FA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875348$70E4C258-0518-4178-A872-4ABFABC59539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32fbd3370ba3f17cf4253505ed2f810179a5c392","datavalue":{"value":"later modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875348$E8D79DA9-780F-46CC-BE19-0DE87EDB38A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b876b731fa4348dd311cd22fdb1c10ffda08aed3","datavalue":{"value":"recursive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875348$6D698DE4-FEDE-4773-8F77-AAAFCBAA8735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875348$1B9C292E-6639-4687-881E-F80381A9A2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875348$A81E71D3-3B54-4CD0-9649-A1860836309C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875348$00115863-1FC9-4238-821E-F6F74524BF79","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$E67C8722-15C2-4973-9E45-386F115CDCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$FE1D3EC4-524E-4E45-BC6C-4AD5B32D266D","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":"Q5875348$DC90FD3A-E439-4583-8D9A-A037CBCC558D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aff2a339a225fc182cb43f3b273f30a08a1a3788","datavalue":{"value":"http://doi.org/10.4230/LIPIcs.CALCO.2019.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875348$A93084CD-E18E-4E80-A213-12F06749625E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0d3dca04501ac2e53d25561d2cd8798b7b65974","datavalue":{"value":"W2991639264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875348$5A650C62-C54B-4B8A-946F-87841C7ED6F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c1adb088f34e62939e08b3449850e713581a97d","datavalue":{"value":{"text":"Coinduction in Flow: The Later Modality in Fibrations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875348$75625A6F-057B-4EBA-A748-E2FA38B089AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ea5885832b9f867e6bed74c7137f05eec86479","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$72180334-0DE1-4C27-A7F5-A2673EE66CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4495e9115afa36bd137d97cc0b6ba73c54678289","datavalue":{"value":{"entity-type":"item","numeric-id":3005994,"id":"Q3005994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$2769FB27-0326-4D98-9E6C-B453DC0877A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$166D65E8-A1A0-4FB1-8A39-EE07DB073362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$FE13311C-40C5-496F-BC7D-F3CBE6569EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c7616163d4c3c1da7c14cb6770dc41c8c4dd14","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$6E7444F8-16F8-4140-B58A-E26E206763BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$4E36A7A3-FB30-43BD-B236-8FE6562DA715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54eca7749b2d2687a84631dae6f937808f481496","datavalue":{"value":{"entity-type":"item","numeric-id":5014439,"id":"Q5014439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$DB7E8F3B-C76E-4E41-A753-E09592957579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1a885fddd1b71c007856eb4a638b57e1df2970","datavalue":{"value":{"entity-type":"item","numeric-id":4580200,"id":"Q4580200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$B9DB3FE4-47B0-4C1F-B232-BD05E964E5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184b5d53c987e50d2f8a9ef672ffe45b79d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$DB68D3C3-BE18-4BB0-9C1B-11089782FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$BE147F54-EEE2-47F8-A1DE-E6252BB1F12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cd4a9a38fe3dedcbaf562f6049a0d5fd79187e","datavalue":{"value":{"entity-type":"item","numeric-id":5278409,"id":"Q5278409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$CFAD5B40-D7AF-4637-93CE-DE50FD15155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c116516ecd0d94e751e535d829183a84da376957","datavalue":{"value":{"entity-type":"item","numeric-id":5271058,"id":"Q5271058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$9127E0DD-76B0-4A20-9D69-4A6B46A60118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$E1DFD265-DA52-4EA2-A5B1-7A22C279934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072b5fb9c9a1c997399d8dc463715bbc2b6911ef","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$B284F70B-B502-4E81-BB26-6C093CFE2B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$B86CE908-10CD-4682-8568-72F092B71407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8f096e8bdd951b14d48b7b92532eb34a11b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":4635603,"id":"Q4635603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$206D830F-3EEC-4FE1-A776-691E8010264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$531F7D86-9A04-4D90-96AD-0F2E6E2DD5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$025C91A6-27D1-427A-BDEC-9795247F0E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff81edc192b192785b5c23d43079e3ae075dfa6","datavalue":{"value":{"entity-type":"item","numeric-id":2948556,"id":"Q2948556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$38563620-F533-4215-934A-36352B802980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22861f3796b6e7ba313279e634db4fd0ea25af4","datavalue":{"value":{"entity-type":"item","numeric-id":4917034,"id":"Q4917034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$279B78AA-AEA2-430F-B3F0-4099D0924843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb75377fe28d9c4d5cb2672ca813a70b1a4094","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$672F4C67-3964-4B30-8A7D-3C37BB00188E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$11743C18-9FC2-4EE3-914B-B36EF1F8E757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$F1DDC9BC-4414-4C10-BF4F-45DBF3B75437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82980b2f7e903b310db1324221ad45eb5e5e8e6","datavalue":{"value":{"entity-type":"item","numeric-id":5894256,"id":"Q5894256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$312B4E01-61B0-4314-B4B9-FC8D206DC271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c8f996aa9c890912972cf59b4979e451ad2420","datavalue":{"value":{"entity-type":"item","numeric-id":1652996,"id":"Q1652996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$E322F8E7-EB4F-4AF4-8851-B52DA52C2C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$8A775F8A-C23A-400E-A4A7-F146E25EE1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dbbc1a2551d74d3f983c3de7eb6450a3b6dc8f","datavalue":{"value":{"entity-type":"item","numeric-id":2980965,"id":"Q2980965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$7517CB8C-C6E0-4C72-ADA9-700A191CC799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3fd4922abfa06b861ae0dd17ef96fc0e0c633d","datavalue":{"value":{"entity-type":"item","numeric-id":3625674,"id":"Q3625674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$CC7F65F8-0B17-401E-A354-3ADF2B5F2706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9fd495674a30a6494f560f87b92fd51112725f","datavalue":{"value":{"entity-type":"item","numeric-id":265811,"id":"Q265811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$570BBFF2-B7A5-4EF2-AF86-1DDF84B13221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$ED03B1B7-914A-4424-A25E-53A4CE0CAE81","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":"Q5875348$44F40FD2-36E2-41ED-845E-6C95EE363033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$7C94FE12-AEE1-4F6F-9E42-5215DECA9477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$34F37AC7-28E5-4EDD-A1A2-BBD0D8BE65AA","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":"Q5875348$3B64CFBF-87F8-48F2-9D47-5A55013ADF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$0E13ADB0-5095-4DB8-A8BA-A7F10DD339CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$A5A083A4-02BB-40D8-8127-CDD20CD19E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cf3ae5555cc36412928a75358382ef7e5506d1","datavalue":{"value":{"entity-type":"item","numeric-id":2942782,"id":"Q2942782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$191924DB-A381-4A3F-A25B-7604101D2B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$B9CBC005-A280-47AE-908D-1571023451BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$E466D2D1-4DB7-4980-9A97-B9CC271C5214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$0A3BBD2E-0F63-48F0-A761-BC2B57D1C610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$78F5B289-8850-495C-A149-B70976CC6697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0303b1abbd4ea24e173052e3ce10a404318bd898","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$607EE031-5E57-4F76-805B-22E75A64617E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175cbf8a20822167166d2c3042a8727801090085","datavalue":{"value":{"entity-type":"item","numeric-id":4635656,"id":"Q4635656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$E396ADBF-3C42-4B6F-887A-6E9F286B0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$649AD2A6-0BAA-4323-8C21-283FCD71CFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$05E79631-E036-4C43-AAD3-16D4D7BDD1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$BA433BB2-4E12-47D3-A4C6-A9A476C722B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$085ED3AA-7CC7-4B30-9DF7-5E06FD98C88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a359332bc8cbd27a6b4d63fac3ebe9b0581cec4a","datavalue":{"value":{"entity-type":"item","numeric-id":2988363,"id":"Q2988363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$46D28600-AE47-4E1D-811F-55177FCFCA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$037E62C8-4841-4F1C-93E1-252FAF2B9DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4832637b64a934bed98845bfbdbd644efeebd591","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$5A70E7D7-0B21-451D-8A60-F2BAA6EDEF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$73715988-90D1-410E-8885-464F3758B1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69f8f34a60bf9705498c10e9caa4fa85b208af2","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$92F89903-8791-47C2-8B05-C4EC63030663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$F94CE04E-E7EA-4A18-82C0-2BCB3B157F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$69C2E31F-2AA8-4030-A42B-B9FDC4A66151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3949f528e82fd47768844b622a1e2504534da3c1","datavalue":{"value":{"entity-type":"item","numeric-id":4787834,"id":"Q4787834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$1A1DC8B0-50BB-4DFF-83E8-A74336EB33AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$849A4D69-837F-411A-812C-79C0DA04D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$42A302EA-D5FE-40F2-B514-CF7DD90F007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711f4d18a42eba165ead1afce88a2ef93d4bf695","datavalue":{"value":{"entity-type":"item","numeric-id":4343989,"id":"Q4343989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$7C076AA9-DAEF-4261-888F-7BCAFAF7B36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8157a29376ddf64165229cd4cb7a085c0eff46f","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$18C0D2A0-AE6E-4A3E-A239-26DB170A47E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$780A9678-2E41-4A62-95F6-CF5EFA5B1556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f12d21decb9451f909186269a829bbc414cfdd","datavalue":{"value":{"entity-type":"item","numeric-id":2802498,"id":"Q2802498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875348$33596D61-6429-4700-884B-28F8F6D0CD43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ae11b62975f8cfc3dcac8b43219ec5d655ae762","datavalue":{"value":"10.4230/LIPICS.CALCO.2019.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875348$5A874EB3-E2F3-429A-A9EB-6619CDA214CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5fce74cd663d266a1d7dee7314c880cbe6256a","datavalue":{"value":{"entity-type":"item","numeric-id":4606703,"id":"Q4606703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc9f39e84a30e7efb4ad13f7fccfb5e361624ee","datavalue":{"value":{"amount":"+0.7286128997802734","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":"Q5875348$65AED759-4F12-4B18-8F70-6744EBCE9AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d517c08e26e118f75fba9c29a3b7dfe2171e8e7","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0ed571bca9ae1cbb8899a9641caaf2b4c78413","datavalue":{"value":{"amount":"+0.7273723483085632","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":"Q5875348$C577EEDA-0DE2-4F1A-80A4-709C6F673A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f24e9e4dcbbb300ade6169054e08b2aa7380bf","datavalue":{"value":{"entity-type":"item","numeric-id":265811,"id":"Q265811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bfee0749a8197506c3ea79e6283a25f786ae0c","datavalue":{"value":{"amount":"+0.726646900177002","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":"Q5875348$7E11C3A4-3E0A-4CB4-BA7A-3BDB936CDFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a2c69a2ef12c76a4abd1b71822c03c31c1b6fa","datavalue":{"value":{"entity-type":"item","numeric-id":4635603,"id":"Q4635603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a585ca82fa4110fe9b4c4fd3d72a54bd9472d52","datavalue":{"value":{"amount":"+0.7257954478263855","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":"Q5875348$593C0C79-B9C3-4982-8412-F073A08C1121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c585606a3cd43bc50be28c7d35db49b232102ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5894256,"id":"Q5894256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26eb90382c356edcd727581672c63e682aa07a97","datavalue":{"value":{"amount":"+0.7190240621566772","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":"Q5875348$6F55C7E8-0D8C-4921-B6B3-E35DD57A982B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinduction in Flow: The Later Modality in Fibrations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coinduction_in_Flow:_The_Later_Modality_in_Fibrations"}}}}}