{"entities":{"Q1868335":{"pageid":1879077,"ns":120,"title":"Item:Q1868335","lastrevid":69375369,"modified":"2026-04-13T06:34:54Z","type":"item","id":"Q1868335","labels":{"en":{"language":"en","value":"A simple incomplete extension of T which is the union of two complete modal logics with f. m. p"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901399"}},"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":"Q1868335$72BBA538-ED3F-4E7D-8C87-86935CD01DD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0eb8181aab5d3ee91a2f82789354f5a8aa5b462c","datavalue":{"value":{"text":"A simple incomplete extension of T which is the union of two complete modal logics with f. m. p","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868335$8974A5CF-6F76-476E-8C02-FDAB66F422EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14c7ae1639ebff31377fe9b619250607729b8d7c","datavalue":{"value":"1018.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868335$F00178F2-1B62-46DC-9454-EC37A068EAEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92b3c61ea65619514beb631a59fa038f536ae375","datavalue":{"value":"10.1023/A:1021223721102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868335$6E9E8908-5FBF-4FBE-BB59-5B96879BC635","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2550250a3eb095bf46bfe17bf6056fd34ee74416","datavalue":{"value":{"entity-type":"item","numeric-id":1868334,"id":"Q1868334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$74EF77CC-5B02-459E-B57F-4CE9100F7508","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$58FA6BF5-B763-43B1-8AC8-EE9114CB5B2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868335$7E25F042-9549-4838-89EC-CE0949BFA034","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d71a505370decc160849f09ac008398bd5556fc","datavalue":{"value":"A simple modal extension of system T, called KTLM, is presented. KTLM is the union of two logics, KM and KTL, each of which has the finite model property and is therefore complete. It is shown, however, that KTLM is not complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868335$8047271A-53C4-497F-9546-ED1A130E62F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868335$84B02DB1-53B6-45B3-AD56-650A4CC24047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da538503e4cd1a6c20c5daa6d26902e13f8c7f5c","datavalue":{"value":"1901399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868335$9A144BAB-85B4-4F52-A222-2D8A6323D197","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868335$7CD1ADAF-1FF8-49A2-9112-226544AA32C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868335$3744D4E9-8409-4D25-AE51-1359A0718471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56eef5f2969be41eb4d77849f1ae1f1b20e537a6","datavalue":{"value":"modal extension of system T","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868335$21D1D592-A5BE-406E-ABE6-924292AC5F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868335$955067B0-A76B-425D-B221-63BBECEE4BED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$EF47FE2A-7748-45C7-B99B-15CCCE9AED95","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":"Q1868335$F3B572B8-7E1F-4262-85B5-11F8CE4A0839","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9993b6b0172a209e3442765388ebb916ac4761","datavalue":{"value":{"entity-type":"item","numeric-id":4190613,"id":"Q4190613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$A8DCC730-820A-4094-9321-97AB6CE124F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5ead8a10b548fd24aae0a6c5d7f264fcb91eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4190614,"id":"Q4190614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$A78EDCBD-3FF0-4BBE-8090-EA2217039666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f66fa289e4d1f18bfbeceba29dbafaae55ebd3","datavalue":{"value":{"entity-type":"item","numeric-id":1073780,"id":"Q1073780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$B5F2E291-6DBD-4036-A0DD-AC5EB9FD55C2","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":"Q1868335$78DFF85C-97D4-454D-A3AE-D79B922335BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc98368a0198e76f121e4b2c357211cc2fd98528","datavalue":{"value":{"entity-type":"item","numeric-id":1090325,"id":"Q1090325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$650C1014-95FA-4401-9872-200AF524578B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff687fb653b2f50be19ff0d779dfa41c780cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":4075436,"id":"Q4075436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$723D47EF-7014-4564-942C-53B5C6E89E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e5deaf7277eddb6b7adb1ca55d5134bc8ef5c","datavalue":{"value":{"entity-type":"item","numeric-id":1213437,"id":"Q1213437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$A030DC0B-4D2E-4BB8-B0C0-387A705641BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809e88827bb92484c67dfb1f55f63e50d31eeeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3947664,"id":"Q3947664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$0A03F550-33AC-464B-B429-04BAC26F5338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c015a3eca8e4bece7aaca98ec58b9789bea38ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5575528,"id":"Q5575528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$65E11604-58F0-49BD-9F75-D5A28252B4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868335$2DA9F787-2095-4D32-8389-B94A0198F38B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a74cf3815988d9047b52a7c6ce16058af47c51","datavalue":{"value":{"entity-type":"item","numeric-id":995674,"id":"Q995674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e85bf1fde791998ecd38441b3d440844c86ce4","datavalue":{"value":{"amount":"+0.7606392502784729","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":"Q1868335$69BA3318-F8CB-4152-B6DE-E957A82C1DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6df409f01aabcef2a75ff642540b8e435089d","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c60c521457dfe245c7a297734f95d83fa4d3b60","datavalue":{"value":{"amount":"+0.7574412822723389","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":"Q1868335$F0CB9526-386C-4FE0-BD72-639ABF1E080F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51976a32c761ffd7a523e6dce34cc28387c17682","datavalue":{"value":{"entity-type":"item","numeric-id":4286214,"id":"Q4286214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33b21de8a38448ebecde62561458b1282d75ec4","datavalue":{"value":{"amount":"+0.7573041915893555","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":"Q1868335$90F9ED35-8642-47F4-8E03-962BDE7BA82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d76af1cd1aeddd27c3af1be11af5a9e9973d86","datavalue":{"value":{"entity-type":"item","numeric-id":3315479,"id":"Q3315479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cd4bba7a2e01dbcf030f823b23d320800f6a8d","datavalue":{"value":{"amount":"+0.7562393546104431","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":"Q1868335$36825AD0-24BA-4D43-ACFB-8B756DAFC310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab63c5076c9d4f93a5121b9a9ad68047086c5e29","datavalue":{"value":{"entity-type":"item","numeric-id":4329237,"id":"Q4329237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67e9c0e0dfeda5f171f1022aa40fa2766b75938","datavalue":{"value":{"amount":"+0.7557400465011597","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":"Q1868335$612270B8-6370-4D59-8AA4-35767512F232","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple incomplete extension of T which is the union of two complete modal logics with f. m. p","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_incomplete_extension_of_T_which_is_the_union_of_two_complete_modal_logics_with_f._m._p"}}}}}