{"entities":{"Q1097255":{"pageid":1108007,"ns":120,"title":"Item:Q1097255","lastrevid":49129531,"modified":"2026-01-06T15:38:58Z","type":"item","id":"Q1097255","labels":{"en":{"language":"en","value":"Solutions for Porte's conjectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033698"}},"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":"Q1097255$1E12919D-D86D-4F86-9543-7F8B0495AF38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc1a20e2973c13938c689c669bce9d8939b98e03","datavalue":{"value":{"text":"Solutions for Porte's conjectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097255$6456823B-BAF4-4EF6-9B1E-5CFADDCDF752","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17fc5127267fa3ffd9bf8eebdcfc512c22148e51","datavalue":{"value":"0635.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097255$F8C0888D-3FCB-4BA8-9CA7-2BD6F2D1ED3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209cefe6a0eff535f4f35c7d031fafe4337e548f","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097255$36F7E2F7-C258-4245-9494-F9CD90CD20F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097255$60AF0C6A-A396-4DF5-BB75-88ED292B5CB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1097255$11B189A5-6AF8-4CED-AFFC-CD7F915012F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa18144fa7fd1baf6d2715d96d4eeacc4bcde850","datavalue":{"value":"The author produces completeness proofs for certain weak modal logics discussed by \\textit{J. Porte} [Logique Anal., Nouv. S\u00e9r. 23, 3-34 (1980; Zbl 0452.03015) and ibid. 24, 399-406 (1981; Zbl 0494.03010)]. These are extensions of S0.5 and make use of `semi-normal' worlds in which the falsity of LA implies the falsity of A in some accessible world, but the truth of LA does not imply the truth of A in all accessible worlds. The author shows that straightforward Henkin methods yield completeness results for the appropriate systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097255$9D045022-16FB-4E7B-88C3-CAB79DE1D1BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ed4c52c97ede8269ca417792eb0c307e0c83ac2e","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097255$7020BCA0-BEFA-4D6D-9761-EE3943FDC21D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097255$364F03AD-B1C2-4ED3-B9B4-BF34674649E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea1320c700946f7e8463a121320f072d7ab7c5f0","datavalue":{"value":"4033698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097255$DEC5E0EF-D1B1-4258-9E26-24F76BB973C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2e50c986f89aab25434287da4e2b6ade060e6c","datavalue":{"value":"semi-normal worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097255$7AC2EFC5-F4D6-448E-9B17-B2213F5B5265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097255$F4933C86-6454-4075-A2F6-B44E94AE88A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda80aff692f15f839e4ffa5100715fe178bd3d4","datavalue":{"value":"weak modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097255$433BF14D-4829-4B6A-B540-B54C1013097D","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":"Q1097255$D815531E-8AF5-47E9-B018-BF7D03A79061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"396de63d6a124c82a2e159318a5d39bcf85015ed","datavalue":{"value":"https://doi.org/10.2977/prims/1195176248","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097255$4C163C76-B72A-49B3-9C0E-7EC3A392B29D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c96adb0ca8bcd008a1538efcef934e1146cfa5c","datavalue":{"value":"W2042835017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097255$67AA7160-6869-452D-9734-8BC838D3A7C5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"73959fd95afe35de865fd408420225c3c0379714","datavalue":{"value":"Q123166582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097255$5EE82918-F696-4BE5-A3F8-DBCFC0F7C293","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eeda5d36eb09e96178ae50ef4d83e6584ab9935","datavalue":{"value":{"entity-type":"item","numeric-id":3898473,"id":"Q3898473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097255$1719769D-74D6-4B5A-915E-A908F52B74C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b662147a9c02a3d645416e676f14e553af31b69","datavalue":{"value":{"entity-type":"item","numeric-id":5594595,"id":"Q5594595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097255$1F7B6EA7-0B45-4B11-9928-D3629DA1494D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dad3d61aaccb01e1b383c02306e8a4896a87f81","datavalue":{"value":"10.2977/PRIMS/1195176248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097255$0A2B5B01-1092-4AB0-9B68-42CE80352A3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc1f8856c39bd81b16f98bc3ad17e5c6196b3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4731168,"id":"Q4731168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3723d36f38fd3b695cb24bab6e7f2c4a6f9f2baf","datavalue":{"value":{"amount":"+0.7789813280105591","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":"Q1097255$4A862A27-D77F-4019-9991-3ECAD0D185E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c7b98d4a2dd2766bf3552344073075ba05b326","datavalue":{"value":{"entity-type":"item","numeric-id":761441,"id":"Q761441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3660a029167f54a7fc466cfd815b4ac091bd9e","datavalue":{"value":{"amount":"+0.7701773643493652","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":"Q1097255$526E163D-EC60-4ED8-9A19-4BD51FA51149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6208806f9e0d24877eb9ffa6b71627bcbd010839","datavalue":{"value":{"entity-type":"item","numeric-id":5594595,"id":"Q5594595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a8a4b74ec4ddda6945f3a1f80358bff742a104","datavalue":{"value":{"amount":"+0.7594314217567444","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":"Q1097255$768D5D16-A8F2-4AC3-AD73-ED1B35F06370","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":"d77698874b68f29837d22557f08900fc512070f3","datavalue":{"value":{"amount":"+0.7584916949272156","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":"Q1097255$8AEE5CD2-7DD0-49BF-B657-6201E726758A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796420cb870f56f2661ea5d172fbd23f6bd25c36","datavalue":{"value":{"entity-type":"item","numeric-id":3807180,"id":"Q3807180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb9b2688836f20bde91e76dbe57ab2488cca44f","datavalue":{"value":{"amount":"+0.7475531101226807","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":"Q1097255$5976C948-DA56-4084-8D0A-BE3E4EFFE0A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1097255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1097255"}}}}}