{"entities":{"Q5028421":{"pageid":7057998,"ns":120,"title":"Item:Q5028421","lastrevid":55399438,"modified":"2026-02-17T15:37:51Z","type":"item","id":"Q5028421","labels":{"en":{"language":"en","value":"Foundations of regular coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471662"}},"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":"Q5028421$F45DEA07-9A2C-41C9-9962-CA7F1030A500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b645328e2209310bebff6f14f65855e4392fbe72","datavalue":{"value":{"entity-type":"item","numeric-id":2988631,"id":"Q2988631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$F4DF364A-EAEB-4314-8969-3D224AF25277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028421$C4D34C82-7722-464D-830D-388C697F32F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44874330558ef0865564178abc520e1866ce0eaa","datavalue":{"value":"https://arxiv.org/abs/2006.02887","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028421$A9A83804-DC63-4068-AC29-F5F471218526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"222be493fff20ceadd2efc9c24d1013841000a47","datavalue":{"value":"https://lmcs.episciences.org/8539","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028421$AE8AFA68-791A-49B6-8520-2BC971AADF02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028421$0BF3180A-195B-47A5-BA32-973BC405BA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028421$534C095E-A673-4FB6-A3DA-E3DDCD060F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cf0056d4c96825c8a9aa631ebb4fb518d8ded10","datavalue":{"value":"7471662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028421$0FB5D906-7915-478A-B2A6-9668B5C85248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028421$246C1F38-F570-47A2-AAB8-5DBE2C484DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6d887dea02064be0360477cc5a75e3c7b45070","datavalue":{"value":"inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028421$D781417E-E0AF-4A0B-9164-E06A0310874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d29ca336072ae94a5956b220f122b324d515839","datavalue":{"value":"regular trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028421$0850AC33-A63F-478B-AB53-CE02CFC248CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028421$637C121B-48D8-4C47-9B10-D73E5B7503EB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bf5d182c03ad7eaae6ca4e9e19901e0a0522cf9","datavalue":{"value":{"entity-type":"item","numeric-id":40984,"id":"Q40984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$D81289DB-DC32-40B4-AE72-00C5B1EB3F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$2828B5A4-93D9-4248-982A-9C88653BBAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aaf8dd45690b9bd64bf3c03b06a399335c136008","datavalue":{"value":{"entity-type":"item","numeric-id":34448,"id":"Q34448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$BCFC31E8-1044-4B9C-9B08-3E1A6DFBC95E","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":"Q5028421$DCD03E8D-0B1D-47E1-9A13-C43CBED35821","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$7498AC14-2157-4F27-B496-D3CC7F4EA481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f906a6c0ba42d81e90b39ec78737b021dabe4a91","datavalue":{"value":{"entity-type":"item","numeric-id":4087141,"id":"Q4087141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$8BBC14BF-4FD2-44F1-BCFA-A638AC92C8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd5079615f96894df24ccb2d6429a635be0264e","datavalue":{"value":{"entity-type":"item","numeric-id":3187007,"id":"Q3187007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$28F3CD9D-F6AD-4177-BF32-E858653DC968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4f440a51a6c277fd1903f31867b4ae6407809e","datavalue":{"value":{"entity-type":"item","numeric-id":5140017,"id":"Q5140017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$86B02CF7-DFA3-4EF4-ADA2-08D9A74EC072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf87acd3350568cc9210548287e9db78aa6fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2988632,"id":"Q2988632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$40CABB97-5AB7-4E15-8F95-11B97B19A276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4df99ff633e9700862fe1851a2c91cb54da95e5","datavalue":{"value":{"entity-type":"item","numeric-id":3419788,"id":"Q3419788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$C3054FFD-7E62-4468-A7D1-F875CDFFE115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43505fb0a7f428c6e32f6ff7894d2367e33af253","datavalue":{"value":{"entity-type":"item","numeric-id":2779264,"id":"Q2779264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$FA3EFFA4-2DF3-4D03-8A1C-531ADB4C0BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2492274137c4b617350f8d9336d65412a34d4985","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$D09D40C0-5FD0-4828-A9F2-1EFB4D3D0020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$02310E23-4F91-47C3-ABCE-69AD001103A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$09B46FCF-DF57-47CD-AA9A-1A65D5782284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$A9EFEDBA-9D0D-43D2-9C24-B0488A0B7F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$5F32E904-C1CF-4462-9B65-63A5AB8AA930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117ff983abbc8aed272ed7061716fc5569d9bdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3121528,"id":"Q3121528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$628C933A-CBC3-4F6C-912F-653477AF6960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$9B9AED1E-6873-4D18-AAC6-6165D9DAD830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$3DFA1A23-1D93-4F68-8BE2-DB8210B4FD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$77E044F2-8479-41D5-A46B-5A70C46AC1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5672393cc5ca7272c5f13a10fa923aee68ce53","datavalue":{"value":{"entity-type":"item","numeric-id":5326277,"id":"Q5326277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$8ABFA24B-5643-4BD3-B938-41312E5F32EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df85299b891d6947b1b4eb9574fc8cc370415c8","datavalue":{"value":{"entity-type":"item","numeric-id":4589614,"id":"Q4589614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$F683A468-0759-45E9-81D0-E80BD93A07BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$41268C38-17F5-4DF2-81FA-6774C35A7CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68acd44f9b5bb9e2c628fa0b1017baa6a9c707d","datavalue":{"value":{"entity-type":"item","numeric-id":2811335,"id":"Q2811335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$A3CA3EEC-DBBC-49A0-9AE5-2D9CDD90D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b3e6a712dda18ed01a9bfb83fa3778b1e84a3","datavalue":{"value":{"entity-type":"item","numeric-id":2304521,"id":"Q2304521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$DAC99DFD-4EF8-4FEE-8C6E-DD5A2879F9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$43D24670-3654-4F57-83E4-7A9778D65948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$1023C09C-6E3C-47FC-953C-943FC4BFEACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$EE972508-E75D-47DB-BC32-C192F17583C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9901a00b49868594909cfecc127baac906dcdfd9","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$13D3DE62-B458-49E7-8BAB-E22042AD295F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$695E1112-981B-4073-82CB-EBC8FF4312AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab70f034b653232dcf34724a00fffffacd1116c","datavalue":{"value":{"entity-type":"item","numeric-id":5372009,"id":"Q5372009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028421$AFEC1DB8-B8AD-40FA-AC19-82A41E330607","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7648ed3364497f77aa62c5872c4673d51eda63d","datavalue":{"value":{"entity-type":"item","numeric-id":3121528,"id":"Q3121528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc7113057bca2b6547c43c563bc0a9f1199df43","datavalue":{"value":{"amount":"+0.8016111850738525","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":"Q5028421$40CA5ADE-DA9D-483F-9D9A-A03E514D6B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37800433947a62ae4199478bb8e060d263aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":2988632,"id":"Q2988632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ba037661c3916920a2b1f6377e44336e44c31c","datavalue":{"value":{"amount":"+0.7993743419647217","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":"Q5028421$EE8C36F5-A648-4362-B593-537F9BB4BBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d71258b1331236ca7f488f4f64eb07991dcc08","datavalue":{"value":{"entity-type":"item","numeric-id":5492821,"id":"Q5492821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb968a58c769db7dce2080d9448e0be552af6627","datavalue":{"value":{"amount":"+0.7738749384880066","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":"Q5028421$CDAD4629-7431-4A2E-AC5F-A5916DE621A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4af155bc9df93d2e88ce2d4109b7a42a625e856","datavalue":{"value":{"amount":"+0.74894779920578","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":"Q5028421$5B8BAB7A-73B7-4651-9171-9DA03535B331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f43b6220e2f921a25b4bf87a404819d6c91e87","datavalue":{"value":{"entity-type":"item","numeric-id":3648723,"id":"Q3648723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bc844da1995618c6430f99f5a3d7672f6daf89","datavalue":{"value":{"amount":"+0.7373483180999756","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":"Q5028421$EB0534C9-B90A-492E-BF02-50BAE3874304","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028421"}}}}}