{"entities":{"Q3778733":{"pageid":5808639,"ns":120,"title":"Item:Q3778733","lastrevid":52371434,"modified":"2026-01-22T12:03:17Z","type":"item","id":"Q3778733","labels":{"en":{"language":"en","value":"The consistency property in lattice valued model theory for infinitary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039873"}},"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":"Q3778733$4D31636A-963C-4CDC-9E1E-F983BEE83D50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"244fdc47e5a0e5c22354ecd890444fe11d06bdee","datavalue":{"value":{"text":"The consistency property in lattice valued model theory for infinitary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3778733$B107688D-ADC6-4EF6-8879-8921CFBC9065","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"496c3b498e9df91c01b8255d13ffaad021172234","datavalue":{"value":"0638.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778733$02C0EE30-D9C1-451C-97C7-32DD11E8F7D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6d3e5587d3d32d4448b8764a70e16e293cd5890","datavalue":{"value":"10.1007/BF02565022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778733$FADB13AE-C48F-4794-8852-01B442FBC121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61ffd8270ab6a3987953d12a84f42a1cc05ec454","datavalue":{"value":{"entity-type":"item","numeric-id":2731660,"id":"Q2731660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778733$B6BC25B7-47D1-458D-8EC7-7A913E791745","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":"Q3778733$B889AD46-32FA-46BD-8F49-19DFC1EE51CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778733$7C18D768-6228-4252-B22C-39693CCC084F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778733$BD907432-BB34-46D0-93FD-F8BDA01952C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778733$3F3B42E1-77C0-4D9D-BBED-82C2BE2D2C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778733$FB71C1C3-7E03-435C-B7A6-6EBB1FB31A92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a42dc0dc3597871b1169d5af875a2db051729716","datavalue":{"value":"4039873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778733$91E544F5-A6F3-4738-A31A-8B1A803AF5CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c56dfb0a8372d4922d5694e9c406407b28b003","datavalue":{"value":"lattice-valued model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778733$B87542F3-F59D-4148-B138-C85265B23DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778733$03A9BB63-2C4C-4667-B7A0-C4DF32FDF462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5464fe5def0d329e961a85c3bd9db71471447f13","datavalue":{"value":"valuation lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778733$324ADE30-BA1A-4F40-9A01-0FE10951F6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d24b8943aec01d0f734a287b8fcfa5db09e04d","datavalue":{"value":"Scott isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778733$605CB658-0EBE-4B0A-BF3C-D3A95929AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3af2123ea8a9abdd42b6656031cf7115b3a7de9","datavalue":{"value":"model existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778733$2B4A5FEF-5EB6-4FF6-B3D6-AF457677FBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fde67ccdcc9bf6d54bedccc7954a6dc7a773329","datavalue":{"value":"Craig interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778733$750BAEF6-8A19-4CFC-B577-AC7F18DB0039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c78953a092ac2c574ab944e580246944ef32d49f","datavalue":{"value":"lattice-valued infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778733$D3C35A86-9D05-42B5-882D-A45E2A270888","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":"Q3778733$D5310835-B2A9-4876-8CF8-5AF3C751002B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778733$71480F23-41CD-4845-AD8C-B19FD01DB010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77b46614ffdab14e561ebf36cb37d1b6b69cf36","datavalue":{"value":{"entity-type":"item","numeric-id":3663266,"id":"Q3663266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778733$36C976DD-3784-4564-A2E2-F30A80AD54B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913a017363abce87adf680d1dfb265a8b5d4c26c","datavalue":{"value":{"entity-type":"item","numeric-id":3953758,"id":"Q3953758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778733$A9BD208E-43BD-4C5D-AD90-25A9972B3E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bce1e4d6c0c00ce1a3aa2339cb2ae66a69d3cd","datavalue":{"value":{"entity-type":"item","numeric-id":3669392,"id":"Q3669392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778733$0FA4FDD2-231F-4231-8AA4-49A4013B89AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3570b3f5f110906e70e74fb4db2efff35a52a831","datavalue":{"value":{"entity-type":"item","numeric-id":4225446,"id":"Q4225446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778733$778EF96A-E606-4470-907E-55A6882B3440","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ba52cbc858fc0820471c904237faf94b9ddc1c","datavalue":{"value":{"entity-type":"item","numeric-id":4392088,"id":"Q4392088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5e78eda8ad5442d7f89e8315e311a799033edb","datavalue":{"value":{"amount":"+0.794022262096405","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":"Q3778733$350099C6-B31B-46F7-B7CC-867FD0E5A3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842bf5733397ca81dabe539dbb395cfdf09cc101","datavalue":{"value":{"entity-type":"item","numeric-id":4696878,"id":"Q4696878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361db9cfb950827bb72fe6133cebd0ba2ca31c82","datavalue":{"value":{"amount":"+0.7776841521263123","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":"Q3778733$B84B99C2-0317-459B-85FF-B955E5C36CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"713f23015ce7e6f807071d2a45f45b1070dc74d5","datavalue":{"value":{"entity-type":"item","numeric-id":3727974,"id":"Q3727974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eade912be70a05240d40d11571b916f9670a0383","datavalue":{"value":{"amount":"+0.7704283595085144","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":"Q3778733$6AE92A67-C75E-4FB8-9144-418D5B5FD558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476a4da692285b30f139f280fbd36d9d6aa9b1e0","datavalue":{"value":{"entity-type":"item","numeric-id":4388642,"id":"Q4388642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ba1dd8cb7b6df9d25d7bc0660f5e6e91118b84","datavalue":{"value":{"amount":"+0.753715455532074","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":"Q3778733$F02633F8-E3BA-414F-AC38-04566E4B0093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532645c75795e09264f4a4f0bc2ff92e58251b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4245015,"id":"Q4245015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6a13b96a347860d03b3edd94f18bed82e92ec5","datavalue":{"value":{"amount":"+0.7536470890045166","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":"Q3778733$CA43CE55-EEB7-4F7B-BC6E-ADCEF13A1BC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3778733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3778733"}}}}}