{"entities":{"Q4443008":{"pageid":6472607,"ns":120,"title":"Item:Q4443008","lastrevid":48217411,"modified":"2026-01-04T00:02:56Z","type":"item","id":"Q4443008","labels":{"en":{"language":"en","value":"A new proof of completeness for a relative modal logic with composition and intersection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024286"}},"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":"Q4443008$DF3E470B-C2BB-47FA-8B0E-6A78707C2801","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17a2d9819d5e8a4be7bf6001aeccd6c37d5d60be","datavalue":{"value":{"text":"A new proof of completeness for a relative modal logic with composition and intersection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443008$39C52420-1824-4E91-9CE7-62CE15B377D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4577be0f471c5f0181f0f3a9d3bf9bbd9517f692","datavalue":{"value":"1032.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443008$701C28DE-FC79-48DF-A489-C24CD3899610","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443008$9930E57D-7A2B-4AAB-A914-1E214BC99BCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443008$C4404C96-2C7C-415F-A477-3A4420B68455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1387c1e596edcfc6362873e2e0aa3d5df01d272","datavalue":{"value":{"time":"+2004-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443008$8A57637A-3CD4-4D4F-937A-B53EDF75F495","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443008$F343E834-93DD-4DBF-A006-0B8730064477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443008$0BC76D54-9821-4E94-BB1E-4467B45B9A0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4390e3d791e2738d42f35b39cc9e781e7f939ec","datavalue":{"value":"2024286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443008$DC159962-BD2D-4B56-9F8F-7576BF969D5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443008$3417470F-EBD8-4E65-B394-4254633B607F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6918bdfbe96a62b65de09512a79bd9357deb3cf3","datavalue":{"value":"relative modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443008$838E8414-209D-4F4B-A700-6651BF604D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443008$33DF9E77-2EAD-4445-B614-3409EED004C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1229968686cb1004edd88e1142e3598835837f","datavalue":{"value":"mosaics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443008$F7794CB4-B6F4-422C-A16E-4ABB76655CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443008$C5A164AA-7D96-4701-BCFA-36A684F5D07C","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":"Q4443008$4BF76E74-EABF-41BA-B0F6-20C4CA56B046","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e99902e009c077e10c78d56fa03a11123c39dc28","datavalue":{"value":"https://doi.org/10.3166/jancl.11.269-280","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443008$0B555B36-AD56-4EA3-92C2-A7A073FD1E12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"714f77b1ac1025a802cac267edecbf7ccfec3462","datavalue":{"value":"W2043964351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443008$EBF6D5D7-D553-407D-80DA-BA819DF6D73D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b03256c484afa853300af690f730716cd61433","datavalue":{"value":{"entity-type":"item","numeric-id":4236070,"id":"Q4236070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443008$3A503F5C-D10D-40C5-93E2-866690BF827C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443008$06633046-CF7A-4AF4-80DA-42DBD4705D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26397b126545fbfece88c979577fd04b9673081d","datavalue":{"value":{"entity-type":"item","numeric-id":1058847,"id":"Q1058847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443008$8BAB20CD-DAF5-4284-AFA8-25D024C4BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443008$C173389E-1F8A-4E29-931C-D180ED2F45C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443008$F6F76E15-04EF-460E-AB82-F8383D5A1C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443008$1B388A2F-A7EB-404D-964D-82CDE3B8BA37","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"10233116a019de445491f5fbf0382e31eabe4b66","datavalue":{"value":"Q126253204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443008$C8ACF880-FC03-45C8-B3A2-D5F86CCED6EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7a85acd59b5289f84d5f19b2a79bbde115db165","datavalue":{"value":"10.3166/JANCL.11.269-280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443008$00D686A3-F572-4247-831A-3A93460CEFA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f10fe10fb2793d2bfac7e1f0f46e0995decd187","datavalue":{"value":{"entity-type":"item","numeric-id":4236070,"id":"Q4236070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3bb13e151a1d6f320b5beb90e23c367685283d","datavalue":{"value":{"amount":"+0.7872464656829834","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":"Q4443008$90FE7DB2-ADCD-4345-83D7-BC64E109C81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9a5ffcd8a3f58d492afcd7d8221d1704e5a193","datavalue":{"value":{"entity-type":"item","numeric-id":3535605,"id":"Q3535605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c6956d1f1ddbcc3e5aff8dd96f1cddeef9a36e","datavalue":{"value":{"amount":"+0.7857616543769836","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":"Q4443008$55306668-E4DC-4C4B-B15D-B7B4D660CF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ba4920e4cd0070412225e45f447d2a5d262358","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79c367e002891e66fbae55adc75e761ee57c4b3","datavalue":{"value":{"amount":"+0.7555962204933167","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":"Q4443008$A7A8A9AC-A5A1-41E9-A438-38E73889D601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a65dba3d324fd296089ad0561845cdead9cafce","datavalue":{"value":{"entity-type":"item","numeric-id":1709685,"id":"Q1709685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bbeb1c770d0bec67d44b1521dfe09363e1eece","datavalue":{"value":{"amount":"+0.7255271673202515","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":"Q4443008$480D2D63-3B03-4680-B403-C32E1F998303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b28d66123f0140fbe45de70cf71d5fe67b05468","datavalue":{"value":{"entity-type":"item","numeric-id":4011727,"id":"Q4011727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f1cb954e5c08a6fed05a542656b8775ef5cd30","datavalue":{"value":{"amount":"+0.7222738265991211","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":"Q4443008$D4217CF9-0B94-42B7-940D-3B490D46A678","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4443008"}}}}}