{"entities":{"Q1929334":{"pageid":1940076,"ns":120,"title":"Item:Q1929334","lastrevid":56699799,"modified":"2026-03-18T23:57:17Z","type":"item","id":"Q1929334","labels":{"en":{"language":"en","value":"A proof of Moessner's theorem by coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122811"}},"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":"Q1929334$761038BC-9B6A-40E0-84E4-682B12C06889","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0a5a597ac1c3d7daf0b727d7a57ce758530258b","datavalue":{"value":{"text":"A proof of Moessner's theorem by coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1929334$6F7D1317-2DD5-49B7-973B-36EB16206991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f06a4f99e2cbc1106263c6e9a9ca4c32603fa77","datavalue":{"value":"1256.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929334$FD02C055-19D6-456D-A709-9B4FA137C2B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$81C784B0-F4EB-4512-9970-8A94310EB2CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"effbea8d172ba80c035d820a1b628fba00c4e28b","datavalue":{"value":{"time":"+2013-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1929334$79E8B58F-86ED-4109-BB1C-05D11FC85F74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929334$20572B48-8728-4C63-AF7A-AF8CE0EEAF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929334$3D9F1298-C571-4A13-B957-39FCB2AEAA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929334$AF1FC042-008C-4D58-AD96-77905207F6E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3465a54ac4fe064cb1c204d8d0305e87c5e7adb8","datavalue":{"value":"6122811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929334$1DFB750B-8FC7-4C1D-94CF-C46DCA1AAF5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacb5a9601d3b45f9caea5e88beb1855a4949e56","datavalue":{"value":"stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929334$7DEDEB88-15C2-4948-9454-AA16DA2B923E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6382f74e135c15098a36a1664b013382d112d768","datavalue":{"value":"stream bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929334$C2BDEE7B-8A2D-4D5B-9F96-ECDA898115B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929334$BF0C74D2-61D7-4F11-8540-C3A116DF6473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929334$1913298D-CF2F-456A-9E2C-84AE2EF8B383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0da1b50af28d765a91d73d0bb4903c7122b914","datavalue":{"value":"stream differential equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929334$F0A666AC-76EC-4C49-867B-608F973F9BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72639074dac8807a076696291d85637dbd879e80","datavalue":{"value":"stream calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929334$BF0B259C-0F6F-49D6-9EA4-2A3F2704FA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"998fa393d3220b7dd877a9aaab324bef7c85196f","datavalue":{"value":"Moessner's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929334$053135DA-4839-4375-8EE8-521BC5728FB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df57046d705d1922cbc051ab710548843dac55f6","datavalue":{"value":{"entity-type":"item","numeric-id":817860,"id":"Q817860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$E1C6EAF7-AA43-4FE2-8B86-BFD55CCE2321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$21255E3C-D269-4499-AED7-1619C5B68148","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":"Q1929334$568B1B6B-1B98-40EF-82A9-7EC8FAF15DB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cd3a1421cae74bbaecd940253ae0e24a6ac1947","datavalue":{"value":"https://doi.org/10.1007/s10990-012-9082-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1929334$DC1FC7AC-D205-4B4D-916E-EC35790454BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0d9ddd80c7b11b41130eaf15f29363d49bf8442","datavalue":{"value":"W2121484930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929334$511426A4-D6CB-4AF5-9841-83CC8F6B75D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$8B9C2D9F-2224-4B2D-973A-8087EED6A809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$71795C82-CDAD-49CB-8DAE-AB4FBD1514D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f7ca26c971bc69787decc3ce6effd7fe1a33d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$18F1D6D2-FEC8-4121-917E-0ED18456CFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f18e2304f23f7d3cab2b98d85a55e8691d8cae","datavalue":{"value":{"entity-type":"item","numeric-id":5812198,"id":"Q5812198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$227B1E56-1D0A-43EF-987D-EEF1C918DA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ba38b2ab17fa04450163c61e3aba64b75c50e1","datavalue":{"value":{"entity-type":"item","numeric-id":3575278,"id":"Q3575278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$F6C0A390-F30D-454F-8109-53056D309ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dc9dfdfcc765b4302029fd754dcacf5b780396","datavalue":{"value":{"entity-type":"item","numeric-id":5812199,"id":"Q5812199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$41A3BC14-74A7-4025-8B6A-3998E72A6217","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":"Q1929334$3CC6A68F-D1CA-4561-B286-FCDC1B9424DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a27f25eaea1a52ec5d63d6f8282ce8c085888","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929334$16749AC2-64B0-407C-9D00-AE2DF58AD4FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b7051ef94b04a3a76e6f085e7240b8561d83af4","datavalue":{"value":"10.1007/S10990-012-9082-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929334$8718E686-3DA3-46E4-8063-76B2DFB76364","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01654f94c7d86a074e4a54a8f30452b55769f918","datavalue":{"value":{"entity-type":"item","numeric-id":2026804,"id":"Q2026804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1591143f7fda7c9503c0c1077bf9765bc81d70","datavalue":{"value":{"amount":"+0.922690212726593","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":"Q1929334$027AB450-ABF4-4EDF-BE77-A02E30860F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e7ca5838e4c55c068ff34d1f27529880e01f89","datavalue":{"value":{"entity-type":"item","numeric-id":2253190,"id":"Q2253190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac22cc0b327c48bdafdf8bf9c3fcd55715dc0bf7","datavalue":{"value":{"amount":"+0.8175199627876282","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":"Q1929334$53CC2584-05CF-40C4-B6E1-9C70449983E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab78597cf8ae2c562e6f9e41be849461372a902","datavalue":{"value":{"entity-type":"item","numeric-id":4921852,"id":"Q4921852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b39a96a47e30e11368c1187589ba59d1cf2b01d","datavalue":{"value":{"amount":"+0.7917765974998474","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":"Q1929334$1DC7305C-7873-4FA3-9B21-F3E2D1AE45FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aeb7f8f199861bebb80e0e182c586fc5b5aaf97","datavalue":{"value":{"entity-type":"item","numeric-id":4917066,"id":"Q4917066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435d6d4ecb009f804e439a189ae566c1b01add3e","datavalue":{"value":{"amount":"+0.7799085378646851","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":"Q1929334$3A983F79-82ED-4D1A-BE5C-5A40820AD830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa67a88b4c1688cae69004056b9e5c1a6d647ae6","datavalue":{"value":{"entity-type":"item","numeric-id":750485,"id":"Q750485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15606ece94717af20243b684c8881a24880caed7","datavalue":{"value":{"amount":"+0.7725973129272461","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":"Q1929334$25CAFDFD-A559-4805-A528-884485D9FE03","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":"Q1929334$0D68C01C-F931-4DA2-ACF3-3291707314C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1929334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1929334"}}}}}