{"entities":{"Q2683779":{"pageid":2694522,"ns":120,"title":"Item:Q2683779","lastrevid":57119214,"modified":"2026-03-26T16:54:13Z","type":"item","id":"Q2683779","labels":{"en":{"language":"en","value":"Admissible rules for six intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7653729"}},"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":"Q2683779$A1778BB9-B397-4385-B40C-201119447B5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaf2e8318491cabdeb469675c3c804cc94154457","datavalue":{"value":{"text":"Admissible rules for six intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2683779$123FF79B-97EF-43B9-8377-19BB59077FD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93cfdbf92300fb1842f9d6c37605aa42247d1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1982007,"id":"Q1982007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$4936818C-A980-4AED-B72C-319B925C55B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$98AE8995-EB8C-426C-B284-80645EB6CC4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1ee766cb47b43b40af16c74704815d61d3c1aa","datavalue":{"value":{"time":"+2023-02-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":"Q2683779$56DD9349-83C3-45A6-AE4F-1FBB6BE381F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2683779$424A7DE9-DB3F-4C84-96C6-4173F512AC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2683779$8C0E8546-E925-4DE3-8DDD-7178238832CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2683779$3D725A23-E740-4442-B6CA-47189C30692D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2683779$5148A93C-BB58-42DA-9563-F92784882535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8acaaa9eeefed86b5c4ae709013e7448886dbb66","datavalue":{"value":"7653729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2683779$0B0F0BEB-E893-4064-9C06-8069657214CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2683779$7DDAA86D-FD0B-4D2D-8F42-113F2AF6860A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2683779$D5008443-AEE7-48CD-A6ED-F81FB513057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2683779$CEEA968D-8657-4D9B-8585-533A24E79A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2683779$F13D9A25-1346-47D9-B18E-7BE73EC99037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec0fdd62631bbd20422f33dd0063532c65a012be","datavalue":{"value":"Lax logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2683779$16427A3B-D706-43D2-A207-10A1CB035478","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":"Q2683779$DC53862A-C7CD-4A40-832C-BEDFF16EB3AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b71c8a8dd7a892b01e99d56bc3a495066c66b27d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2022.103233","type":"string"},"datatype":"url"},"type":"statement","id":"Q2683779$3FB7F844-824F-4D9C-8896-48C572CFB302","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2f2a219d21acd1441a2ee73c8b986a87b2c2ecd","datavalue":{"value":"W4312105493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2683779$FD703E78-1ABC-4DB0-8E24-F271AD89CCAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4cc1e43abdf1c047e967223968ecff0afc7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":720757,"id":"Q720757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$BC7D05DD-43DC-4A41-A61C-D37318888406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87dd90803fbdd1d68a6a0b0bde26c985815e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5741614,"id":"Q5741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$CDC2F88F-3DE9-4474-A00A-467AEE830892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d924809cd7dde4fee01261ee91e6338b092ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$DF2E1596-B4D7-40D3-891D-DE1BA4B355B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0578c573283fcec1b3fd016750ca1e9985f2aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3120212,"id":"Q3120212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$F22DDAC8-E26C-4B66-8E0F-958896AF9388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fac0715e16e8fbd1971333832aae7999e9a69e","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$62F8F28C-B6B4-43C5-AF39-299E71647885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2a35e718e925666d9f75de218a24f10c34dd52","datavalue":{"value":{"entity-type":"item","numeric-id":4636034,"id":"Q4636034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$2F6E8092-0832-4EBA-B317-77D6A2B947B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ea34a587974e868467358ba64b4eecfe18b605","datavalue":{"value":{"entity-type":"item","numeric-id":284230,"id":"Q284230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$B1EFA3F7-A7B8-44D7-A7C7-C8D81631B497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$85B97586-241A-4233-8ED6-B689E4E236B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de332840536f381870db505612964ed89a02917","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$E5EAD5B6-24CA-49FD-B035-39074E3EC4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$0D2A6E49-8E58-4F63-9BF9-7C56C593DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$CC02FF44-E74A-4C05-8152-F11E1D7A6AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$FDFAA9A8-4438-41B8-B0A5-11D51773A3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$3E64AF5E-D72D-400B-BC02-3CB3C716963A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc622eca31bf55047fd95c39a8caf9fff3ebec2","datavalue":{"value":{"entity-type":"item","numeric-id":5067982,"id":"Q5067982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$A05461A4-4267-4107-9672-97EB11CBCD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2862ab20bb5e75fe141023e595e2f86d486a85","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$2A470767-1BC0-4AB7-8649-01A92BFD004B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219172a5a05cde5e3e3261d771662a8b15b69b64","datavalue":{"value":{"entity-type":"item","numeric-id":3929724,"id":"Q3929724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$DC408E80-9DBF-4E7F-A8CB-36315E7ED150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$E527D1E9-1A79-4A19-8557-1BA9E46DA02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c8fe2dcf48c1f8ed0c52c2979908a15e26c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":300835,"id":"Q300835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$559DA83C-EC59-4212-BC4D-889D11D56182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670906e70de679c1edf77ce20d747c3dc6356b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$E7EFBC90-87EC-4F1F-8E08-E63A601DB2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$E9B53CD0-34BD-4552-9962-01AD1A6B43CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be035adff077ea27e9986c4ed93034cde3f0bfe4","datavalue":{"value":{"entity-type":"item","numeric-id":3069724,"id":"Q3069724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$D9F4F754-483E-4ABA-9B9E-EBC7471F3450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835839abec3b89ea646849f876230851342c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3450207,"id":"Q3450207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$77FEAE5E-BF80-424C-83B3-EA30980E2849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046c424c7923ae1143897958de3a45f9701bd825","datavalue":{"value":{"entity-type":"item","numeric-id":1091383,"id":"Q1091383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$A8B7EF7B-DB18-4193-A601-7186B5212A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e08786b7a1174ac9d76d6bde17d9942d64900e","datavalue":{"value":{"entity-type":"item","numeric-id":5255796,"id":"Q5255796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$2DE9D73A-4B43-43A4-9D66-6580C6FCE9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81a586390ca501657f604e06d14d18cf4ee6e32","datavalue":{"value":{"entity-type":"item","numeric-id":1163537,"id":"Q1163537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$8F0068DD-D825-48EC-BE26-DD9AC1E49A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26fc81b03196eda2a4d116f53a9849dd10918df","datavalue":{"value":{"entity-type":"item","numeric-id":5255795,"id":"Q5255795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$7BF7713B-BC8B-41A3-9676-1F0CF1E7B392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b115d122c0a67ec5c4918c734e9593a1279edd5","datavalue":{"value":{"entity-type":"item","numeric-id":2399606,"id":"Q2399606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$D9A1EAAE-7974-453B-9669-055A340438A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$69989353-1404-4AC7-B562-A800AC717F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$1A9B761D-D910-48BA-A398-F0D88B33FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8075c9dcc01bcfeca2af5f45d7bba7d775947b","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$3B6C1E38-1C1C-47BD-B5FF-820A905CD05C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d7ef4a95d83f2ec6fd23473b4284c8db47d5e6e","datavalue":{"value":"10.1016/J.APAL.2022.103233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2683779$CE87F516-506D-4B88-A3AB-43A06E9B8F9E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2683779$8D801B32-5AFF-479B-AEB2-F6045F4D3278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2683779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2683779"}}}}}