{"entities":{"Q3535605":{"pageid":5565509,"ns":120,"title":"Item:Q3535605","lastrevid":58188222,"modified":"2026-04-04T04:08:08Z","type":"item","id":"Q3535605","labels":{"en":{"language":"en","value":"Modal Matters for Interpretability Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365471"}},"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":"Q3535605$C751537B-C3E8-42C9-91EC-48F700087B8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa2f7e17d4aa89bfe26cbd7c1f3b2bc599f7d70e","datavalue":{"value":{"text":"Modal Matters for Interpretability Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535605$3E6C3CDA-C8DA-4757-9F88-BC0B6335EC07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d19650bbab7fffa21e0fdf6e5a65a2f34fe8542","datavalue":{"value":"1162.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535605$73507B06-3A81-4C2F-8B67-46E90B8F92E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2276ddb76dea48fbdc911cd5585d15c440430f83","datavalue":{"value":{"entity-type":"item","numeric-id":636277,"id":"Q636277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535605$80B1580F-1ED3-4D49-818B-013CAD326371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535605$C0BC3761-C9AA-4940-A6FA-DB52FA87D2F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535605$C107D2BC-8DC0-42EF-9627-7EAC24D665A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2deee215a12521074763e9696779f2e551e12a2","datavalue":{"value":"https://arxiv.org/abs/2004.06966","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535605$09759F44-A037-4BD8-BC55-536AEBBEEFA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535605$F3A6E67E-EF73-4744-A073-79B648BC4521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535605$5107C9E6-D5E4-4C40-8B4D-BC01DC601A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535605$E07EB9BC-98DA-48F2-B50B-113C97C7CDA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"607fe8ca3f7b0cc52db48d5ac075c54baa77d265","datavalue":{"value":"5365471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535605$CC91FA29-93A1-4D7A-99C5-B43E078EF98A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535605$91CC8D07-22C5-4AA0-935C-224EFA4223C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d08d959914b8c85d8199b45fa0274189c034af","datavalue":{"value":"modal completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535605$4929A4FD-7223-4D70-ACDD-82C93C3C5F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535605$FB9025EE-525F-4947-B156-E56D371CB947","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":"Q3535605$41C22162-00F7-44F2-A357-64DC39185A07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af48f5a3d6b4448262904df3647a87ca02384e24","datavalue":{"value":"W2018652810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535605$2BC7676B-E8FA-4898-BFC8-72CD9A969C0F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9f8d8b0b9717f986c86ca412d253963a4a68b281","datavalue":{"value":"Q120204576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535605$33EC5AFD-0F95-48A1-A2DC-A284FA5E39FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c03181a1a66c7513fc04cfca8da6c208f0a7b0f2","datavalue":{"value":"10.1093/JIGPAL/JZN013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535605$52F5028B-EC42-4D90-92D3-EFE339A88346","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff47eb315677d4020005190281beb7a42cc35f9","datavalue":{"value":{"entity-type":"item","numeric-id":2903747,"id":"Q2903747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2179f36de300093bfca967c104497f77f35a4c","datavalue":{"value":{"amount":"+0.8889076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$601FFDC5-7894-4E8D-B7B7-90084B0F8E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aec1e24438d23ed7a58b6d43f280b6194b5e092","datavalue":{"value":{"entity-type":"item","numeric-id":3520227,"id":"Q3520227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cc23415a5852ee06a05572dfbfdf875dc09ab4","datavalue":{"value":{"amount":"+0.88097584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$53E08538-C63D-4052-852B-42D7894FB682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622f5f82ce75b33ae710b8b800825968d7c81bfa","datavalue":{"value":{"entity-type":"item","numeric-id":1604800,"id":"Q1604800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d421df9b092f4de73455b9225c300c1a79530107","datavalue":{"value":{"amount":"+0.8742878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$0A6286BA-92DB-468C-8A7A-710B38AA2890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fe67be56c8c4ab6c17dd947c3b639d69e286ee","datavalue":{"value":{"entity-type":"item","numeric-id":3015294,"id":"Q3015294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e2ffb9dd431bbb3f5088ebce6c6e573cc5083d","datavalue":{"value":{"amount":"+0.8653749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$C88374E2-D879-46AC-AE1A-2B6C3F5D9618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5944d25d38431f3ab1fdde05a4bdcc76db66adab","datavalue":{"value":{"entity-type":"item","numeric-id":3081234,"id":"Q3081234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3b49ce2572e1da5e804339db1e2635256f2013","datavalue":{"value":{"amount":"+0.8645799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$2FA315FE-6089-463A-8BCF-D80AACC63E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a3ccd8c089b61471fc1fef8e0c032aca7de4c7","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ab82c069933047cad28713678144eda57143c6","datavalue":{"value":{"amount":"+0.86149466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$F4273E99-489F-4205-A863-01936383F5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9d53c8ab1ba7d0238721f6284637eda40fcb7a","datavalue":{"value":{"amount":"+0.85572493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$3C76D518-ED5C-4662-A3F4-86FDAF1ADEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd215c84838e4b20b4161dc7bd87c2837d9cc083","datavalue":{"value":{"entity-type":"item","numeric-id":867400,"id":"Q867400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a1b4f9078854bb0d274d44260cdb37a7e4adc9","datavalue":{"value":{"amount":"+0.85479736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$16BB2562-5383-42B6-9E4E-A89DAFC58CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3737b46562c23b92952b7d95708796778ac5a047","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b1be2139696ddf7d3652a92bbd453e5b5adb9b","datavalue":{"value":{"amount":"+0.85466415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$92230A6F-F678-4892-84B0-7FD97292AC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332283638d7a704a971504393b884ee49c577f72","datavalue":{"value":{"entity-type":"item","numeric-id":2888153,"id":"Q2888153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c48ebd3dd0b36407667dcda1182d2afff5f20a","datavalue":{"value":{"amount":"+0.85430855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535605$742CCAD2-68F4-48D4-A8D3-CAD8DDDE71F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535605$DC35273F-C479-45D1-BE49-4D616133AE21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535605"}}}}}