{"entities":{"Q5422303":{"pageid":7451877,"ns":120,"title":"Item:Q5422303","lastrevid":100934021,"modified":"2026-06-05T23:29:08Z","type":"item","id":"Q5422303","labels":{"en":{"language":"en","value":"Models of non-well-founded sets via an indexed final coalgebra theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201540"}},"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":"Q5422303$1530F6A7-7EB4-47FE-A85A-7453D8EF86C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1d2ad2eab7b7fc15be64ac8dbe954ed66368f09","datavalue":{"value":{"text":"Models of non-well-founded sets via an indexed final coalgebra theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5422303$2606DC48-0C2C-4064-9955-355D18C27B79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38833c98b38665012b09f52cfd1d37215aaa4df3","datavalue":{"value":"1124.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422303$37312CFF-C0C1-4E9A-A58C-3818168511A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422303$D725C294-1257-4A83-A331-FA6CE2B12601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9b6e77322c8d3b850be1ea8c25330824a839f8","datavalue":{"value":{"entity-type":"item","numeric-id":876382,"id":"Q876382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422303$27A91EA3-7A41-411C-8C9E-2E535D727AFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422303$00C26C0D-60A5-4B3A-85D6-1289CD03CDE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-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":"Q5422303$21CA4D74-5DA4-4599-ADCB-B39751351C46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd518d7de58a2eda56ad20e8da6de96e237d6e3a","datavalue":{"value":"https://arxiv.org/abs/math/0508531","type":"string"},"datatype":"url"},"type":"statement","id":"Q5422303$C69FFF4F-56A9-496C-BCC2-BAC79B6750FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6a09f9fd6f3e44c10c43a1e389b86e9651dda53","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1191333841","type":"string"},"datatype":"url"},"type":"statement","id":"Q5422303$9FFDA74A-4414-4BE2-B649-FA69CFC2E9EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422303$B3A81EC2-AE65-416B-B354-D5528133EACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422303$5433812F-0606-460D-A085-E65CE0FB4BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422303$BC26634F-78B2-4F45-854B-5D1BFD35F344","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a248101ea1fdca5e45d6e79b63c83d9e14e16fe","datavalue":{"value":"5201540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422303$ECD3687E-0A9E-40F1-A5AC-4C261A72A170","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf9840488e37cac79de4596c895cae15d0ed70b","datavalue":{"value":"final coalgebra theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422303$73B19461-F478-426F-B032-226DF6FC51FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c261fdd6837b59ac3fc9ffd46ddae0f79d89fc7","datavalue":{"value":"Heyting pretopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422303$96F21427-1AB7-4F3A-8D36-EE84EA271A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f085b95b13610f0e4840fa8369965d610e336","datavalue":{"value":"non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422303$26B458FD-9567-4B95-90C1-D62E36F9C128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5930f9ddcd5d6610c7bbdbd914d751dbf292cb","datavalue":{"value":"anti-foundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422303$46783E7E-7D97-4161-8679-34E36BACFF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8adaa72ee61208609f7e9f95c31f8ef7ec82b4b","datavalue":{"value":"power-class functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422303$4AD50582-B331-42D1-89C8-2FD2C3EAF3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422303$138FE623-E4C6-4AD9-9006-04942D0A9C3D","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":"Q5422303$4C861FA7-FC6E-40FC-B901-8F286E49FAD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9db77bbd1bbc73d47eb4d1d97a2beab1c927675","datavalue":{"value":"W2159694780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422303$9D18D602-F6AE-4D4B-8B8D-C9CD41A182CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cce7c93a48b86137625d2d7c6cb794438b6f42","datavalue":{"value":{"entity-type":"item","numeric-id":4459228,"id":"Q4459228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422303$51006A55-08E6-4637-82AC-B85F02C50C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422303$2D800258-3A04-417C-95BC-D3BC41484A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422303$C5E94B4A-602A-4B32-A98D-AB6754B80D5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3f57d2797259561955412dbcd50ae86576ee56d","datavalue":{"value":"10.2178/JSL/1191333841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422303$7EC4A4B3-DA48-49F8-A3F7-32B64E6A840A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d46ca4ffabbd6f34b2eccc4e47b23c9d5f7e72","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4439791b0967b434f4371a050678e61a08bc0f70","datavalue":{"value":{"amount":"+0.7951619029045105","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":"Q5422303$D60CC29E-D410-48A2-B3A4-D71870505080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f521d55327d32c32c1ced44664d2eb3a466e26","datavalue":{"value":{"entity-type":"item","numeric-id":4719351,"id":"Q4719351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016a03b88ed0724302cd095952e70395adf622e8","datavalue":{"value":{"amount":"+0.7806596755981445","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":"Q5422303$A1D7F31E-13DF-4E76-9E40-D592510429AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43e6abb7322519c47645f624de60e94c9ce4bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225e9f1a70e8dca1fad81e5649b715a02dba9ba3","datavalue":{"value":{"amount":"+0.780646800994873","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":"Q5422303$E2CFE0E4-7015-40C6-B2F0-CBFA995DEBF5","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":"bb70d8918767f0fd255668d0cd6853c3f42a8e67","datavalue":{"value":{"amount":"+0.777908980846405","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":"Q5422303$361434FB-C712-48EF-AB30-5D1257D40EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0afe3fbd1ba0215f6ccab0878712a4e965588d","datavalue":{"value":{"entity-type":"item","numeric-id":5462661,"id":"Q5462661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f20e1bfc0711aed5d09b227a6b423aab57bbc1a","datavalue":{"value":{"amount":"+0.7720701694488525","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":"Q5422303$3066BEE9-F17B-4671-90AD-C6CC60B405E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models of non-well-founded sets via an indexed final coalgebra theorem","badges":[]}}}}}