{"entities":{"Q3408010":{"pageid":3418713,"ns":120,"title":"Item:Q3408010","lastrevid":50913284,"modified":"2026-01-15T17:41:57Z","type":"item","id":"Q3408010","labels":{"en":{"language":"en","value":"On simple and extensional coalgebras beyond \\({\\mathcal S}et\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674729"}},"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":"Q3408010$CB4694D1-2FA0-42A1-9B86-EA3C60845DC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee68e07020b5e27156430e320b673a0e0fbdb9f6","datavalue":{"value":"1186.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408010$A9F44381-409A-464D-B423-FF491A8E82AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38f7892fb0ad6ea4e0d00072a711b32762957ab5","datavalue":{"value":{"entity-type":"item","numeric-id":303933,"id":"Q303933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408010$EA65B3DB-CB2D-428E-B1E7-7FF8B9F2743D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fff42a69e975f2414790fffb0cd0b212364d6fb","datavalue":{"value":{"entity-type":"item","numeric-id":303934,"id":"Q303934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408010$29B7CF5A-FD14-4AD9-9367-2960448123B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cd58fa7916be1dadd68e97310e9b33bd528be1d","datavalue":{"value":{"time":"+2010-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3408010$E70A6957-F035-4508-9B45-611C8FD089BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408010$5641EB79-E9D4-44BB-8883-D5DAEB585D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32aa222f852df3f290ecea7c464ed5857992bf22","datavalue":{"value":"18A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408010$30EAEAB1-0A9C-4E76-A19C-57BB67CECC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e04eab59f74e9570ed57de19d86300ca286a53ef","datavalue":{"value":"18A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408010$9798FD93-663A-4811-8BD8-265794FC3943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408010$120DDD58-69E9-4508-916B-A821CECE278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408010$A473D895-DB66-4174-840D-3E1DE4FD6EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408010$072C7AC8-B8B0-48D5-B31F-29F7C194947A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2d724868d12991616acb8141af97b3cf40602f7","datavalue":{"value":"5674729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408010$DBD48905-8872-41DC-8049-1379DDB1CFB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$44E4347B-F2C7-4584-A0E7-2CBBC825E1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$556403DF-7E34-4770-AB4F-4131F73CED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$26F36FC9-723B-4C6F-8788-DF0D2D699E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b17f15aaafc66702a60442ee9658df11540821","datavalue":{"value":"subcoalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$F2D8AD90-7AD7-407C-861B-74CD12DBF56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0b5455b113d0e3eaf98332c0485c178c32e49d","datavalue":{"value":"simple","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$9C233858-A566-416F-8C54-64F3E528A46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdfcaa30e956e169997174f58223f8501d70eaf7","datavalue":{"value":"extensional","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$2A38EB7E-7CEB-4B78-BE9D-0357E3E76946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$40EDCFD0-3353-4E05-B00D-DA0244FEE1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa72ef0b4b6f5b7824b86d8a92894fa90a2fa64","datavalue":{"value":"unitary","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$922C52AD-936F-40D3-AFB2-29D9F1C45FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815117c7f681bc2cbe62be9138f48a366d9348b7","datavalue":{"value":"orthogonal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$8029E2E1-F5D5-4E47-A1B0-94E0C5C4E31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c30a650f914f9c1fb6c1c162ac62350792133bd","datavalue":{"value":"\\(*\\)-simple","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$DA34D502-BB41-418C-A302-D9995126227D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2bd7ceddce47edbcd05cae6b834a25112088b47","datavalue":{"value":"\\(*\\)-extensional","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$40C7C8F2-12EA-47A5-9EE0-50EB6FDA20E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e604e6b00c45f4e574cc370c5df455edba805a8c","datavalue":{"value":"simply split","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$E829D816-F234-4A58-9476-5A2F8AC07905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"921964e697d37347ea0f5823c67140abd2364d4f","datavalue":{"value":"extensionally split","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$C5135AAA-67C1-4B67-A3C7-18EE2035528B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde94ab0ead7c7158cc624a23e8bc3a792dd5926","datavalue":{"value":"simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$15D572D2-CAAB-4F5B-809D-363E0957E399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49db928bbfa3c209c9ec04e2b631fc7fed0fcc76","datavalue":{"value":"extensionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$5E448538-452F-454B-B7A4-21FBA33801A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$2C41B7F0-C710-407C-9E53-3CD5EF99DD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769c53fc42b4c6085011ef8ee368d3ba4f9e4239","datavalue":{"value":"behavioral","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$12FB1B74-5AFE-45B0-A07F-D8DBFDE64132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad2eb346822a851620b026b0aa280900ce0e931","datavalue":{"value":"Horn covariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408010$D16D84D9-49E2-44DC-989D-A34267D8393B","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":"Q3408010$6473EF29-4E16-471D-9BC5-96FE9F1FCB29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba44946af762c57c459e41143c6e6454efa7f0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2469042,"id":"Q2469042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04256ff8ee25ca23ccfc91a2211ffb4ed3141765","datavalue":{"value":{"amount":"+0.8590991497039795","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":"Q3408010$19A8C03F-60BD-4D6A-BBDA-B362D91BE9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5893d20b1786f25c7439cb87cfe6adff0ee8335b","datavalue":{"value":{"entity-type":"item","numeric-id":1750071,"id":"Q1750071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8fd76158b7d6ee5cc0922685174bbe45362e1d7","datavalue":{"value":{"amount":"+0.791563868522644","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":"Q3408010$AD128DFF-E238-4410-97AF-697E175E9304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b14ac3931842365cb49462fe460d4ed5a065930","datavalue":{"value":{"entity-type":"item","numeric-id":607458,"id":"Q607458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b40245abbfab9e18f5f47531c2a101a1c451da","datavalue":{"value":{"amount":"+0.7655626535415649","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":"Q3408010$D1B4D594-5A4A-4250-B1DC-AC16D00D4F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae58bb266accfbd4d0cfb68eb869237b8382ab10","datavalue":{"value":{"entity-type":"item","numeric-id":876384,"id":"Q876384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856603f4b5248229016a0387b9e0eef06767c585","datavalue":{"value":{"amount":"+0.7654640078544617","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":"Q3408010$FD88E752-EAFF-4395-AB97-0C98A53DBB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90136ceb17346bf0cfe0ae628249373caabf882d","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba0d52fe1b8ad0781ad1f09ae788a624ff79904","datavalue":{"value":{"amount":"+0.745242714881897","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":"Q3408010$D0262953-D1E1-4D3E-B09A-8664DF3F393F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3408010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3408010"}}}}}