{"entities":{"Q7323664":{"pageid":31355182,"ns":120,"title":"Item:Q7323664","lastrevid":105121909,"modified":"2026-09-17T13:18:05Z","type":"item","id":"Q7323664","labels":{"en":{"language":"en","value":"Formalising inductive and coinductive containers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249894"}},"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":"Q7323664$880832BE-4672-417B-A15E-FDD1F3B08406","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2ff9136bef58a56b71ff3d1c4f890297bd0d608","datavalue":{"value":{"text":"Formalising inductive and coinductive containers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323664$CB4851C0-11A8-4649-ACBD-4F78C2F4905B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4514ad89d6f7d85b3534140d32d8a8fa295fea84","datavalue":{"value":"10.4230/LIPICS.ITP.2025.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323664$2D6B724D-8949-4E27-8E0D-AC1C4A5E3495","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60cfe9b5d404a6c4595d303a4c5d9d9b257f2132","datavalue":{"value":{"entity-type":"item","numeric-id":6743005,"id":"Q6743005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$FF37BBC9-1A2E-4A8A-A6FD-5AF3F29EDEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$6A18CA37-07CD-4F1E-8527-ADCD7F1AC1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41d31fcb886ce28cb1911e25692e1966cb488043","datavalue":{"value":{"entity-type":"item","numeric-id":6124940,"id":"Q6124940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$03E2B799-B48E-4F4E-A804-A61B894B1FF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7323664$F3A355AE-4DF0-4D3B-B471-7DBAD0A3D98B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323664$814BE1E1-DDBB-4C01-96A4-C1DD8E80B472","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b732e05e80ec5c498772e4eb1d1989214cfd01ec","datavalue":{"value":"8249894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323664$AD1BBE91-23FD-4409-8FE3-31F9CD6A1D7D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$EB58727D-982C-47F7-A802-545F56FE4C05","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":"Q7323664$8C9C45C7-435B-482D-B9A9-ACAAD2F16C6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$7AB6680C-E6FF-4F7D-B9FC-EDEDD41A1337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40baf4bdceb7bc43f795fddb529b32cd0b1cc67e","datavalue":{"value":{"entity-type":"item","numeric-id":5466528,"id":"Q5466528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$7153A31B-42A0-4AB2-BB43-3B71848F441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$8DA7C781-F237-4C89-89BE-BB804EECB736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0473ed6d7fc7ca641b0df021e4eef65b253f7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$33AF1251-08C0-444B-BB52-DF64BB84058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea3b9dcc765a0506e851fe3e6b94c778ecda1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2176677,"id":"Q2176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$31C0B3C0-6958-43F8-9B06-F42B69C1210D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d933edf4963c389a557958eabf2c98c8c201163f","datavalue":{"value":{"entity-type":"item","numeric-id":5875411,"id":"Q5875411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$7748A539-8745-44FA-B72E-12852550B863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcd860e8d8056f66af391a0e481e0bfb208defd","datavalue":{"value":{"entity-type":"item","numeric-id":6075425,"id":"Q6075425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$471671BD-5E39-4B67-996D-1A9CA9E20D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$364E978E-FA05-41CE-AEB9-3640A183C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee069e777fe710074f53e5c93bcafdd2ef8123c","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$62AA786C-4BBA-4C6D-AA26-54AEBB5ABCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$BB2F726F-76F5-4BAD-81C3-35F01C4A6605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$0ECF89E5-9D8A-4F2C-9AC6-150FA20B43B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4496a23b83c16279954a022aa32eac3675e41aa","datavalue":{"value":{"entity-type":"item","numeric-id":6654472,"id":"Q6654472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$5E37BBCF-844D-4843-BF5A-1CF755B57B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$8A1BA9C8-8588-4F50-A621-F61B40F4A991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ebfdec21f1f4eef9e25ed177c9a08b306f38bd","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$3758A379-1DB6-446C-8D29-A331FCA665A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$EFD0356D-9086-4DF9-BD80-25CEB407560E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$D4E77FF0-805F-4ABE-8107-EE16B59E27A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$AB94B8E3-6291-48E3-A419-B2EE9CDD1409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$2EF56B41-817C-4111-9882-2F26963F5FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f32d68962ab886e92e44b6ca8cc3a34c8f7b357","datavalue":{"value":{"entity-type":"item","numeric-id":876383,"id":"Q876383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$F86BC823-1A8E-4BFF-BF49-A982AD8B7581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbbe15d022eb0f715525fc153b38bd21e01f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323664$E1AB0E73-E59C-424C-A7CD-28AA84C80DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising inductive and coinductive containers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalising_inductive_and_coinductive_containers"}}}}}