{"entities":{"Q5854733":{"pageid":7884284,"ns":120,"title":"Item:Q5854733","lastrevid":58615353,"modified":"2026-04-06T00:40:26Z","type":"item","id":"Q5854733","labels":{"en":{"language":"en","value":"Type-based termination, inflationary fixed-points, and mixed inductive-coinductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7324384"}},"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":"Q5854733$C67E6880-2EE0-4E67-A36B-56491C9303AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc38afa0943f7325cd19d99bbf36ecd4ba903fc6","datavalue":{"value":"1457.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854733$F8B1D7D0-0619-4F27-AFE8-3C12832314C8","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":"Q5854733$B2AB68C0-D001-4CB6-8A8F-1A8356FF69DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c44e9e40e16b91f474187fb226cbd1d827ea50c7","datavalue":{"value":{"time":"+2021-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5854733$FB789C07-B2A8-4D26-805F-42980A6F946B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d6f0899d7c97ff7a1dae3c248940fbe8232d2f0","datavalue":{"value":"https://arxiv.org/abs/1202.3496","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854733$3990CAE4-63A6-4E90-8441-07FB1FD12B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a97c5a9ae99a950e21aa1fb5251a7d943751d909","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2012.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854733$F346CF60-CC40-4ED4-9AD9-FE4643CFAF2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854733$D3E5C7BD-802C-4B8E-9D07-8B939347D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854733$CB7848CE-4072-4FE7-84F0-07E27352FC5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a09441239b7725c99f56b3c4533b00d5d5892f3","datavalue":{"value":"7324384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854733$954277C5-69C6-4D8E-82C1-DCC64257BBF5","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":"Q5854733$08B7468B-7C53-4BA5-BE1F-1DE262D494F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314ffd1a8a0317aa2d60e5bb7cb67fb338fc2441","datavalue":{"value":{"entity-type":"item","numeric-id":3498444,"id":"Q3498444"},"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":"Q5854733$5E2A6B1B-2D0F-461A-B833-3CC91FDEB517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b1d36c3b70bbca215dd88f12733a13e625d7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4457444,"id":"Q4457444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b471041addfbaa2d946d36102aef342c50695bd1","datavalue":{"value":{"amount":"+0.7567618489265442","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":"Q5854733$0622FC15-38D1-4890-85C2-DB8A43E4C67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0503abb6bd0008b433cf5d77598473609f227dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471ec427133bd522ff0d07241bdae83b814f8ada","datavalue":{"value":{"amount":"+0.7530149221420288","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":"Q5854733$5A3D62A1-DAD3-4A0A-BE8A-2E4F97F9DB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32d4a0c1ee6b10de4e6cea76257c8a2cfc8e36c","datavalue":{"value":{"entity-type":"item","numeric-id":3575268,"id":"Q3575268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0c3146d2b55e6e63897544e8d530d769d3517f","datavalue":{"value":{"amount":"+0.7469329833984375","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":"Q5854733$368D69CC-DEE0-4AAB-AF71-10FE23B3CC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fec648d54e88a7b65d0a8f4bd3f5c2ba89659f","datavalue":{"value":{"entity-type":"item","numeric-id":3540199,"id":"Q3540199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424dcd5fa3614ebbb0b1a190e7689b2fc900e74e","datavalue":{"value":{"amount":"+0.7443631887435913","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":"Q5854733$18DAB0EB-7A89-4216-9F48-760A93F018D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5854733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5854733"}}}}}