{"entities":{"Q4499309":{"pageid":6528902,"ns":120,"title":"Item:Q4499309","lastrevid":47011803,"modified":"2025-12-26T01:21:22Z","type":"item","id":"Q4499309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497878"}},"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":"Q4499309$CA910308-3C4C-417A-B119-EE0422D9D086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd1bfcf32285dc7a1d0a7e011d5849a1eaa78a55","datavalue":{"value":"0963.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499309$D5504348-869D-4CF3-93E7-607531A55458","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499309$EF7C8C5F-206D-427F-86B7-6D1F1E5AFCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499309$EA658EFF-89A2-49A9-B082-30CEDF5BB444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1319b5388b96cf042211c4eb6eb3b2b400d70e7f","datavalue":{"value":{"time":"+2001-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4499309$9D092812-F7F8-412A-844C-0E1D8287DA3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499309$E4D101D3-68A2-4644-8B84-B635CA0B5918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499309$DDB50C1A-0B2B-4321-8303-1AE44C9F03CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499309$589F026C-B7E0-402A-A1CC-D4F3C6023271","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3099eb4c97a0a338303b74ce862f363c02b2b1f","datavalue":{"value":"1497878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499309$0A69FE85-295E-440B-9678-3BF214ECF4FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a910ebadeac145b9136e0c6afddbf921b79b4cd5","datavalue":{"value":"foundations of coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499309$2E09800C-7662-40D4-A18E-C18A47E4CE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1cd3e5b22debc13d9408f73a9bb67e99662ef9","datavalue":{"value":"coiterative functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499309$A2CECECE-995F-490D-AA50-11FDC711DAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499309$56D1C05F-E811-42F8-BB04-1FF204B6CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499309$8271403F-5C70-430B-A806-03F825D5F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499309$672A5FC7-54A4-4B05-9EC9-162F13A58DA5","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":"Q4499309$3B3280D6-F6CD-4D2E-8FDB-8A68955DB797","rank":"normal"}],"P1643":[{"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":"91a27ba0f5da541f0791af3aa627d7a6971c44b0","datavalue":{"value":{"amount":"+0.8469589352607727","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":"Q4499309$C656E90B-D4F0-4E39-84D6-FE2FC19FE267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c8905fe64b790e3999a33f5bbcc4e68e922a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62751412150a35f4e27a1e93a1c39dee0e39f00f","datavalue":{"value":{"amount":"+0.8051314949989319","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":"Q4499309$0B735FAB-399C-4FF2-8335-80FEBAA501FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0afe3fbd1ba0215f6ccab0878712a4e965588d","datavalue":{"value":{"entity-type":"item","numeric-id":5462661,"id":"Q5462661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d17530658deac54f517660a7a36caf12cc4eeae","datavalue":{"value":{"amount":"+0.8015313148498535","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":"Q4499309$5C67EF6B-A95B-4939-9C08-DB4067640095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f521d55327d32c32c1ced44664d2eb3a466e26","datavalue":{"value":{"entity-type":"item","numeric-id":4719351,"id":"Q4719351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70731ce18495dfbc401c7122b40cc6e17396ce04","datavalue":{"value":{"amount":"+0.8004810810089111","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":"Q4499309$EC10BA65-1480-4FC4-8C02-3CFE6C0FA8A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4499309"}}}}}