{"entities":{"Q5739446":{"pageid":7768998,"ns":120,"title":"Item:Q5739446","lastrevid":52575734,"modified":"2026-01-23T00:36:25Z","type":"item","id":"Q5739446","labels":{"en":{"language":"en","value":"Compositional coinduction with sized types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603962"}},"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":"Q5739446$0713024A-A5BC-48C6-BFC6-51218B91FFE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c527ec2ada5adb73e48e4c7dfebc4682e189e10c","datavalue":{"value":{"text":"Compositional Coinduction with Sized Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739446$AA0B32DF-02BD-45A3-BE48-C844165B46BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98d4acecc5ab3dab9cf2b3f7477f72e66caedd29","datavalue":{"value":"1475.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739446$A69AFB73-90F8-4026-9999-5B4064F1C666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7661d8c530b44cba215a41c8e09823381244f755","datavalue":{"value":"10.1007/978-3-319-40370-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739446$EA288717-34D7-47EC-BF9F-02785047826C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$2C916D68-DB1F-4663-8921-7776B9C621A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38ed45f081b5272f43b89960828e8f9aaf31a28f","datavalue":{"value":{"entity-type":"item","numeric-id":2914672,"id":"Q2914672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$5939BA08-A6AA-4C7A-B980-942FF694CFA8","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":"Q5739446$4D8B72F4-3EB8-4237-8FDA-85FEA16D9497","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b32245448e3d6d86ab52d4a598d7148f615d4001","datavalue":{"value":"https://hal.inria.fr/hal-01446030/file/418352_1_En_2_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739446$AAB6FE7C-A5C2-4FA3-9BE4-57D9B75EFDB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739446$3E967B23-6F1E-471C-9D87-262512F3980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739446$3D842885-2FC8-4D7E-A2E4-C1BC15FA7200","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1178b03d349ca57b1caa06b4af6f1a24929bd2f4","datavalue":{"value":"6603962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739446$B0B30B83-6C2C-46EC-81E9-EC2A0623BDEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$DEEE81DF-EA88-4931-8ABC-B5EC02C1E234","rank":"normal"},{"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":"Q5739446$6ED13127-8EF0-41E3-A68A-BC1D3E77F5B8","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":"Q5739446$6788EB5A-935B-45B0-BC0F-6E5905C5E84F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25599eb8945eb8cb94057f5831a0bacb06b34a23","datavalue":{"value":"W2500784495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739446$A48F0F73-D958-4D75-9183-D4E27061620E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df147e95675e3502f46f8d8293591fcfab649778","datavalue":{"value":{"entity-type":"item","numeric-id":2766795,"id":"Q2766795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$F857FD0C-25EC-4B16-8672-F5AE25D4355C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5617310ca0bcf7dd61b0c261dc121dfebbbf04","datavalue":{"value":{"entity-type":"item","numeric-id":4457444,"id":"Q4457444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$B96B2C63-F4FA-47AB-9AD6-4772E86EE436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d12ddf52bcc00a5ac4a095eb4afbd7bec72491","datavalue":{"value":{"entity-type":"item","numeric-id":3498444,"id":"Q3498444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$8FDD35E8-C961-4E06-B437-6AB1210768E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a315f8ad5008dcde11f07cf3ff6480c48c7abaf","datavalue":{"value":{"entity-type":"item","numeric-id":5900207,"id":"Q5900207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$AE9E9CB2-047B-410E-8B09-5DF5C9B6F844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bb19e6feaa60d67a9e6471ccafb379a55914e8","datavalue":{"value":{"entity-type":"item","numeric-id":2784165,"id":"Q2784165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$A12E0B48-4D4A-4FFA-97DD-84DDE002D12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02420b55b611e11c71fb1baf0d07be65f4765be8","datavalue":{"value":{"entity-type":"item","numeric-id":5244799,"id":"Q5244799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$7E64B613-B74C-4A7A-9EF9-BF95F89754D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3359d8b4d74be6e0e3bf9e0913876379e1e59105","datavalue":{"value":{"entity-type":"item","numeric-id":3839066,"id":"Q3839066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$4699F071-06BA-4BDF-AFA0-78C4FE6AA2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac06384dc787a405949068340510a6602af80","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$22DD3D58-637F-457C-AE98-FE1E91680A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ec34bc45b3dd9208c19ebd43163fb16d3d98f5","datavalue":{"value":{"entity-type":"item","numeric-id":2981955,"id":"Q2981955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$0C042DDD-7F52-46C1-8C69-98463EC23EC5","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":"Q5739446$8A2773FD-FC72-400A-A9B5-9D381ECC871F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$4AAD83DF-6F73-4309-987E-D84D732029FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d28e15add49d7c190251d1a8da498542a9d962","datavalue":{"value":{"entity-type":"item","numeric-id":5404477,"id":"Q5404477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$BD603D56-BF02-4E17-A35F-D83E1842AE27","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":"Q5739446$E47FD61C-36D6-4FEA-A317-30A27AFE1CA9","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":"Q5739446$4069C219-1EAD-4C44-B29C-818843576C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$7341FB6F-2A59-44B0-B2F9-3B58A4E9F305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$6299F248-682E-4921-A4FA-BB0116B0AF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d485418966b2d901af8aed1e09d37a587c9ec423","datavalue":{"value":{"entity-type":"item","numeric-id":5271060,"id":"Q5271060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$C5334877-FF4D-474C-A610-933B55F54308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739446$9670E08A-76FD-448A-BE53-0BB8F754F0B6","rank":"normal"}],"P1643":[{"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":"b0836780ee9f91eff6471166efb31229c4effe76","datavalue":{"value":{"amount":"+0.7441571950912476","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":"Q5739446$2F98A780-3799-428F-AE95-E860C2AFF881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d517c08e26e118f75fba9c29a3b7dfe2171e8e7","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba73793adbbae018a5f13e6abde62972ded7c7a3","datavalue":{"value":{"amount":"+0.7284241318702698","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":"Q5739446$88584611-5695-4FA3-86C6-233E74BFC7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0ab5db63666d3652cb74817024c07c1bbdf598","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e94a528e1c358f715cff16ef8d7877f23e851c6","datavalue":{"value":{"amount":"+0.7243046760559082","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":"Q5739446$66CCADE2-8BD3-4C04-A2F4-98DB1428CFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdacffe350b0172db6270b2a9b59777bc6a7500","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d2b434fca9c987a7a654fcd354cd6f64fb1168","datavalue":{"value":{"amount":"+0.7220820188522339","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":"Q5739446$435C90AF-914A-4DC1-A3FE-2D6B1D452148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41c4d0a8b5b2af9d1b0eaf03ff14cbc5c60d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69303ab4758b3a344e439dd39de4d62d1d66812d","datavalue":{"value":{"amount":"+0.7185806632041931","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":"Q5739446$1F617742-C3D0-4E16-94C2-1BD516BBA25B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739446"}}}}}