{"entities":{"Q3655198":{"pageid":5685104,"ns":120,"title":"Item:Q3655198","lastrevid":49826209,"modified":"2026-01-11T02:31:51Z","type":"item","id":"Q3655198","labels":{"en":{"language":"en","value":"Axiomatization and Completeness of Lexicographic Products of Modal Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654237"}},"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":"Q3655198$F32F3398-2B15-454A-97F9-2989B1165A5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8ba4173b9198ecb203b852ea2c9381b74178b6c","datavalue":{"value":{"text":"Axiomatization and Completeness of Lexicographic Products of Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655198$08E7F086-8D88-48CD-A658-C0EED9DD48CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e04facb5d52f9658419ae0e5b8c1f0f911e73f8b","datavalue":{"value":"1193.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655198$F5E82E38-49EA-4E06-81A3-35913E70D8E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fc38c0cb17e12a74b46fccff7a6543536db7690","datavalue":{"value":"10.1007/978-3-642-04222-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655198$6533F293-6393-41D9-B80B-8615A2EC809F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$B85EC404-2FE4-4E29-89A4-0C6903446DE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$605B80D1-AC24-418E-818F-BCF81CFC8A7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655198$D5EE9488-7BC6-4FB5-BFD4-E2AC357C4375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655198$2CD63DA0-30CC-4956-81A9-0D7FACC266A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655198$EF3269A5-ED91-43C6-9156-B7F24E761579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff4b89b746cbc05c52ca973a86bb2a0ac5b57093","datavalue":{"value":"5654237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655198$98385B10-57A2-4346-912B-11986E85A692","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655198$28FA700E-3B81-4D27-92AB-C4A37F14FC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"200b0f187ad1b101c5ee111f093a447fdd14368b","datavalue":{"value":"lexicographic product","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655198$35CCDBA2-4AD8-44D8-8A42-54E16F49B823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b85c221691a7d90700e13382d7ef7979ab091f","datavalue":{"value":"axiomatization/completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655198$A5B268CA-5598-400F-BC82-7CF530FF4290","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":"Q3655198$E4F6030F-B763-45CD-8DC4-CB14CFBFF4C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df829db040496fae8bc603f72282762f134566fd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04222-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655198$DA38DD4D-DBAA-4C4E-A27D-386DB81869DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38b0dc143f1f1833a6320630129eca1243bab5b9","datavalue":{"value":"W1540385650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655198$A415E33E-2022-42CC-BACF-021F31DB7256","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"449217786e5bf8995da73e61e79b998eb3401a79","datavalue":{"value":{"entity-type":"item","numeric-id":2901209,"id":"Q2901209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$18ABD51D-8F78-48AA-A1E3-A0F550608D25","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":"Q3655198$C0F47F08-A90A-4122-83ED-C4E88C1D3B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$D2405A57-B48F-49D8-A270-4EBDD74ED6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$F2DA906B-0BC5-4397-96CB-127C4F031BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$5CCA84DA-57A7-405F-B207-203E5A4BD812","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":"Q3655198$5F89F30A-118B-47CC-8945-3BD25240C508","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":"Q3655198$5250E078-0640-4F01-AD81-B260082B3F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49786e968e9be66a475e1ef40df370a08a4031b1","datavalue":{"value":{"entity-type":"item","numeric-id":1815426,"id":"Q1815426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$AD45E99D-33E6-4904-9E79-BCC1229510B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$FE5D4A5A-4A5E-4689-B606-C162361B0B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4265f7d9bf08322ca753ba60b0421a7fd79af8e","datavalue":{"value":{"entity-type":"item","numeric-id":3927209,"id":"Q3927209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$9836A70C-9FD0-4088-A5E1-0BB05E796CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc609a3fa4e4dfcdb73d9d6f8570a5dc1eb983f7","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$004566E6-450E-4AE0-A489-9AC66DD8FCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd73cb946d6a0fb71a6220fb70a59f1086e7594e","datavalue":{"value":{"entity-type":"item","numeric-id":5692448,"id":"Q5692448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$8C7A396C-E57A-409A-8B6E-DB772CCB3B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdc4a99fd8407d29bdb36543e46b7a6340b17ee","datavalue":{"value":{"entity-type":"item","numeric-id":4255535,"id":"Q4255535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$BFD35976-9B5B-4998-90E8-72E85B525E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee07fcea414848149641cfae6cb148663a511b07","datavalue":{"value":{"entity-type":"item","numeric-id":4215611,"id":"Q4215611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655198$91EFB088-2040-4E8B-B5B9-B2FBD251AEDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655198"}}}}}