{"entities":{"Q3984418":{"pageid":6014288,"ns":120,"title":"Item:Q3984418","lastrevid":46225987,"modified":"2025-12-24T08:44:09Z","type":"item","id":"Q3984418","labels":{"en":{"language":"en","value":"Properties of independently axiomatizable bimodal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26197"}},"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":"Q3984418$7FD5D850-5121-4B2F-90E2-4E35CACB41C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3f11c33708ca56f7485b416cb88bb3f956bce5","datavalue":{"value":{"text":"Properties of independently axiomatizable bimodal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984418$D4FC9241-2120-4F5F-8DFC-AD7663552549","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b76a9c3e92ef53313196de4d16e02615da30b11","datavalue":{"value":"0743.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984418$E0193DDE-8D5F-42F9-9B11-01A8BBD9285C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebeb8ee8d98d0b490fbbdfe3065a60cca78f19dd","datavalue":{"value":"10.2307/2275487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984418$C0C423A4-1D3A-4B47-8C6C-B2D7ABF6E8C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"038e797dce8577a599953ecaa64cde238c4ac836","datavalue":{"value":{"entity-type":"item","numeric-id":190342,"id":"Q190342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$1C169620-EA81-4ACD-9670-CB2D96CC27DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$8317B829-9A8B-4718-92B3-7C1A008918B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$A1C2C8B7-0455-47F1-8059-0195C1B73F6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984418$D4A27782-4C44-44D1-83C3-70E34F4F2C85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"901ab992b1720d056ad41f1e4c45ef3a395bca57","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.428","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984418$F125DAA9-A9C0-4820-B909-820138131CEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984418$7EAF4D04-2073-49CE-BEF6-6536DA9DCA9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03c8107aeaf0fe8d35cec234fbcd7e8a35d5dd66","datavalue":{"value":"26197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984418$53B34CB9-4C18-422E-8D2F-7AC945429066","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40d448dd070b35be5ae736c5930435f010639bf","datavalue":{"value":"independently axiomatizable bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$0D4B8FE2-FDDC-4974-838E-BD250C5508DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548d1f07e827d6a0aac33d5f8508c1249beecb5f","datavalue":{"value":"transfer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$30BCBBA8-33F2-4BB8-AA54-7ED26FFDB4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$C9B02FDC-D7BA-46EE-BC79-B73049DF8A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$E7F7DC22-A51D-45A2-8E44-45723A7E94FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$1E44E464-764F-4041-B113-3668A721D466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7584267bb3dff5d15567681f6e57b71bd1aa2e1b","datavalue":{"value":"persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$2799FEA1-FAEB-4D3A-8E8A-F83DDC636BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$4F5EB780-54F7-4731-8E84-572E788D85F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0e737feaa1652c98708a91e42f4d9261134742","datavalue":{"value":"Halld\u00e9n- completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$F78CC986-F87F-4071-8341-9CA4091FFE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e133b2e86d14ad45bf0bd3cae5bbe83d8437de0d","datavalue":{"value":"monomodal fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984418$07F56604-DBCF-48F5-84E2-C85FFFD89D55","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":"Q3984418$4B0BBF6B-0EF2-4CAE-AD14-54D0A6B7E410","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9625b61de78d6d3b21a9c733081b82463a67d920","datavalue":{"value":"W2081329681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984418$4617DC32-D559-4669-945C-9616E00C6EBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9581ee7cece251f0f703f3fb6700b5b447a3e435","datavalue":{"value":{"entity-type":"item","numeric-id":1165230,"id":"Q1165230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$734E6D70-2D73-4027-A1D7-0E727AB5F483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fd72b68267ed148f52f3c66efe651a6d4ae876","datavalue":{"value":{"entity-type":"item","numeric-id":1150598,"id":"Q1150598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$EB91ABD7-620D-46F4-AB58-4855657B2C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$DC13ED2F-2AEA-439C-A4CC-C351EA46622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$B83BBE62-AEA9-4EB3-A807-60D85F893312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$E69BC41E-C4E1-4F6D-8051-DD4BFC4EF933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2175710971e93f48aced0d36264d93f4d020cee","datavalue":{"value":{"entity-type":"item","numeric-id":2538520,"id":"Q2538520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$BBD6DA68-FC10-467C-A6E2-7C76EE8E7659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e27cc72f578e58914f59da264c156c0108ea735","datavalue":{"value":{"entity-type":"item","numeric-id":4692635,"id":"Q4692635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984418$23C63DA7-D8DC-41BA-A2B5-3DA8062C09EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d979d59a9e58c7a6537acc54eeea4fa86ab922","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33e9c4809fa1466f581ee86882be7e411db197f","datavalue":{"value":{"amount":"+0.7867270708084106","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":"Q3984418$13D5E78F-58B4-4DBB-97ED-AE3D9CF318D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56f645fb3bd6338e89a07cb54826ff2a1facf38","datavalue":{"value":{"entity-type":"item","numeric-id":3199393,"id":"Q3199393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c91c3e1eed446ad77d4e51602cd85496096f52","datavalue":{"value":{"amount":"+0.774138867855072","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":"Q3984418$10A286CC-B66E-4370-AE40-0E553E7E79DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cff4af0fd35caec531fef718a76195c68d44aa3","datavalue":{"value":{"entity-type":"item","numeric-id":4390774,"id":"Q4390774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7808f78bfd81082c8ec0c7f094392bbbd6f6f6f","datavalue":{"value":{"amount":"+0.7693907618522644","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":"Q3984418$1EF19CC8-7C2E-4460-8DE9-BDF491239BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826f3f6b8fd792c22aca7c58420fba06d1eb0bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4835534,"id":"Q4835534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dca1d652baeb62c10ac04adc1e659defe6a6ea6","datavalue":{"value":{"amount":"+0.7621688842773438","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":"Q3984418$AF84C705-8D92-4407-9326-A96F15532D43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3984418"}}}}}