{"entities":{"Q6159938":{"pageid":13294799,"ns":120,"title":"Item:Q6159938","lastrevid":55458232,"modified":"2026-02-17T16:52:07Z","type":"item","id":"Q6159938","labels":{"en":{"language":"en","value":"Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700627"}},"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":"Q6159938$C7876F21-6E9B-46AA-8642-4E4D22A6B356","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159938$93FD0B6F-FBFE-441D-AD1B-92A70DF47D72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159938$5A702732-4102-4FFB-8B5F-47D199DE4C91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159938$18DC9A42-2A24-4286-83BC-0C36C7E604CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159938$EE8D1994-70B8-4544-B997-967299F2390C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159938$A9E0CDC2-340E-478E-B038-B6547CD6ADE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dc21d5bef056765d7a527c0336308dc04eef4a7","datavalue":{"value":"7700627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159938$928173E9-3FD5-42E9-8524-83ED0091DFCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159938$A7147574-B018-4EAC-86EE-BF9D19DA7668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0225cb9bc395d66a749b5282eadd379bad28eee","datavalue":{"value":"finite powerset","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159938$A8E1C6AA-EA5F-4DF2-ABB5-66FCFC545C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159938$97A6592B-AAAF-40AA-8164-31462337C9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a515164193f559e7f45434024d1417c63a69443","datavalue":{"value":"cubical agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159938$0B303EE9-CDDD-4CEF-A23D-54AC9792AE3F","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":"Q6159938$8E3C4DE1-DB47-47E7-9CDD-7C7171271EE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6d8f651d5eaf639d66555b3ab50a18bcea4647f","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2021.22","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159938$A468B932-BD64-42CC-BAFC-8B74F6EBC1CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a37cf9ece73e1f6d5922a8fadc09f6d578a1e12","datavalue":{"value":"W3183251373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159938$4F0F7D45-F275-4667-B101-A2B64D7927EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f625b79bbb98d639311027b39028b42f9301e22","datavalue":{"value":{"text":"Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159938$BB9A3507-8A7C-42EE-AE6C-9CD9677EB590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b072bbb8fbc6865e8c2ef780b50b15413cf70f11","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159938$612EE72D-174B-40EC-AEF1-17DA3DE1796F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970ea9cdd2f04b44cd763a66fa878d88f8057d8e","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83284f21d10c437c90162350c3fc5d61f87f04f","datavalue":{"value":{"amount":"+0.7758470177650452","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":"Q6159938$7366BF75-587B-402B-BBC4-67390399F116","rank":"normal"},{"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":"35dca2428e230831758235eca9930ab25ce71c59","datavalue":{"value":{"amount":"+0.7654816508293152","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":"Q6159938$6A97606B-6FB4-427F-91D0-6777AFC57458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67545d5628fd3e254d6d62ebccfc0af8654ad1d0","datavalue":{"value":{"entity-type":"item","numeric-id":5739360,"id":"Q5739360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73800272c1136885d63dcdda238c9ff6cd7e104","datavalue":{"value":{"amount":"+0.7629523277282715","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":"Q6159938$EC7F72AD-E404-4077-93B4-0F5EF1AC2B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5df14dde303d572073e741a384aeab33eece7","datavalue":{"value":{"entity-type":"item","numeric-id":3056299,"id":"Q3056299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd1a6e954c5a5468a57876980f27b4165e91927","datavalue":{"value":{"amount":"+0.7547151446342468","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":"Q6159938$4A53A5D7-F0D9-4E9B-8F92-2946FE7467C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265aa210ac0380d1db8208b0936a79dfd27a3ef1","datavalue":{"value":{"entity-type":"item","numeric-id":2516577,"id":"Q2516577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c003f525a6a8a7f13238df93da04e745f7d4339b","datavalue":{"value":{"amount":"+0.7396435141563416","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":"Q6159938$D371D333-00C2-4BAF-AEF0-C41892BC33CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159938"}}}}}