{"entities":{"Q3145920":{"pageid":3156636,"ns":120,"title":"Item:Q3145920","lastrevid":51613808,"modified":"2026-01-19T02:02:54Z","type":"item","id":"Q3145920","labels":{"en":{"language":"en","value":"Squares of modal logics with additional connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116064"}},"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":"Q3145920$8102E519-8CC5-47F6-9D46-A65887911806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b8e616c03956a6e47e4421c6970128cb16e06ef","datavalue":{"value":{"text":"Squares of modal logics with additional connectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145920$5B08684D-9016-4305-9EB4-9EBAD4C08D34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf46f62138fd2bef1d89f93647b13fbe48719407","datavalue":{"value":"1270.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145920$909CCA3C-269B-4C9B-B08E-BACADD6A2CAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145920$60C6CC19-5B94-421B-AAFF-3D8EFD59AFE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145920$3950C4F7-3446-42E3-AD3C-5AEAF2CB77F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-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":"Q3145920$6507B06B-33C8-4078-AD1B-48F8E51E4C2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145920$4960D153-7FBF-4388-AD83-1EE922E4CFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145920$3EE39ECB-D51E-4190-840E-610963C309AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145920$36AA1FC9-C0A7-4DFF-A35B-D15DD92D1500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"171f0d890d32ac03ca80269991a227c1d3285d93","datavalue":{"value":"6116064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145920$84079889-213A-4046-A6AF-CB53417E347E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8bdff5064b2bf2d8c06bd18d53c4b86496c07","datavalue":{"value":"product of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$51BE2908-83B6-4976-8C7A-95254A0EB2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"029aa419152589a9797c52d4721405c99a5206e2","datavalue":{"value":"Segerberg square","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$A1EE6F49-04F9-4262-97FD-C7C4E7D33AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$1C01DBC7-ED2C-4140-900B-3F67CCEF12D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$A561FD9E-7BFF-469B-A943-A7FC5DE1EFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a057deffdc732dd5e6e72c2451b0393c916709bd","datavalue":{"value":"filtration method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$56D3F55E-482B-4DBD-813A-ED9F2A09F1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$9ED08859-A526-4C5B-A6AF-57E111356965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25381d82d9cfe8dc9597866c263d6d0bc21733dc","datavalue":{"value":"Entscheidungsproblem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$09992424-B7A1-4C24-A57F-38E6A9686498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7e980526a7a726c0e2e8e1124a30a615e2deb6","datavalue":{"value":"two-dimensional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$CF733510-0C3A-464C-AFEB-5B0F0FF2FE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145920$8C4CC9A7-F808-4713-839E-AE6391DDE88A","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":"Q3145920$377CF615-33F0-4205-A57F-D61F4C9A1463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"488ef82ab4c92248b22e0aedab8daf8891acc371","datavalue":{"value":"10.1070/RM2012V067N04ABEH004805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145920$2A5984B8-C623-4115-B67F-D55C243CE613","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be94cdb4ec8125aa4e75d5c922b280600abe14f","datavalue":{"value":{"entity-type":"item","numeric-id":2510775,"id":"Q2510775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c94e78a6a76305ba9e008deb9c9b69a0e42ed1","datavalue":{"value":{"amount":"+0.9773498773574828","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":"Q3145920$E14937B8-F8C0-4C41-AF74-8963D9BA6309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd23f42b933d7ec98b7d83dea77dc89aa7400a5a","datavalue":{"value":{"entity-type":"item","numeric-id":5214740,"id":"Q5214740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e372fe9954237ebd8bac5da9437fc13589dd3f6","datavalue":{"value":{"amount":"+0.8856711387634277","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":"Q3145920$215E3655-1AC0-4126-BC19-67CB0265C462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680b0c8f710617ad910a5146eaf000614fa78954","datavalue":{"value":{"entity-type":"item","numeric-id":650277,"id":"Q650277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b0be182f6dff6c2d15574c81ba2705345bfd5f","datavalue":{"value":{"amount":"+0.8172181248664856","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":"Q3145920$E4D0E1C7-3F8E-4970-BC22-90D7B334E73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34775d7d476efed674079896d666e6ddefe14511","datavalue":{"value":{"entity-type":"item","numeric-id":1902558,"id":"Q1902558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b70bfebf6209ff1417ad3e3e8446c09018a9a0","datavalue":{"value":{"amount":"+0.7623129487037659","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":"Q3145920$BFF90683-515C-4F0B-9694-2DA189DB5E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373aa242b4c8d5bb210407ce1ac3c1f6950c0671","datavalue":{"value":{"entity-type":"item","numeric-id":4952023,"id":"Q4952023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0699a36602c53c606c5dfc628994bea6870cc92","datavalue":{"value":{"amount":"+0.7548956871032715","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":"Q3145920$0BBB04A0-A66C-48A9-AC14-37C26F48E87B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145920"}}}}}