{"entities":{"Q2464936":{"pageid":2475679,"ns":120,"title":"Item:Q2464936","lastrevid":73453152,"modified":"2026-04-14T16:03:07Z","type":"item","id":"Q2464936","labels":{"en":{"language":"en","value":"Modular construction of complete coalgebraic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221238"}},"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":"Q2464936$32025986-63D7-453D-8413-3338DC6E4DBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba7001b6d8a7a93fd9d5e7a9daa3da85f80dc237","datavalue":{"value":{"text":"Modular construction of complete coalgebraic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464936$3C2EB424-C5EC-4837-A694-9C9AD52AFB25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"419d8e24d521655c4886abc00ac45f0be811d99a","datavalue":{"value":"1126.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464936$A86B640F-92E2-40F8-AC11-2DBA9F2ED150","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$C41AB79C-2333-493E-BD1D-7DF406E5B226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$05FB9033-F5C2-4C6C-B5B7-50D317D71600","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":"Q2464936$B60D54EB-7022-4914-A731-D716AEB39617","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b39a0a73d18fba485401f5f29aad40c079dd6a82","datavalue":{"value":{"time":"+2007-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464936$5C7DCBBA-815C-4C1D-9AFE-24A11FFFF810","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff7d1b322441cd2b8e7979ac2f8388170f2c48b2","datavalue":{"value":"https://eprints.soton.ac.uk/262612/1/tcs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464936$EA29A5D5-BB0E-4848-988D-C8749B04D01A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464936$AC962F16-7842-46DC-9855-9600AFD9797F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464936$0260C53C-B17E-4018-8A65-F58FD5856B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464936$A5DADDD6-350C-47DA-9163-1D8310F7C367","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37accf64f3e00a1669458c9d0f6c600fbf157b68","datavalue":{"value":"5221238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464936$297F58B8-4AB1-461C-ABEF-2F3B886B7618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464936$7754DC5B-3BB4-4F6C-B267-0FD5394A6768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464936$984C4BDB-5CE3-45EB-87C8-E04A81B9A078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464936$2D679932-1CF9-43F6-9668-D85253F3F691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464936$BB44D51C-3B94-435D-B5FB-6418834CCEF3","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":"Q2464936$401E5B85-8060-429D-BB05-D247ABAFFD43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4b3e9358e293a3c3d9e6eab86324155053b2c46","datavalue":{"value":"W2133256831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464936$DD34AAEF-8CF5-436B-97EE-10C83FDA243E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f316006bba35331c1002f54bef5b058a461f9b78","datavalue":{"value":"Q126252984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464936$042D15BA-54F5-49EC-8846-45F706DD41BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$4F97A105-A215-4D34-8519-14E356451291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e080e6cc6e0a5d730b0d16d85a39768aab34f86","datavalue":{"value":{"entity-type":"item","numeric-id":2843720,"id":"Q2843720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$259B4358-6B5C-4439-87D9-72CE4C30CF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e4d48643c68fd438272bcd9308706ac32d7131","datavalue":{"value":{"entity-type":"item","numeric-id":2843724,"id":"Q2843724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$67367A86-1575-48CF-A049-82C278422A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2617fa5faafda1309b3ebb4c4a86bf6aac96a3","datavalue":{"value":{"entity-type":"item","numeric-id":703520,"id":"Q703520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$6019DD8F-6AB9-46E7-88CB-D181C6BD351E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$BB9B1237-7C07-45C4-957C-BC750F4FB45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$4AA242FB-1A0A-45BA-AC65-82807ADD4647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944af26ee3b4bfdaa06cea7dcc79aa4a0536c29","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$1D66BF09-45C5-4B07-95E6-A7F3D66384D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$F2F03EC3-06B2-4117-8865-479BCA971528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$F8BE8694-5A48-4343-803F-38D6C4C34FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$0E6CC1CE-9DA9-449F-BB42-79CD05145EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3ff86ad23108d9d6f16f4db17263b647142c02","datavalue":{"value":{"entity-type":"item","numeric-id":4737185,"id":"Q4737185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$DDE07F23-9C11-48DC-8252-1DDDB327444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d104a4841be68a1ad1e917eff0a8d09046a2ba1f","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$1994737F-FDAF-4E60-B39F-1A5B021C60B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$552AB7CD-1CB2-451F-B6C5-65AFCD56FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$06F287FE-582F-4D21-9BD0-D25AEA16D619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f55ce5b3ef6c0010cbbaf9e29337871803b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$00C8D81D-7287-4068-9037-243C46AB6E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$E8A3B986-679D-4C85-B8A7-A439886B3557","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":"Q2464936$6B237B75-872C-428B-9FCE-B318D12A5801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$01487CBF-56B5-48DF-96D2-F2A2FCB730BD","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":"Q2464936$8C6ED52C-9A1D-405D-AC43-E4F239AB8B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$E5494E71-4D8F-4217-8FE1-3C3CC75ADBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$953743F6-2D65-4AC4-BEBE-412A5D5B7A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2aa4eeac790205c4037ea67c80426826ddde338","datavalue":{"value":{"entity-type":"item","numeric-id":5638112,"id":"Q5638112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$AA434EBB-0D7F-45A0-9813-FC03AA206728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ce55b7ffeba230a297d32bd80c664aafc9d649","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$90892901-6456-4FCF-9773-1AA2EE3E3132","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":"Q2464936$4C398B08-EAF6-4BCD-A08D-A6AFE0C889C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$65019B95-DD32-455C-9770-D860A9FA6002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464936$B8F03DA4-AE13-4E69-AE7B-283D76F5FDF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47380dc4761dfb353688d05592caac8126e4167b","datavalue":{"value":"10.1016/J.TCS.2007.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464936$CF07333D-B317-43E9-8F19-682AE61E9DE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203c28359a7966de6bc2da073dd334f6adaa7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36654eed073aa426f07a2f9222ff17fed7b54cc5","datavalue":{"value":{"amount":"+0.9615316390991212","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":"Q2464936$CB8D1DE6-8B91-4938-9340-6BC5D93B1254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0700bb15f8ffc5894a386dc090f8018629bff2","datavalue":{"value":{"entity-type":"item","numeric-id":2863891,"id":"Q2863891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908341e6b8ae3f21f99368ca48b83193307f4c96","datavalue":{"value":{"amount":"+0.8580920100212097","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":"Q2464936$4ED71FC6-C665-40D0-A48A-207D5D7CDD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426a47afc49b1c6edd7bfe7eb047dcc515775e2b","datavalue":{"value":{"entity-type":"item","numeric-id":703520,"id":"Q703520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49130df2602b1136d4680328ba18187419f15d4c","datavalue":{"value":{"amount":"+0.8170497417449951","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":"Q2464936$25E47B30-2CBA-4B36-8C56-21D2E13EC579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d912c8ff41f37c9732862522f06fb1a162f224","datavalue":{"value":{"entity-type":"item","numeric-id":3005988,"id":"Q3005988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2996a21d1cacbe1de93cee3752a6538906a8cc54","datavalue":{"value":{"amount":"+0.8133660554885864","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":"Q2464936$EE26AAE8-D8FC-45F4-81A8-4534E7E88DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b64717fd66a7cb568f26599f7b4f50f37d5662","datavalue":{"value":{"entity-type":"item","numeric-id":3653200,"id":"Q3653200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b305e7d9bd28b1351701039da577a58a7c4636","datavalue":{"value":{"amount":"+0.8039436340332031","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":"Q2464936$2277F13E-3CF8-42EF-ACF2-FCDF8B2974FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular construction of complete coalgebraic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_construction_of_complete_coalgebraic_logics"}}}}}