{"entities":{"Q6946025":{"pageid":21179727,"ns":120,"title":"Item:Q6946025","lastrevid":84093044,"modified":"2026-05-09T21:28:51Z","type":"item","id":"Q6946025","labels":{"en":{"language":"en","value":"A contextual formalization of structural coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8077028"}},"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":"Q6946025$F5D48B97-850A-4BCB-A7E7-AD979FBA72CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69869dc4be9be7f4c705ac8c1712f575b5b2fc86","datavalue":{"value":{"text":"A contextual formalization of structural coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6946025$59DBEF8A-8BEA-4F8B-9754-F9A0E27E400D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e377aa116b2d336d30814c0c2db8bbf9947d562f","datavalue":{"value":"1570.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946025$F594CAC6-9F13-4C5B-B0C3-C106963BC4F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"300303d63add796693cc6bd4b011c2af1e3d771f","datavalue":{"value":"10.1017/S0956796825100026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946025$5B9CA7D4-B254-411D-92FB-0E3C71827DF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397b909de6be11d2502cc1d0ac55755d5d9ac3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2291826,"id":"Q2291826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$561678C1-D37F-4FA3-BC05-609159E0E902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$BF2CE6E7-B899-4359-B214-3065E4AA7EE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$6EE704D6-7850-48C9-BB71-827D310926BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"409b2c66c2e51a361b4c6c55661a919293a8bf4a","datavalue":{"value":{"time":"+2025-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6946025$DABD3588-EE3F-49C6-A203-D82B80EE5D86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946025$CE80849F-E145-4BD7-A104-080D771C4F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946025$BAB65762-A952-4CFA-8465-953E1EEB6BB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4be480a5a347bbfa3c104ac27a1a9ecbcafe6278","datavalue":{"value":"8077028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946025$B3E051EA-D165-4A42-AB05-79BFBD7798BB","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":"Q6946025$F3F34719-DB04-4B05-9169-B45DD4E5FFE4","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":"Q6946025$936DAD98-158F-484E-82A2-E9FD0869B40D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ea5885832b9f867e6bed74c7137f05eec86479","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$C7D490B5-77B3-4A6B-8C8E-B0EB940CAC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd0bbfef0b03503f595e7be9f566b1cbab53903","datavalue":{"value":{"entity-type":"item","numeric-id":5178856,"id":"Q5178856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$B3AE720B-A4BA-4F62-8253-0C54A5A4FE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$DB94A084-D4A8-42CE-88FA-BADFA4F936F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ae311926901b6f1ea5640d81360ad861b56c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4490745,"id":"Q4490745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$087A681F-601A-4A0F-8952-3784656316D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af564deade6f382327dd892208b67d4051da26","datavalue":{"value":{"entity-type":"item","numeric-id":2988636,"id":"Q2988636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$EBF2228A-25FF-4B3F-B7CB-3C101CF0B62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$16AD3922-993A-4919-8712-454D9F55CD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ec34bc45b3dd9208c19ebd43163fb16d3d98f5","datavalue":{"value":{"entity-type":"item","numeric-id":2981955,"id":"Q2981955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$4F59CFDF-83B8-4E17-900D-A8440E767B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$EC99A35C-6C23-4EB4-BD39-3940F699BB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$6924BFA2-7DDA-41C1-BC3A-3F1AE9F0475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$2BEC9371-B58B-4CF9-A573-B61DAB4DD2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$F77A958E-B0F8-45A0-BFC7-DC292273BCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$B24B81F3-8C12-4AE8-8754-8C7AB682A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aa89b064878a5d6b7d879c6e8c4abfa5d61c22","datavalue":{"value":{"entity-type":"item","numeric-id":6132720,"id":"Q6132720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$6A97AE97-3143-4B5F-88FD-63BED5516B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d3cf5d5dfe3d07a53a436e7916a2d088b64c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5212033,"id":"Q5212033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$9B32A1F7-9BC6-4CE1-BBD6-AF6C9F612B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43af74cfdc140e3ac8c79cb871798969d9b4db5a","datavalue":{"value":{"entity-type":"item","numeric-id":2981950,"id":"Q2981950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$751FC467-6352-4E7A-8F19-41CE626CAB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e6882113ac4b40bff268c6abbd8ad8f50bb82b","datavalue":{"value":{"entity-type":"item","numeric-id":2291828,"id":"Q2291828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$DBADC255-A46E-4A18-A420-6B0B73B6ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb5104ed059296c1a716cf4b6d6422462393e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5327356,"id":"Q5327356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$C934C61D-C7DB-4B26-8D63-08BD34DEEFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3def5ba2812862dfd1b4770373867e61432ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2819821,"id":"Q2819821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$F7687EA1-3E83-4327-9010-A270EDDA226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cbfc5d91e98553fd73e4b5c8f61711e4ba79d25","datavalue":{"value":{"entity-type":"item","numeric-id":5472879,"id":"Q5472879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$F59BB8B5-2895-46F4-B215-D986990E17A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64a0d36864480258a0ad54e36c03845f21db40","datavalue":{"value":{"entity-type":"item","numeric-id":4647576,"id":"Q4647576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$AC249962-AB0A-4E3D-9525-D6E903E2600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$AC7CA1D3-2BB1-433F-AE89-82AB416201F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580eb0e97c0840b142da1961ae82245c675f05c1","datavalue":{"value":{"entity-type":"item","numeric-id":1139043,"id":"Q1139043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$65901A75-7866-478C-A281-4CABB54EFD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6e796181acb3e1b8fb073b12038622327aa0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4261314,"id":"Q4261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$B94427DA-388B-40A8-991B-E761BE61F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e931bab6524c19df841d82e431acbd0726513d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4856176,"id":"Q4856176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$374B84FD-E0B8-473E-BC25-D15D845995B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$346048BA-5F14-430F-988B-F906E9EC250A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$6E10D664-2E92-42CC-9D18-874A321AFC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd1f5164ec31c2238d0bd0d74539919dd4fe859","datavalue":{"value":{"entity-type":"item","numeric-id":5408558,"id":"Q5408558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$5A650842-2E35-48C9-95C9-9FB2205ACCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfda309eb42a5b38774d05c4351d124f0ce0084","datavalue":{"value":{"entity-type":"item","numeric-id":2942857,"id":"Q2942857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$BB93E360-3C2F-4049-B57C-538F1673804A","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":"Q6946025$DA513247-5415-4A12-A39B-CCC2754DA075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931978369782d19e981ab830c97bdd5e32e18f56","datavalue":{"value":{"entity-type":"item","numeric-id":1603477,"id":"Q1603477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$7EDF4438-21CD-4ADF-AC98-CC5A75E1677C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$A6F73267-C3A9-440B-8E83-8F76D1EF20C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3cd6358dcb28cea2cec01405ffdd7358d3571e1","datavalue":{"value":{"entity-type":"item","numeric-id":1440070,"id":"Q1440070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$DC0F20F8-1F57-4AB0-9DA3-76405CE76E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a19e7f29ae6d462eaccf58e83db93321967425","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$DBE4E735-E226-4817-AF46-0BA05288C469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$6728634C-7C2C-4A92-ACC7-1E78C5A69605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2764b08fc9c2cf581a3f76188486052f05ac78","datavalue":{"value":{"entity-type":"item","numeric-id":5408426,"id":"Q5408426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$CD2EB90B-F98D-437A-810C-922CAB3252B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46680db2c947d92e8cc79553fc58bbd7edb3ebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3644763,"id":"Q3644763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$A58D797C-2EB5-4F7A-B8E8-CF2AF90E852B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$8ABA0076-E446-494F-9991-BF076D55FEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d38c7046615fd3ffc5bc7bae792d2408dfd0c82","datavalue":{"value":{"entity-type":"item","numeric-id":4353722,"id":"Q4353722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$DD27BF6E-7C79-456F-BE11-6FDB2549A672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$3109E295-4C5C-4A69-B0AE-CE5C44CE54A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$9B2D2F06-813F-4AEE-AAAC-5FB19601864A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbac4a114c7fd7fcfed8729bd969a8f80d76bb02","datavalue":{"value":{"entity-type":"item","numeric-id":3557847,"id":"Q3557847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$6DAA7262-0242-4832-887D-11A57054BDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$C0100BB9-A7CC-4757-BAF3-41BC19B28442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926336abba0524ccb1cb3e54cc99d238b8657591","datavalue":{"value":{"entity-type":"item","numeric-id":4163188,"id":"Q4163188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$4E9A934A-9652-457B-B594-86152AE43F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$D276E284-D9EA-4AA7-8388-1164B02089FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$C4688E40-C60B-48E3-B7D9-614A2F7E64BF","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":"Q6946025$77F6AD43-5B18-4BEA-98DE-89B8C1D53796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa401b3f58fb4c2bc9ea2f71ee0d728db11587","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946025$DDE22284-0BB2-4EFC-AC1D-C2AC7CCE83E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A contextual formalization of structural coinduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_contextual_formalization_of_structural_coinduction"}}}}}