{"entities":{"Q1668101":{"pageid":1678842,"ns":120,"title":"Item:Q1668101","lastrevid":78053408,"modified":"2026-05-06T10:40:30Z","type":"item","id":"Q1668101","labels":{"en":{"language":"en","value":"Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930076"}},"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":"Q1668101$0705F25A-E51F-4552-A54F-A7E58DE6DE42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3880b77fa9b7ac1a904a88cf6c13662a9b8169a","datavalue":{"value":{"text":"Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1668101$72192E4B-BAB1-4455-B276-B9A40AADD8DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b7d446c49af60ff3841d39f83fb30e43427ae9","datavalue":{"value":"1491.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1668101$210B85F5-D2FE-4204-B504-3B37D2E212B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"278071d35381f08b53577b95dc0526da1c8c3553","datavalue":{"value":"10.1134/S0001434618050322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1668101$9A3F11ED-C6B9-4946-A4E8-55D0EC1055D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee46208d7b329678035616406a38b46190528b1b","datavalue":{"value":{"entity-type":"item","numeric-id":1668100,"id":"Q1668100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$DA6813AD-FD0B-4790-A933-1B59BF073069","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$3CE48A1C-56E5-4C5D-A516-CC078AEA4C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50d663ca48e14537d0f082a9f194d7562300b941","datavalue":{"value":{"time":"+2018-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1668101$2D06B0C7-CC92-48A6-A86F-231E0F2B6463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1668101$5CE209FD-0257-453D-AC88-3E39B86FE411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1668101$ECCC4178-A2C2-41DB-AEE8-3BAA767A3626","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f2827c497ae9cfa40cf2d2901c91d45aae52114","datavalue":{"value":"6930076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1668101$B31231EE-64ED-45CE-A1DC-FF143BB94DC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe09aa0029e209adf8e833a35aa182a9882b6a","datavalue":{"value":"strictly positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1668101$A3C87E4A-D8F8-4B88-A6E3-7C19EA5F07EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1668101$8DF8EBE7-742B-4539-8B44-D0E420B6826D","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":"Q1668101$DFC6D03C-0927-41D9-BDE0-514E02055321","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61fb89fa3755d374796eefdf952524d8b49d9dd","datavalue":{"value":{"entity-type":"item","numeric-id":2577679,"id":"Q2577679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$0B081DBA-56F3-463B-97CF-E5EAABF046A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4694c9a7787b89895e2156f2257a00d22845c139","datavalue":{"value":{"entity-type":"item","numeric-id":3638273,"id":"Q3638273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$20A36BB7-4CB1-4552-9D30-6DFE7D9B8BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$8DD50601-BA96-4FB0-ADAE-737AB4D19270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9823cc67bf607ad1aa858d9275603363a58e0f64","datavalue":{"value":{"entity-type":"item","numeric-id":5494229,"id":"Q5494229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$16B1131B-92B7-40FC-96DA-5B8152E8D74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13a3a7719bf753a0e9546d9d1c16ae8b7b555e3","datavalue":{"value":{"entity-type":"item","numeric-id":5419872,"id":"Q5419872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$A410E321-CC73-476D-9193-0C524EC8DCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba9b38a284fe3a5e132a2e4b575c010f9c2950f","datavalue":{"value":{"entity-type":"item","numeric-id":1685909,"id":"Q1685909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$3E3EF9AB-74D7-458A-8EA0-877EE064601D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3515f1f57e276d538e9aaafc4a8c04bbb632e057","datavalue":{"value":{"entity-type":"item","numeric-id":2435945,"id":"Q2435945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$831CAC19-4A14-4F3D-93FF-1CFDB3A220A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$D2E524D0-6E54-4EB1-8003-90B5E7C76C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92719b1fcb0956ce1ef0daa8facd86c31678e7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3085172,"id":"Q3085172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$E05C5FDF-5F4D-4C53-A47E-559396FF84CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdcd837383d57cf175e5fd44e04f07d910e97ff","datavalue":{"value":{"entity-type":"item","numeric-id":482919,"id":"Q482919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$0554CB80-7770-4D77-A59C-36206AE488D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619a199d9f4fe2f8dde9e1b533b50958d1d9e435","datavalue":{"value":{"entity-type":"item","numeric-id":392274,"id":"Q392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$56E3228C-9D42-45F2-AD1F-C6DC1556C67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddfd5eceb16df395d23d0e03a48eb83a411f21b3","datavalue":{"value":{"entity-type":"item","numeric-id":1709691,"id":"Q1709691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$8FAEB3E9-8BCA-4D26-B32D-1A20E7F21012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85171a378b6ee4cacab1f9f42baf10ab5d17fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5214732,"id":"Q5214732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$2C95C32D-41BD-4CC1-B818-34DCC7755270","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":"Q1668101$2AF6C0C8-339B-4354-9D1D-391E6C3CDB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae2b036924d203e4ac3951fcb8f1fe0ecfbe5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4578043,"id":"Q4578043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1668101$D23AA98C-ABE8-44BC-8E1C-C3C4096F5576","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":"Q1668101$A4F785AC-5234-4F36-86F2-4E4F71C174F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7449034dd4355cfc326964750d1e9b91403d0bdd","datavalue":{"value":"https://doi.org/10.1134/s0001434618050322","type":"string"},"datatype":"url"},"type":"statement","id":"Q1668101$8BD39D87-74E7-43F0-98ED-990C7254CF82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35d53031ff4865f3fe9393656a644b9106af8aa0","datavalue":{"value":"W2811093937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1668101$9DAF8FB6-F615-459E-80B6-51B28FDA85A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"75ac173993d257bf0f86c1a022584d2dce3a4938","datavalue":{"value":"Q129647256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1668101$4F2B1692-5172-4C6D-8D63-833ADB5FC047","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f3b597c0edfe771cdf6a5b987e74c989ba2f7b","datavalue":{"value":{"entity-type":"item","numeric-id":3409453,"id":"Q3409453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b069029193611b79779bfb5c24650c1165dd170b","datavalue":{"value":{"amount":"+0.7762784957885742","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":"Q1668101$DC267B07-AFEE-406C-9C1E-B20100B093E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c31d7c4d48b2e6bb908560a5a9692aa0c08a5e","datavalue":{"value":{"entity-type":"item","numeric-id":2435945,"id":"Q2435945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c36844e99c090fe82e6e84e0eb779fc59df847d","datavalue":{"value":{"amount":"+0.7751696109771729","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":"Q1668101$22986322-FDEF-45DB-AADB-78B650933EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a85827000445f2db027c0992b8b738868ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5243399,"id":"Q5243399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb1a107a2ec8825a0816849f453827735781060","datavalue":{"value":{"amount":"+0.7681930661201477","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":"Q1668101$F8069A4C-B282-467F-869A-EEACE31BFB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9feaf5a26db187259b052cdc23a6f67419a653","datavalue":{"value":{"entity-type":"item","numeric-id":4580320,"id":"Q4580320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e233cce7f7af5dcf9234ed728f1706fa048a07","datavalue":{"value":{"amount":"+0.7658107876777649","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":"Q1668101$EEBF16E6-2F17-46D2-815F-5344736B16D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ecddd7d71c14ed5da7c404a520190f050409e9","datavalue":{"value":{"amount":"+0.76526939868927","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":"Q1668101$5D54665C-A36B-4EC1-87FE-C487DC0C60D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatization_and_polynomial_solvability_of_strictly_positive_fragments_of_certain_modal_logics"}}}}}