{"entities":{"Q5277903":{"pageid":7307478,"ns":120,"title":"Item:Q5277903","lastrevid":52850729,"modified":"2026-01-23T15:42:34Z","type":"item","id":"Q5277903","labels":{"en":{"language":"en","value":"On the decidability of elementary modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744221"}},"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":"Q5277903$420CBB1C-EED6-493A-A517-D4B9DA9A9405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c1c32a34f42de6092a0c43bbee09bb9e586c814","datavalue":{"value":{"text":"On the Decidability of Elementary Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277903$A5C5A904-A5F7-45D5-A45D-92473853D29A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7e053cb180839910c451462c31af25150cee470","datavalue":{"value":"1367.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$80DBD876-FA20-4108-9963-7F51DC2678E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49c0f8211e643eb8da4b2e123c2ad27a5d8727fc","datavalue":{"value":"10.1145/2817825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$6749BDCE-C7E2-4845-94D8-1824FFD456A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$99B32131-7B38-4F35-A788-8162DE1992E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"476d873e743ed0d43ed015c057bd3889fb6de797","datavalue":{"value":{"entity-type":"item","numeric-id":438583,"id":"Q438583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$D0072B29-D544-4B91-90CC-D40E366D6CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$24D36148-09A9-4D9C-9DFB-947EA251DB29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$0D3CEB0F-10D5-4657-8E53-4FA308405AED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277903$C09B223E-7567-4713-A89D-84BF0A8CE3CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$6E50223B-7CC5-4256-846F-DA181ADA0207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$C2FBDBB8-D8E3-4E60-957F-E9277F5C8212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$F6C4B774-4163-49DD-ABFC-5B8AA45380DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$8095ADFE-316C-4E24-8D36-B6ED0ED7E2F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf818f6fcf37d19fd2558e32c37249d28cf4bb94","datavalue":{"value":"6744221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$27AA2873-E5CF-4C8F-B54F-55C821188242","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277903$3668A673-E7A4-4BF5-B71D-C7611B775911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277903$ED63CEFA-705A-4FB6-9E9A-C358CCE6DC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1707f939d66e32527229f4a810dffd84a9d70a7e","datavalue":{"value":"elementary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277903$432E094B-9956-4512-86E3-FF9B09729901","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":"Q5277903$1C208B20-D004-4FB9-BCEF-27EADE6BC389","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"346e1a0c4d76341214dff8be7bef0e8f97c68035","datavalue":{"value":"https://doi.org/10.1145/2817825","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277903$D1732372-FD60-43C5-84A5-02BA7934D93B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bf93d63a9d219991229aa8903a0888f552866e1","datavalue":{"value":"W2040640762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$BCDB06EE-D2D7-416A-B29B-EB1D85DA11F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4027496a513f122a85af7e8379236fea4bfd7b","datavalue":{"value":{"entity-type":"item","numeric-id":5892612,"id":"Q5892612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$554E7D6A-CEF4-49DF-85F9-13795B6F77D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$401216F1-3F1E-4602-A694-3E1374407741","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":"Q5277903$FA712452-3FD1-4594-9A28-A929B3474624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$1E6453FE-FB93-4C5E-BE07-821300840C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad9f193d7f99d60421d2d4b0e291b7be2d43c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2556400,"id":"Q2556400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$2AB8AD36-3CB6-4B9E-939E-FAE182FFE362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49786e968e9be66a475e1ef40df370a08a4031b1","datavalue":{"value":{"entity-type":"item","numeric-id":1815426,"id":"Q1815426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$B78EA2C0-4392-4489-BCEF-4D805C4D6C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a00231a58759e498ebcb1fea4d396c3ed0c4585","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$94495E5F-1642-4653-89DD-9BAD6F14543A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551eae3de2c29a401cb532b91e82eb6f44946cdf","datavalue":{"value":{"entity-type":"item","numeric-id":3088054,"id":"Q3088054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$E1D7C75F-A5FB-46B6-85DC-B017FDA926DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154ed537a693406527a380da451ff394f9a102a","datavalue":{"value":{"entity-type":"item","numeric-id":2911630,"id":"Q2911630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$43201239-9281-4E1C-BB4A-909DA607FDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23a1f7e04ff9fdd6909616f01cd17235f45c786","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$7D833B7B-E51A-430E-888F-895897870344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$640DE38D-038A-47AF-8EAC-D96DAB690B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81eefb136b94455c881be5c20edec9a1876bb0ac","datavalue":{"value":{"entity-type":"item","numeric-id":5419895,"id":"Q5419895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$6B83E5E5-382F-4199-A3DE-5DBBC4E5E7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c15a9233bf16375a235bab02bf2dee4ed35de35","datavalue":{"value":{"entity-type":"item","numeric-id":2986825,"id":"Q2986825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$4D921810-6743-4D3C-8ED4-78F47E845A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$9F9EA18F-D6CB-4CB6-8F2B-BE840E7B87D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$D717EF8B-C3D2-4AD0-966A-5E90BAA81EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7945ce806c2cba4f76cc008a86dd1ed8ca86835","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$B668AA28-94A2-4285-95C9-3A12336E113E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$D509318B-131C-4702-AD5A-6E705BFA4077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$3D2B788A-3179-4DC1-9FB6-A7E937F77D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c433685e38299ce9ba5b24d85f0be52a44902b39","datavalue":{"value":{"entity-type":"item","numeric-id":2957894,"id":"Q2957894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$834BDBDE-9E14-44F4-BBF7-A4E00E9196C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277903$ADB12FAA-FB7D-442F-BEFF-80A8065F4DEF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aee38c75c2eb7e4fc81e9b4fe43dda7775f48ebe","datavalue":{"value":"Q130870003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277903$74CFAD77-9CE3-4601-BC22-35250E590D58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e443bdf35439f30dfedd070bd1642e96585b35","datavalue":{"value":{"entity-type":"item","numeric-id":2986825,"id":"Q2986825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3fcf9761969077623db6132860c6153386d700","datavalue":{"value":{"amount":"+0.948231279850006","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":"Q5277903$8DAE6D34-752C-43BB-8959-BBC20422F1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf15d1730228edec3896ceb7a37a6a4af366994","datavalue":{"value":{"entity-type":"item","numeric-id":5419895,"id":"Q5419895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e2c859809ae0a844a0dade38c28ffecfc9728a","datavalue":{"value":{"amount":"+0.8812950849533081","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":"Q5277903$6689557D-80A0-4E31-848B-5119BEA5E261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed15f871465f65c5a528e18848fdf275867cbcc","datavalue":{"value":{"entity-type":"item","numeric-id":2911630,"id":"Q2911630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236bab3dce91c02f84f1330ce66af8614550cc43","datavalue":{"value":{"amount":"+0.8643174767494202","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":"Q5277903$7D22EDEE-FB0F-4D4E-8DC1-DE82F6A96BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8644a4dd388e166658c76bc2ad40333776403","datavalue":{"value":{"entity-type":"item","numeric-id":2958545,"id":"Q2958545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e19531894d371dd26633d8e2b76c07e7fac3e9","datavalue":{"value":{"amount":"+0.8596009612083435","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":"Q5277903$67140708-FE69-410E-86E3-43A13C04417B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b36897ac062cea1d8f6f72414e75480c38ad9f9","datavalue":{"value":{"entity-type":"item","numeric-id":4611207,"id":"Q4611207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9009fb6980156737f605501f524cd3295d4fbc0e","datavalue":{"value":{"amount":"+0.8495811820030212","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":"Q5277903$C581B9E1-159A-46A2-BF19-6B4BD12A3F2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277903"}}}}}