{"entities":{"Q5718700":{"pageid":7748254,"ns":120,"title":"Item:Q5718700","lastrevid":48632155,"modified":"2026-01-05T10:58:56Z","type":"item","id":"Q5718700","labels":{"en":{"language":"en","value":"Products of \u2018transitive\u201d modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247457"}},"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":"Q5718700$7B18DCF0-D0DC-4E4B-8CF5-4B17C5184790","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"129dbd4682de1ced8c6767972fec75343ca17501","datavalue":{"value":{"text":"Products of \u2018transitive\u201d modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5718700$CC36FCDD-E5E0-4D5F-8E9D-C613213F5ECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee659e8edb579a2b010cbdca584099f8bf233511","datavalue":{"value":"1103.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718700$AACC1D6B-2F9C-42C2-B381-4B1533D833DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51080bac8ea45a0b63cd706511bc71e96db8880a","datavalue":{"value":{"entity-type":"item","numeric-id":284228,"id":"Q284228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$DD8CE950-AF42-4F41-BA74-AB9C7BD570EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$BD7F618D-5D2A-4594-A4FC-B11D9A11300A","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":"Q5718700$2DC3882B-2AF0-40EA-B5EC-A77BD221AFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$54EACAAF-CD2C-4465-8945-B824560C09F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$065A2E63-94DD-4EB8-8A2A-45A01F4AAEAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718700$630BD543-6D5B-4A60-9A1D-81ED4D4CA5EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718700$D7896E72-D920-4B11-8895-9F3DBE9260BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718700$1D86D013-0D3F-4405-B09B-7AFFBFDC3351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2e65225f27a50d3880a6917e1c0ee33bb41322c","datavalue":{"value":"2247457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718700$1C3B56FB-5A74-4328-838D-A4521A34D560","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8bdff5064b2bf2d8c06bd18d53c4b86496c07","datavalue":{"value":"product of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718700$8D800929-D968-4338-866C-1F569AFD40E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718700$182A1F17-E06F-4ABD-A731-CD1A7DE8C1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718700$8BC1BCF1-209F-4138-B8BD-9908EDC5F85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718700$C63A06A2-A1EC-4E5F-9C2C-8C00CCC60B9D","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":"Q5718700$42B19F52-71FD-45E0-9B35-29A9EC1D433F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b34765dfd8a4a5ea31155314fbb0c16776759e6f","datavalue":{"value":"https://doi.org/10.2178/jsl/1122038925","type":"string"},"datatype":"url"},"type":"statement","id":"Q5718700$57C5B9BA-FD4E-468F-A5E6-B7A743820921","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85d3298714d9b56b003fd47871b8472e531ccbb7","datavalue":{"value":"W2124576280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718700$6A0CAF49-B1D3-4FA9-A50B-817059F6F4F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b31019a982fde4c7b9e6983fed3e0fc1a130b2","datavalue":{"value":{"entity-type":"item","numeric-id":4323828,"id":"Q4323828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$AE219747-902D-4446-A61E-3DC03253C2C3","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":"Q5718700$2DAF6EFD-1584-4DE4-A5AA-409AF69C1D30","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":"Q5718700$3E5E4A52-3FEF-455C-9670-8BA3CFA424CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aed37bf404ae92b30e992c284e7f49a8678057a","datavalue":{"value":{"entity-type":"item","numeric-id":4077979,"id":"Q4077979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$6D7FD312-D5A9-4687-9349-37A01B7B173F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570f9bb6e8727d3e369d07dcbff78755f5d7d468","datavalue":{"value":{"entity-type":"item","numeric-id":4868227,"id":"Q4868227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$A2035BE7-324C-44CD-9999-A6640E8B1B5B","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":"Q5718700$F0CEA47C-EA91-4CEF-A142-19F4C8F8C83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae402495081f71687673aa90b26969eeb53d4e38","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$BF7261FB-3F76-410A-86A3-1F084E4EF929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255b3664dfea16cc525f06c300cbfcffb9568d97","datavalue":{"value":{"entity-type":"item","numeric-id":1130239,"id":"Q1130239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$B54F0A8A-7F99-4831-93B1-64F48024E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078a468078356fd07f0368352f90217554f2d83","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$BE6ADD60-43C3-450C-84F2-16FB6BBDEF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f46d9846e353f1864b8f4998338323af75f599d","datavalue":{"value":{"entity-type":"item","numeric-id":4943504,"id":"Q4943504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$E7C1A94B-7A01-48E9-A8DC-E17F7E99B10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0a5724d871d6aacdb8719c1c5c9b348d44d3a2","datavalue":{"value":{"entity-type":"item","numeric-id":1863831,"id":"Q1863831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$551618E0-DADF-481F-A3D4-A6B03786BC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef377be609bdf17409a180b5b277bb12cc1abded","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$452A8E5E-732F-4F80-A2FF-BDE5A17EF3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$3A38BEA1-0C0D-45A4-9DDF-C71F9858F8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$2C355099-EDF2-4251-BFCD-D0E46CA7A2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f224dd81b1eee77eeae2d4c4a268e371640fc1b6","datavalue":{"value":{"entity-type":"item","numeric-id":1863827,"id":"Q1863827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718700$AFA36ECD-FB37-44DA-9C07-968E10FE9320","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":"Q5718700$FB74A78B-D77B-411A-9AFB-E54FED1E9D02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c45cde9b48d95ad927bda784e44cd0863f661bf","datavalue":{"value":"10.2178/JSL/1122038925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718700$D63C593B-7CFF-4C9C-A8EE-5890E8CC53AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315e8a688e407b719c245ad8bfaf0b92243d2f87","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa88783bb38bc99cc202140f42764f98c17008d","datavalue":{"value":{"amount":"+0.862523078918457","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":"Q5718700$7467EDAC-0B41-4581-8697-08C4D147F381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab363b7c791b644d398fd1902a1b6cd9f6fcc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1863827,"id":"Q1863827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f80e03b11dc5584d6d7e2debeaf088430a44a05","datavalue":{"value":{"amount":"+0.8393927812576294","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":"Q5718700$DA69F617-970F-4CCC-9B8F-822D5D9F8455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c96562e656c1a034e8f827509017a5bafc9aff9","datavalue":{"value":{"entity-type":"item","numeric-id":4430402,"id":"Q4430402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b9971a283a755837d3ae48d13a589ada659da4","datavalue":{"value":{"amount":"+0.8393927216529846","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":"Q5718700$80B20DB8-58D4-45F7-BF2A-56374DB872E8","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":"57c287c359084d096ad3a0ce4df84c26d778f557","datavalue":{"value":{"amount":"+0.8339305520057678","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":"Q5718700$107E0AB0-5908-4823-884E-91C6FB43DD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a184427fa93a25c4f36745084c18abaec526131c","datavalue":{"value":{"entity-type":"item","numeric-id":4242586,"id":"Q4242586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf6ebd8b7220340767557462060a08409cc68dd","datavalue":{"value":{"amount":"+0.8327284455299377","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":"Q5718700$B12F956B-AF06-422D-A80E-09B664F7F528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5718700"}}}}}