{"entities":{"Q4795880":{"pageid":6825460,"ns":120,"title":"Item:Q4795880","lastrevid":74652129,"modified":"2026-04-14T23:46:03Z","type":"item","id":"Q4795880","labels":{"en":{"language":"en","value":"Polymodal Logics of Commuting Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1874429"}},"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":"Q4795880$B8B61D6C-7132-48E4-AFED-DD0D1F0E6CDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bd5f22d5428890cd0bc20ca04776f608d4fef00","datavalue":{"value":{"text":"Polymodal Logics of Commuting Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4795880$8A0DF781-F940-40E9-A026-E3BB845FB6C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5740ba15dcf7cb7af034e77c7c99e35f432a6f9a","datavalue":{"value":"1034.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795880$F63575A4-DFE3-4E81-9D8C-04578FD99FF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8092a505377f49b9494e7fac2203770b194c2926","datavalue":{"value":{"entity-type":"item","numeric-id":2455085,"id":"Q2455085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795880$55C39B2C-E5C2-4EE2-9557-6A4677058C30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4795880$74D1AF6C-9F28-4AD8-8071-2E0BD4302DDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795880$311072AB-562A-4300-A7A3-3510D954799C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ea9283e4c93bfa64c3664967b6e1c48c681e6ae","datavalue":{"value":"1874429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795880$BB135723-4AD4-41AC-B767-C80C1A660A21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514a6f0fd6bed3b176ce99150c7d5d6340733445","datavalue":{"value":"polymodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795880$15B2A129-EF7A-429D-A083-EFC7A056C3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8bdff5064b2bf2d8c06bd18d53c4b86496c07","datavalue":{"value":"product of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795880$ACD33D89-E671-4C38-B1FD-11BB71AAB5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dec3301dc007cfa206cb98d9ec78b5424df6a11","datavalue":{"value":"functional modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795880$A5AC74F2-DB05-4F4F-953C-3068CC93D43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0953b06c22481323ecf358b1a7ecb60739346697","datavalue":{"value":"tomorrow-yesterday logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795880$12FBFBA8-C150-4976-861F-843B765291C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5486a8aa9be778f4f413dbce1a1004603970c6e7","datavalue":{"value":"commuting modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795880$0262070D-E873-4FA1-BBCB-BAE74EB37C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795880$E420411B-8A69-4FF5-8F8C-C98DFB544068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7f05ebf8982f9257f4e6af7a1aa3806049644f","datavalue":{"value":"finitely axiomatisable extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795880$23CAD002-7037-43C1-9A6D-17373109AA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672de12b698776e1fd7ad0beee69d3b0edb45e2b","datavalue":{"value":"pretabularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795880$56C0A4A4-6FDB-4818-93D9-D0227A4A06C1","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":"Q4795880$00171BC3-D18C-40D3-B611-71FCED3AE4B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2e9a21ba247b825b08f5d2febeb933fbd38edfd","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.5.517","type":"string"},"datatype":"url"},"type":"statement","id":"Q4795880$013AB097-4138-44C3-90C8-DDB2EB073C9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ba4184dd8af91f67b216c1125a31b77e6a85ff3","datavalue":{"value":"W2030844921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795880$3A899415-0C95-4222-B3FE-D4AAE3E26774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d10cc90ed2884cc08bb3539bd0e2dc05158a3298","datavalue":{"value":"10.1093/JIGPAL/10.5.517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795880$ABE129C4-94E4-42E7-9B5E-72FF4013ABC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795880$4393FEDD-1644-41CA-BB2B-333B22C3D067","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf284589b26a124497364c00b7d726bd5f44d999","datavalue":{"value":{"entity-type":"item","numeric-id":4820959,"id":"Q4820959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7e731511f078cb97e7014b48358bb02d4bc6fb","datavalue":{"value":{"amount":"+0.8210904598236084","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":"Q4795880$7063791B-58A5-4B5E-8BC1-B4913C0263FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ff7da38d730d56089900ea34dfb1b06f8a6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4361651,"id":"Q4361651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b91ad4daf10357c17e1f68fae82a8500377e2e8","datavalue":{"value":{"amount":"+0.7845870852470398","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":"Q4795880$A3EC7749-1EA7-43DA-B473-A47D5F77B70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66267b116e4fcb9fd4df62982c13e8d374e2d413","datavalue":{"value":{"entity-type":"item","numeric-id":2455086,"id":"Q2455086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744c4664deb1d5b3661a43eba845918ffb86b6ec","datavalue":{"value":{"amount":"+0.7694194316864014","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":"Q4795880$31467125-B402-4740-A17A-E69E654318BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2498523d0de4815ff51869296d2b90f9ccae396","datavalue":{"value":{"entity-type":"item","numeric-id":1403342,"id":"Q1403342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9d3f6b214d9276cf09c7dce6fbeb5ca064ae3f","datavalue":{"value":{"amount":"+0.7665226459503174","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":"Q4795880$8AF70328-DDF3-421B-B684-E751E83C125E","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":"da9d3f6b214d9276cf09c7dce6fbeb5ca064ae3f","datavalue":{"value":{"amount":"+0.7665226459503174","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":"Q4795880$48084C44-835E-4040-94AF-E203EB24AAE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polymodal Logics of Commuting Functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polymodal_Logics_of_Commuting_Functions"}}}}}