{"entities":{"Q3085167":{"pageid":3095882,"ns":120,"title":"Item:Q3085167","lastrevid":51218153,"modified":"2026-01-17T07:23:30Z","type":"item","id":"Q3085167","labels":{"en":{"language":"en","value":"Completeness of the finitary Moss logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872411"}},"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":"Q3085167$84EA456F-740F-4F20-85AD-04A88D6B2558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7db4089953f069ff99e92e5e5bdff69076f3a65e","datavalue":{"value":"1233.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085167$C4382F1D-2929-414C-8095-7D9F798898BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085167$90C0D4CB-D852-4424-9261-0B05973EC427","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":"Q3085167$87F06C22-814F-4E39-A977-A92F6E4615CF","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":"Q3085167$E036ABBD-C490-41CD-9722-2B6FC6373663","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3085167$121E4538-DEF1-4342-AF4D-705FAAE185BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085167$E2C60AC2-BA0A-4DE1-A5E7-F6A98CE4DCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085167$2AFF0329-79DA-4788-BA4E-19342E5844E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085167$50D41252-C980-49C1-A3D7-CA1F311868F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44de074186b2f991d9cc8c94410fa66beb645e8a","datavalue":{"value":"5872411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085167$1BBD7ADE-024E-4743-8D21-05D5ED1F9CB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085167$7D116365-845A-4483-9F1C-4495370BEB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085167$67B3DF53-E00B-4EE1-95ED-5CB5A3B02A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085167$82FE87FF-41DC-44CB-AC00-2BC01FF6C393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085167$13B02784-A1DE-45AA-B8B9-F94440E49256","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":"Q3085167$813FA035-0966-423A-8BFE-58C4374FB359","rank":"normal"}],"P1643":[{"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":"feabfc3b6ccfcafdb6bf66521f66aaccb7fb3b20","datavalue":{"value":{"amount":"+0.8589507937431335","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":"Q3085167$B389C895-AE42-40C2-B164-0C04B2F7CE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7e3ce2b29770d433476af7b8a7c2e3824f06ec","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695785fca39ea4886f03f200d09985d682a593a8","datavalue":{"value":{"amount":"+0.8451438546180725","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":"Q3085167$EF57816E-5733-4E03-8D7F-3250048E8BCE","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":"e6cc84df22d2747b8d24bc39c62db2a8742db13a","datavalue":{"value":{"amount":"+0.8437339067459106","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":"Q3085167$87296A78-70E7-4C6F-97A6-34B81E067075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5d84f9f10fe366e1ad2f2e537eef4ae556dc06","datavalue":{"value":{"entity-type":"item","numeric-id":402120,"id":"Q402120"},"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":"Q3085167$789B138C-4966-4739-ACF4-6F1707798913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6089f3308cbcda5ab78eb9084ebf0d68522479f","datavalue":{"value":{"entity-type":"item","numeric-id":2914235,"id":"Q2914235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178998d3dfaee573b747d04ce70cf25eb3c8b402","datavalue":{"value":{"amount":"+0.8148325085639954","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":"Q3085167$D758F64F-0115-429C-88B4-224F1CEFF62D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3085167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3085167"}}}}}