{"entities":{"Q5253935":{"pageid":7283503,"ns":120,"title":"Item:Q5253935","lastrevid":52275788,"modified":"2026-01-21T08:18:37Z","type":"item","id":"Q5253935","labels":{"en":{"language":"en","value":"Coalgebras as types determined by their elimination rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6443430"}},"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":"Q5253935$B93623E0-8528-4FFD-BE79-70D750C70916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8267ee6cd2c687860742bf462215c2171484a726","datavalue":{"value":{"text":"Coalgebras as Types Determined by Their Elimination Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5253935$72334729-4957-4F22-9233-E9BCD67B09D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58f0a1a2d2b78d6767fcd4b89d9543e2b86358b4","datavalue":{"value":"1314.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253935$F343E583-3F13-4B8A-9BB5-D11CB8F8C07E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43377ff4cf4fee8d2e7e29509e566d710b2b8761","datavalue":{"value":"10.1007/978-94-007-4435-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253935$F4F23405-8820-4281-B354-C4758C559CCC","rank":"normal"}],"P16":[{"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":"Q5253935$CD52427E-7A4F-41C6-834A-5301A185A7CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2405f57cb954de9306e5c2dcba02fe8e816b9126","datavalue":{"value":{"entity-type":"item","numeric-id":5253920,"id":"Q5253920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$330BA2C7-B44D-4A97-8D7E-3771B15C2B32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c176087e456b486d26961b0d7afafd57333d8e76","datavalue":{"value":{"time":"+2015-06-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":"Q5253935$8B4EBE8F-63ED-4600-AA9D-B3247ED26E76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7035f8993df01064fb7d3c8df513cf6a3cbeddb","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa19415/Download/0019415-17052015172846.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5253935$34F7CF08-332E-4DDF-97AA-323DFCD12F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253935$F23D4E3F-6BD5-465B-B163-877E30A45F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253935$D62FA690-AEBF-4A48-BD66-3BDE83414B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253935$FC8A8A32-E7FC-42C7-AD14-9BAFA0A1A494","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a596df1b91619d51362a01536630ed7001eeb5d6","datavalue":{"value":"6443430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253935$A3F94265-5AF1-4C01-8C86-AF8640B769E0","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":"Q5253935$2B3CAC58-348E-4BE0-9026-50A706EEB2AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a7e3db44a9d46903633593486f49b2b95dc52db","datavalue":{"value":"W32613657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253935$63BE41FF-025D-4B1A-A600-9A1A45C6B442","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$A419345A-751C-4942-81BA-AD867208A09A","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":"Q5253935$7EA4EF27-7457-4640-959A-05A3DD4122C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$7A0F909C-E571-4806-B5B9-80C97B813013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedb9f8c916264b6f4080ef76494a05ec8c92215","datavalue":{"value":{"entity-type":"item","numeric-id":673963,"id":"Q673963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$4DA43041-F12F-4390-BFAD-4432D6485B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e325c06eecd21225eea3b9ca66da34fa363fb24c","datavalue":{"value":{"entity-type":"item","numeric-id":1582231,"id":"Q1582231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$F0455E2D-11E9-4CCC-98B8-CB387EEBEF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$EBE88231-50F7-4E32-A842-B6379A429EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6e84dc7d2442795960d241851cf13bc84741e4","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$1B949EDC-26AA-43ED-AD98-DDCEA4F2178B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220e7bd07cfc86bd56365fb168aa15481d8c02d7","datavalue":{"value":{"entity-type":"item","numeric-id":2577476,"id":"Q2577476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$20886EFF-3017-4EA7-AFB1-88C6C7174B56","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":"Q5253935$D6EF2351-A68E-415F-AA77-8C3E5C7D984A","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":"Q5253935$3F21C25B-3F33-45BD-8C2B-A8491CB0F41E","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":"Q5253935$6C6A77FE-DE6A-45C1-A343-82A06A507A29","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":"Q5253935$2EA694D7-CAD1-4EC2-9A41-ACCD26C157B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46c998d502727365cc53cafc586112f6c2f5388","datavalue":{"value":{"entity-type":"item","numeric-id":4222959,"id":"Q4222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$4BD3C147-5569-4019-ACE0-B2E3D85366CE","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":"Q5253935$0116654C-D37C-4DB9-9FD8-7B45734F996D","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":"Q5253935$0D363AF7-84CC-41EB-B050-0769961F3F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f1277c1ed435977ec9d6541b8a3705a4a5a499","datavalue":{"value":{"entity-type":"item","numeric-id":5646883,"id":"Q5646883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$0D0F397F-76E5-4405-875E-8159D13AB6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$1FF8507D-44C5-4014-94C7-A601750E3880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$2A1C902D-043E-4121-84BB-382516B20373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$65737B23-DFDA-4FB4-8A22-40864CB709D6","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":"Q5253935$D37A7DC7-FE91-4E9F-9DA0-FFB98469D078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$C5CB8900-EF21-40ED-88AB-89988F5ABB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$2E353820-8A15-4471-B883-C5A253ACB55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f52a135fa2cb9ae673692293b0336967bd5b19a","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$474792A5-F216-4ECC-ADF4-12DE00470CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4298af7acb5fa18c459f913b67253cf7985ec17f","datavalue":{"value":{"entity-type":"item","numeric-id":5457304,"id":"Q5457304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$96BC0B6A-4772-4B86-9C3E-0BD77858BE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4905c3ba5f825b1c47112f2dfdb7b9a3bd4a5","datavalue":{"value":{"entity-type":"item","numeric-id":793721,"id":"Q793721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253935$CD1B8AED-AA69-4F77-BCED-D9ABF8AC9F83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1750cf619f2658beb138f04da8c0ae60005f4a","datavalue":{"value":{"entity-type":"item","numeric-id":639643,"id":"Q639643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfcce681e8912d85a843d17bf4eca7b8e300605","datavalue":{"value":{"amount":"+0.7387831211090088","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":"Q5253935$87F1234C-EE4A-4C7E-8EA7-03F7E4ED0FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc935a9714f64f930aae84d54a85d95db85faee4","datavalue":{"value":{"entity-type":"item","numeric-id":5167827,"id":"Q5167827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf7810c7d10d36d5ae6d92b46b4a96983646b6a","datavalue":{"value":{"amount":"+0.7339989542961121","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":"Q5253935$A6393573-AE88-436E-9C29-F4081E57F8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c255d6a590e5593f65102871d92cc4d27751b6c4","datavalue":{"value":{"entity-type":"item","numeric-id":2503336,"id":"Q2503336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1a5189a98739e84bff2dcdcb719f47ee69c2dd","datavalue":{"value":{"amount":"+0.7320422530174255","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":"Q5253935$FAAB8C14-476F-48C5-BD23-76D22CEB80A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1813b18b06b993e473b7b6679f6f8073ed74131","datavalue":{"value":{"amount":"+0.729796290397644","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":"Q5253935$D7D7C869-B5FC-4805-9745-7777B0C289C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1242b2cf9b67e6df1fecf8e78598f1bbf5c9c357","datavalue":{"value":{"entity-type":"item","numeric-id":5096389,"id":"Q5096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bda67a566d0e4ad6a8ad739c9bba4457a22da4f","datavalue":{"value":{"amount":"+0.7287676930427551","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":"Q5253935$677D746C-CA55-4DBF-9F12-98C4FC4A1711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5253935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5253935"}}}}}