{"entities":{"Q1835665":{"pageid":1846407,"ns":120,"title":"Item:Q1835665","lastrevid":71407761,"modified":"2026-04-13T22:04:41Z","type":"item","id":"Q1835665","labels":{"en":{"language":"en","value":"Completeness of modal logics with prefinite width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3794043"}},"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":"Q1835665$2D465C78-71D2-48AF-850C-F695349A38BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd2e55a826637ba008d17ad0e6cbea0c0ea80fbd","datavalue":{"value":{"text":"Completeness of modal logics with prefinite width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1835665$0331A6A8-C8DF-4575-97BD-A42FF15CE080","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9415ed7cd825c5f82e811a431f1f253eb5cca608","datavalue":{"value":"0504.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835665$8B066354-A15E-4F64-A0C4-FA840549671E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88009bef588d7857adedd2d947bd9030e1b23ca6","datavalue":{"value":"10.1007/BF01142712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835665$4539C0B8-B81E-41BF-9DBF-E059B026906A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835665$9AAC2945-2339-4D99-A966-B876C9BB3875","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1835665$57F3B97E-8EE1-482D-9E72-7C443A6A13FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835665$6DCD18E4-82AB-42AB-ABCA-C63452FDFD22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8c82ac8c387b9da939ae7a15e43101530295d62","datavalue":{"value":"3794043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835665$C325B317-567F-447B-92A8-191AEF47FD7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3385656d607f7156701288da987209886d3dba63","datavalue":{"value":"incomparable elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835665$EF7D6850-E013-4A3B-84DD-6AE5F4C9250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835665$04473FB6-7E99-420F-8DB9-0CE2497E721D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835665$037B68AD-296C-4C47-A9C6-C720512D86B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28cc2e26c7540e8d0f6e2444d0c92198d5169b83","datavalue":{"value":"finite slice logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835665$B231293D-5E7D-482A-B4DB-2924C194CE28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835665$826FCB52-8655-4117-9369-76A23AB0DD69","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":"Q1835665$EFD30976-4270-4637-92E2-C831B2CA1146","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835665$B1238735-4377-4907-89A3-10A2F9F5D7F3","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":"Q1835665$3068A7C0-4BA5-4D31-AF70-32F4252E67F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e77b2f30d1034d911c04cb89df0eeada2776e59","datavalue":{"value":{"entity-type":"item","numeric-id":4192037,"id":"Q4192037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835665$5716CA9C-3B05-4F40-B7B8-2EBC77BD15F5","rank":"normal"},{"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":"Q1835665$E85DF997-D088-45CF-909C-9AAEB0D9C729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of modal logics with prefinite width","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_modal_logics_with_prefinite_width"}}}}}