{"entities":{"Q5935787":{"pageid":8112589,"ns":120,"title":"Item:Q5935787","lastrevid":47629081,"modified":"2026-01-02T06:30:19Z","type":"item","id":"Q5935787","labels":{"en":{"language":"en","value":"Completeness and decidability results for some propositional modal logics containing ``actually'' operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1611070"}},"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":"Q5935787$5A381CEB-5D65-4433-9166-AB00DEBD7ED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5645833dc6a0a1d8309487017893015a76b306b5","datavalue":{"value":{"text":"Completeness and decidability results for some propositional modal logics containing ``actually'' operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935787$F7DE84F1-3548-40AF-A837-64C525031C07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af181fc8e79c8b61b2bae5fa8bc314903d66927d","datavalue":{"value":"0988.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935787$5AF9DD6E-B863-48ED-AC28-6B303B73EA5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78a7ec7b704fad9883dc6d972ed967a8d40f80e6","datavalue":{"value":"10.1023/A:1017579410231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935787$8EB4EB2A-B5AC-4748-BD6D-E00D2180C2BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cae517c999bb7dec828e889a87b203b9cad0012c","datavalue":{"value":{"entity-type":"item","numeric-id":185564,"id":"Q185564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935787$4356FBFC-FDFA-4D01-A5AE-B7E58979825D","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":"Q5935787$CDF05D93-06D7-4750-8F06-3DA5ABE5AC9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935787$25EF5B66-D165-4ED6-8562-BE48617E8CDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935787$16A7B769-8B54-4762-906F-0F656B665BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935787$3974A82F-3B3D-4FB2-848E-9A648379DB1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d29e868625c37a4e6a570e30a0df0bad2af1111","datavalue":{"value":"1611070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935787$4B8E15F3-3261-46A2-866A-593475B8747B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935787$7139710F-82C4-4A58-BDAC-EDFF8C95F81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935787$5865736F-E75F-4A4C-A735-D80DC1158A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69788a8ba0b2e367c3c07227e135d5b8625e183f","datavalue":{"value":"rigidifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935787$887FA3EB-CBEE-4F68-AFDD-F7F4E53B7D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69c4da1c8d635872d11007272858bfe7fdab0ce","datavalue":{"value":"``actually'' operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935787$7A0445D4-930D-4E30-8A18-63DCC943478E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935787$E083A716-1785-49A5-9342-03EAD9002740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935787$01C7B7F9-888F-4428-BAB3-1F42A5DED884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935787$09096B2D-5989-4BF9-BED5-1185EF57056E","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":"Q5935787$EF30FAEF-A759-42E1-B602-F35C45743BE2","rank":"normal"}],"P223":[{"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":"Q5935787$38F6AA0E-96AE-472A-A52E-BB69E4E478AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1886aeef73dd47a8ce559c63bf9a63ee355478","datavalue":{"value":{"entity-type":"item","numeric-id":4170702,"id":"Q4170702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935787$183565FC-B37C-418B-AC98-9884543C6AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45e17441fe1475c2ed95fb2159c5225af60448d","datavalue":{"value":{"entity-type":"item","numeric-id":1233866,"id":"Q1233866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935787$29306987-D36A-40EC-B938-C2DC12849DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a606328f86a01a097b1385283c6e8d5b974854","datavalue":{"value":{"entity-type":"item","numeric-id":2640589,"id":"Q2640589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935787$45E91C9E-64F7-459C-B55E-25E4B8AE9409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1936dfe58ac4dbeedb68575048186e40fd3a40","datavalue":{"value":{"entity-type":"item","numeric-id":792998,"id":"Q792998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935787$770E277D-D11C-47B7-9AC1-2127616BA1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935787$CAECA255-81A0-4CDF-A798-A4F37852AD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935787$6DE1E81E-2F2D-464A-A9E5-6FF59CCAAA60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ac4c4e2f1a36402acab977bca7453c650807a1","datavalue":{"value":{"entity-type":"item","numeric-id":5947380,"id":"Q5947380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b211360fd8b07b91141a9fba79a8fcff0d8009","datavalue":{"value":{"amount":"+0.8245052099227905","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":"Q5935787$F22EB2D8-DA55-4656-95AC-FA3BD4B346BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9fd2749004290535eea0b011e737b4ddb2d04c","datavalue":{"value":{"entity-type":"item","numeric-id":817958,"id":"Q817958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ddf8f5b47807c268d1842170a256e236686887","datavalue":{"value":{"amount":"+0.7999729514122009","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":"Q5935787$49F1A599-FEB5-4BA9-8F54-1D1233B30A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3e8aaf88c813004a9d29b00780140fea505afe","datavalue":{"value":{"entity-type":"item","numeric-id":1610620,"id":"Q1610620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ca786262696d38278ce351eb8f3f4b8dad8a35","datavalue":{"value":{"amount":"+0.7961277961730957","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":"Q5935787$CFCF57AA-B52C-4D89-A63B-B4D44357DDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df87b56d07ad6da2ab004c8b3fdc97cced3aff2","datavalue":{"value":{"entity-type":"item","numeric-id":1065786,"id":"Q1065786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3945d06954148055c6ea6a01b2c4e7e2f5a597ca","datavalue":{"value":{"amount":"+0.7961277365684509","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":"Q5935787$AE2F9AFC-DE67-4ED7-8FE7-190530A3525F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568111dc1658f484ef8490f6f3504b9d5ade599f","datavalue":{"value":{"entity-type":"item","numeric-id":2377050,"id":"Q2377050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1b9f6107a46f69b70ae05bf3a7f8f7024ba7be","datavalue":{"value":{"amount":"+0.7848761081695557","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":"Q5935787$2E8B99BE-4225-46F9-8643-1FF7C1A42328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5935787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5935787"}}}}}