{"entities":{"Q3498444":{"pageid":5528347,"ns":120,"title":"Item:Q3498444","lastrevid":50357753,"modified":"2026-01-13T21:32:41Z","type":"item","id":"Q3498444","labels":{"en":{"language":"en","value":"Mixed Inductive/Coinductive Types and Strong Normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275801"}},"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":"Q3498444$589E0137-681D-43C6-A2B6-876ED8613640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"782d586bbcfd26c02c738d0addd21886f57d005c","datavalue":{"value":{"text":"Mixed Inductive/Coinductive Types and Strong Normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498444$D6149877-4BA3-4F87-8024-E1BE9FE4B4E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97179f0508f17e50f9ece2103954775f9ce68df4","datavalue":{"value":"1138.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498444$59ECF816-6449-4889-BDE8-B52D74F83E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"800cd6c1aa52f35db133ff1e0154a51dc9c9bd89","datavalue":{"value":"10.1007/978-3-540-76637-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498444$33340057-776E-41A4-BB8B-C9ED281710B9","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":"Q3498444$05428A95-E31A-4EA9-8033-A718CF117A61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$86DCBBBF-9C74-4688-88D8-9D64C9A46F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-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":"Q3498444$93BA9356-2159-4282-87A6-CC7245613BD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498444$E777D42E-13A5-49E5-92AB-003E5361BC4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b7a49f6273021a4fe3a80b8d7b48722e5a09bd8","datavalue":{"value":"5275801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498444$ED80F6AA-28A1-4F65-97D4-BE1706ECDD09","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":"Q3498444$909C0FBD-9742-464B-9EFE-3E60377298F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfdb507ec0d9246131824fd61b22628768670dee","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76637-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498444$87E580F7-5D9E-4A17-96A1-DC1435AA1992","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"615a7bbfe8257a0aa68560a5a340423c478ecbd5","datavalue":{"value":"W1523149969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498444$6E2D50B7-C4D4-4B3C-8318-ECD0BF2904B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2423c9186c9682fd8d966fe4d344073a0c2498","datavalue":{"value":{"entity-type":"item","numeric-id":3434712,"id":"Q3434712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$AE64E5C9-6BA5-4E9B-9BE1-9FAE601550B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"154689cab9c9a027befb52bb990b8613a9f02fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5901478,"id":"Q5901478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$E3445DC5-E1A1-4810-BD62-A37D3290BDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620ef0e6e38d27271fb26dbb3f598964e2bfe2f5","datavalue":{"value":{"entity-type":"item","numeric-id":3618812,"id":"Q3618812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$8730579E-644A-4A3D-9970-B688007C9F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cef53906cd08b22db5c06d00876cac50e8d120","datavalue":{"value":{"entity-type":"item","numeric-id":3612619,"id":"Q3612619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$BF1F6955-23D1-45CA-AB73-26F143D60AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$81EE1BA9-2BC1-40C9-B0EC-2E11BB48ED9F","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":"Q3498444$5EDA0D5A-636A-4B38-B75D-CA75D914AA90","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":"Q3498444$7673960D-BDD8-4AFA-A2EA-F2B46F46D926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b77c50b47b4c19657d295ea46a35a19d800721","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$B3155015-0EE4-49C3-9C7E-72B1C249CB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7477636267abbdc22f22931959dafbd9f4c1293d","datavalue":{"value":{"entity-type":"item","numeric-id":5387887,"id":"Q5387887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$1193E648-F158-45B1-98E5-FE74BAC1371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57615c1f5632b5185c58110d29ddedec6b7c841b","datavalue":{"value":{"entity-type":"item","numeric-id":2863899,"id":"Q2863899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$5C3466A3-4920-442B-BC5D-001290604CB2","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":"Q3498444$BB48F039-A023-4076-8B4B-3A5A45B083BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a0291d6b416afdf61c3b8456fe8639369f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1190480,"id":"Q1190480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$FF9DF91B-8030-4128-ACE8-001CCF2D528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$6957893C-5C39-4521-BB86-10A4809BC369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf6c0bc925b208e32fccb8ee27e2f61f45a4baf","datavalue":{"value":{"entity-type":"item","numeric-id":5758042,"id":"Q5758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498444$272D151B-CF49-4849-9C58-6D2162331021","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b880e15382c3f4ed44af04a3258cd89112c976c9","datavalue":{"value":{"entity-type":"item","numeric-id":3612619,"id":"Q3612619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24847de94aae31276f2fc5da629b8c797cf8388e","datavalue":{"value":{"amount":"+0.7988982200622559","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":"Q3498444$5535AE18-C2EE-4394-9D68-8AAF05D705FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5cd59a78c7606aa8dcab55a2a93692a8a6818","datavalue":{"value":{"entity-type":"item","numeric-id":5854733,"id":"Q5854733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a448edfaa0612025a8db4c03a41b10a755d2bd9","datavalue":{"value":{"amount":"+0.7773066163063049","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":"Q3498444$53AC0693-99F0-4B06-9600-96A1FAA4BDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75afed6aff9038396c9823334ef5209dc42e6949","datavalue":{"value":{"entity-type":"item","numeric-id":2789044,"id":"Q2789044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4992b1ec215e4741221cc85e38bc02d3614dd3f6","datavalue":{"value":{"amount":"+0.7741959691047668","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":"Q3498444$B9DFDC3A-6CB9-4F25-8E95-4568EE45B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91f3c71700e6aec69ea6437247aba418d9dada1","datavalue":{"value":{"entity-type":"item","numeric-id":5168889,"id":"Q5168889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2319942f879b3583201b7458d4253c1a7ec32bd","datavalue":{"value":{"amount":"+0.7416743636131287","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":"Q3498444$DBD5A056-A73A-475A-8026-6E2A85694BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a5ef6fdada51db46014ad47bc045abe7dfdaf7","datavalue":{"value":{"entity-type":"item","numeric-id":5225850,"id":"Q5225850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc5a1920a16e0797df1a488d5418eaf49024898","datavalue":{"value":{"amount":"+0.7410851120948792","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":"Q3498444$3F8A1EB8-39CC-48A6-A5D1-686E3CFCF8C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498444"}}}}}