{"entities":{"Q931490":{"pageid":933338,"ns":120,"title":"Item:Q931490","lastrevid":65463864,"modified":"2026-04-12T02:46:14Z","type":"item","id":"Q931490","labels":{"en":{"language":"en","value":"Commuting double Ockham algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292911"}},"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":"Q931490$F26F8BE9-D8DC-421C-A5E0-3B68782546C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3089f785cf10174f55c2934c7a1523924bdaa9a5","datavalue":{"value":{"text":"Commuting double Ockham algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931490$A16859B2-D9AC-4E39-AD0F-A94978C300B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cea90a1a6270584f7818a5e0e474909a8e57a103","datavalue":{"value":"1144.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931490$D70BB632-691C-4996-86E2-01DF19DB662C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931490$EA872131-F538-4D64-9823-6EB8505742B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931490$4532346F-D106-4717-B1F1-51223105EE8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931490$6B2BB97A-925D-4F91-8361-F6AF6188B4B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b1a4f0bb46427932808c66df8f2e5f67f879816","datavalue":{"value":"A double Ockham algebra \\((L;\\wedge,\\vee,0,1,f,k)\\) is said to commute if the dual endomorphisms \\(f\\) and \\(k\\) are such that \\(fk=kf\\). In the class of commuting double Ockham algebras the subdirectly irreducible members are characterised and it is shown via Priestley duality that there are precisely nine such algebras all of which are simple.","type":"string"},"datatype":"string"},"type":"statement","id":"Q931490$EECB7580-2ECD-4BA7-93A9-F3A394C3D64F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931490$C98A5DF4-157A-4DD8-984E-55EF8C63FB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931490$2FF892C6-52EB-4949-9CA5-9A3D13CCFA87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48b2a7290b4ab71dba78a8523670eba521454372","datavalue":{"value":"5292911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931490$01C62C0A-EB61-4CE5-888A-E95EDCFDE747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eccc10ab3d16e8621a960f5fe46186419b6383c0","datavalue":{"value":"double Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q931490$81CD842A-5908-4EF8-ADEF-8A68F1562B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q931490$AEE2B2F9-A3D6-4AAB-9CA1-13B6AAA87114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q931490$FD078DBA-CD49-442F-8CEA-025820E1849C","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":"Q931490$9282530B-2A72-438D-8E8B-1AEF43B58439","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36d9bd7c7fd308716f76b5bbcc6da008f2cf8013","datavalue":{"value":"https://doi.org/10.1007/s11425-007-0159-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q931490$31D9E305-A9AB-4F92-8B99-9A25F3DACBDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cae5d343812330eb41c52a71d20b54c4f86458b","datavalue":{"value":"W1482565698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931490$62BEC072-9DC2-4A93-B9EB-38D1D5C09C7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa2555b5a12229194fe1d38bb571fc94964f069","datavalue":{"value":{"entity-type":"item","numeric-id":4202632,"id":"Q4202632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931490$9ECA0808-23E8-4CE1-83B5-21D9280A50FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4004e8049c9137d9b5b6e94f4dec378ad15a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1252874,"id":"Q1252874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931490$53AD80DF-4975-4DB3-9525-730BDDC23538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931490$41563644-E901-4841-A224-CABF7634188D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f73b0702bccea98217d247cc7e16403a655933","datavalue":{"value":{"entity-type":"item","numeric-id":1135295,"id":"Q1135295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931490$310A0DC8-D5E6-4E4A-9744-48D1C70908E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ffcdc0b7d0897d147e0ff83d0a830d1142d6e5d","datavalue":{"value":"10.1007/S11425-007-0159-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931490$717B30F6-D877-4F4D-BC8D-9F4AED819012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d39f1e10a556542e6ff22b2af7b700cea924ec","datavalue":{"value":{"entity-type":"item","numeric-id":861602,"id":"Q861602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f087c96e178925b876a04649d92d146e5bc5bd6f","datavalue":{"value":{"amount":"+0.8523232936859131","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":"Q931490$5EEA5025-954F-433B-A66C-A2779C9FFE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c034fab87d4c6655c56f00bf668bae9a8d40b302","datavalue":{"value":{"entity-type":"item","numeric-id":4202632,"id":"Q4202632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc24383947ace6b884cf8f9fd220922d19dd7dfd","datavalue":{"value":{"amount":"+0.84609454870224","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":"Q931490$EC3E9871-739D-4AF5-BBA7-71BB430311E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54846bf0b5e78d0f76f06f4d7a06679f46c293b0","datavalue":{"value":{"entity-type":"item","numeric-id":3597570,"id":"Q3597570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b227340dd544b62b3a20046cf20474bc7dc8e50","datavalue":{"value":{"amount":"+0.8441252112388611","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":"Q931490$005445EA-038C-40C2-9D1E-723721A6F1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48006cf2f51b26335e3fa372b789c91450de8a","datavalue":{"value":{"entity-type":"item","numeric-id":1005956,"id":"Q1005956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be5892a81c733a7b270467e0d2d9318da86ab1c","datavalue":{"value":{"amount":"+0.8329713344573975","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":"Q931490$C98E1EBA-74B5-41BB-AB53-423F5228C3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e802f41a8e77819370d9e937c11f45ab5390eb9","datavalue":{"value":{"entity-type":"item","numeric-id":4947078,"id":"Q4947078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74dd2783d33b9a3db3fa0e78fb2306d56d214992","datavalue":{"value":{"amount":"+0.8312904834747314","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":"Q931490$A85DB017-F2FF-4AB7-8520-6460CF6BB1DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Commuting double Ockham algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Commuting_double_Ockham_algebras"}}}}}