{"entities":{"Q4236070":{"pageid":6265671,"ns":120,"title":"Item:Q4236070","lastrevid":46588749,"modified":"2025-12-25T03:14:08Z","type":"item","id":"Q4236070","labels":{"en":{"language":"en","value":"Complete Axiomatization of a Relative Modal Logic with Composition and Intersection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268521"}},"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":"Q4236070$03674D4D-7112-4325-9C5A-0426876EC23A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eef59d6ba3c1ce2460cd3ba199f6b4d79b37525","datavalue":{"value":{"text":"Complete Axiomatization of a Relative Modal Logic with Composition and Intersection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236070$31D13716-8A2B-47F2-A8A2-A09C159EE910","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"962d180f3ef86c2406055009a901f35bac61b5be","datavalue":{"value":"0923.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236070$E1939989-EBBD-4A90-8157-2A3BFA9CBB95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ed4c301c5a3e9d7cb6b875c16495b7f61cbee90","datavalue":{"value":"10.1080/11663081.1998.10510949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236070$2B159CE2-579B-41AB-B7FE-663D0D243D0E","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":"Q4236070$ACDC47A0-0271-4278-B676-7F8400CABF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$482D6067-518B-42F1-8F92-BF80D9BFB0AD","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":"Q4236070$5EDD1930-4E75-4FF0-82D9-B371286D567A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a269028de92bfdb90854f91fbddbc8c7e99c0ca","datavalue":{"value":{"time":"+1999-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236070$88278C7B-581A-4441-85D4-7ECB8C629459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236070$599ACC8C-96AD-4A11-B807-A09175537F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236070$937B26E7-9E8D-4455-8382-B90CCDCA6273","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79351df670dc0467f8dd63a3e30fbe2410aa3ed0","datavalue":{"value":"1268521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236070$D8626317-6A41-48D9-8C42-C750E9040CD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a7a76732ed0e99c77b95dcf1dfddce835e9a3b","datavalue":{"value":"fragment of propositional dynamic logic with intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236070$3EDB1D74-7A70-4042-B121-604ED4DD18C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236070$CD38613E-9147-40ED-8A69-CD16BBFCB6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236070$B38AB6CF-96D6-46C3-907A-7C6B8E0C6BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d87b3ec7f0a824aba125ebd3d6d47fdafbad573","datavalue":{"value":"relative modal logic with composition and intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236070$CF39BB82-4A23-45C3-B368-F82F432E1998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9210d6db36940a443d4266c2435b27948e64ce","datavalue":{"value":"relational structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236070$572D6FB1-D27B-4AA3-8D0B-1EC9CD115FA6","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":"Q4236070$CA880BC2-7109-4633-93D8-C9F5FB5C3785","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3649f49482d8d29e21262ed59bd248fb3ad8383","datavalue":{"value":"https://doi.org/10.1080/11663081.1998.10510949","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236070$E61703BA-2B20-4448-8B3C-204474D47B53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41ee2ee9a8b75fa72a51804d4f08bd644943d5d0","datavalue":{"value":"W2024819896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236070$46B93212-3D16-4171-91C5-F3CA0F35B1D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fab06c848c4bf471710084cd1e4eb1e66efd0b","datavalue":{"value":{"entity-type":"item","numeric-id":4215592,"id":"Q4215592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$12597317-9722-4FEF-A29E-708516478E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888821f324da9913c664a35cbe6b1bf94e59cbc1","datavalue":{"value":{"entity-type":"item","numeric-id":4443418,"id":"Q4443418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$4C4316F2-7402-4783-A804-5CAE786C3011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b58e3c5a8bd0e8e00a61441b3d285e2b49d20a3","datavalue":{"value":{"entity-type":"item","numeric-id":3748269,"id":"Q3748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$49385EA1-7CFB-45FA-B8E6-A50FF7D6B80C","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":"Q4236070$8F83EB36-AAA9-453E-88F4-DF92658CD57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ff97c48cb2e0abcfaa5a609e52f4533db7b02","datavalue":{"value":{"entity-type":"item","numeric-id":4302814,"id":"Q4302814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$BD2E63E7-C489-4787-AB5C-79C15D43B9F1","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":"Q4236070$500D90B4-B79A-400F-ADC9-F6FAC9F9EA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$5184E46B-B8C2-4D5A-B5E1-FD2475849F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$D26927F7-549C-49C3-B69F-5B444EA94ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$730A4691-1FBA-42FF-A031-15809C3AFE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf1ba170fae28e63e92407b948b3875ee6ea399","datavalue":{"value":{"entity-type":"item","numeric-id":3313253,"id":"Q3313253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$651B93D2-3A5B-48D1-9B91-6BACC5EA8A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$1ED74171-C955-47AC-8940-F3A4F464F50F","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":"Q4236070$5BD890A2-3786-40E9-AD3C-E3B3B025926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56b738565e185d3cb3d312011cb5a72967d8bc1","datavalue":{"value":{"entity-type":"item","numeric-id":1165229,"id":"Q1165229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$743DA0C8-D214-4644-BC14-79D09E6678E6","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":"Q4236070$D834AC2A-5C98-43E7-9949-37EC2E99597C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236070$25263C4A-CD04-49B7-A436-4DAFABBB3C0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca6bdd75bffa48d6296b7a7064943325a86d22e","datavalue":{"value":{"entity-type":"item","numeric-id":2711323,"id":"Q2711323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1696de7e77206e467205f90c4561d5e8f0ed6115","datavalue":{"value":{"amount":"+0.8126850128173828","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":"Q4236070$45DFFF94-5EC2-4858-85EB-828AF9EFF8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221b6228fcb40f77ad44ac5049596d4b67452221","datavalue":{"value":{"entity-type":"item","numeric-id":4612423,"id":"Q4612423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e3e7c9afabb3305b2d62ef16614c16c87cf915","datavalue":{"value":{"amount":"+0.788545548915863","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":"Q4236070$BB635E10-14C8-494D-8EBD-714D842C1A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb37fc52f5852208c23b6a9c3d879b910563f46","datavalue":{"value":{"entity-type":"item","numeric-id":4443008,"id":"Q4443008"},"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":"Q4236070$B8E281D0-7BC8-41F6-9626-BFCC05006395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f876cfcbc3fe92dc87731318c250227681eec84","datavalue":{"value":{"entity-type":"item","numeric-id":4462629,"id":"Q4462629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7529ca8e773467c5d00ff258e5a3d7499984207","datavalue":{"value":{"amount":"+0.7769691944122314","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":"Q4236070$2D11E432-B1EC-4E80-B74A-6FB4F49137F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236070"}}}}}