{"entities":{"Q1057257":{"pageid":1059105,"ns":120,"title":"Item:Q1057257","lastrevid":66649242,"modified":"2026-04-12T11:33:10Z","type":"item","id":"Q1057257","labels":{"en":{"language":"en","value":"On the relationship between one-point frames and degrees of unsatisfiability of modal formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3896901"}},"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":"Q1057257$361BF785-37B0-4D51-9DA8-C2B8129764D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"072f07c4922f79b545d92a15f9334257e4f93bae","datavalue":{"value":{"text":"On the relationship between one-point frames and degrees of unsatisfiability of modal formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1057257$75091C38-C2C3-4CEE-9AD7-62BA2A9B2F75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37cbbeeaec716e96a2fe7bac392a265a91b0385b","datavalue":{"value":"0563.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057257$364A269C-F711-4DB0-94D5-ACB4FE652A10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057257$1803CCEF-A4D6-428F-9B13-40129851F747","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057257$227B35C3-0A5F-4F81-8774-67FB585C4D96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1057257$B6D7D478-E51C-4E0D-9ADC-F9DBB47A7B6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1591094470f3704fbdb5bc8341e8e0c04756cdf","datavalue":{"value":"Let \\(A, V\\), a range respectively over Kripke frames for a given normal modal logic \\(L\\), the valuations for \\(A\\) and points (worlds) of \\(A\\). A \\(U\\)-set of \\(L\\) is defined to be any set of formulas \\(F\\) given by an expression of the form \\(Q_ 1AQ_ 2VQ_ 3a(aRF)\\), where \\(Q_ i\\) are quantifiers and \\(aRF\\) is any of the relations ''\\(F\\) is true at \\(a\\)'', ''\\(F\\) is false at \\(a\\)''. A lot of necessary and sufficient conditions for various inclusion relations between \\(U\\)-sets are formulated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057257$3FE237AB-BAF9-43BB-8847-649C71652EC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057257$DD8F6043-AE34-4909-85E6-64624653878D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76d2de1f2e2112e02574da630ce60868f7a2619f","datavalue":{"value":"3896901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057257$7E4CD4AF-1150-42E8-80D1-9E9E7C79051F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057257$B7BE59DD-91FE-489E-977A-D5EC731E0F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057257$3CCCA9E7-D698-419D-A840-A04092F00047","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057257$8AE44455-5849-4396-AF3D-E68646B6FE91","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":"Q1057257$17687CC1-F577-474F-A77A-390448876038","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11f4e7501e7071afda4d13b527e8f264b66e4c92","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870572","type":"string"},"datatype":"url"},"type":"statement","id":"Q1057257$69CD3E54-1561-4630-A5FC-6D01157104AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"238907eea67fe37a4df37f84a7194820276f44ea","datavalue":{"value":"W2028903563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057257$ABD9663C-606F-46B2-BC78-F54D686C9F87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01bfe8010d156725ce1cb627047cb0f83cbbd11d","datavalue":{"value":"10.1305/NDJFL/1093870572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057257$7911C895-ED21-42A6-8279-0D21BD56584C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4390ac6a0342a042a5b20950845f5e22e36784bc","datavalue":{"value":{"entity-type":"item","numeric-id":1119622,"id":"Q1119622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1671bb9654d6b9a32e249c31381474c843fb7409","datavalue":{"value":{"amount":"+0.7200031280517578","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":"Q1057257$2779157C-AEA1-4835-A0BD-8EDE003AEEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d909497627a4baafc1979648eef804d4fc19310","datavalue":{"value":{"entity-type":"item","numeric-id":3798637,"id":"Q3798637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5749f2b64eb7d4e1d359b8230e969bf5ebe41a4f","datavalue":{"value":{"amount":"+0.7187981009483337","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":"Q1057257$DA03FC7F-89CB-4503-862F-7B510AEF02C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6518928f737d686ceaf6fb8fadf0e4a0dfe35252","datavalue":{"value":{"entity-type":"item","numeric-id":4295236,"id":"Q4295236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802d122a08b15593bfbfa1216d53338a8c9e9f10","datavalue":{"value":{"amount":"+0.7153787612915039","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":"Q1057257$FEA2E124-7DED-4B95-860F-D95FCD05C6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91167759ddc360ad1707cdabe746998dcedf591b","datavalue":{"value":{"amount":"+0.7153786420822144","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":"Q1057257$107C9039-BD3C-4E32-A06E-8DA327E03A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05cb5508de2cb427def8c6d7bbffb5feba85a406","datavalue":{"value":{"entity-type":"item","numeric-id":3509065,"id":"Q3509065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e393d0c6ffaa6380f3e9c3aad88f54e664d9b62","datavalue":{"value":{"amount":"+0.7140501737594604","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":"Q1057257$6EE21922-25B6-4ACB-99D2-C26CD25F7C49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relationship between one-point frames and degrees of unsatisfiability of modal formulas","badges":[]}}}}}