{"entities":{"Q1318702":{"pageid":1329452,"ns":120,"title":"Item:Q1318702","lastrevid":70129929,"modified":"2026-04-13T12:38:15Z","type":"item","id":"Q1318702","labels":{"en":{"language":"en","value":"A co-induction principle for recursively defined domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540856"}},"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":"Q1318702$AD5BF3F6-278F-4A8E-823E-529FF09246B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3d7e86e369c34972e3de176901cd7d43c951331","datavalue":{"value":{"text":"A co-induction principle for recursively defined domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318702$A0810193-AF06-4987-BE98-044CF50FE39F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac038145f9eeca488cad4029a0e2512a91aa6732","datavalue":{"value":"0795.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318702$C04DB47A-6293-4F36-B3CE-C80CCCC3B56B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a4c4b7dbebafa7da8260559fc26c42f0dbb1e64","datavalue":{"value":"10.1016/0304-3975(94)90014-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318702$FCB33456-200F-4C9D-868F-3271619D80E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$362727D7-92DF-4259-8CE9-335F033DE0D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$BEC6514B-BD4C-4AEC-9DFD-9A14190D5B6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"054db8f256a961baa5551095cf141804f5047514","datavalue":{"value":{"time":"+1994-04-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":"Q1318702$B5C1D9C9-F650-4379-A5DD-5012F10E15F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318702$496519BF-AFF5-4191-9B23-C9CD9741510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318702$8E3DC173-720F-4FC1-9D88-48B88FEBA708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9ff6caedd27076de650d07bb8e80f41db10dae7","datavalue":{"value":"540856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318702$DA270906-7F42-455B-9378-226F3380C934","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2db3eb727ad3ed979125d56820e00e1decba395","datavalue":{"value":"recursively defined predomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$67216F42-825E-4E17-8475-A854DE58AF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ab2bf5cf1db27d12a3af246213f47470363193","datavalue":{"value":"powerdomain constructors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$E01A1D72-10AC-4803-BB03-14011C547611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$4BD64630-DFB2-449C-B418-C4D07D5D3971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846cb546de3cbd1bcf14392ecf63d780b7eb5a14","datavalue":{"value":"greatest fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$41EE4BAA-CF9F-4179-807E-AE1EAFBF3ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$BD77F5C8-0BF0-4E0D-88D2-F3A630874BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"facb59a2f02e1baeb648da55c5495affc2a65b16","datavalue":{"value":"co-induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$A8A6BB0A-19F6-4538-BB5C-A9AE3BFDB9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$9CF18DEB-413C-4D86-AFF1-F0923BBF6278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06b0b8a4c589725de9814f645e40261e9bebb1dc","datavalue":{"value":"recursively defined datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$6A3586EB-4ADD-43D4-99C5-97E6492D6012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae12e2bb840d86531a02425f3b9fd21d91238224","datavalue":{"value":"higher-order functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318702$12E8C3BC-FC57-41A7-BC47-F667503FE131","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$811830C9-F24C-40EE-8D03-20E22231070C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$9EF8D4C4-2952-4AD9-AD30-4F5657EE977C","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":"Q1318702$E9E47AB2-DEA8-4CC1-A006-756AA95F24B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"923cc669a1020bcae688829f236fe498d259e883","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90014-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318702$0A59B67C-06ED-407C-8D44-8292A6332FE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"124e7f355c599b0d534d0f77ea1cb5809ca2a377","datavalue":{"value":"W2010663699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318702$CEE7EBBE-5000-4092-A654-200287751CCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$8CDE4FBB-1DAD-460F-8154-04B97209DCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$67D2A57D-67BB-4A28-BF5C-C0C8B0D9FC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$260F38FC-76E7-47A9-A142-101089F9DF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$942590A6-06DA-4B4D-95ED-3A7264D764DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$6EE6C7A1-D449-43EF-A68C-3F317CA7191A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$AD0AC79C-0470-43E4-B2FB-93A1FCFACD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$E5472D2D-4F53-40AE-8E55-43638DF42DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$008003B6-CD89-4200-A747-A199ECC1F3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$C3981B96-E643-4F6C-9A28-6DE10CFDFAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$F1108444-951E-4C28-8D09-F1242E599579","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":"Q1318702$A5C35EFD-54D2-4BF3-96ED-3870AE88FD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd77c1416f46db1e477c06eb4d0c6518ccbfab0","datavalue":{"value":{"entity-type":"item","numeric-id":3326830,"id":"Q3326830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318702$1ACBD389-6E66-4194-80D4-3EC05E66368F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78c7b68c9356163b3f629414f2cbeb0c2a25b82","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546845990c2575daf2c5d8b635a9416e69bff7b2","datavalue":{"value":{"amount":"+0.8677343130111694","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":"Q1318702$B1CA7A6D-012B-4681-92F1-EC50C24EF1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e649413681a21d6a72aaed2e7c95ea38361baa","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546845990c2575daf2c5d8b635a9416e69bff7b2","datavalue":{"value":{"amount":"+0.8677343130111694","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":"Q1318702$47B51435-F028-44EC-A1B9-24D80FABB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfad2168e1b1bffa9cf5ffed47b771af85ceae7a","datavalue":{"value":{"entity-type":"item","numeric-id":3709857,"id":"Q3709857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443890a762a8189b99a6bd934ebbbd9ca86c665d","datavalue":{"value":{"amount":"+0.8242769837379456","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":"Q1318702$A132A53B-DC60-49E4-9156-D2A140F64CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da66106baf765bc1dc1544b950751eca2c16006","datavalue":{"value":{"entity-type":"item","numeric-id":4704763,"id":"Q4704763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa0f95c3f28b4f20892a4d9fc83c4c78bdb2458","datavalue":{"value":{"amount":"+0.7938053607940674","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":"Q1318702$7092D486-513F-407C-AEF7-5B4FB3929B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2331ec4df3b5429b5494c641126472a7edd5ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa0f95c3f28b4f20892a4d9fc83c4c78bdb2458","datavalue":{"value":{"amount":"+0.7938053607940674","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":"Q1318702$1524C7EC-4D4C-4560-B45B-2916629DB893","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A co-induction principle for recursively defined domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_co-induction_principle_for_recursively_defined_domains"}}}}}