{"entities":{"Q5937817":{"pageid":8114619,"ns":120,"title":"Item:Q5937817","lastrevid":97644995,"modified":"2026-06-05T15:09:41Z","type":"item","id":"Q5937817","labels":{"en":{"language":"en","value":"Duality and completeness for US-logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620812"}},"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":"Q5937817$7202C94D-A84F-4032-9977-412FFC31C574","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e2d349523bc991a92b500a686c759f6056cbb4c","datavalue":{"value":{"text":"Duality and completeness for US-logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937817$10D3608A-3E35-4EF9-AFA6-00D677D80586","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c34e9de03dea95dc48a42956bc212198c5734fdc","datavalue":{"value":"0968.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937817$9A0AB4DB-33EE-4686-B77F-B54CDB1C4A43","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":"Q5937817$66E264E1-EC8E-4A56-8976-9BC2C4F2DF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e42d3b63a80627a7a13fa2a17d8f3badf1186620","datavalue":{"value":{"entity-type":"item","numeric-id":190277,"id":"Q190277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937817$F4F65624-36FD-4FAB-AC2B-8ABAED8E1964","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":"Q5937817$983ADD2A-3747-4690-9A9A-3A1C24F47998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937817$53292152-E746-4260-890B-EF14A616EBEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937817$3A22B8C7-CABA-4CC3-8BF3-7C1D33A91D21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"291e65d631eec5cb929f6da9f71c385ea14e8e23","datavalue":{"value":"1620812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937817$BED9D52A-FDD7-46A1-9879-BDED0DEF8F86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7353682d921b7e7cc76f66d471f4c5f4108b1672","datavalue":{"value":"tense logic with since and until","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937817$45ECC5A8-F6A9-41ED-99D2-99C95178B767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937817$0244A6D4-3389-4597-B8BE-551E26B38520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"628792075044c01fb2ca84968fb579d9d9aa5367","datavalue":{"value":"e-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937817$135DDC98-34F5-4C57-82B9-BE0D8EDD2106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937817$B1489A3E-7C34-4AC3-BE30-139EA68EBB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee2b6a8cf5bbb5586491390b25d1ac2ec9674da","datavalue":{"value":"duality theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937817$6CD6120C-24AF-4160-A104-CA24B1A7805C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4927ccf340b1c4ebbff0fdce727e7fbbeb54e107","datavalue":{"value":"US-logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937817$3004C7D2-C6D8-4A2E-98F7-3B6145894A39","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":"Q5937817$31A564D8-3AB5-41AC-911E-75DDE8FA1D87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eb5d4d2d8aaae4f5ed6c179156cde6726288f79","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039293065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937817$F5A6D48A-BE91-4DB0-8B79-FD28AFA1BEA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76b5f49fa4d43b7b0eb61ff800234836d7a1bdf5","datavalue":{"value":"W1998659308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937817$260277FF-297B-41C3-9938-C2D2EADB8AE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2c4d354bf8e548685c1ccb1a052d9b6b0e4def","datavalue":{"value":{"entity-type":"item","numeric-id":1913633,"id":"Q1913633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937817$F4CC5367-9DD9-4AC0-8C35-A382251E5162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937817$159AE131-436F-45D7-A524-680CCAB0CEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937817$1F1C44DF-38B8-4112-AFD4-2F02EBA9048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937817$02F4286B-D784-480B-BC97-E92083E54203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937817$45C95FCE-220E-47C9-B2D9-50F73FD4C236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5f5a8693e3e3343e0cb3998b121d3d28977a59","datavalue":{"value":{"entity-type":"item","numeric-id":1104920,"id":"Q1104920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937817$12442255-5429-4A5A-A72F-EB97F00485CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf6114d3ce15e0e7cc136a0a81f5ab4e596aae3a","datavalue":{"value":"10.1305/NDJFL/1039293065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937817$794DC2C6-226F-4B6E-8F94-1B458D956D5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f355d74dbf910a9bc33d598a66a4b6e0392aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1913633,"id":"Q1913633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21704ddb65109192e3e016e8c10c9165fcad9df4","datavalue":{"value":{"amount":"+0.7653896808624268","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":"Q5937817$1CF83092-B014-4B2B-90F4-0A8206480082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b85d2fb636dce3b09813c2da4f0fde4642ad0594","datavalue":{"value":{"entity-type":"item","numeric-id":1104920,"id":"Q1104920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b06c28dcac460ee3eb13d1445966829e7bf8c3","datavalue":{"value":{"amount":"+0.7537926435470581","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":"Q5937817$16DE69A3-2CF8-4CA9-9CE2-4B9ACF7F8665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f13b50d0406480a50eca52ed483513a3c61cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72d57baa02dd89c1a29dacf36e2881f9f12fd1b","datavalue":{"value":{"amount":"+0.7457271814346313","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":"Q5937817$7D286951-58EF-42A3-8969-53B54F58CBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b55b422feea490b5131923cd4a61e76a996150","datavalue":{"value":{"entity-type":"item","numeric-id":4636306,"id":"Q4636306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c374707655e9774605e8a8fa91711f7ce40130b6","datavalue":{"value":{"amount":"+0.7371672987937927","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":"Q5937817$603F4B85-99E6-4A7B-895C-95E7C0854D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d09bca7af06e703dc97d5af2e33f232ca98dca","datavalue":{"value":{"entity-type":"item","numeric-id":4833779,"id":"Q4833779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b627376bdebf40c8712046f345b39f0b8cdae7","datavalue":{"value":{"amount":"+0.7320327162742615","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":"Q5937817$30139F1E-47DD-42B4-A441-0451598C8D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Duality and completeness for US-logics","badges":[]}}}}}