{"entities":{"Q917541":{"pageid":919389,"ns":120,"title":"Item:Q917541","lastrevid":65365815,"modified":"2026-04-12T02:05:24Z","type":"item","id":"Q917541","labels":{"en":{"language":"en","value":"Some coinductive graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4156416"}},"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":"Q917541$77B16E9A-3BC8-4D49-ADA6-7AFF081B03EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1740915a96b6f2fb7cbc64ee8727fc45da2aac8","datavalue":{"value":{"text":"Some coinductive graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q917541$A14C08EA-8722-4A02-8A5D-6C662E055AF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a84db6ef4849a9ede04071ea50a8ad6d69e30a57","datavalue":{"value":"0705.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917541$AE73FC4C-9E5F-4D71-AEEA-8D63FD03BC6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71a764d1634a0604c2b23163a8b89a5619dd4785","datavalue":{"value":"10.1007/BF01651325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917541$6097E564-73A4-4740-BAC9-98434F1EDA33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$172C1158-1CDE-415F-A6CC-30E77277D7FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q917541$09B6658D-E3B8-4EC7-A16F-02BF0BE252A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917541$6B6B14D2-20FD-4110-BE55-158BBAED92BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917541$76F63952-3283-4C9B-BD28-19CA6A72A56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917541$7ADC1A22-6160-44C3-A8B8-DB3676749E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917541$93AF6B58-BA32-4607-B0C2-F011B06934B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77ed71de6f459abb497efe1e065f5fe38deaab2d","datavalue":{"value":"4156416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917541$590E3835-53A5-46E1-BB8C-A11D09CDBA8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"618e0693b829b7a4a236feb3085ea213063d9ee4","datavalue":{"value":"universal theory of graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q917541$D225C044-9D6F-447F-8854-5D7BA57AC3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b3ef3ae6e20c0c909a538979d24f808ea161797","datavalue":{"value":"coinductive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q917541$A4E8F710-4246-4D8A-B905-0ECDC87F8331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69bf61bcf66e821baedc574047637e02e73a4733","datavalue":{"value":"coinductive graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q917541$0FAD94E5-6D42-4270-8CA6-EEAF65595A2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6f663afe99643fc0b06a4f80802aca12f5eca1","datavalue":{"value":{"entity-type":"item","numeric-id":1182486,"id":"Q1182486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$7D75DAC8-3FAD-4F7D-9175-F421CE8EA677","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":"Q917541$3FACC997-C6CB-46ED-8952-8832D7DE5AB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$0211A9B5-357B-41D8-9E5F-60CBE6A7E727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d8ef6f7538324e3ac198ab4cb5af5b11f6a81a","datavalue":{"value":{"entity-type":"item","numeric-id":3791127,"id":"Q3791127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$DF58983A-E845-4546-A24B-D2AE2882CD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6412a5f04ae9e455f6eda0b90eb0f772255628a","datavalue":{"value":{"entity-type":"item","numeric-id":3777997,"id":"Q3777997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$43FB56B7-7F28-4B41-B205-40B1076D0B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b72f4e47d232e9aecc95bae21596f25a3489aa9","datavalue":{"value":{"entity-type":"item","numeric-id":3486554,"id":"Q3486554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$C0DBCCD0-3082-4A26-B44B-AFE7767E180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7d9b5a127993f924f74677a5c5ccf7e2eb05f9","datavalue":{"value":{"entity-type":"item","numeric-id":3984293,"id":"Q3984293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$322B9867-7C9C-4FEF-91E3-5B186C7170AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b37c670c4dfada891d0f1ef0c04633ea9da641b","datavalue":{"value":{"entity-type":"item","numeric-id":1077438,"id":"Q1077438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$92EF30FD-D671-41BE-910A-E4C96A24CB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0940033ebea608c05d109e1b6cea9d61c4edaf3","datavalue":{"value":{"entity-type":"item","numeric-id":5202176,"id":"Q5202176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917541$27BAFC17-F230-4538-A5E8-E605E8073A4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1868ffb475d227fe6255a43ca003a38acd8edb66","datavalue":{"value":"https://doi.org/10.1007/bf01651325","type":"string"},"datatype":"url"},"type":"statement","id":"Q917541$C1D2D765-7803-420D-BBC4-7F5F8A212DC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41cda535e0e5520974cc355ac0c154bf1559578f","datavalue":{"value":"W1995301233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917541$28D8825F-F708-4978-9CE0-18159C14FF19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd75f22bcf3ea40fd726626e17330d7317251e86","datavalue":{"value":{"entity-type":"item","numeric-id":3486554,"id":"Q3486554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12b542f0be1ac5fda705e173291847d7ffc4c0c","datavalue":{"value":{"amount":"+0.8261562585830688","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":"Q917541$98110999-EEC8-478F-BABB-2FE2392DCBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44fcf9ad207465cc8a984ac59b3b79b43cfc3e4","datavalue":{"value":{"entity-type":"item","numeric-id":3984293,"id":"Q3984293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be635065b65c49c0b632148f5821022f4289369d","datavalue":{"value":{"amount":"+0.7809641361236572","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":"Q917541$DD2C0978-04F1-49CB-8D2E-E7639EC28870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f69bc72ba9b6e7f76df4080c4e0dba977020c62","datavalue":{"value":{"entity-type":"item","numeric-id":1323483,"id":"Q1323483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc60be9e0c159165eb3420a7008edfadb3a052c","datavalue":{"value":{"amount":"+0.7796434760093689","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":"Q917541$3E86CED8-B45B-4F3C-BEF5-94D708EEA77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6292f32c3bc726d4a1bf111590d454459d083","datavalue":{"value":{"entity-type":"item","numeric-id":5202176,"id":"Q5202176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b21bd68fb6f5fb6a414dbe67b666494f632a5e4","datavalue":{"value":{"amount":"+0.7521890997886658","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":"Q917541$852FC307-14CE-47A5-8DB2-C0A6328FB454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2c0e0ddff88f0629c2bfde38b3bb315254f2ab","datavalue":{"value":{"entity-type":"item","numeric-id":2914685,"id":"Q2914685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b004190ee6189e6e940ba4702b42e6e2620068","datavalue":{"value":{"amount":"+0.6902425289154053","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":"Q917541$21FC9A76-063E-4560-9CF9-6B3E05E1D35D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some coinductive graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_coinductive_graphs"}}}}}