{"entities":{"Q6541160":{"pageid":14152303,"ns":120,"title":"Item:Q6541160","lastrevid":57344727,"modified":"2026-03-30T14:10:09Z","type":"item","id":"Q6541160","labels":{"en":{"language":"en","value":"Resolution calculi for non-normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850752"}},"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":"Q6541160$6A4EFD1E-5693-4FB2-B38C-2D2713B811DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a7cff23d9b3840aec277e3b22687e8bbefb2b9f","datavalue":{"value":{"text":"Resolution calculi for non-normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541160$691C076A-8C02-4B06-A20E-C446B3AD0502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbf078de18c266acae7f86a2928b1d01024c3cd4","datavalue":{"value":"10.1007/978-3-031-43513-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541160$6B7EC343-ED52-4A21-BBBF-4F8214DFC0AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$A8F9421C-9CBA-4129-ACAA-1CEC028DCBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$9F845982-36AE-4E3B-8A22-47E6E41D59A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$248B966B-3BD8-4005-9C76-35D6CD2AC91A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541160$C787AA8D-76B5-4FBB-982E-3B6496220D83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541160$68990299-FEF2-47FC-A9CC-3FB59A8AF513","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09c1e4380920ed2d02861d49a2f4cadca2040a5a","datavalue":{"value":"7850752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541160$43AB00A8-1D5B-4B45-9CB8-D51B63A1E27D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541160$967F054D-70BD-4D11-9E20-8E06D96555DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541160$97346188-5B96-465D-8BDC-B364DE590235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541160$90AD7AA4-7AEB-4024-880B-8D6726EB0DA8","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":"Q6541160$14B950E3-267D-419D-B093-65BDA265CA4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747d10da3351289d1b17c903ad4959bea6af896","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$C5E78AD3-D778-4852-9F9A-5D4E90F2FA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dcb5b1186cda9364c9513a7b016252a9aa40c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4263164,"id":"Q4263164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$C2443AEE-4B60-4C5A-9FB0-20181439F809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f2edbeb91feb19a0064dd23a4875688765494a","datavalue":{"value":{"entity-type":"item","numeric-id":1113888,"id":"Q1113888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$C5A83B6A-C5D2-4CF3-A06B-5CBFF3525851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c975ae90a4763199c30a8e67e2f030e9206a8178","datavalue":{"value":{"entity-type":"item","numeric-id":1051628,"id":"Q1051628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$8295F465-FAC0-4C81-B048-24B718A3F943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c946937d28c3cb40d97cc7256024ccadedf80fa2","datavalue":{"value":{"entity-type":"item","numeric-id":1104915,"id":"Q1104915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$1FD3C305-8B21-4B31-98AC-2398537479D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$8C3C317C-1E67-4EA9-9D35-FA0A0D4AADA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a03c875a0784cc3ec907b605fe9e299aca2166","datavalue":{"value":{"entity-type":"item","numeric-id":1178699,"id":"Q1178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$481C17FD-AA51-4CC5-BAD8-19E46D645C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bdef07ec33514458ded5ceea7bad16c36d7ab5","datavalue":{"value":{"entity-type":"item","numeric-id":5028311,"id":"Q5028311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$C5E57A60-9F88-4FA9-8ED4-FB0506999BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07a76844e8745515e3f3bbe69fb5f2e7efff1de","datavalue":{"value":{"entity-type":"item","numeric-id":5224565,"id":"Q5224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$59DCE7F4-AED9-4AC4-9431-497D04A2DB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b945f2840d1c2d5e46ba120dbb78eb02edc11ef","datavalue":{"value":{"entity-type":"item","numeric-id":5049017,"id":"Q5049017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$D0032DCC-47E9-4A4D-BD9F-588D1D709B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ccb8c473705ab65c67365e1ffd8f1348f3c686","datavalue":{"value":{"entity-type":"item","numeric-id":4942680,"id":"Q4942680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$5A6672AC-F7A5-4CC1-9E8E-FD56C1FA27C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758996f141f0e4fff0d52176e516e385f5dda0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$7E0C3841-129C-4F0B-9E92-7A79CD755750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787a9bae5c40eabe77afdec3b8ee7b3f27839adc","datavalue":{"value":{"entity-type":"item","numeric-id":5202172,"id":"Q5202172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$D8E23AD8-D75E-4C39-8922-7B9CFC800792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297ef3667fd18c55b1c8b1bb25b3486b00b72d63","datavalue":{"value":{"entity-type":"item","numeric-id":2350219,"id":"Q2350219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$89B22E8D-DFC4-470F-A72C-2D0ECF81FA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e69fa5e2f2ac754b66363d1885e8388223310","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$3D2BEA24-B2E3-41BC-A67E-43DE832B9938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa034d5f0cdac0fcb43890753eae375e96fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":2142066,"id":"Q2142066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$D1E92EE7-9EA1-4F67-BF4C-B683068C30B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d08596f8f0726fe564215fde6dd8caf61109ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3192204,"id":"Q3192204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$05751CAD-24C9-408D-AF0A-844F329DFAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$0469DF3A-E352-4342-86AF-5DEBAFFD15BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e2f3282e833bd5a8ca2e369263daab6d009d30","datavalue":{"value":{"entity-type":"item","numeric-id":3435245,"id":"Q3435245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$6D0B3603-DDD9-4AC9-A361-F394AA056DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9daad8dda43f90e2a523f0a80950fd6b714994d1","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$031A0761-965B-442B-B163-FBB8515D27A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dced7fd9d1f2d0b0d6bc79efb06acf36aab2e44","datavalue":{"value":{"entity-type":"item","numeric-id":4928458,"id":"Q4928458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$3F72EBD4-886D-4E34-84B6-11B325463CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c1511fb1fc432c28789aa196173294e71b4563","datavalue":{"value":{"entity-type":"item","numeric-id":1840651,"id":"Q1840651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$1E2C3BB4-6DB7-4FFD-9258-BD09D74E2324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744280890ddf64d6046b1413aebd46cba1d83b47","datavalue":{"value":{"entity-type":"item","numeric-id":4633639,"id":"Q4633639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$4D900886-17F4-4AC2-A5BA-80903602128E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$736F5547-5FB0-495F-82E5-4373E4CB79C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899e87059a25c13dd8994962a6e11071ed4064da","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$0F0957F1-13BB-49CC-9522-AFC7FC468062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e154916204a21cd778ef4c60cbd61cbd59f459","datavalue":{"value":{"entity-type":"item","numeric-id":4972162,"id":"Q4972162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$791FF84F-329B-42E5-8E7A-5B0091250FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027ebbb319f6ddd45c809b3e595d23ff70f6cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":2817940,"id":"Q2817940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$D6188041-4CBB-4DCC-BD30-8756A03BFBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc32380a801af8bb19b7fe48bc238e9339feb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2303247,"id":"Q2303247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$2235197A-5006-4991-BE97-C53EC6BB3BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c403e013d969090517dd8bb47a52166677d4c","datavalue":{"value":{"entity-type":"item","numeric-id":2104538,"id":"Q2104538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$0F400ADF-2247-4BF7-9F50-A826E3B21FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9548f5831db17341f032d3d52c447dde869b51fa","datavalue":{"value":{"entity-type":"item","numeric-id":3192202,"id":"Q3192202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$C51F6CD2-16C5-4A2F-AA38-34AD1EDF9A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec26365896126f6bfdbaf8332a7af025cdb680e9","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$6862DE1C-8191-4489-B8F7-67B84530E5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74512d1738c9d1ad87a430c2d90edb232ca525b","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$3CAF1AE5-C23B-4464-86F4-747CB271825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb11ce571ff640a6288e9e6f07adec1b72be214","datavalue":{"value":{"entity-type":"item","numeric-id":5688814,"id":"Q5688814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$32659A3C-13CD-4950-8EB8-8CA5F48966B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176e9047f22bd54c401a7f7564d198777be82144","datavalue":{"value":{"entity-type":"item","numeric-id":2879296,"id":"Q2879296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$1ADE12BD-FE64-4F33-A0B3-F115FDE2504B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2e18da4f531ae6992c825460751e6c04604967","datavalue":{"value":{"entity-type":"item","numeric-id":5013620,"id":"Q5013620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$26F27DFF-9C11-449C-93EB-025DF63063E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$89CACB1B-407D-4F91-AD23-CF369CE9A020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3391bccc161075d209868ebdcc23b758b7d30c9","datavalue":{"value":{"entity-type":"item","numeric-id":2055845,"id":"Q2055845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$1861B9BC-CFAA-4207-8BF5-9276A4581843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$B3F47F12-579F-4FC1-8AA4-FADD256604EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$55331FB6-82CC-4607-86AF-30BEE3A82B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48984cc6382065ff46c03cdfa549e82f9d0ac2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3204443,"id":"Q3204443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541160$638D9575-B2BD-4254-94EE-4955A65B967F","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":"Q6541160$C816BE67-E251-46BC-810B-E3ADEB1F8D8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541160"}}}}}