{"entities":{"Q5140314":{"pageid":7169885,"ns":120,"title":"Item:Q5140314","lastrevid":100612901,"modified":"2026-06-05T22:34:48Z","type":"item","id":"Q5140314","labels":{"en":{"language":"en","value":"Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285871"}},"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":"Q5140314$11B25FA5-5C4A-4E3A-BEE0-39871D1ED820","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53fb538ff688fdaf14633096b1fedc0238a5614e","datavalue":{"value":{"text":"Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5140314$1F7E55D3-5912-4F62-B84A-948C19605B54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140314$DCA7998C-63AE-4A1F-8B8B-D32BD6E72CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140314$0A31F454-5BF1-4FF3-A7F3-9D5017FEE632","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92018b86948792c7af58198ad3b3a15967a211f","datavalue":{"value":{"time":"+2020-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140314$8F9F644D-B12D-4602-B1FA-024DAF30C886","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8f095fbfc9c12da113f4515cdd5706284ebaee8","datavalue":{"value":"https://arxiv.org/abs/2105.11811","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140314$F4FDC0C8-9324-4E66-9BA3-5A7658DB3C9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140314$3679E2FA-EF12-459B-BA5E-E19D4019400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140314$45034F6E-AAF0-4EA9-B417-F050EC6889D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7870b4885358f09ad7ac169a6d985ca0c32867a9","datavalue":{"value":"7285871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140314$0011FED7-61AE-471C-B290-8A1A5E2D9607","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140314$F19AD9A5-0695-488F-8CDE-C197F8DA647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9914ace600fe82478c3798b2d72eaecf38356bf8","datavalue":{"value":"predicate modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140314$02775AB2-20EB-4023-8478-B192D8576FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba5fa8e4b796ef06edc3329c86a25b7a094b67","datavalue":{"value":"finite Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140314$9814A543-E4B2-4F67-BC23-0C3EE09B45B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b97ac32bc9cd3dafebe8e1f2d408ffac8aac069","datavalue":{"value":"restricted languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140314$CDAC2977-8A97-4AE7-92ED-F1A72BA363A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140314$842321F0-0CE1-47F6-8693-A7ED9FBFDCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834a5d3aeff3e989ddbcac30f750804dc9e3013b","datavalue":{"value":"recursive enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140314$5AC0B03A-DE77-49FC-810C-F41CB0FE0399","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":"Q5140314$DFFE8342-2819-41BC-B83F-2181A6F7A692","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1e70fcce05b5530e065408cbfba3b7f15f7e92f","datavalue":{"value":"W4256034450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140314$3F146A9E-B162-4741-9F62-9309A01CC826","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c6a96052bf0289361f9414412b93fc64828f61","datavalue":{"value":"10.1093/LOGCOM/EXAA041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140314$25E6CFBC-AB1D-4234-91AC-127D3ECF03A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140314$3E26D66B-FFB3-4EF2-8AFE-3C893F21876E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f966945f6678ee0fb706a503bbaaf0d6aa7cee9","datavalue":{"value":{"entity-type":"item","numeric-id":3382820,"id":"Q3382820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ccdf446f26c9ef167e15000467ab06d2b1059b","datavalue":{"value":{"amount":"+0.9204870462417604","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":"Q5140314$4B5E1E56-9D6E-4FA7-8699-43BB16130FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf8582eef21252e65e9652aedbe0f4f2cd10041","datavalue":{"value":{"entity-type":"item","numeric-id":5858132,"id":"Q5858132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502e6d5ba8f617d29abe02630fb586b18e436094","datavalue":{"value":{"amount":"+0.8914980292320251","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":"Q5140314$C2D877FA-8CF2-4461-8E47-A6637586CAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be5cf784e84c5f23b894c4b74b6cdb1e74619ca","datavalue":{"value":{"entity-type":"item","numeric-id":5104724,"id":"Q5104724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d234df42b47c547d4d027edeacfbc46bd60e42a5","datavalue":{"value":{"amount":"+0.8722641468048096","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":"Q5140314$0C2A1179-3462-4383-8450-168E56CFD65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c8a0ea1cf91e7f10fac7fc217b2a4dd1a591f","datavalue":{"value":{"entity-type":"item","numeric-id":1908859,"id":"Q1908859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534f241da3b3bd59545064ee8b96160f55527e8d","datavalue":{"value":{"amount":"+0.7972998023033142","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":"Q5140314$9804A700-C2F8-467D-8A25-42569F1DA6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3902fc0bfb05737818adc5832877584e87dd56","datavalue":{"value":{"entity-type":"item","numeric-id":5112647,"id":"Q5112647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596d6247e6fc3fe34d77928af6ca212a4d714685","datavalue":{"value":{"amount":"+0.7951719760894775","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":"Q5140314$24655428-DF51-4076-9831-0CEA2D6E2CE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages","badges":[]}}}}}