{"entities":{"Q1603818":{"pageid":1614558,"ns":120,"title":"Item:Q1603818","lastrevid":74124903,"modified":"2026-04-14T18:30:31Z","type":"item","id":"Q1603818","labels":{"en":{"language":"en","value":"Coalgebra morphisms subsume open maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1768005"}},"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":"Q1603818$0513BCAA-A861-4ACA-8024-5E42BFB9A2A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10443e53861fdebd587c1d17fa3c39a5e067b1ba","datavalue":{"value":{"text":"Coalgebra morphisms subsume open maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603818$419AEB0C-D402-41E6-8E95-5614A9ED5968","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16b24571f2825367ebce6157fac813634e53f917","datavalue":{"value":"1014.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603818$71954E09-0440-4D20-BFCF-D72F773ADC9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be8351057493ef43762a1162f5caf1415247871c","datavalue":{"value":"10.1016/S0304-3975(01)00023-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603818$6D5092A3-6855-4473-BD90-FB404499071E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$9DB797C8-BD1F-4DAF-AFF4-C2FAEEC15C94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$DD1A3964-A39B-4A37-A968-B239C2D7D12F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603818$ACE66780-D54E-469F-8C49-EF86EB13516B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603818$5CA65D18-2525-4A28-924D-EB2A098F1C1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3f2119ef660bcbbdf12c3e51032014197506deb","datavalue":{"value":"1768005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603818$9BD52427-C4C9-4122-B71D-30108C1D6B62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d48433e3a99df5725a90cf7a300d6c573b45223","datavalue":{"value":"coalgebraic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603818$5F68B13C-88CE-4E8A-B8C6-A169BCF4D40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87bed328138fe5d26a4994fa4463ee242681edcf","datavalue":{"value":"open-map bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603818$DDB0D013-71E6-4418-B737-2A276E9B45EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41baca75f6c86d8104c6a1cc267cd19b07c39c2","datavalue":{"value":"presheaf model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603818$FFED4E81-7304-41B9-B082-55C8738F096F","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":"Q1603818$A0B12269-F250-45F2-BEA3-032350B0FB22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$9508AF4A-1C2A-4F9A-AEA6-2948ABDC7796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fa9df701afe9775f6ba13b30a54088e84295e0","datavalue":{"value":{"entity-type":"item","numeric-id":4362910,"id":"Q4362910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$49C521A5-84E2-4EE0-8B87-3ECB488B821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f786aa111b6ea1e874472e8911623c345b4d21d","datavalue":{"value":{"entity-type":"item","numeric-id":4222948,"id":"Q4222948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$EC4EFA82-39F7-4846-9EC4-6F7E2E028A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb4168e06b9f07252f0d4651c8b05749e149f88","datavalue":{"value":{"entity-type":"item","numeric-id":1338199,"id":"Q1338199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$FE0B7080-49FE-427F-92A8-2B5D92C1F03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a00784a372d089742ce9b4562cbae22084bdbc1","datavalue":{"value":{"entity-type":"item","numeric-id":3839057,"id":"Q3839057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$15CD8D35-963E-43CE-AE15-0E80D48805B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7810ac062a2264c8e5ca60b455d62a493c377050","datavalue":{"value":{"entity-type":"item","numeric-id":4256308,"id":"Q4256308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$42B3DB66-5413-47EF-8243-777486789E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$154FF651-8988-4E93-9168-9C170A6EE9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$DE563497-3BB2-467B-9FCA-11C89789351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$BBF918F8-1EA2-4A94-B7CA-797FB3D9BB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$C65471D0-17EE-4C7C-BA44-B9C7DDB41AF3","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":"Q1603818$28A9BAA0-6B31-46C7-8557-9239C4E7A6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25af9d3ed5cc84126441c8d73f2c24b5264dfb9","datavalue":{"value":{"entity-type":"item","numeric-id":4270080,"id":"Q4270080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603818$01CDD0B1-99EA-48D4-B8FB-DDF222E29B4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adc43216a936bedf43a2a7e10ce38983dd25ece3","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00023-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1603818$AAB54AE5-F317-451E-9FE7-92255C9C2033","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa18b81c7c11a480e3547a1df847da4f69f704e0","datavalue":{"value":"W2049083449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603818$D2FEA37D-E61F-4524-94BA-BBE0C11B12C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558509f6a9ce6a278429e26f10ddcc565e0f7ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4256308,"id":"Q4256308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e940c07ce94032b315d284debfb52666d642766","datavalue":{"value":{"amount":"+0.987981379032135","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":"Q1603818$19F6BDAD-41DF-444A-A1D6-03D4D999C150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a895d53c7de82b8f1a399f29103357ba9eca4dc0","datavalue":{"value":{"amount":"+0.8035754561424255","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":"Q1603818$B6BF3AB4-1CE6-4125-B638-0F1CD3E2E6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a2097ec4f0905c4b1e9fd107eb496e8f2bd443","datavalue":{"value":{"entity-type":"item","numeric-id":5878914,"id":"Q5878914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58edeea3e3d29f374c4197ddf3310623fcf16717","datavalue":{"value":{"amount":"+0.8025791645050049","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":"Q1603818$0A1AE46B-5666-4227-B6E5-D361D89C94C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c195d3cf5ff1662cb970a0c77dca31cc8140d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3839057,"id":"Q3839057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23db0fd4806e0acdbf834e0c95e874794182748","datavalue":{"value":{"amount":"+0.796704888343811","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":"Q1603818$C02CADBF-0B2D-433B-9236-5233ED6BAC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22790b8418f2b69ae0a71e2c3e165c05464513ca","datavalue":{"value":{"entity-type":"item","numeric-id":4219023,"id":"Q4219023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23db0fd4806e0acdbf834e0c95e874794182748","datavalue":{"value":{"amount":"+0.796704888343811","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":"Q1603818$FF7FDD0E-FE6B-41B0-B632-88DE7B6ED441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebra morphisms subsume open maps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coalgebra_morphisms_subsume_open_maps"}}}}}