{"entities":{"Q4408808":{"pageid":6438407,"ns":120,"title":"Item:Q4408808","lastrevid":48125857,"modified":"2026-01-03T17:37:00Z","type":"item","id":"Q4408808","labels":{"en":{"language":"en","value":"Generalised coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1941748"}},"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":"Q4408808$9F759CCA-AA7A-4CD4-8E00-9D5007673A9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34f8ac72a3f69349d03b92db65e0cd6420311649","datavalue":{"value":{"text":"Generalised coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4408808$9F137E61-4130-4FB1-9CC2-559061C94A55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d625aeddb8562d53bedbc0aba0748da38d35c384","datavalue":{"value":"1025.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408808$1064A47E-6979-4DD2-9E8D-5B3018A65319","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3012c4530edf98901392328f3d6674821399d770","datavalue":{"value":"10.1017/S0960129502003900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408808$1D30EAE6-6D15-4F05-B7E5-D6C2D21989B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddeb36e2390141f9694dcdf2afbd16d57d697935","datavalue":{"value":{"entity-type":"item","numeric-id":703516,"id":"Q703516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4408808$CEFD4935-0E84-458C-9183-4AAAF6D6D837","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":"Q4408808$B263694B-E9B3-4A84-B212-290B885A8D1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6113ffffcef3e8747b6170d608189aaf7da06e6","datavalue":{"value":{"time":"+2003-11-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":"Q4408808$5FC8A992-326D-42B0-9DB6-A8D6525684F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408808$F23C33C2-2243-420A-BA99-9067B66F1E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408808$4F32A945-D164-4778-818C-02FE310D09DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10ae6f810dc6a1681dc1ff33c7f5db597f1d5ce0","datavalue":{"value":"1941748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408808$0ABDFE63-92D0-4872-88B4-1FDFB689E469","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408808$6A588695-2C30-442C-9CA7-E03AF1DDFAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408808$8287EDBB-0020-4DCB-8A8B-CFD50409AC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f66fa4734f1e3031977869d6b8a9f7a0981597de","datavalue":{"value":"computer system models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408808$EC0F51C7-2E22-46D3-96FA-2D0668F1DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408808$A7D1AB34-C165-489E-808A-3FBB639D5EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ec89c0b10169490fca59d6e2fa83f348698b67b","datavalue":{"value":"proof schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408808$3C93D4B6-D244-4090-8C09-4EF43835940C","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":"Q4408808$1F1CDC37-BC6F-4458-AC70-027D0F492305","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdb3598f095d92d163d11bdd392b99e39702f868","datavalue":{"value":"https://doi.org/10.1017/s0960129502003900","type":"string"},"datatype":"url"},"type":"statement","id":"Q4408808$4CF1F365-9455-43AC-8F51-54F84420810D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"051ca534553327b6ed3d08a2badfea19dc7c25ce","datavalue":{"value":"W4296395898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408808$65F87667-F633-48F6-AC2B-08976FC56643","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582ea6a6b2344d3c2be85eb09b8f7e6fdaf8365","datavalue":{"value":{"entity-type":"item","numeric-id":4917033,"id":"Q4917033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94903d3c9eb084e4afe4aef7da3ce81980302e94","datavalue":{"value":{"amount":"+0.8332583904266357","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":"Q4408808$2CFCB095-CDD9-47C6-9140-653468D612D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c7bd78f7d7cd5421e3eb70f1febe2b01fd3931","datavalue":{"value":{"amount":"+0.8252260088920593","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":"Q4408808$DE291B5A-5DB7-45B1-B1FD-F70E28B74B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0beed4452f1adb5103a59eeee8e481e72df0611","datavalue":{"value":{"entity-type":"item","numeric-id":3626196,"id":"Q3626196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e380d82619ca7cbdfc78a4031941c9651b8e6fbb","datavalue":{"value":{"amount":"+0.8236513733863831","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":"Q4408808$DB07765F-4C2F-4A59-8E29-192D4A5609DF","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":"6c72844a888fb16b69799c941fb2015943d53da7","datavalue":{"value":{"amount":"+0.8115204572677612","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":"Q4408808$3DE40F12-AD2A-4581-BD2D-D2535297C6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669e4f6b7c6a17581b7f49225e9acbe285fd3583","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67b41952c10673902b09a2ccd321eb201c31638","datavalue":{"value":{"amount":"+0.810080885887146","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":"Q4408808$326B25BF-054D-457C-A6F9-66C732BA03DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4408808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4408808"}}}}}