{"entities":{"Q4583754":{"pageid":6613339,"ns":120,"title":"Item:Q4583754","lastrevid":58281630,"modified":"2026-04-04T13:34:17Z","type":"item","id":"Q4583754","labels":{"en":{"language":"en","value":"Monadic distributive lattices and monadic augmented Kripke frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930434"}},"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":"Q4583754$A4D29B49-7626-4F4E-8679-C5CDCA2C6B7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"394dbea0f00f52e710a2649fc1558dd538981dce","datavalue":{"value":"1394.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583754$2BFFC2E4-427D-4FDD-AF25-FCD7FCBB883B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ac8cc5083d8edca19e2d209ed8bdb2b5f4e0ec","datavalue":{"value":{"entity-type":"item","numeric-id":780235,"id":"Q780235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583754$BF9F280B-C4E8-4C75-BDB0-91F3BDF41D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9bbaa7f540771b21370101917d2da9bb21eaaf2","datavalue":{"value":{"entity-type":"item","numeric-id":1680512,"id":"Q1680512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583754$8028F480-6835-444D-91F8-37F95B87B359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b40d82b152103c129630781c91383833f626129","datavalue":{"value":{"entity-type":"item","numeric-id":1034359,"id":"Q1034359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583754$E1CC50E7-ED1D-471C-8EAE-77C7BCBDD99E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a86a6aed7188bb3ff3424d78e3001f3e02dd61","datavalue":{"value":{"time":"+2018-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583754$79684534-60DB-45AD-9D16-C1ACBA24FBDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9212649056bd61c591345018b1df5b0c026155c3","datavalue":{"value":"https://arxiv.org/abs/1203.6059","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583754$17BD321A-25D3-4D52-98F9-FA2F43BB205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"da1b28d5217c1e255687d0be1777ba23843ad631","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-22-number-1-2-2014/mvlsc-22-1-2-p-189-216/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583754$2AF7CBBA-1B9E-448B-AB37-DF778BB12037","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583754$79F9CCD6-2805-4B8F-983A-623D1CE00476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583754$DDC1A5A2-F1F0-4730-AC05-607774453ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583754$4CB47B83-6B98-4E9D-8F69-6AD93482C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30279ad2312ee8c09a87dcde90352f80d9dcbd24","datavalue":{"value":"06D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583754$1D1B7BD6-E708-4309-A548-C292508D43F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bfb6a77b127f5d2cdf2b5b154a9b79fb333fd6d","datavalue":{"value":"6930434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583754$F6462B08-0D7D-4D1F-93B5-2BDE470C47BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f360358979b4074d78a088fd1db2635201f792","datavalue":{"value":"monadic distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583754$1FC516DB-6DC0-4637-8450-8AA5EBA43F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c73165212422a97722512434985a923c103b47e","datavalue":{"value":"\\(q\\)-distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583754$A2D6805A-5976-4A10-A232-5C05F698AC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65de7f31e11fe95d68c508034b790b3ffb1d3f06","datavalue":{"value":"Priestley spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583754$2CAD0BFD-E493-4F4C-B75A-7DCB2B88F42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cedbc8d8e90b8c562eed44d100f2438ba8c337e","datavalue":{"value":"augmented Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583754$B362B1E1-C1EB-4740-A636-8B7C9D694F2F","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":"Q4583754$C7B45B43-309C-410E-B852-51BA083598F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ac94350060337be9992b2623dfd6fb96ce04f5","datavalue":{"value":{"entity-type":"item","numeric-id":5436991,"id":"Q5436991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78095273fa1f3dc4b48b691cb93eba9ac6ba89d1","datavalue":{"value":{"amount":"+0.9006035327911377","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":"Q4583754$7F614A3C-7C8E-45C8-809F-CB952C9FD635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b49dddcf8860d99138a3b4cf54373091f78d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3452702,"id":"Q3452702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91d479175af043c91b57f7421bb3c0e415c431e","datavalue":{"value":{"amount":"+0.8898266553878784","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":"Q4583754$24BD7F2B-6287-4121-85BB-D7A69CDBD5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c179e6d80d6715cb6411e5398dd972da9e05058","datavalue":{"value":{"entity-type":"item","numeric-id":5212298,"id":"Q5212298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fffed4a605894155e337d7ec5ccae3ad33e087c","datavalue":{"value":{"amount":"+0.8041524291038513","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":"Q4583754$A97DCE4A-C6B8-4144-9349-8642690253A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae11e794c4c686c836359ee9b6a071345415e44","datavalue":{"value":{"entity-type":"item","numeric-id":1283133,"id":"Q1283133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7b5f1aabf49ba8c0a16584d501a9ad7043cb3b","datavalue":{"value":{"amount":"+0.7561159133911133","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":"Q4583754$61A81F0F-9C9E-4511-95B6-3EE64B4324C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8081df284b0046bdfd4c921111ea979ba03ff7c","datavalue":{"value":{"entity-type":"item","numeric-id":2001132,"id":"Q2001132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3aad1ca1c6603ef395b19d819092e5b2d646170","datavalue":{"value":{"amount":"+0.756115198135376","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":"Q4583754$42BAED18-465A-4384-A4FD-1F7A6E191346","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583754"}}}}}