{"entities":{"Q5214815":{"pageid":7244385,"ns":120,"title":"Item:Q5214815","lastrevid":94460828,"modified":"2026-06-05T06:52:36Z","type":"item","id":"Q5214815","labels":{"en":{"language":"en","value":"Efficient and modular coalgebraic partition refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7163281"}},"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":"Q5214815$11851BCC-7148-4EC7-ACBA-837F882CB093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6ff426023119de64fad910bbdf3f9dfe9a8cec5","datavalue":{"value":"1442.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214815$4D8E7D81-8B52-40E8-8DD0-5FD4C591928A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbc9ea8e7764c41b8694e3ba2836a25f47044c4","datavalue":{"value":{"entity-type":"item","numeric-id":328656,"id":"Q328656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$049D0F98-A337-4D14-9CD2-B03346BD9F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4039534078f65f5685c088b104b7b25bf5d64f7f","datavalue":{"value":{"entity-type":"item","numeric-id":1798784,"id":"Q1798784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$A4FCE582-7907-4074-A2D5-B6F91C7CCF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$85D52166-13CD-4E1B-BD3D-D7A07B6A89BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$90C82AAF-14AE-4491-A879-5320F3446DAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd6773eb39a2e4f69da6f4fd97619a5587c8913","datavalue":{"value":{"time":"+2020-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5214815$7B1DBB01-D129-4781-86F6-795A67E384EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4837bd49f0f9e877ed6d9599a58c47e64b804cf2","datavalue":{"value":"https://arxiv.org/abs/1806.05654","type":"string"},"datatype":"url"},"type":"statement","id":"Q5214815$819E90B0-8600-4398-8985-2022FB9A356D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214815$444CEA3C-78C9-4572-82EF-19105D900134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69417b84cc431ede4e5ec12a55be58b45cd19ec0","datavalue":{"value":"60J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214815$F3543CBD-4BCA-485E-9BCE-A3E12F01039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214815$317536BF-A49F-4F1C-8943-C03607B96C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214815$4DF1F53F-4990-45CD-AEA1-0FD62A3A8E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214815$A285B888-9F2F-4195-8932-399DB957A3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214815$37D58195-FA23-4706-B82B-276C3ABB143D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0433cc3e4f982571880fbced791bcb6fe32df95","datavalue":{"value":"7163281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214815$C3879B3D-FC41-4EB4-A32B-A3335F53C4A3","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":"Q5214815$68C3A081-4B43-4F9F-81EB-59A569CF1D9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$5CFFAC25-888B-458E-AD53-05A3AC77A5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$B7E83B43-65CE-48AC-8248-34BEE530C423","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":"Q5214815$3EB227A9-A66A-4B0A-ADEB-E7A5F4BD3F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$4AFFB239-5C87-42FA-835B-6D44B4E7D652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$078D99B1-F428-4EFB-951B-0245E1955743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6342c73c469ac8a9434066e3232213530494bf","datavalue":{"value":{"entity-type":"item","numeric-id":2398207,"id":"Q2398207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$AF24DE4E-58CF-492D-9F1B-18687E397D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$EEAB7FBE-ACB1-4266-B913-867D1974DADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c64599df9478b2d2cbf08ed4c0afb3ef07c72a","datavalue":{"value":{"entity-type":"item","numeric-id":2842853,"id":"Q2842853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$C50073AD-BB31-4EDF-9DC7-27C7CEED8F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e080e6cc6e0a5d730b0d16d85a39768aab34f86","datavalue":{"value":{"entity-type":"item","numeric-id":2843720,"id":"Q2843720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$4BD558FF-2844-42CD-A4D4-27AAA8D2EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c247f88e748ca6686c1f48da5b88e2108de6441c","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$F4B4CD5A-00F6-4376-88AD-3A76EF5D390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$641B0C26-AE90-46E3-AE7F-1C34A87EFB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$6F7EED6C-24A5-4D48-A47D-C636A310C74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$5E3CCC7D-F8A2-47BD-8645-9ADF5573F221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$CB51ACB3-FB7F-4354-93B7-21FC17BE140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5443bb9284f87063c1317606853d9c7a7285a7","datavalue":{"value":{"entity-type":"item","numeric-id":1014448,"id":"Q1014448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$71D0490F-BCBF-4CD8-A3F4-CE8EE03F7775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5167f6d13ff08ec816ea35ea8ad588769e136f18","datavalue":{"value":{"entity-type":"item","numeric-id":5214815,"id":"Q5214815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$717AC721-4121-4700-A9F9-1BC9A865B0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b29a6baa3f94f540102370430e771394aad0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1982644,"id":"Q1982644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$0DB98332-6C4E-40E8-A92C-765B080BCD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfee5788a40d6a31d12e0d933b8fcdb3b198b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$F9FF0C8C-9E62-417D-A4B1-BAC8E9C3B51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9c0245961c1f954095d9946ff0de7ea619b4e6","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$48943B22-0B98-4D5D-997A-9C6BAEBD8973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446b162a550d31227d3ef83b310ed5d95ae22225","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$E83C1FF1-3DC3-42C2-A95B-25B89A996036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd8ae02adfedbc0c31ce15b0873e8f177400bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2554307,"id":"Q2554307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$BC852CD5-0954-44F2-949A-3A3B98FDFDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c3fe4fe60e46216ce5fae043f36e24fe49d426","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$E35BE834-AFF9-4AC4-84D8-47B37338E458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d8193a987a1b350fe69c0da54fa64643ae6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2633253,"id":"Q2633253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$8B7D156F-5887-4A9F-812B-F0AA08170133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66a85d1f994b8180b9b19c6c1d0aeb52923c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":840778,"id":"Q840778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$3D4FEF98-68E5-4820-9E04-1934701C9519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13b7afd97fc9823e2db5db740eb0f3a0426fc3","datavalue":{"value":{"entity-type":"item","numeric-id":4032309,"id":"Q4032309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$B46A33E9-0CD9-41E7-9E51-528082A11A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee403ebd21f803bdef88bb4b2bbf00c3f38c3d2","datavalue":{"value":{"entity-type":"item","numeric-id":4423192,"id":"Q4423192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$1EE55E2B-6A51-4C13-A42E-65BA0BE68254","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":"Q5214815$A7494F92-1538-4DB4-9309-7EF27A8CDF1D","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":"Q5214815$13330E78-3F17-44ED-81AA-1B73747A9F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11be615a5aa07f0546b114c9dde9d0fb29201bad","datavalue":{"value":{"entity-type":"item","numeric-id":3190170,"id":"Q3190170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$F2441B19-828A-4ACA-BDA5-92E223ED7E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57acaca409c758f44add32bdf32d5248711258","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$7C0F59D6-9B3F-4E8A-A3BD-6720B83229B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b473c9c36129e08c9103b0cfba5f9e3ac9f87d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3184746,"id":"Q3184746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$90433CDF-C365-40C2-87C7-39936DF96A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c2117b1cca8f4449951c34fa08f6f7ea2f1ad","datavalue":{"value":{"entity-type":"item","numeric-id":1589443,"id":"Q1589443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$C8DFCD43-C688-43A8-8B00-F3DDD925D215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$C03BA7D4-A441-4A31-B614-D039351EA5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$78D69878-9E61-4E8A-BB87-BBE280BB6A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$F93E1816-884D-40B7-B0B7-84E299FC1509","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":"Q5214815$6DA487AC-02B5-4FF1-88F2-4D4A936F0C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b3e6a712dda18ed01a9bfb83fa3778b1e84a3","datavalue":{"value":{"entity-type":"item","numeric-id":2304521,"id":"Q2304521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$ACC2B9F8-2B12-43BB-A9EE-269FDC6DCE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$EDA8FF03-49D4-4740-82B7-8C5182F8AC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$69BA27CA-32EF-44F6-A2AE-EDE647FBB581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9fe020af1c063dd5e233b5c6afe6d71543283b2","datavalue":{"value":{"entity-type":"item","numeric-id":924726,"id":"Q924726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$7A718CA6-BB56-4453-A48F-22511FC9DB14","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":"Q5214815$860EF42F-84F9-4505-8E37-6BBB1AC7AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d64e7f539e047c27a592447af8209df21acffd","datavalue":{"value":{"entity-type":"item","numeric-id":5361452,"id":"Q5361452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$19A5F6CF-9F23-4DA4-9BC5-114113C0688F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9959cd8e67cfdb06aaa159914fd6e32623fe777c","datavalue":{"value":{"entity-type":"item","numeric-id":3005988,"id":"Q3005988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$9BA9074D-CE53-4AF5-9E6C-325B238D6AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75638f54fb885706b6d43cd2fa25af60af8fb919","datavalue":{"value":{"entity-type":"item","numeric-id":3636842,"id":"Q3636842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$4108D866-AA09-41B8-9C11-E898B03DA4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24479907e5ff62f7e96f21e3a99db2257659f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3557064,"id":"Q3557064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$BEDF2B07-651B-4284-84EC-60D17FE3D8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141794a00237295986f00275c27aee9706b73f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1241450,"id":"Q1241450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214815$15046A4B-C928-4474-8BA8-8B5F06B4C95E","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":"Q5214815$62BAC6AA-882A-4169-B3DF-6801D0483176","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2813b4c5fc3ace4ec2d0fbb620a1425ffa8ce9ed","datavalue":{"value":{"entity-type":"item","numeric-id":5111646,"id":"Q5111646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d121e8723e5da8a22f27511003952d7508840223","datavalue":{"value":{"amount":"+0.9785715341567992","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":"Q5214815$ABFD8A23-FFD7-42EC-8CE0-C9C67573A337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9afc1be59f9fc9a1987294efbba3a8bdb3c229b","datavalue":{"value":{"entity-type":"item","numeric-id":3190170,"id":"Q3190170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289bf54d3bb84d72f6b0556af5a41ce90e1c97b8","datavalue":{"value":{"amount":"+0.8688174486160278","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":"Q5214815$B0CA44E9-F3E7-4908-9B0F-AB08346B3D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e92877bbf3d8740ac1b7968ef9fa682a1f55173","datavalue":{"value":{"entity-type":"item","numeric-id":1797781,"id":"Q1797781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe498390ca75e801b014de41aa01b87d06dcbf9f","datavalue":{"value":{"amount":"+0.8258686065673828","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":"Q5214815$043EC35A-F718-446A-B5AD-79F7CEE08E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f9db872d5e7e901c0f5feb56f3afe66ac85cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1982644,"id":"Q1982644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45ed52ec0e94bcbd793043d3eb3c3a89efbd418","datavalue":{"value":{"amount":"+0.8096635341644287","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":"Q5214815$CC3246CF-1E93-459C-A4B7-670B1CAA2F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f615a22c40b13d8e06ab659a2290938bd0868599","datavalue":{"value":{"entity-type":"item","numeric-id":1854406,"id":"Q1854406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb2463969ea10a4653355535d9285edc26390fa","datavalue":{"value":{"amount":"+0.757480800151825","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":"Q5214815$2168FB33-C094-41AA-9000-F3DCCC96D245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient and modular coalgebraic partition refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_and_modular_coalgebraic_partition_refinement"}}}}}