{"entities":{"Q265811":{"pageid":267578,"ns":120,"title":"Item:Q265811","lastrevid":60491034,"modified":"2026-04-10T17:19:42Z","type":"item","id":"Q265811","labels":{"en":{"language":"en","value":"Coinductive predicates and final sequences in a fibration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567561"}},"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":"Q265811$BE9F8D0E-C600-40CD-8CBF-6912912C8C6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acde2b835c943a9255234a124128d75bc7def24e","datavalue":{"value":{"text":"Coinductive predicates and final sequences in a fibration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q265811$E67521DA-0245-4EEA-ADB8-CA13E77854D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaa7c7f5fbaaefc2182b140f353d9f8799a965c9","datavalue":{"value":"1334.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$EEBC9215-0717-4ED7-B3DF-A8006686AEC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$19269C8D-7596-48D7-824D-6D1668C24E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13fc54040b11c06f012699466cdce28ca2da797e","datavalue":{"value":{"entity-type":"item","numeric-id":265809,"id":"Q265809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$FB4D7DCD-1998-47B5-BF6E-4FBFA7CDD44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e846e0941bc5c44587ac786949e554bb278b53f","datavalue":{"value":{"entity-type":"item","numeric-id":265810,"id":"Q265810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$8BE2C023-DAA4-4980-AFB9-4A8EDFA9BEBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b8ac6f04bf26e1f508d280fb4a7b266578e64c8","datavalue":{"value":{"time":"+2016-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q265811$AB57DCC3-A37C-4E8B-9C58-FA48302F37CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$E4A27F84-6C74-4B51-999D-1228D74F764C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$8BD9220B-53AC-44C7-BD8B-C4E15949BE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$0BAC6702-14F0-4C95-A99B-A9AF1403FDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$A4C50FFB-281C-4AB5-8213-FC04BF0E46FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"938eb8bdb9ae8d6f3be876e932e9cf09816ba888","datavalue":{"value":"6567561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$FC805542-24C8-44A8-B6D7-E85AD7A17572","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q265811$6C3C1AAB-7685-49F3-9A35-CA00142F4807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1011dcc64bfba66b253426c8013aaf80360c5cf4","datavalue":{"value":"(co)recursive predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q265811$12129A46-8E67-4832-9029-47B08BDA0A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q265811$7525572C-E539-42CB-BED5-D901B27543B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751e37efbf8082f0fc895bdc4895d3880e1bb01f","datavalue":{"value":"fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q265811$DD285AE8-D54C-4F2F-A3AA-BD79064C86EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9e781e9437b216f89b633442162e88123a1d87","datavalue":{"value":"locally presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q265811$F888B447-C38F-438F-83BA-9BCC2EC30557","rank":"normal"}],"P1463":[{"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":"Q265811$2480989C-4A3B-438C-BB05-70736DEA4471","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":"Q265811$F3C79524-BBB5-426C-8921-712F3B452335","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f20f4237bb6364b23f1aacc75cfaf536a0fb1c91","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.09.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q265811$17FB1524-2067-4D23-BCB2-509D2BD6A5AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70800ead6a14f7ca70fa7c3c85baf131c2c14941","datavalue":{"value":"W2139427429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$03559635-151C-4652-9A7F-F6606E002724","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d729b174fe4a225b8f0a65374d7e6b3d0989baaa","datavalue":{"value":"Q113317961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$83F0F484-FC02-4173-B864-F8802B5BA06F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cffea4252ce0bbe6062e0140d1ea70431a5822c","datavalue":{"value":{"entity-type":"item","numeric-id":5269005,"id":"Q5269005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$BC20C2D9-6BD9-4DCC-9823-AC7A6BFFD405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8e0fade5f34b9b9b91dbec52a15ebba949655","datavalue":{"value":{"entity-type":"item","numeric-id":1398459,"id":"Q1398459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$E5C62E3F-8F59-4201-8570-0DF16B2FD1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532219dd4d3cb9099cc3b0175993615877764e53","datavalue":{"value":{"entity-type":"item","numeric-id":2892759,"id":"Q2892759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$DB4B813C-B89D-4FDE-9F91-95650AC3EF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$5E62215F-4110-4F84-9605-6436E88F7C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1054eebabeac1d2052e0db162d79c4b0a873ef6","datavalue":{"value":{"entity-type":"item","numeric-id":2892757,"id":"Q2892757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$34D74676-7B06-4AAA-BDB1-950775605D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f5f00376ce40e7c5e95eb21ebf38fad1c6f5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$59D59A43-E686-4C7D-9F58-8AAA8D9EAC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7a2a752e00c81ffb4c1ffdde2d8149512546bf","datavalue":{"value":{"entity-type":"item","numeric-id":766305,"id":"Q766305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$5D27C4E1-2BC0-418C-B8BB-1E5597FC3DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$D1F7A973-607E-466E-A623-575BA72346ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$C1B927D7-600A-4D7C-8A67-EE96DEB024A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0780f2c8029eaa8daf335a5eea7dad81a5d15bc2","datavalue":{"value":{"entity-type":"item","numeric-id":639645,"id":"Q639645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$E8CBBFDD-FF11-4B0E-A4E8-432ECE7CE483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868791ecbb8b2fef99c94f8ac3bfdcc20ea5c8f1","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$6928527D-3E51-4B50-8A9F-0EB93041D8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe49c3b0be1875f4716ee6585aff4b21b9381048","datavalue":{"value":{"entity-type":"item","numeric-id":2873663,"id":"Q2873663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$0C860AFF-E6A8-4623-B10E-A0B1CDBB2DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$65F5D089-AA96-4E1B-805E-29E6C206773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f45f5b1f682d4fd1bd2b6810b36d6364f1af18cf","datavalue":{"value":{"entity-type":"item","numeric-id":4738222,"id":"Q4738222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$6B606F01-B9A4-4009-919F-7AD2921FDC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e28e3cd9653624a5ce4e60ec41031cd524ac1c7","datavalue":{"value":{"entity-type":"item","numeric-id":1770362,"id":"Q1770362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$9CFF17CC-D9EC-4B0B-B40D-192F2D5ACD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786f36ff7d6065f2bd6a2efc6fa07650b4214142","datavalue":{"value":{"entity-type":"item","numeric-id":2495643,"id":"Q2495643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$7C1B9439-8122-438E-9D33-96BE1D59ED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9853ebd672b3d807cdf988b6f20dc6e1babdc46","datavalue":{"value":{"entity-type":"item","numeric-id":1012125,"id":"Q1012125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$B958817A-0522-42D1-BF98-F77691C59F5A","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":"Q265811$498F915F-E788-499A-B15B-4F3C1DCAD554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3396b210f763cc7a30b546a5187acd89db66fc04","datavalue":{"value":{"entity-type":"item","numeric-id":5395644,"id":"Q5395644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$F42145BE-77D0-45B2-AAFD-5370066DA40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e5bd214c630759d812c163b68d18a9d4ccc0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3584948,"id":"Q3584948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$53869EA0-630B-4C66-87DA-35F886DE824B","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":"Q265811$3C500945-2A1D-41D0-8CB4-1990DCE6D1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$9DEBC8C1-D2D3-4AE5-94F2-1B7B58A39606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$0AE68D61-DC65-4208-85A7-3D9C1779963A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df4abbb2f7ec26b31b59980098d4028c1779085","datavalue":{"value":{"entity-type":"item","numeric-id":4362971,"id":"Q4362971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$8EE01B3E-2120-4899-81D8-2FB9F71820EB","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":"Q265811$5FF70470-C298-4995-B7D3-76C4844FB8B1","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":"Q265811$0E725DA9-0F17-48EE-B9E9-25EE3C8C334B","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":"Q265811$1ADA762B-9AA6-47BD-9CFB-3C0E964BC79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$CE8179F0-A36B-4299-A2F9-7803FC24F608","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":"Q265811$ECB2742F-8AC3-4356-B905-893C031FC370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d104a4841be68a1ad1e917eff0a8d09046a2ba1f","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$B5848E7E-52A5-41EC-894E-0DDF05093038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6480610be936d9924b2f05c0e8ebc7ee6e51658","datavalue":{"value":{"entity-type":"item","numeric-id":3623843,"id":"Q3623843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$5B21C4D7-C4D1-4ABC-850F-3730FF135B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$ADE73ABD-D3A1-433B-9AF5-B0821A7E93D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7a63a476b5c3d0ca316b371d1ec9840eebc4df","datavalue":{"value":{"entity-type":"item","numeric-id":5415643,"id":"Q5415643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$A6ED28EB-07D9-4E96-9F39-BED1EE7F4A44","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":"Q265811$6B78FB01-C44D-4928-99C5-55F792A875D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$73134978-3F37-4A99-A3C0-ED71215C74F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$05753048-671C-4039-A888-335040C997B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265811$10D11838-CA92-4D82-9C63-9841A15E6C40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8faaad8dd1f37fcc878b7f1f38e362da58c53e64","datavalue":{"value":"10.1016/J.ENTCS.2013.09.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265811$922AE9CD-AADE-48A7-8D60-8C8800633229","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":"e245e8e3f3732ada751eced6681529719fec74ee","datavalue":{"value":{"amount":"+0.99870502948761","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":"Q265811$E42E8938-BCD7-46C4-9865-A401989A8A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef65eab2c4369c40ecafa90adcdc2b0fa4acf334","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4929b5137b071286c2bbb77c51a4e640bb78d893","datavalue":{"value":{"amount":"+0.7439975738525391","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":"Q265811$31BCEBE5-B1A9-4D5C-9CD4-396635E3691E","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":"9f8a00a016ec00fbd3140202b794452081c5dd5e","datavalue":{"value":{"amount":"+0.7345806956291199","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":"Q265811$1172C4CB-8316-4BD5-B1A2-2939C980C218","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":"e2bc53948c10f9a2b78523a2b1cacfd26cc3fdc6","datavalue":{"value":{"amount":"+0.7303850650787354","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":"Q265811$B0460896-AE04-4B58-AF26-9750EF258187","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":"2d258ccefafd854963388132aeccd8b96cf56c25","datavalue":{"value":{"amount":"+0.7229592204093933","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":"Q265811$29BA579D-77CA-466F-9063-E1A8A56EB0CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinductive predicates and final sequences in a fibration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coinductive_predicates_and_final_sequences_in_a_fibration"}}}}}