{"entities":{"Q3196349":{"pageid":3207057,"ns":120,"title":"Item:Q3196349","lastrevid":58144377,"modified":"2026-04-03T23:58:11Z","type":"item","id":"Q3196349","labels":{"en":{"language":"en","value":"Positive fragments of coalgebraic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501865"}},"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":"Q3196349$FDB94507-FD3E-4996-8617-95456D24692D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f124cc70163bfdcb61d6a2ec7bd2430712b8d37a","datavalue":{"value":{"text":"Positive fragments of coalgebraic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196349$F9ABCA16-E30D-4D92-B8EE-5E7B55110E8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe561def0a89cf98796b740a078fdd3a0b4e1feb","datavalue":{"value":"1337.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196349$E25B137D-2AD5-4AC6-A69A-9AA7D9ACBF22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfe5c30c0538a01c17c81710c0af6845b15645df","datavalue":{"value":"10.2168/LMCS-11(3:18)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196349$0FF532BF-E20F-441F-AA7D-86FC4DBAFEB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28684bd1f4bbc00add773aebdab5a83cf01fa02","datavalue":{"value":{"entity-type":"item","numeric-id":234458,"id":"Q234458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196349$D95C64D6-B2AA-435A-8741-057337685955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a7458eb1c6cf2db0a51d33e94315682ae8e7b80","datavalue":{"value":{"entity-type":"item","numeric-id":1701169,"id":"Q1701169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196349$00400358-735A-4817-BF07-049EC2A9E4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196349$D6933A44-E01C-4EA3-AB98-5A8F451CC8A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196349$5EC93ED4-840A-4438-8415-C476806F051C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196349$C373198F-C4E6-4976-A3EE-D91D3FC033D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8c811e03e2c6126ba620f471619004f96d80f2b","datavalue":{"value":"https://arxiv.org/abs/1402.5922","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196349$ED52F2E0-5409-4D8F-9A9A-B3F537B9DD2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196349$D2520668-4082-4FAC-8F2D-51C35053E165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196349$17D0D4EB-FDE1-431A-83B7-49C2C8520219","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4566dd3c9f1dcbba1f2f0ffe3fa75bd83257d0de","datavalue":{"value":"6501865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196349$9E5503BA-7A2F-4C71-B2DD-36136D7EA3B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196349$E2A99BD1-D379-4EAB-ACFB-1362977711AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196349$12549F19-8557-47AF-BE81-EDFAE66E4D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338832971d2c4ecc97328ab09c9356f879bc7933","datavalue":{"value":"positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196349$A806AA5F-9C6D-4C43-B90F-31E794E4B7B9","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":"Q3196349$902BD076-07AB-4482-9C49-65C1BDF009B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70207880ca373230a84547d49c0e846e15c2533a","datavalue":{"value":{"entity-type":"item","numeric-id":2848939,"id":"Q2848939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b167304fed7daf3113cebc5c636e0d83c2e7836","datavalue":{"value":{"amount":"+0.9195142388343812","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":"Q3196349$FEFB9270-0F98-45A0-A3F5-8E03F257912F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5ddfbfc00089acd7df45e38108816a63a342e9","datavalue":{"value":{"entity-type":"item","numeric-id":4580204,"id":"Q4580204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e834c199b5ba0820b3e426063dc8eece5a6842","datavalue":{"value":{"amount":"+0.8698911070823669","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":"Q3196349$9FC2AE4F-B155-405A-AD2C-1B614740E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0914d55f629aece19c93be1333e9499dfc9e4584","datavalue":{"value":{"entity-type":"item","numeric-id":2843730,"id":"Q2843730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825325df767cee02a2591e4a63ce350879c39278","datavalue":{"value":{"amount":"+0.8343909978866577","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":"Q3196349$2E9346AC-D0FE-4B5E-956B-81660AD07F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ccd3c6d9558d005b0d82e22b0a538b63eff9aa5","datavalue":{"value":{"entity-type":"item","numeric-id":703528,"id":"Q703528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d5a6ebe7a915f1109e57eb2b4520949fbee742","datavalue":{"value":{"amount":"+0.830350399017334","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":"Q3196349$B19848DD-0DAD-4E7B-B20E-3A059E8CE537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c17e88fa57f37d2ecb53dff7724933392874016","datavalue":{"value":{"entity-type":"item","numeric-id":3133183,"id":"Q3133183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c395de829be8d30a19eef613a0fd2b3e180f12","datavalue":{"value":{"amount":"+0.8262534141540527","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":"Q3196349$4FCD5844-43B1-421D-96A1-BE02B58071CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196349","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196349"}}}}}