{"entities":{"Q1798783":{"pageid":1809525,"ns":120,"title":"Item:Q1798783","lastrevid":72983004,"modified":"2026-04-14T09:11:11Z","type":"item","id":"Q1798783","labels":{"en":{"language":"en","value":"Undecidability of equality for codata types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6962931"}},"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":"Q1798783$ED1BCD88-EB11-48EB-99D6-63AC600BA901","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef31a4047ef63ff98d4ee6f553d06844fea71ab4","datavalue":{"value":{"text":"Undecidability of equality for codata types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798783$AF0C684B-E66E-4482-961D-2089D9ABCD40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f36ffe26570f2aadb05b18fa441874a55630dea8","datavalue":{"value":"10.1007/978-3-030-00389-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798783$C03FA40D-63CC-4C33-B7BA-F86A456365AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$FED38433-E638-4821-B4A6-A656E57C9EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$F04A1643-526C-498A-A18C-29B7C2A4D3BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6bcb28ae86aeca9fbed36b824032693bb3a4a24","datavalue":{"value":{"time":"+2018-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798783$2DB33A15-41B0-431A-A036-E5DAC7F23C1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97e7539c710a38da91c56a4438b6b4c76af35a91","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa38822/Download/0038822-28022018014103.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798783$FCE41EEF-3B8E-4DEF-BDBB-5BBCCE9BE602","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798783$7F785FF7-C9BA-40ED-8570-9E8690164CD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86381a43ecf0d6a430f58cb6d1aedbaf5f6b5abb","datavalue":{"value":"6962931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798783$9D5BA3C2-029F-4F2F-929C-E0750F60F3C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$9507BFB9-A859-4F80-9783-45831EB233FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba90bce68b4c7c3e38e4d8eb10a9be44c88c61e8","datavalue":{"value":"weakly final coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$C73116F8-02A6-48A8-B699-02F325757AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fca0d731d9977db566f9ed3c8470b6f2f432478","datavalue":{"value":"codata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$E85EDFC0-B269-4786-9152-7F4AD9465AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca3152cc92e6e38c056ebafb6f66746e3a9260b","datavalue":{"value":"decidable type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$A0A03AA9-A61B-41F6-95EE-082F626987CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$9BF63940-2972-48ED-957F-DC90E8C79743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1570cc1d870d525205e8e177c5a7e0afca51c9","datavalue":{"value":"intensional equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$3321EB18-3EA7-4E41-AD09-35EF9E276DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6d307399d40747a7ccf9eafea50adb4f4e5846","datavalue":{"value":"intensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$324D4A05-2DB8-4274-BAD5-F0A5E4CEEB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$E2418FD5-B7AC-460F-8E52-9B4CD0971C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700bb3ba390d879b82f82c914de5910e05e7b8a6","datavalue":{"value":"undecidability results","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$41A2C99C-C9C6-4C3F-AB01-3A194AE1B697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8f2895bce51b9a9b88568bc0d244babfef145d","datavalue":{"value":"inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$FDAE34B2-558F-4A23-A78C-2F93EBD75A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$64531811-3E96-4DD1-BEAB-6AD592E605BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278dc43e43d8f4745f26811ce966ad9cd1ddb5e4","datavalue":{"value":"copattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798783$DE3F8A03-AB8A-4654-88CC-D0DDF5CE8833","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":"Q1798783$413EFA2D-6FC9-4A21-9328-8FA0B26EE99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$50BB4F1B-B129-4E0C-8444-98C51222F6C3","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":"Q1798783$1A351BE6-EE81-496B-93F4-AABD346E50C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"924bed354265581d7be1c9e46c97236993956822","datavalue":{"value":"W2883066834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798783$905DFF04-1A78-4898-BB14-5E8DEEFE42E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$CC6276F0-264F-4884-A0A6-0A2CB6EE3983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d125093f4a92e20f60f8864dec99dad3fa26a9","datavalue":{"value":{"entity-type":"item","numeric-id":5372002,"id":"Q5372002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$AA25484E-D1C6-4CF8-9ABD-15B7EE904D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b040b9410e9e6b60a43059160b34ea75348e624a","datavalue":{"value":{"entity-type":"item","numeric-id":3558328,"id":"Q3558328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$48A36E31-7038-4174-A5D0-3A7A6FDEBBAE","rank":"normal"},{"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":"Q1798783$395CA824-D8BA-4042-938B-01B273EDD98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$AA6D2858-7B09-4097-9A06-FB037E5B7FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8b75f0e49d9cef046d4a84d906b1de8953a19f","datavalue":{"value":{"entity-type":"item","numeric-id":4635888,"id":"Q4635888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$81936E9A-5C0F-4F2E-A851-E2F3947BB88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f8766e5c0ef891b06dd86d56e3436041297c02","datavalue":{"value":{"entity-type":"item","numeric-id":6083690,"id":"Q6083690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$BD82F298-6C16-40D7-A27E-BFDBEE350F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c78d6dbda4571a17369b1d7dd4c328ec3072f","datavalue":{"value":{"entity-type":"item","numeric-id":3575268,"id":"Q3575268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$6A6035A8-63DE-40E4-A4A4-1D4E5608AB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddbbf22f7962475f7cab084a766624c583fbef1","datavalue":{"value":{"entity-type":"item","numeric-id":4249726,"id":"Q4249726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$F3C42268-B10D-450C-AFB2-50A7E2B0D37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704483807dac671463b66bab5b6b4a067be5f4e2","datavalue":{"value":{"entity-type":"item","numeric-id":6083895,"id":"Q6083895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$7F338267-AC81-46FB-99A7-97B923C14A03","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":"Q1798783$3E85E486-4399-4CBB-804E-8B4131B90AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed2e46bbf2139909218bc55a4d0ad743eb42f6c","datavalue":{"value":{"entity-type":"item","numeric-id":908682,"id":"Q908682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$EA7D04C2-7EB5-421D-8C9C-01D291BE0D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae11c34bc2501c08760c5d0168667dce9f66244","datavalue":{"value":{"entity-type":"item","numeric-id":2817688,"id":"Q2817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$0AA8D77C-F999-4925-9B92-93225C8A771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c43b86216fe1c5702aab5ae75ac68f23c82c002","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$1EDBD4CF-0111-4437-A0DB-94B87C23998D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8b466f18c85e6594f51bf6d97a170f5f732eb6","datavalue":{"value":{"entity-type":"item","numeric-id":5718566,"id":"Q5718566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$FB24B1E3-4FF0-4C78-ADD1-C96283B19129","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":"Q1798783$D982A529-7DA1-4305-B921-47FE3DAD8157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cf8006b5b4254804342bce8b0794f450e6c3c1","datavalue":{"value":{"entity-type":"item","numeric-id":5796642,"id":"Q5796642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$4373E428-90D6-4213-A63E-FDB1A362DB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"421863787c09ded355555bca4a0064cb7527459b","datavalue":{"value":{"entity-type":"item","numeric-id":2888481,"id":"Q2888481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$5A6BBA0E-DA99-4F51-94F4-EE30B68028E5","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":"Q1798783$B5845FD4-5A60-4B62-8C1F-BA738F7F7121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bd69c20c34f646cd7aa65415c7f058a6ae54ba","datavalue":{"value":{"entity-type":"item","numeric-id":1189450,"id":"Q1189450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$C733A81B-09A3-499A-85EE-AB8A4734A3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7c3fd79d1fcedb38e21508d952845e3a4eca0c","datavalue":{"value":{"entity-type":"item","numeric-id":5764758,"id":"Q5764758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$40277DB3-F1D2-448C-9262-CF631D93EBCE","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":"Q1798783$7723735E-78CA-4509-9B6E-583C088F3F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b4df449f3718c004904dcbba46b4a2ccdabb1c","datavalue":{"value":{"entity-type":"item","numeric-id":5253935,"id":"Q5253935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$5E190FCA-E10D-4FEA-95E7-5F9E1C5136C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc487c5a4e5b3b4bcec81c0aee2711d6dceff72d","datavalue":{"value":{"entity-type":"item","numeric-id":3305562,"id":"Q3305562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$7F598841-1A63-49C0-A78F-C5722F7B27FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bb0b25ff34be6e1e00056ccf93704c7dc2f097","datavalue":{"value":{"entity-type":"item","numeric-id":5817396,"id":"Q5817396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$DFEB8BA3-4C16-4A8B-8F87-DFA2907275BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4232c1cf347b8d3a9d19f69f9f3a718b2730c85f","datavalue":{"value":{"entity-type":"item","numeric-id":2718773,"id":"Q2718773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798783$255E76F1-F35D-44C6-BBF8-6F168EB1AEF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f876e85b4bdc2666b22eaa7b463f6a85423053e","datavalue":{"value":{"entity-type":"item","numeric-id":5308082,"id":"Q5308082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6544528ff02f4dbc957b3c3720cabf33c12ef9","datavalue":{"value":{"amount":"+0.8713844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$7E2DA7F7-A44F-4AEB-83F4-806ED3AC5D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b055a7e3be57cb7b13f962d518472af0fd43413","datavalue":{"value":{"entity-type":"item","numeric-id":2939020,"id":"Q2939020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46118b894b3842ca63aae64317dd09ae328073ab","datavalue":{"value":{"amount":"+0.8521707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$A33DBBDE-A6F2-4E8D-ABCB-C8EA34196822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2da25202cf31d51bf3b5ead736f10c3ab5e6620","datavalue":{"value":{"entity-type":"item","numeric-id":5858127,"id":"Q5858127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574b0fdffd61deb94dd8c7149d51fed5492a41ee","datavalue":{"value":{"amount":"+0.8473631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$047904D0-BE4E-4297-8E6D-F85BCAB32BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c01a3064a7cf7a08322be4a2116e6b1201a95e8","datavalue":{"value":{"entity-type":"item","numeric-id":3971511,"id":"Q3971511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab0a4b3fcecc1e2e0ba91aa79ef0cef9d43911d","datavalue":{"value":{"amount":"+0.8398388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$332851B4-1AEB-4E1F-A385-DA17B366F5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdc387bd755386d5018226729b82d32c15d7b1f","datavalue":{"value":{"entity-type":"item","numeric-id":5854731,"id":"Q5854731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4500b01c863893371d8ea3951c8f4febf96ddf2","datavalue":{"value":{"amount":"+0.83683646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$9D283FA2-098C-48C3-A247-607C7FD19543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec1bc88c780d0b5c92400e3167000d28f157898","datavalue":{"value":{"entity-type":"item","numeric-id":3000599,"id":"Q3000599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a80ce0a119d3adb65d77fb2509063e4ec4efcd","datavalue":{"value":{"amount":"+0.8360269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$5F1273A3-9639-4950-A715-5A85CB79688C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4181f2ce29cdfe674ad78e92bf0620dc4ebb59d0","datavalue":{"value":{"entity-type":"item","numeric-id":517754,"id":"Q517754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866798e9231e37186c3dda072a5c3bb43fe5a721","datavalue":{"value":{"amount":"+0.83587265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$25A73B0A-7F1E-45B8-A77D-8FC63FE0903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc398f2dadaab9f25940c9fe52e1e7cce21da30f","datavalue":{"value":{"entity-type":"item","numeric-id":1405827,"id":"Q1405827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54520c0a1bc267e4fa3d351f0da3074e831f597f","datavalue":{"value":{"amount":"+0.8353028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$F205000E-E64D-4F4C-8F06-94160E11D0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc5fc02249d7fe072d2dfa32926af06efc19c9","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7ba0e7c49faffc62371f17b6733510ae6582d0","datavalue":{"value":{"amount":"+0.83471847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$03C359AC-B4DB-4C58-A45B-EE75376FB608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d2df76a741cf581e954cfda428b2466142500","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb333d5ce39fd091f6e5a26b7438411f2d2a598","datavalue":{"value":{"amount":"+0.83401066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798783$AE100C96-AE4C-4630-BE91-723B7B789E3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of equality for codata types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_equality_for_codata_types"}}}}}