{"entities":{"Q2446552":{"pageid":2457295,"ns":120,"title":"Item:Q2446552","lastrevid":73181196,"modified":"2026-04-14T14:52:39Z","type":"item","id":"Q2446552","labels":{"en":{"language":"en","value":"Preservation of Craig interpolation by the product of matrix logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286560"}},"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":"Q2446552$2C3EB12C-5DE5-4532-B34C-C607552FEE6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83ccf2db0af64a63166a503a2c0f55b725658a9e","datavalue":{"value":{"text":"Preservation of Craig interpolation by the product of matrix logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2446552$D92DA867-7F0C-4620-86DE-4429A64FBC5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a715f9570adc76430d75a6b0b95caf4b1631cfc","datavalue":{"value":"1284.03214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446552$0D313756-4B77-4843-94AC-7F1A16AE4930","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$F42EB6CE-61E8-4411-A116-C7C6F86D30E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"917fada71637274496414c0db1f1ea24808cf8dd","datavalue":{"value":{"time":"+2014-04-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":"Q2446552$2D679166-C63A-4AD4-9316-031BED2EE561","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446552$0A31C2C5-5909-488E-ACDF-397A91E3B9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446552$CC2BF133-DCAE-49CF-830B-FDE160BF2B83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10659e092e781d212e2ced0132d4fb9df7c33461","datavalue":{"value":"6286560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446552$1C611524-05AA-4B9C-BCC1-04F65C97BBC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446552$AB239ECA-4305-4AA3-9138-EA77EFE2DF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebeb23c62c94fea27126b416e04594b40c537ac","datavalue":{"value":"matrix semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446552$CBA8062A-F018-432C-A649-E378E1E9BB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34946d38b6d4e8e0bb672043f1a8c7dd59505b9","datavalue":{"value":"matrix-logic product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446552$1070448E-676F-4F5F-B5B9-F410A1C6AF10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$45E0CFEC-DF4F-49E2-96D2-72A049B92361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$83FDE9AD-40F6-4EFE-BCA7-C08D497722B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$2DB2F1B1-1988-4864-90A9-A202F223E89A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$1515D730-340B-40C1-A1A0-4117FFDB151D","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":"Q2446552$5A8A13FD-5163-4FF6-B12C-9DD1C564763C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e205b88a193cdf2071f6ab0672ff2f563e84307","datavalue":{"value":"https://doi.org/10.1016/j.jal.2013.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2446552$AB9E6231-84EF-4662-B4DD-EDF0B2C9F8BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4191e2d7a10b638621915fc1edc90e9c0cf19bee","datavalue":{"value":"W2041998373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446552$24A702BC-F67D-4AD6-985F-EB410FCEA559","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0d81bd04cbcac90d444fab9bf05a5c711e3acc","datavalue":{"value":{"entity-type":"item","numeric-id":4329232,"id":"Q4329232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$44276956-BC37-47C5-92E8-6441A48581E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"084688740ea4b7ca8c9361b02f6d35efb3e492c2","datavalue":{"value":{"entity-type":"item","numeric-id":2716926,"id":"Q2716926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$814F62A4-301C-411C-9143-D140973B5C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e862d1a6f619380d34894adfe6387f0d8dc887","datavalue":{"value":{"entity-type":"item","numeric-id":4885912,"id":"Q4885912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$138A1541-55EF-475D-AEC3-6C71FDD14DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff24e361b53aef6f52a1d215923737fa59423256","datavalue":{"value":{"entity-type":"item","numeric-id":5450571,"id":"Q5450571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$4CC975E0-6786-464D-A6A5-5AC30A2A9F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$6E31D26C-711F-4B4A-982F-F51285465F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639c40721d4ad9e8192f54d6b51a3c839e4356ff","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$CCEF1699-4487-40CE-BC4E-E5439D5B9F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$D9851E6C-3570-4273-A0EF-D9A7EFD50A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50688616cb8c5804567563d6b6a343507d93ec05","datavalue":{"value":{"entity-type":"item","numeric-id":2772907,"id":"Q2772907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$0535FC50-2A15-4B39-B527-B2780AE1B1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e746d596ec0a02ea78c508dbfd871837e35f1ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5641128,"id":"Q5641128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$18A9E0B7-3DAD-44D0-9822-0701CDB6F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$89E6C3DC-6A3B-4FEB-AFAC-637758C55810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04fdb5db726f65177aa89719ef9b8a8ed8b84","datavalue":{"value":{"entity-type":"item","numeric-id":3083215,"id":"Q3083215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$5EFBB9B3-6D8E-4431-916A-DB2BB068727E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131cc9ec9b6de3914a4746548c7d2f69bec3a59e","datavalue":{"value":{"entity-type":"item","numeric-id":5453494,"id":"Q5453494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$4335046C-6337-43C2-9F62-67C6B2254B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$591888F5-F5E4-4533-A36C-DEE2EC58D855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$FCD1DBD4-7753-4703-B6FE-BAB70E6550C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e9879f5b5e903161bdc07ac6ceab543a5ef93d","datavalue":{"value":{"entity-type":"item","numeric-id":5937819,"id":"Q5937819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$E8D7B719-D9E4-4FB1-B057-1C87D8059C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$580BA64D-2A29-43AE-83E8-4AD0DCD0CEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c305915d8f1c906ad7b257a37f348401df0107b1","datavalue":{"value":{"entity-type":"item","numeric-id":4930589,"id":"Q4930589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$5ADCF901-2BAF-4425-9C4D-6497316820B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd10b809cdfd26674cd25cafbf01bbf0dce8e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3724312,"id":"Q3724312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$1F486AE3-3F65-4D83-ADF0-73904F5E8D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98eb9fe99d3ceec4ce2dc9945404643b036eb624","datavalue":{"value":{"entity-type":"item","numeric-id":1073010,"id":"Q1073010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$5C98578A-5A34-4D61-9B63-3C14CBA1D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d8b22be8f2c50991d62486499aaf29936bce6","datavalue":{"value":{"entity-type":"item","numeric-id":4902315,"id":"Q4902315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$B5D3D1D8-F4AB-436A-B477-B732D0343AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04365e5f39c43785b7c266dab4729b03ad35b07","datavalue":{"value":{"entity-type":"item","numeric-id":689074,"id":"Q689074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446552$A17B12C0-62C0-4413-8129-578154D62DA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a9d03ebfa92bc05e1401af40709c6ba1775f0a","datavalue":{"value":"10.1016/J.JAL.2013.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446552$8553C161-427A-4422-9EB5-80FDAA7C1523","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91dc0a19254670d46962b06ec9e3b0dee6e8f70","datavalue":{"value":{"entity-type":"item","numeric-id":5450571,"id":"Q5450571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee15ac761d33c68edd79b2090f86d66c0c5b4814","datavalue":{"value":{"amount":"+0.7601373195648193","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":"Q2446552$B302692A-AC90-4C07-9401-F4EF0C764940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e388c54587366ee3fd43103da42eed5f38a1b2e","datavalue":{"value":{"entity-type":"item","numeric-id":3010362,"id":"Q3010362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fdaec806fdf5b132dd26e4c15140a40f52d80e","datavalue":{"value":{"amount":"+0.7427108287811279","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":"Q2446552$D90B47EF-187D-497C-A30D-A6449798D115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a4fe2a64aab5dc197a9ebb78d43f5a216089cc","datavalue":{"value":{"entity-type":"item","numeric-id":3144874,"id":"Q3144874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9864086d2355b5f336f6dc7b7467dc7a6424ddfb","datavalue":{"value":{"amount":"+0.7349427342414856","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":"Q2446552$E23E6CCE-8ECF-4903-956D-A2B6C53BE5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2bb8a32309e58a32c14007514f2c1539a356ea","datavalue":{"value":{"entity-type":"item","numeric-id":5277909,"id":"Q5277909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c320ba78bf6d6401fb5f5ed6443bae87c639855","datavalue":{"value":{"amount":"+0.7325584888458252","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":"Q2446552$5009163B-44EB-4AF8-A92C-2D329CAE898D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd32e53186f84257f24a104c32c262f36c543860","datavalue":{"value":{"entity-type":"item","numeric-id":4635596,"id":"Q4635596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867506c853c75536eeea4634febcf2ee837d592d","datavalue":{"value":{"amount":"+0.7307160496711731","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":"Q2446552$85D4C96B-1648-4B37-AC1B-31CD4363CB4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preservation of Craig interpolation by the product of matrix logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preservation_of_Craig_interpolation_by_the_product_of_matrix_logics"}}}}}