{"entities":{"Q5361147":{"pageid":7390721,"ns":120,"title":"Item:Q5361147","lastrevid":55973299,"modified":"2026-02-21T16:01:00Z","type":"item","id":"Q5361147","labels":{"en":{"language":"en","value":"Practical coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6780914"}},"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":"Q5361147$5F66DA07-5B17-4835-ACEC-C9A5629AFA4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f530ba5d328be167ff044088c165a1c2485e04a","datavalue":{"value":{"text":"Practical coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361147$0420D89D-52BA-4AB0-B554-A19AD3D77FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"540f920967646cc804afd03476b500ee264b0b78","datavalue":{"value":"1376.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361147$38352947-CC58-4EAD-A9B4-5C5EF9D463DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5e2acacd68ded9f997713c98c5e5d47d013932a","datavalue":{"value":"10.1017/S0960129515000493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361147$D4418E94-A94A-4CDF-9C20-8B8B7C50DAC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$AE993217-F273-49AA-9E39-C26695604528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$4A4549F0-4D92-4D3B-B199-4B1C366E9B7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$8F184044-FFD9-4D13-A56C-6243B0941FC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361147$7F85FFF5-9BD1-4439-90EF-131E828177DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361147$6A3B45B3-9D9E-47D2-8201-68B309204E4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ba87b4ccf97b43611e7780d89c9333723023424","datavalue":{"value":"6780914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361147$A5246640-1128-433A-93E4-1D5F0FD9A228","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$60896971-E91E-4183-AA18-338B1060D756","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":"Q5361147$1F35E271-0E30-4900-8FF1-CD496B8EAA93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$86AB8558-AF61-47D6-B21B-9EE3554AB8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d56ed87d745dd969300711ec6283444dad4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$3D6919C7-79BC-436B-AB90-2540F8F90F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$ECE6FC76-72BB-4620-8052-567E558E2C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$2A164E18-F8A8-49B6-8DEF-683D47BF5FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$0C83F346-2D16-479D-9EFE-D85AE6250890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85de0825e7ed1700518715e73501398cbb77cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5178454,"id":"Q5178454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$9B133B48-0E31-4A76-9482-B824B738F4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$4B4C755D-C1CE-4B9D-876B-9DD8B01E1114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65036ecd194ff8221becdeb615d4d21186d775","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$651D2584-4AE3-423B-8818-4617478B8F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$5547B41E-24FB-4005-87FF-764E2E9242FD","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":"Q5361147$3D30A5D1-61E3-430E-A224-A2E5BA7F9959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$5340F4A9-1B03-45E3-B231-B648462D9F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa74c271834bf537f060d2b0b575f3bcd6edf97c","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$7D4E7314-9193-40E0-B8DB-FF6FFAEF8DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$F0821EFE-23A1-43BC-9D70-794170E0F0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$7BDE4C6A-510E-4E67-A928-99CCDB9AAC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ebcde6f9acd989964b956b073cee90454efab1","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$D03D57C6-BA48-402C-9C69-022ECE84D2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$6E4110AA-F95C-40AF-B2BB-F29945FD4E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f57cd5952b6bdf2070db56a859fb9698500bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3590964,"id":"Q3590964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361147$9B0C2AE6-7DCE-409C-8EFC-D500C9FE5EC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5373f8bc7a65519994aed30512ebb2d35fb8e161","datavalue":{"value":"https://doi.org/10.1017/s0960129515000493","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361147$D23AC7B6-C484-402C-8EF2-50B19F202EFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"345644f551722fb13a2c11ee79c65d41da28abfd","datavalue":{"value":"W4246799966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361147$AD14AA51-D393-4739-9F22-085B8575F0FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ca8a2e01f8239d03ca7a8219c9f482f702440a","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a1828dc0a94d13cd975478955429153fd44b26","datavalue":{"value":{"amount":"+0.7960488200187683","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":"Q5361147$BBBE121C-37EE-49DD-96C6-791914F3C294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41c4d0a8b5b2af9d1b0eaf03ff14cbc5c60d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a1828dc0a94d13cd975478955429153fd44b26","datavalue":{"value":{"amount":"+0.7960488200187683","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":"Q5361147$236381FF-9C41-4892-BBDA-62F15A499E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e0d6cf4bff08d33396572e4725247c943d3a14","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33c89b4fb75ac62045e86bbc8fd88726f92107f","datavalue":{"value":{"amount":"+0.795269250869751","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":"Q5361147$B7C1F90B-DB14-41E5-B2EF-48EA4AC026B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18058cdc97f17728411a631c14c4a288d35d8928","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57f7b6dd3d484be1873dfd398ced1761988ec01","datavalue":{"value":{"amount":"+0.7930949926376343","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":"Q5361147$B305F4D0-1D5B-4E6A-B33C-EE1105A44593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361147"}}}}}