{"entities":{"Q2304538":{"pageid":2315281,"ns":120,"title":"Item:Q2304538","lastrevid":73897824,"modified":"2026-04-14T17:39:42Z","type":"item","id":"Q2304538","labels":{"en":{"language":"en","value":"Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7179725"}},"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":"Q2304538$A97D0DB5-9D9C-4EDB-A988-62B8F5019221","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07323151a92c64e21084ad58fd8f913bbe47f6ab","datavalue":{"value":{"text":"Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2304538$A1D06FF5-B0CF-415E-AD61-FFFEF565EB29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca5328d6dfd0d6812bc3426851ae432f7d645d0f","datavalue":{"value":"1442.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304538$56B46F55-DCBE-46E8-A5A2-31F15DA356E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"addcf6d44783d1bc7ae5a6ba955d62602d552548","datavalue":{"value":{"entity-type":"item","numeric-id":295917,"id":"Q295917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$B05E1C1C-1E24-441E-9832-E6C0795A4A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e4828bf168d1e433dc18f8b8948100e5dbc271","datavalue":{"value":{"entity-type":"item","numeric-id":497428,"id":"Q497428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$1D9046F9-53B1-4901-87DE-409CAB50808F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5649821b73b09feb4e8f8dde28ee137e2a55549","datavalue":{"value":{"entity-type":"item","numeric-id":1006484,"id":"Q1006484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$F43B75A0-C234-4AB3-8DD7-6344BF1F908B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e113ce386cac873d0ff11625736ab0f6b4a20e5","datavalue":{"value":{"entity-type":"item","numeric-id":1682297,"id":"Q1682297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$D78B2871-250E-44B9-8088-BA8E61E46E7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$19861A7A-3DDE-4CC9-98AB-70E85D661246","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3ddeab2841725759b2e820b7ea1589750ac80ae","datavalue":{"value":{"time":"+2020-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2304538$2DA8A783-D5A2-47C7-9C17-3BD5566AC8AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9fd148b79e56136b283704dd901933295d3c4c8","datavalue":{"value":"https://arxiv.org/abs/1905.09536","type":"string"},"datatype":"url"},"type":"statement","id":"Q2304538$B8416149-ADC2-4360-85A8-0A4D0CB7298F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7e72ff50f84636df6069e37f7fe4ca0acf777b6","datavalue":{"value":"The paper is concerned with modal products of a modal logic with the finitely axiomatizable logic \\(\\mathbf{Diff} \\subseteq \\mathbf{S5}\\), where \\(\\mathbf{Diff}\\) is a logic introduced by Von Wright as the set of unimodal formulas that are valid in all difference frames, that is, in frames \\((W, \\neq_W )\\), where \\(\\neq_W \\) is the non-equality relation on some non-empty set \\(W\\). It is known that \\(\\mathbf{Diff}\\) can be axiomatized by the Sahlqvist formulas. In particular, the following theorems have been proven.  Theorem 1. For any Kripke complete logic \\(L\\) with \\(\\mathbf{K} \\subseteq L \\subseteq \\mathbf{S5}\\), \\(L \\times \\mathbf{Diff}\\) is not axiomatizable using finitely many propositional variables. Thus, \\(\\mathbf{Diff} \\times \\mathbf{Diff}\\) is not finitely axiomatizable.  Theorem 2. \\(\\mathbf{Diff} \\times^{\\mathrm{sq}} \\mathbf{Diff}\\) is not axiomatizable over \\(\\mathbf{Diff} \\times \\mathbf{Diff}\\) using finitely many propositional variables.  Theorem 3.  \\begin{itemize} \\item[(i)] There is an infinite axiomatization for \\(\\mathbf{Diff} \\times \\mathbf{Diff}\\) consisting of Sahlqvist formulas. \\item[(ii)] The class of all frames for \\(\\mathbf{Diff} \\times \\mathbf{Diff}\\) is elementary. \\item[(iii)] For every countable rooted frame \\(\\mathfrak{F}\\), \\(\\mathfrak{F}\\) is a frame for \\(\\mathbf{Diff} \\times \\mathbf{Diff}\\) iff \\(\\mathfrak{F}\\) is a p-morphic image of some product of two difference frames. \\end{itemize}  Theorem 4. \\begin{itemize} \\item[(i)] \\(\\mathbf{Diff}\\times^{\\mathrm{sq}} \\mathbf{Diff}\\) can be axiomatized by adding infinitely many generalized Sahlqvist formulas to \\(\\mathbf{Diff}\\times \\mathbf{Diff}\\). \\item[(ii)] The class of all frames for \\(\\mathbf{Diff}\\times^{\\mathrm{sq}} \\mathbf{Diff}\\) is elementary. \\item[(iii)] For every countable rooted frame \\(\\mathfrak{F}\\), \\(\\mathfrak{F}\\) is a frame for \\(\\mathbf{Diff}\\times^{sq} \\mathbf{Diff}\\) iff \\(\\mathfrak{F}\\) is a p-morphic image of some product of two difference frames of the same size. \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304538$4F5D39C5-1F29-4DCA-B0FE-BF864C69B025","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$1F6D0666-63AA-4201-80AE-84B6E9DA82BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304538$4F8200D5-EB44-4127-9A93-12D9464CC21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304538$1FA514F4-196A-4A8B-A0E0-689CB1165210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a75293b735471680958a95eec8610c7cbcb9c8a8","datavalue":{"value":"7179725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304538$60BEF6CF-7D88-431C-9B13-7ACB0E3A176F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e97315ad5b66228e5a7bdc4c765a681216d8c1","datavalue":{"value":"products of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304538$6FD4CB76-855A-41F3-A780-00143B0C0A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c630d9596a8df8e541d240569385d39c1464575","datavalue":{"value":"non-finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304538$92C67E4A-303D-4954-926E-8F1B16452851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"939d14d2da47db8b5335c118dbdd1fe3fc39a75c","datavalue":{"value":"canonical and Sahlqvist axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304538$07EF0FFC-0B32-4824-895F-7ABCE61DBB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304538$AFFA822E-F57A-4ACD-BC02-F1146DA0981F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a12410b34b2e367b853a5ab2f8cdcd23f01b530a","datavalue":{"value":"elsewhere quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304538$DEC5145E-F4ED-4CD4-AD32-BAD0036713CB","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":"Q2304538$BE3B592F-093E-4E62-AC3B-31D676E8B14C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"490836f4936e506b9acb4fabb099f017b71f3cbb","datavalue":{"value":"W3004134876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304538$C812D78B-BAEF-412B-BD0B-CC838CDF3DEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e2c5246172b5aa8717d5936f7b97d7076bc110","datavalue":{"value":{"entity-type":"item","numeric-id":3941433,"id":"Q3941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$7C644FC7-20CE-473B-BD6A-A880A1E161E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$562D8BB1-BD47-49EF-8AA0-E4D7CCB34F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cf70196c9b3bfac415e698b5218c37435b01f5","datavalue":{"value":{"entity-type":"item","numeric-id":387126,"id":"Q387126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$16E763CE-7D55-4285-96C8-B6728D6E6F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$32670E31-5121-4262-97B4-B2E31DB09BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$64447868-E3DE-4A11-BA16-BEEA6565E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$0F979B09-055D-4EA1-8758-349CD96934C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8348488a9fc93209ce7997d4ddfc3cd10fc3b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1065786,"id":"Q1065786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$2FA28782-BF84-4625-8485-4CE09C685AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$92E3294E-A4F5-4E51-A1D2-BDE949071298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$FD7129D0-5E03-49EE-B0A8-04CB55EF7DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$F64557F7-DB75-4AE4-927C-96B39C02CEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$9F377F3B-CAD2-413A-BE23-47EAE8F9469E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$1BAE579D-1CC5-4963-A875-D25840D4D0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$96B6AFC9-CD9F-4695-9F29-B3F8C92D120C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a04e3553b191b8cd2368a3c4d1e864097608f5","datavalue":{"value":{"entity-type":"item","numeric-id":3629226,"id":"Q3629226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$E501B67E-7212-4C8A-AE40-2A7D4D9DBF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$4AFD62CD-CC43-4D46-8452-B0546C8C1F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$DD35022D-F737-4CB9-BE64-DD8E1CFF3DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$62D9CC0C-412D-432A-840E-88130796DDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f464bd83d76ad46f861be39216b7715bd765f61c","datavalue":{"value":{"entity-type":"item","numeric-id":4372908,"id":"Q4372908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$E81239CF-62AF-4BC6-8603-B5D51759BCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f449e14cea3fde54855232bd77d36f426ede0f","datavalue":{"value":{"entity-type":"item","numeric-id":4338323,"id":"Q4338323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$C217C8CB-B78F-405E-963E-9B511996C2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$4C58F23E-4CB8-42CC-B07E-40F66AE60A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc0603c1d66c002eb837db8498386dfe23dfc13","datavalue":{"value":{"entity-type":"item","numeric-id":3399179,"id":"Q3399179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$7D4B374C-7BB0-418F-9C29-8C51CC7425B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e2e685ff91daf374637bf6479502e645e02ba","datavalue":{"value":{"entity-type":"item","numeric-id":2372681,"id":"Q2372681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$F3B80E89-C0BD-422E-A29F-BCB48DC9CD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c80b431acba65866ad5b5427c1ce034f57547e","datavalue":{"value":{"entity-type":"item","numeric-id":5461397,"id":"Q5461397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$27538151-9C99-439C-A85B-4D1343E68F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102e38016609e661e0945a30e5f58a9984c36801","datavalue":{"value":{"entity-type":"item","numeric-id":5571689,"id":"Q5571689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$F6697E3A-EBE3-4B31-B73F-E202F7A0F1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$5E8579C4-5656-4C57-BA17-88AFCA0E71BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8c07293f293572dea82037517d02b04591a29f","datavalue":{"value":{"entity-type":"item","numeric-id":3647298,"id":"Q3647298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$EC536812-B081-46D0-B621-9A97C7B200DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2d130cdab3d26a1276fbdceddd01c48bf01c7","datavalue":{"value":{"entity-type":"item","numeric-id":497429,"id":"Q497429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$04AA6538-9AF0-44D3-B6A1-F263C3D2F75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$7E83171A-B273-4E1A-A988-9D2D60F351FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18542495a38c87b76cea1b044fedbee4bc0cb975","datavalue":{"value":{"entity-type":"item","numeric-id":5419891,"id":"Q5419891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$95B7458B-2A4A-4A31-B28A-B05D531A124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1f0d33d6f18eb929b8aee72c47cdbce8d692a5","datavalue":{"value":{"entity-type":"item","numeric-id":2904058,"id":"Q2904058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$EA3A8DB5-2677-4619-81D0-CA32BEB49463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7177255d26437ec10cade8f8d4c273af6b8de29e","datavalue":{"value":{"entity-type":"item","numeric-id":2915901,"id":"Q2915901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$DB6C675D-B9DC-48A5-94E7-64EA60AC31A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$EDF77420-30BA-48A5-A92F-CDC7DB913841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb80ac428a21d1fb92b1634b44199337fe9124d9","datavalue":{"value":{"entity-type":"item","numeric-id":4511601,"id":"Q4511601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$D72D248B-614B-438E-A358-555BDEAE6E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29cac0f07e33291d0529245afbf79c4094ee1d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4931588,"id":"Q4931588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$90A8E457-29C1-41D7-BA21-54C4143AA919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e691e8eb811c2ba36c1f70ebcbc9befbd60c1c58","datavalue":{"value":{"entity-type":"item","numeric-id":4011730,"id":"Q4011730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$B5AADB77-9618-4CCF-99FE-069B7A47AD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$3CAA5B6A-96BD-45D6-A544-A1496E72626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$54F444AC-7F4C-4C09-A002-095F034A7133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7d6a839b422e5e524b62076efda584b3370329","datavalue":{"value":{"entity-type":"item","numeric-id":5906166,"id":"Q5906166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304538$30109F33-BB17-4216-9DF1-CE1FF3A3127D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f3bc234b6171a58e442bb567fe88ff19e8c6cda","datavalue":{"value":"10.1016/J.APAL.2020.102786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304538$D70E12CF-02B3-4990-8A13-873DBAC17B0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7ae6e9dec47858e9c1ceb6119b4027e7b90fb","datavalue":{"value":{"entity-type":"item","numeric-id":3085168,"id":"Q3085168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fade700eed269f9f8b30195e36307bd3ca477f72","datavalue":{"value":{"amount":"+0.84201979637146","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":"Q2304538$07AA87DD-FF81-46FD-A9BE-55796AB94577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e4095fd2f8671743c45ba21a1f16d5aeda902","datavalue":{"value":{"entity-type":"item","numeric-id":2915901,"id":"Q2915901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262db9ba2faa196e00bd1a6337bdc9fcaabdd20c","datavalue":{"value":{"amount":"+0.8317974805831909","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":"Q2304538$214B4914-A79D-40AA-94BA-14636889D3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95534a014d834799deac2107f757923e02f2f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508270,"id":"Q4508270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cacb9e9c2591f5390edc3c34b8b4bccaa2ce37","datavalue":{"value":{"amount":"+0.8212923407554626","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":"Q2304538$812A9963-2281-48EC-BD8A-0F6E527643BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4316f70ed08240dbbba98f43b9edb255f9fa9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264ab78983bdd7416e99d18af4939eeb59ae5d03","datavalue":{"value":{"amount":"+0.8134649991989136","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":"Q2304538$C8DBE17F-4CD0-4180-9DE7-A38B0FBC6472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3463f4012707b2ea94492366846098f2b4fef8","datavalue":{"value":{"entity-type":"item","numeric-id":5419887,"id":"Q5419887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415d04be188af77dd084d4b315036f7478a80039","datavalue":{"value":{"amount":"+0.8109915256500244","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":"Q2304538$8AE267E2-725D-496F-8818-EA0487377CFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-finitely_axiomatisable_modal_product_logics_with_infinite_canonical_axiomatisations"}}}}}