{"entities":{"Q5013883":{"pageid":7043460,"ns":120,"title":"Item:Q5013883","lastrevid":58404048,"modified":"2026-04-05T01:49:59Z","type":"item","id":"Q5013883","labels":{"en":{"language":"en","value":"The expressive power of modal logic with inclusion atoms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438573"}},"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":"Q5013883$82E9FB1E-E0A3-4AD6-B869-442A92820C5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18f7508fb8238a5d9d3bc093f8b1eae340e55e17","datavalue":{"value":"1476.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013883$D43D6097-C3D6-4974-9BF9-3DF2F3BE6656","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$924ADE47-EB94-4E43-890F-1E8C8B61768F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69c5f9722d32f03640cb865cc828c7bceea153aa","datavalue":{"value":{"entity-type":"item","numeric-id":1623137,"id":"Q1623137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$20A915DF-2977-4D9A-AA52-59564FA2A984","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013883$68E1D918-1632-43C4-80F6-D92E8F6E2ADD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a883e2841a423ea240089cb6ade575311cb6005","datavalue":{"value":"https://arxiv.org/abs/1509.07204","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013883$A668A56D-C5D0-4D3E-8127-7E2225053646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3328bf2da34a805628df802822d3f13520b193f0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013883$B24B253F-1BC1-4E40-B91F-586C0A8C3DFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013883$86F6880B-37EB-4643-82EC-BF734F1595B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90d2fc18b4282c47d06c07165fcc780b9b9422d7","datavalue":{"value":"7438573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013883$DDCDC0FE-3E65-44FC-BF0F-665101E2A539","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":"Q5013883$FFD3A38E-7576-451F-9671-963600A2DE70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$EAA499BE-82BF-4506-B002-F37059FF414F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31f3c08633d07ae25f21efd1674e33b9b7d0d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2849426,"id":"Q2849426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$480A33F2-6739-4440-B610-FA956640A504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cdc05b51f7124c5d8d4c2e7d6f5d4f7bc128690","datavalue":{"value":{"entity-type":"item","numeric-id":2849427,"id":"Q2849427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$3EBED999-8875-45C8-BBEE-060F7218E789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ec7dc4566a1ce41bb90a9583007555aa63e279","datavalue":{"value":{"entity-type":"item","numeric-id":2891371,"id":"Q2891371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$EBCE5BAE-206C-4046-9645-1D744137C7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$EDBF890D-284F-4F42-827A-731AF87C8277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$3CB249BC-D71A-4981-9304-B8B14E471F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334b7748e2655c961553d8c4b942a86f1d37c57b","datavalue":{"value":{"entity-type":"item","numeric-id":2946343,"id":"Q2946343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$D1CAD43D-8892-4056-A496-85244568FCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2623b82d4c6da7f628ccb6a5de4f8cffb037681e","datavalue":{"value":{"entity-type":"item","numeric-id":4636299,"id":"Q4636299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$828168EE-563A-404A-BE1A-40C6AFAB4AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$823FE50D-F453-4141-9A77-4B5B81E8BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$FCF57EF8-EE52-4683-B030-4E4026F7523A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96495ecc047314651f3c092dc62e56f2b1c528be","datavalue":{"value":{"entity-type":"item","numeric-id":4636302,"id":"Q4636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$CD5DD342-0BFE-4831-8466-1C11A12869C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b543949e040b1ba85c4514447c6a6f669919b0","datavalue":{"value":{"entity-type":"item","numeric-id":1956378,"id":"Q1956378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$22C6DFDF-52B8-4AF3-BA9B-F89A2FA1B0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f21cfd80121419a71fc71c5f6a8481873755f5","datavalue":{"value":{"entity-type":"item","numeric-id":3656769,"id":"Q3656769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$6E896C97-42C6-4907-9CE1-7FACEB670CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526c1e1ce8654c233cae22947a9ab0578581b7fa","datavalue":{"value":{"entity-type":"item","numeric-id":4995356,"id":"Q4995356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$5410F5EE-05AF-4F5A-8E26-CE84839642E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$10E698A7-6BBA-4EC3-B7BE-EA2925BF5906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aace11b77f2c23842b0942a0444357275c1b2a06","datavalue":{"value":{"entity-type":"item","numeric-id":4599513,"id":"Q4599513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013883$9CB3924E-52B9-4D7F-89B3-45436930B25D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e04aea86061b2416ddcbe8c6d349697864040d8","datavalue":{"value":{"entity-type":"item","numeric-id":4636299,"id":"Q4636299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0391b201a1ba541c4731ca6a61f866bfe5b03c2e","datavalue":{"value":{"amount":"+0.8428915739059448","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":"Q5013883$F35112A9-F412-4EAC-8FEF-769B9D4A3773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8f36f55061414329634d4dfddd71f6cf3925b4","datavalue":{"value":{"entity-type":"item","numeric-id":5213388,"id":"Q5213388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3cf85ab4dcc6225fa221e4955c8c47430362e8","datavalue":{"value":{"amount":"+0.7730173468589783","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":"Q5013883$67DDAC6B-D1D5-4EF0-ADE3-9FF3A7FB4CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1100745c33ca9bd4d58b0eb59d9b5b1586e648a","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff934192e103bab0c10f276966e65789c569679","datavalue":{"value":{"amount":"+0.7614197134971619","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":"Q5013883$6075386B-3237-4667-B974-0FA52B87F946","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013883"}}}}}