{"entities":{"Q1077400":{"pageid":1088152,"ns":120,"title":"Item:Q1077400","lastrevid":67054761,"modified":"2026-04-12T14:37:36Z","type":"item","id":"Q1077400","labels":{"en":{"language":"en","value":"The preservation of coherence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957054"}},"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":"Q1077400$775008B6-5F35-4FC9-ABDF-8336DB871068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0ed5bf49e5e0eebe9b913316c049ce484cff21b","datavalue":{"value":{"text":"The preservation of coherence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077400$D927B8EF-5C0E-498B-96AD-2730CF3B32AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fabe682181a9002de3dd568d698bf523b9b54788","datavalue":{"value":"0595.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077400$D721A1F4-1A77-4087-A6D1-113BEA086AFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1de06a8be5316a19daafbfe03658cf4d5a164183","datavalue":{"value":"10.1007/BF00935743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077400$D659CCA2-7CD3-4917-96A1-E856D457FA82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077400$9F39824C-D77E-43FB-B1C2-41303A86898E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077400$F01FABB2-9C1C-4180-ABA0-880E6C1C02C8","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":"Q1077400$DD50F54D-F17C-492A-879E-BDB1AC32F8E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"117f5f70f8da1e0124ab822a590428114563d1da","datavalue":{"value":"The authors introduce axiomatically a level function \\(\\ell\\) for sets of modal propositional formulas. In the prime example \\(\\ell (\\Sigma)\\) is the least number n, such that \\(\\Sigma\\) may be partitioned into n consistent subsets. Furthermore, generalized frames for modal logic are introduced, where the binary accessibility relation between possible worlds is replaced by n-ary relations. The level of a frame \\({\\mathcal F}\\) is \\(\\ell (\\{a:\\) \\(\\square a\\) is valid in \\({\\mathcal F}\\})\\). The main result is an axiomatic characterization of the class of frames of level 1.    It would have been preferable if the authors had found a way to avoid the irrelevant and unfortunate introductory remarks.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077400$604BFDE2-560D-40AE-B702-AAFF3ED5F558","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077400$3660A02B-2E49-41A6-AFE7-D930EE12259F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63d291edeeb55602e5314372580e7a5298758ee5","datavalue":{"value":"3957054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077400$82F6D1BA-607C-44A2-9A8C-808D40D04EB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d9ec2655154fa53467b225f34180b45d983f64","datavalue":{"value":"inconsistent sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077400$AE2F004C-72FB-4163-98B8-9C19924D0313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a75757979c8cc4c5cbfccbd65f00dbde31253bb","datavalue":{"value":"inference relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077400$BCA8E36F-25F3-4458-993C-EDECD6F06CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077400$07747532-EF21-40FF-807F-3F998C11A5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5538dee9f90e2600a04d3da8a3ce78dbf25cd7d6","datavalue":{"value":"level function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077400$D6F0064F-B4F4-4C34-B650-401852C2068A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14125dd0c4566ea6f5f9655fa3056433e92d97f2","datavalue":{"value":"generalized frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077400$6E153738-588C-4471-8192-AB807047827C","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":"Q1077400$574EDABE-54DC-4647-B939-9130740B2D23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bd89b73f8e6d318c76f6146aad435bb4556626","datavalue":{"value":{"entity-type":"item","numeric-id":1143389,"id":"Q1143389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077400$CB3A963C-0CB4-42FB-83EC-91AB04E8DBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70672b9afa4917414dc798ea306377596d4fc863","datavalue":{"value":{"entity-type":"item","numeric-id":1158141,"id":"Q1158141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077400$3AE6A402-47C6-4853-A5B3-0D582ABB25C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c637a1358574aabd1b22a9f248dbfa5d1692e5","datavalue":{"value":{"entity-type":"item","numeric-id":1158142,"id":"Q1158142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077400$D8101860-7830-4408-8049-0DC450D9A06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6d23e539b47999d6c5dfbbebb2acc441ae3e36","datavalue":{"value":{"entity-type":"item","numeric-id":3919672,"id":"Q3919672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077400$96DC4334-62B7-44FD-A26D-43EBF7CE7DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd2ef6445c983565449871708ca6677282d58e1","datavalue":{"value":{"entity-type":"item","numeric-id":5275710,"id":"Q5275710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077400$3EEF191C-99E6-4F01-9E73-34F038DE8E3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dce7c84e782719acf493847535fb127d67b1a5b","datavalue":{"value":{"entity-type":"item","numeric-id":761445,"id":"Q761445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04521d30d7c783162ad19b21ffbe7147414edcc3","datavalue":{"value":{"amount":"+0.7107301950454712","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":"Q1077400$B4910389-4169-467C-8955-5B226FCB19B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe9d92ea9faa7a7c247b83470590b5f7cb48217","datavalue":{"value":{"entity-type":"item","numeric-id":714726,"id":"Q714726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7c2ada3714b6ba93bffb5dc10787af969b6a83","datavalue":{"value":{"amount":"+0.7100436687469482","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":"Q1077400$649241FF-BE94-48BC-B05A-E80A66311717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf261adcb4309c88f7d3c2f64cc1f4500c1beb34","datavalue":{"value":{"entity-type":"item","numeric-id":3781736,"id":"Q3781736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e2adc8c06b06b42e3e6a7f02cf3109310ffb87","datavalue":{"value":{"amount":"+0.7098225951194763","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":"Q1077400$78D7858D-FBE7-4C58-A32F-2E52E3C18539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748cbca1695a8e0bcaee8b59e5e08079eef747cd","datavalue":{"value":{"entity-type":"item","numeric-id":558732,"id":"Q558732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d630eabb35b39e7959a9e14a74d7652963644ae9","datavalue":{"value":{"amount":"+0.7034831047058105","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":"Q1077400$7F0405EC-06CE-485F-9D0A-B24549DED557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89b6f9c79c13b4865b4e8e5995ab504ade7b5d7","datavalue":{"value":{"entity-type":"item","numeric-id":2470760,"id":"Q2470760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42268d91389127731a2d2c5595e8cfe4de104c1a","datavalue":{"value":{"amount":"+0.7013872265815735","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":"Q1077400$213D4134-80C8-436F-8C9F-7E2F4ADD10C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The preservation of coherence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_preservation_of_coherence"}}}}}