{"entities":{"Q1332142":{"pageid":1342892,"ns":120,"title":"Item:Q1332142","lastrevid":46283787,"modified":"2025-12-24T11:48:42Z","type":"item","id":"Q1332142","labels":{"en":{"language":"en","value":"A model existence theorem in infinitary propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 635845"}},"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":"Q1332142$3B3AFE6A-8F8D-4B51-B349-99DB4E1CAFDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5caacea3a25dbc9f1982ea7c8d94f3292193510e","datavalue":{"value":{"text":"A model existence theorem in infinitary propositional modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332142$B7F81639-727B-4FA0-A441-987023F90627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e640e78406a847b4a6a128756d8a2e2113fde118","datavalue":{"value":"0811.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332142$753CC176-2B21-4751-9BBA-044C919DBE7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcb986304264baaf9ef1b8f3b381e5f4c521496d","datavalue":{"value":"10.1007/BF01048686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332142$4DE2F744-BCE8-4BA2-B2E5-B7EBA27EB4D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332142$5C2CDEC6-8550-4F74-90F2-F0AEC9C17B9C","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":"Q1332142$702E3443-AA6E-4642-BDCA-7DAE7633A5F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2bc1742a0cee560f6787e361c4fa83ea283bfc8","datavalue":{"value":{"time":"+1995-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332142$6B5F5A25-9154-4624-8D21-DC18D644BCB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93ca99f85a8c0b5a06a080005b6fe8ff4c8e155e","datavalue":{"value":"The author generalizes his method of proving the completeness theorem for logics with modal operators which describe truth of the set \\(\\{\\square^ n \\varphi\\mid n\\in\\omega\\}\\) for a statement \\(\\varphi\\). There are applications to various logics: dynamic logic, knowledge logic for many persons etc.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332142$0F708AA5-75EC-40B9-99A0-6F31116C8ECE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332142$7A01BE4E-DEAF-4105-A618-3B8D9EFDD15B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e11b96dc6a9726932d43ced9e300691e93aef2d4","datavalue":{"value":"635845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332142$9608120D-ACDC-40B0-BE52-672CD6F2F1A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332142$C097C1F5-2097-4D98-B6F5-29A62C05A49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332142$86426177-A251-4CA5-9F3A-EA884EAADC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332142$F81AA0ED-4A50-44E3-8B2C-A8B6FFF8532B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332142$7CD03076-E53D-4EAB-9B4D-585E2AF63F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fec518651c977169b54c20fc6d60f6b1fbf2fc9d","datavalue":{"value":"knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332142$23E4A180-6ADB-4C6C-9E69-E21E1885AF80","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a9a36862dc3e8b3836d0c8f2d3d449eecf21b4c2","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332142$CC88B752-93D5-4BCD-96AB-9CFDA81BCBC3","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":"Q1332142$7628B7E9-D790-4B3E-8BD5-481A81D632A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332142$85DB65C3-BECF-4C72-B6F2-9DF5DA9169CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332142$83E6B4A4-3D99-4E11-8AB5-7F2E94D05E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332142$D1A8AA1E-1BF4-464A-95D4-4594E52993FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332142$6CA84E15-516C-48E8-89FE-F8C32C9C7D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d219c6154bf9d779b1657cb8437b2a7b6bbe7c89","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332142$DBE6B946-36F2-40B1-B15E-48CE4EBD7BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d196616e4eb342d663326ece2a055a654cb8ec4e","datavalue":{"value":{"entity-type":"item","numeric-id":4138711,"id":"Q4138711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332142$807ADC57-FA53-430E-876B-D683845123C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e0effcd235a1a20b62a8ec86965c481c1e347e","datavalue":{"value":{"entity-type":"item","numeric-id":5939997,"id":"Q5939997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d24726cc5e6d1629a8bbda11db1b99405b2d1b","datavalue":{"value":{"amount":"+0.799915611743927","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":"Q1332142$D800B641-8114-4E61-94A9-A7D3E099450A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ba4920e4cd0070412225e45f447d2a5d262358","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e224e5165058c32ae0990d4d88a622a78ef114eb","datavalue":{"value":{"amount":"+0.7915849685668945","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":"Q1332142$4A1CB921-4026-49E3-BF96-CA5483C10F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef8e17c2b955cbf96459b47edcbbdf1745596c3","datavalue":{"value":{"entity-type":"item","numeric-id":4857866,"id":"Q4857866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092a8eb45a5facf070e716421600c9f83be355d3","datavalue":{"value":{"amount":"+0.7914816737174988","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":"Q1332142$053F9BD0-419A-4917-B30C-E2F21CD50C3D","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":"5668e924af3865dde597c12c72a8b0b47a5ec835","datavalue":{"value":{"amount":"+0.7875516414642334","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":"Q1332142$51324E86-3D54-45DB-93AA-C29D0E1B3096","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1332142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1332142"}}}}}