{"entities":{"Q831218":{"pageid":833066,"ns":120,"title":"Item:Q831218","lastrevid":53998736,"modified":"2026-01-26T01:33:34Z","type":"item","id":"Q831218","labels":{"en":{"language":"en","value":"About the unification type of modal logics between \\(\\mathbf{KB}\\) and \\(\\mathbf{KTB} \\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7346985"}},"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":"Q831218$36AB619C-6AA1-4DAE-B8D1-D0CC453F9729","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b9c6d6364b329215bbafd504bd2ae1ba363fcc3","datavalue":{"value":{"text":"About the unification type of modal logics between \\(\\mathbf{KB}\\) and \\(\\mathbf{KTB} \\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831218$81CA00DC-4A55-47D6-9E35-96E31A58BD28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efb6e933b6b77ef487b32eba7a4cd385b8230b63","datavalue":{"value":"1486.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831218$A5AC6276-6284-4CE9-9BDA-C6D6BF168BA6","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":"Q831218$6702ADC0-62B1-4C44-BA15-A104049F7502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf7abcc912caa8b9054fccd0320e564c2a8225","datavalue":{"value":{"entity-type":"item","numeric-id":831217,"id":"Q831217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$3A2C8F92-3D7A-42A7-A0ED-9581D36EA259","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$5AB5D5CF-E4B5-465B-95B9-8DB5EEE7DFC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831218$D0CCC9E1-E152-4362-8CA3-B68B85324014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831218$895D0729-0792-4C4F-8E67-05F96DD1D22F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"351c06ec0fb821ed6c0482a260de225113660fc4","datavalue":{"value":"7346985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831218$361783DE-F2F9-46F9-851E-9F36FBBA98FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da77f25c40dadcabf2016b8a81d4391485c465c8","datavalue":{"value":"normal modal logics \\(\\mathbf{KB}, \\mathbf{KDB}\\) and \\(\\mathbf{KTB}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q831218$186F89B0-75CD-4B76-A9BD-2545A083E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1dd6b548a57b44b422c7605d6caed12acda0ff1","datavalue":{"value":"unification with parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q831218$E019556D-6976-4EF0-89E2-10C1818915D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q831218$65F46FD4-EDBC-47C3-A5E2-7569E168C2C0","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":"Q831218$CB18DF1E-3307-4AEB-B8C9-2BFA05EB1D78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56b641b366cbe89518234a132b0abee5b75bebfb","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09883-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q831218$F5F8A93F-F147-4D7F-9AD8-A5C5DB70543B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35e9e832b06698de5ccedb2bfa17f4821ab50086","datavalue":{"value":"W2983214208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831218$E0B2831B-2A47-4CC8-9F4A-DC455C1E6F6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"504179d3369bad63812171f461960968b16504e1","datavalue":{"value":{"entity-type":"item","numeric-id":2889571,"id":"Q2889571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$F1B7D14B-F57B-40C7-9F85-6DE0240D8132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$ED778B66-7957-4C12-9169-4E9BE565DDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18dcf9d6b1d55c880f5ea8b33415cd43a13681b8","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$DDBDA03C-552D-4311-AD30-76853A7077FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd176d25f331d8087c36ccd8041840598bbd6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4586229,"id":"Q4586229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$19EA5851-76D1-4D4E-8D8F-D01AF4B22DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fb9b507c9b9aef1a995b8a83007f484666dfdb","datavalue":{"value":{"entity-type":"item","numeric-id":4586223,"id":"Q4586223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$96A77243-C5E8-4AEF-826F-13334CE47018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57c597c053f61f389639b21ace32fb627519dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3509046,"id":"Q3509046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$CE5445FF-052F-4AB0-96E0-86019E70BF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b496e25e288046a95a4ae85c43bc962001466","datavalue":{"value":{"entity-type":"item","numeric-id":4636029,"id":"Q4636029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$3E6154A3-03D6-4814-AA01-FA9128EEAFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ca2817835ed5e014092b66be4122d382b729ee","datavalue":{"value":{"entity-type":"item","numeric-id":5869521,"id":"Q5869521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$53DF8E92-B10C-4334-99C4-006EB073C563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$B1AF1BBA-8186-4FEC-B5AC-5FB024219AB7","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":"Q831218$7D5911F6-0AE2-41E0-96B1-BA0AA59AA7A2","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":"Q831218$75ED150B-79C3-4D6C-916A-AE5589065B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33642a283703233b812eb4bc89b990b37b99bd51","datavalue":{"value":{"entity-type":"item","numeric-id":3518429,"id":"Q3518429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$2AA59B05-D91C-49AD-9EF3-87F938F2F04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea235c296ca99950ffed6eddae22dd0800e3617","datavalue":{"value":{"entity-type":"item","numeric-id":2903753,"id":"Q2903753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$7E1420A1-6BC9-43CF-9E27-730550FA1257","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":"Q831218$AC981AB4-02B8-4095-AB16-75CA12D2D5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f2c7b1ca123ec2d4e3addb0a776271a4803298","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$6197AC1B-E617-4BEF-9FEC-7BDF58D6F210","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":"Q831218$E6DA235C-9C82-4716-9E08-538038F0201D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3497635f4008d062fcba9abb75ba5577251c0aa","datavalue":{"value":{"entity-type":"item","numeric-id":2346953,"id":"Q2346953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$09F1E05B-A4DB-4552-BCD1-627330E6302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831218$C6898424-8B4B-4844-8DC3-C700F3568308","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":"Q831218$8AA2BD5A-CD93-4012-9FBC-87461630D643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"658033d96d962d73d41355466be41ccddbfa70db","datavalue":{"value":"10.1007/S11225-019-09883-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831218$4481EE4F-0801-4868-8033-C637DB0743B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecb7a899b96ef21da6a9e0403eb54bf8af5f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":5039110,"id":"Q5039110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6622e793e5b9010a8cb81988552c1525a48d2219","datavalue":{"value":{"amount":"+0.8335763812065125","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":"Q831218$916925B5-E497-42B2-A391-EC775C85F2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4efbad0f808f8bc90ed676d6348d922d47a740be","datavalue":{"value":{"entity-type":"item","numeric-id":5877709,"id":"Q5877709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db90ec0f4505890f6663e1ba2371e3ab7a64fd5d","datavalue":{"value":{"amount":"+0.8313537836074829","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":"Q831218$89909FC0-16F4-4772-B5DD-8F450C7CC435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e992cf52944b77527537693d7b8034012e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be173c7428bf70a14f716bb925f8201bd8fe109","datavalue":{"value":{"amount":"+0.830125629901886","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":"Q831218$C7AC72E6-01A2-435B-86EC-530C8723611B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1162c0814a5ca6a63bcda9a442e00d3fdcfbc7","datavalue":{"value":{"entity-type":"item","numeric-id":6111080,"id":"Q6111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ba4faefe15026031badf3393c4212dd00b9306","datavalue":{"value":{"amount":"+0.8082621097564697","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":"Q831218$43B21806-C15B-411D-BA4F-572AB08EF9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f393b79646f1e86b018aa2b3ef51528320cae7","datavalue":{"value":{"entity-type":"item","numeric-id":3450207,"id":"Q3450207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676128bfcf4aaed7960b62f892682dc4e2ea25e3","datavalue":{"value":{"amount":"+0.8070948719978333","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":"Q831218$1256DB12-21E8-428A-B0B6-C7D4D1F72869","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:831218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:831218"}}}}}