{"entities":{"Q5224573":{"pageid":7254142,"ns":120,"title":"Item:Q5224573","lastrevid":91627070,"modified":"2026-06-04T23:39:28Z","type":"item","id":"Q5224573","labels":{"en":{"language":"en","value":"The bimodal logic of commuting difference operators is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084839"}},"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":"Q5224573$4100D304-E924-42FA-97D5-1A82E747EB6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"631db760c7cb90387f3b5fac442ebb5676707e24","datavalue":{"value":"1418.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224573$2ECE7AC5-6758-4780-B239-8B57E1190CDC","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":"Q5224573$E81B7875-33A3-4777-ACCB-AD5E7356B9E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224573$F222F711-E225-4657-A6F5-964E2CD61E36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224573$69EF63DD-C070-48CA-9857-6A5DD8EF65F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224573$1F2D45CF-74BF-49BA-BA47-8D53D540DBC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a16b50f53ef7d457912b9f1ade56bd3e88741f88","datavalue":{"value":"7084839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224573$8DD573AC-7644-45AA-BCC1-5FE74F91770E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7e980526a7a726c0e2e8e1124a30a615e2deb6","datavalue":{"value":"two-dimensional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224573$6AE0CB48-2518-44EF-A357-54BB47E5C296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86da68f886ff5d8fc326fc7819b5c79d855754b","datavalue":{"value":"difference operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224573$AA72C40C-7682-48D4-84D2-B0D6D283D1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224573$6CCB6335-CE4D-4BFF-864B-0EF96E9ED82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524b83579c40a94e2b229635fd081b50d10399f9","datavalue":{"value":"commutator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224573$E90D4226-DFB6-4822-931D-C1009C0B8D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56648436bc69574babbc2ceb18fe05313ae543e","datavalue":{"value":"decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224573$E6372275-7C97-49C8-AF21-05E432E512C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fda2b6fd1a13f4b0454fa370e8ac9057e3323ff","datavalue":{"value":"fmp","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224573$BCEAF0B9-1AD9-428A-861B-29D4FBB2DD24","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":"Q5224573$C4E2EDD0-B21D-44D9-90C8-B0FE1ED1ACAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894a12f6797113df76a88a2008b25b3dfb5dd6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4242476,"id":"Q4242476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47ddfe3cd029e4e7149da1fae693d871f4cdba0","datavalue":{"value":{"amount":"+0.7607437968254089","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":"Q5224573$134A29D9-FD24-48F4-8876-68ED5A259A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d023725b1c425f478fcd404580bb33c7ae22fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2364656,"id":"Q2364656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc74dd6353d95bc43f017db3983437b14e5a570","datavalue":{"value":{"amount":"+0.7200894355773926","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":"Q5224573$CDC31C0F-BF0C-4230-B358-570896415ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77481dc0e163751b459dcc60095d3bf3418a30b8","datavalue":{"value":{"entity-type":"item","numeric-id":1909606,"id":"Q1909606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18230bcee199799c5606ccff10229bb9f9fa6044","datavalue":{"value":{"amount":"+0.7083941698074341","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":"Q5224573$14527C6A-6ECE-40C8-99AC-C2B55B3C5A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cff4af0fd35caec531fef718a76195c68d44aa3","datavalue":{"value":{"entity-type":"item","numeric-id":4390774,"id":"Q4390774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9c48bd6e72888ffad3c31fcdd1c1e75edf5b50","datavalue":{"value":{"amount":"+0.7057141661643982","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":"Q5224573$FC34C593-414C-4EEA-AE74-8ED5985DB733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c17c186198bb5842fff4a416da8bd5e7f854e27","datavalue":{"value":{"entity-type":"item","numeric-id":2721196,"id":"Q2721196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69bfa2033b4be332ac13948a70bb6ee92a91c751","datavalue":{"value":{"amount":"+0.699459433555603","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":"Q5224573$08CDA6F1-542C-4555-B3A7-279AADE06108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The bimodal logic of commuting difference operators is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_bimodal_logic_of_commuting_difference_operators_is_decidable"}}}}}