{"entities":{"Q5739360":{"pageid":7768912,"ns":120,"title":"Item:Q5739360","lastrevid":97058840,"modified":"2026-06-05T13:09:45Z","type":"item","id":"Q5739360","labels":{"en":{"language":"en","value":"Realization of coinductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603855"}},"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":"Q5739360$57615346-B232-4F7C-B7BE-CB83F8EB547C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"276d2122bf6e3c94e2f67614afed0d8227dc683d","datavalue":{"value":{"text":"Realization of Coinductive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739360$50D5AADA-830E-454C-A845-BA2C4F4644FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ab8b0279be7397f5bb0f4396977c3357e0390b6","datavalue":{"value":"1342.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739360$46418CC3-99C0-4AA1-8915-EB110093DFAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$A0EDBF38-7B6E-4285-858C-BF476D3B42CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$D9FBAB62-DE81-47FE-BB53-4764D0D459F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78adf6e76276ee5d7f342d12b99cf64bd7a4e40c","datavalue":{"value":{"time":"+2016-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739360$024DF683-5076-4D03-9F3B-93929B918FE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739360$7FE11A7E-DAC0-4CC6-8023-2F71EB54BC1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7146d9aa385590dca2ed7cd93925fd3e0fe217c","datavalue":{"value":"6603855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739360$D8567E03-41D3-44A3-97E9-4D84818370B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739360$106E7D3C-E28E-4C14-B881-7F2BD9D46FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739360$82D850BB-6A81-4E0C-8AAF-74272749B51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739360$1AD456AE-B33C-4DF5-9D8F-AC4D229DD657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa090f18f5d249a24e25141947f4f3f62cb669f8","datavalue":{"value":"Brzozowski derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739360$934A44DA-05DA-47EB-B7B8-8B669D85D1D4","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":"Q5739360$6ECA0CB0-0A14-47EB-AD91-A3DD94B065A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dafc7ee4830a699bd703d035d79029c90bd01818","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.09.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739360$EDF5B404-B6C0-4AA6-A52D-C914CFCD6866","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6e017de52599e885d23afbf41ee81aea7bfed2d","datavalue":{"value":"W2038590032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739360$E873975B-7534-4F66-A0B2-0C05C3BCE45E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"727b8e386ab21e22ed2d10b188b3029f9a268c70","datavalue":{"value":"Q113318221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739360$1DE1B1E1-8617-4FAC-B4DC-6E32BDC12886","rank":"normal"}],"P223":[{"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":"Q5739360$ED0F47E2-D38F-4FA8-BC81-2F59EBF3EE12","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":"Q5739360$65AF77A5-CAAA-48F8-BC0B-35F01213ED53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$FA3EF01D-78D4-4AFF-BD76-472CE23393EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$90067A94-3B8E-4003-84C5-4681FFCDD140","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":"Q5739360$653F4F50-1A93-4576-8F77-3673D2FB33AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$965578A6-3DA2-4F8B-9853-FC611DBAD859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65036ecd194ff8221becdeb615d4d21186d775","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$FB9A0C07-631A-49CC-9252-0E7F188F4441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$1AE22A02-98C6-4453-B5B1-7392721C957E","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":"Q5739360$DE4A8249-AE35-4A99-9B7D-8F5418465339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59832ba6bcb7437ede80766f78dca7934a3cdc9","datavalue":{"value":{"entity-type":"item","numeric-id":2843736,"id":"Q2843736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$54E4D151-1182-4733-AA52-362261D2E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4118243111efeb828f4d7d13d9c4d889c12f39e3","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$86E28295-BD83-4D53-8E77-73BC2B8F38FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739360$83444F98-14FF-44D4-A610-42BBFF30093D","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":"Q5739360$BDA3350F-092D-4C2D-A747-4889AD83B78D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e9cd8d45e30ea153862d7e51bf6d697a76e784f","datavalue":{"value":"10.1016/J.ENTCS.2011.09.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739360$4B9253CC-EE8E-4DF8-B29B-C0D6980E71BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960a5c5920a999e3543ca8a33798b77f5ad3b38d","datavalue":{"value":{"entity-type":"item","numeric-id":2843736,"id":"Q2843736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0067597744d34cf359291ef4cbd0bd3acece6139","datavalue":{"value":{"amount":"+0.7587043642997742","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":"Q5739360$B1557A41-A6C3-4CB0-BBFC-1DC3603DDF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1681c951f8a8b5cd360d0aa978056cee65e801","datavalue":{"value":{"entity-type":"item","numeric-id":2805147,"id":"Q2805147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca0a40bca2f2369b1dc4916acaaa04abe6b6aed","datavalue":{"value":{"amount":"+0.7562167644500732","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":"Q5739360$2E7A2032-3B35-45FA-9EF7-7CB1C234B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7992ac61974fa2050e4a64d1abe90ab0d8f55b5f","datavalue":{"value":{"entity-type":"item","numeric-id":2863899,"id":"Q2863899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ee141bbda67e6b96596036059e8c2b338e0fcf","datavalue":{"value":{"amount":"+0.7526025176048279","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":"Q5739360$3EE6EB6B-54F3-4CC5-8DF0-F9CF1EFBFCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9958f89b062938f7f37371edf00e9ff80ddce2c5","datavalue":{"value":{"entity-type":"item","numeric-id":4499309,"id":"Q4499309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9018feecdfd0049a7c89efb1f24184f6dadd099c","datavalue":{"value":{"amount":"+0.7516652941703796","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":"Q5739360$19A58039-AFDF-4A8F-8B98-4471790ECD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5d922db37ef1718202e561077e8c4a52fe341f","datavalue":{"value":{"entity-type":"item","numeric-id":5492817,"id":"Q5492817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e61fe1977a258a91bf391b66f08e266caea3d75","datavalue":{"value":{"amount":"+0.7477080821990967","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":"Q5739360$63C8C89B-53A8-4DE8-AA0A-0EE26251A6A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realization of coinductive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realization_of_coinductive_types"}}}}}