{"entities":{"Q402120":{"pageid":403887,"ns":120,"title":"Item:Q402120","lastrevid":61623195,"modified":"2026-04-11T00:32:46Z","type":"item","id":"Q402120","labels":{"en":{"language":"en","value":"Proof systems for Moss' coalgebraic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6334958"}},"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":"Q402120$05A159B7-07D3-4156-8CAB-EE69E6BEBAAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132c99f930e37df5e7e5276d61b9ff7a2ec9314a","datavalue":{"value":{"text":"Proof systems for Moss' coalgebraic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q402120$78914B0A-958A-439F-B739-D7DA993FDB0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eeb174418b8586a617f1a12856d48658a4f350fe","datavalue":{"value":"1323.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402120$A19C9051-075C-4D12-A611-B78188143A71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac19c6003a814839a3f511f3b429af9fdef7758","datavalue":{"value":{"entity-type":"item","numeric-id":402118,"id":"Q402118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$FE0F0F07-CEFE-4E5A-A79E-8A8A88FFE9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$2E9B46E8-339D-4191-9AF7-839318542A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$00D3C7B9-AC20-46F8-94FF-001F9C25A316","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":"Q402120$A567C2ED-DCD8-41E9-8FD4-42DA79665678","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"839eced7df0c4a631ff6c9629b85502b0309c881","datavalue":{"value":{"time":"+2014-08-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":"Q402120$BA2EB115-2CA0-4CC4-9C58-8E6BE7B835CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402120$0C00EBCA-C98E-455D-8D3D-6F74D676D8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402120$3DDE17B2-F54E-410E-B40B-F276C0C1C0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402120$C6B0ACDE-C60C-4556-806C-A71072FCF7BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af6bffba9a820cefe83d03a4b3566c554ed3d609","datavalue":{"value":"6334958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402120$6E3CF00A-1CDB-44E7-AB2A-0BB5DDF0ED4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q402120$F2FC47C1-60C8-4993-B531-01870F47E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q402120$58CD37D7-660E-4248-BE79-298AD1008968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q402120$2F2A402C-7375-47AC-8BDD-3DF0656EFA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q402120$8030D0EE-D566-48B3-9557-49C750BC311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb1d50420b4855c6eb3bd0722fb85e5ba8fd838","datavalue":{"value":"cover modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q402120$3F11CD56-34F4-4A69-9F7E-79CDEBA8A8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q402120$D6358C15-1C8C-4A69-88B1-8316737EB48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q402120$6265BCD5-F240-48B4-ADB3-1FD2CD2681B6","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":"Q402120$F17A1E24-A18B-44ED-9211-546F4DD3245E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"158a74f61717881d1b6fd8c2d68190aac5c4b930","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.06.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q402120$232C1447-B480-4AE6-8383-9B00EE50526E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"426e00b54529f1db4cdd4549f35ef61b9d32ceb4","datavalue":{"value":"W2105634236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402120$296712EC-B9CA-4524-BDA3-955E098636CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$8AF8F89D-4CF5-4DF5-84B6-480A2CF5FFD4","rank":"normal"},{"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":"Q402120$9132E519-4091-4F39-84F6-C1C93CE5AF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507dd065ba3c687b23973c2b2ffc7af3160a76e6","datavalue":{"value":{"entity-type":"item","numeric-id":5394570,"id":"Q5394570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$34D1DF2C-0BD4-4259-8AFF-83BE89B7E90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$A1787F96-4350-4415-AE68-B334E996ECCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64acf4615472f1b9c17ff4fd3c4c9f2a741061b8","datavalue":{"value":{"entity-type":"item","numeric-id":3589829,"id":"Q3589829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$93C96E57-64C2-489B-AFFE-C7971CC27FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96954404dfbbc62a33a9750ac0ac66cacd28ac9b","datavalue":{"value":{"entity-type":"item","numeric-id":5602969,"id":"Q5602969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$E2C6407A-791C-48E2-990F-CA39F6B4F399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e97286b9a76a5ccfea80f424adcd6bf8f35f0da","datavalue":{"value":{"entity-type":"item","numeric-id":3086937,"id":"Q3086937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$69B48F17-3E7D-44F1-ACE3-F5CAFD7DE01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f07a5337aa99edf273489b307d42f143920052","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$7BCD8328-85A6-4631-B758-EBE540309990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$37B31B62-0E2D-42F3-8270-9DB5088BE468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$3B17791C-54D5-4A9F-B06E-90FFC5EFC58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$218C8C4B-E31C-47A8-9ED9-00C8880DA48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4699b3b0046256a66a3ec627cb516fa51b64ca","datavalue":{"value":{"entity-type":"item","numeric-id":2888479,"id":"Q2888479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$3B8CA59C-9475-450C-813A-E94AF04CCC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb20abaa1aaae44c81019e3eebede202da0e114d","datavalue":{"value":{"entity-type":"item","numeric-id":3085167,"id":"Q3085167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$832F0F59-221B-418C-96C3-1980FF5EFEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b342dce9eb57fc3b86211a6f8fad09c18bd90399","datavalue":{"value":{"entity-type":"item","numeric-id":2904618,"id":"Q2904618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$1F8C37A1-F1EB-44F8-B6C7-C2C3C74CB699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c397e10d25db8797f199fb446bb3dd7daccaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":3623006,"id":"Q3623006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$29006AF9-E154-4714-86B0-860F8207BAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$E84F488D-62C6-41D4-A91E-40158766E898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466538defb5fd0c5751d614e46e56a1ff57e4ea9","datavalue":{"value":{"entity-type":"item","numeric-id":2914681,"id":"Q2914681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$5DA12C3C-5B19-49A3-8160-07CD3F19B89C","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":"Q402120$C6597516-8448-4B79-9BFD-E280CFF3C185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a34ec3b298bec3a09c285cff1f0055c673977e9","datavalue":{"value":{"entity-type":"item","numeric-id":703528,"id":"Q703528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$12F7B7A8-9117-4889-9D9F-52753CBF73E4","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":"Q402120$ECF8B2D4-B40F-4915-9BE6-4C2C5858F652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cb83a8072779e554d8824cf5651798f1e717b1","datavalue":{"value":{"entity-type":"item","numeric-id":2873670,"id":"Q2873670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$94419487-CB43-4F44-8E34-425C4D85499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bef7064c2f980668d1f3333d7ffc1cc33b6047","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$ED8F9B2F-D2AA-4364-87FD-D0DE4269B67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4308be7b20db56efb01c78f562265300da316a7c","datavalue":{"value":{"entity-type":"item","numeric-id":618171,"id":"Q618171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$8D84A9C6-83F0-4D9F-B675-D6380F075E73","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":"Q402120$5D7658F9-D335-4A5C-A481-B30902224DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1389a29dc2597427f58610fd878fb601a1e4f6ab","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$E882DD92-9F2B-446F-8C7D-389BEA756483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$1F490012-31B6-47E5-B0ED-5970537B74FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239ff92bec90f692bea744c710643b00a4a39aa0","datavalue":{"value":{"entity-type":"item","numeric-id":4166879,"id":"Q4166879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$1B68820D-FE93-43D6-9C46-C024B11FD57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$A2553108-2076-4294-BA09-3BDB0408C96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402120$9C137473-B2BE-489F-92F7-298C0D051959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a70556d477fadf7fb4487b3e4e7c6413233505b","datavalue":{"value":"10.1016/J.TCS.2014.06.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402120$6364C7E0-8440-461F-BC97-D8955D699FDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b18f394015661ad1a9edcff2d33fc56ec7c02f","datavalue":{"value":{"entity-type":"item","numeric-id":3085167,"id":"Q3085167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a851ba7e7be73c53669757b830f06ec96260fd","datavalue":{"value":{"amount":"+0.8372507691383362","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":"Q402120$3E813E12-67D6-40D3-ACAE-1972A4C82C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b112eee35eabfd306112c4a3f285b9abddd0a824","datavalue":{"value":{"entity-type":"item","numeric-id":3086937,"id":"Q3086937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259003aaa1e9b643304e5cdf0d4b0a7bf45e0da5","datavalue":{"value":{"amount":"+0.8258190751075745","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":"Q402120$470A7C8B-2F56-4169-A9EA-5FCF59BC3498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787f9a6686b2a925d896fc24a44606c33f9e7062","datavalue":{"value":{"entity-type":"item","numeric-id":3090864,"id":"Q3090864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d08e0bb2fe8381bd41d63c0779c116046dde9dc","datavalue":{"value":{"amount":"+0.8229777216911316","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":"Q402120$229A5F8A-37DE-4D3E-9F5B-1FFC186BE31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a3537ee610732ebdba28062459be31ae19626b","datavalue":{"value":{"entity-type":"item","numeric-id":2904618,"id":"Q2904618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bca2512520b85ea0735b2c4b1e8ff9343d6341b","datavalue":{"value":{"amount":"+0.8130617737770081","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":"Q402120$74B4D0B7-C2EC-43EA-85F9-813F0FC5C727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fa506ae4f6d037ec3c5ecb23ecb116de3aba37","datavalue":{"value":{"entity-type":"item","numeric-id":2503317,"id":"Q2503317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd1d0c6b0dd77a5823aab73ae3c8ce2c65991ff","datavalue":{"value":{"amount":"+0.8070158958435059","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":"Q402120$0B48690A-EEDA-4393-964C-F74152335C3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof systems for Moss' coalgebraic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_systems_for_Moss%27_coalgebraic_logic"}}}}}