{"entities":{"Q5095649":{"pageid":7125225,"ns":120,"title":"Item:Q5095649","lastrevid":54379982,"modified":"2026-01-26T17:47:17Z","type":"item","id":"Q5095649","labels":{"en":{"language":"en","value":"Stone duality for lattice expansions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570100"}},"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":"Q5095649$033EDCAD-52CF-4EE2-98C6-044053E744A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"888692c786496676b5c1a2fcce8f408b937aff14","datavalue":{"value":{"text":"Stone duality for lattice expansions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5095649$018B6BC7-86FF-48AF-8988-C116D5D67F69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f5772647b804f54abbba41bf241536ad81210e8","datavalue":{"value":"1492.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$17BE5652-806D-404C-87BF-4EB306127E82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3f5f12bc024c12f02a2e69ddb8c135c92315803","datavalue":{"value":{"entity-type":"item","numeric-id":456960,"id":"Q456960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095649$4B38BE79-22F9-4D67-A0CD-B3CA063CC602","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":"Q5095649$681FE143-F7AF-4AC0-B453-E42DA7E8B44F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5095649$75272B76-07D1-4FB1-8502-0B1764134BB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$81E48A11-BAF5-4A2A-BEB5-92178DFF13C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$ED634752-BDB1-4B4E-8CAE-A106E0D32D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$35CEA36C-8803-4015-9CAF-DFFB4A058786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$884B66F9-2F8F-4B3A-99DF-2A5C88136E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$25936F44-8E4A-4804-BF7A-8B0BBDBDCE30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d9a9c552c1e883767b7144d220555b6bba22058","datavalue":{"value":"7570100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$519137EC-3E19-49BA-B1BD-8137D0D6BC05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4abc9c7c8cd127ea0c5f27d00fd7c05c908c23b5","datavalue":{"value":"relational representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$5EA9008D-3EB2-4236-A5F1-241C1A1D6A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$BBFA8301-8563-47AF-A7E2-A6CBC71FB6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab6d8c74f27257e67751b738226d6af94447aa88","datavalue":{"value":"canonical lattice extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$186FEC0A-5E64-4DEF-9F02-075DEE4EFCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458f4441264824e819e4812bf500b7b1d40794b3","datavalue":{"value":"lattice expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$9645F66D-056E-4FC3-ACDD-2A607945C079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a635a3c4d37c17ac39a2feb56c7074c6ffa19856","datavalue":{"value":"logics of lattice expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$0FEA1C4D-D436-4547-9D93-4F4BA8589DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$F68CF1A7-7B01-478E-A3E3-25664337EE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb457132452041bcb2bd93288856962479aed86f","datavalue":{"value":"Kripke-Galois frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$BC2DB9E9-C798-49EC-829E-CFF4573B3B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc017264ef6c1091696a15d17871d5ebddb93c71","datavalue":{"value":"generalized Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$2AE019D3-DBBB-4DEE-B952-714F97F53189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe71ebec16cbe0eba02d52abfd5ae62b5c1fa6e6","datavalue":{"value":"residuated frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$6618037B-B159-48B9-88B7-2E3B879E903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$FBF65814-F06B-4E55-9466-2740DB883F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dbb9a95506db598fe22fdba6498c22deb309d57","datavalue":{"value":"BCK","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095649$37CAA496-A678-4194-9C62-421E690FB2CF","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":"Q5095649$3860F1F0-0E4A-4817-9634-8FAC9DD2FC1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a7ad0aab03c6b2adc75610ecdf6beff8df15b2f","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzy010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5095649$7BC20DB9-2665-44D6-AD60-C9EA691610C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a930e73b32313edcf9172379f199ab310f9995f","datavalue":{"value":"W2800290092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$3AED202B-34D9-4790-A932-1377797A5FA9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"154572ee8241009b6ea0541ab05a3465680e4512","datavalue":{"value":"Q130116804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$68289494-5341-4F1F-B606-7812E37F44AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0308f4fd9d387e6de0e7f77db0501826f0cea38d","datavalue":{"value":"10.1093/JIGPAL/JZY010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095649$5F705FCD-8750-4B0F-80F5-27A05CBBAB4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed07c64d2e4f056762c064c3cc07c962456940ec","datavalue":{"value":{"entity-type":"item","numeric-id":1970594,"id":"Q1970594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafae9690d8b163cec5af98305911ea329be7b20","datavalue":{"value":{"amount":"+0.8273568749427795","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":"Q5095649$FB2B3D98-CE7F-46E2-B65E-A4FE25B7F175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88aa731b2b89299fb7f4abb875a0d4003839a9a6","datavalue":{"value":{"entity-type":"item","numeric-id":2449453,"id":"Q2449453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104f350893b5905ef2348dbf01a20a83397ef77f","datavalue":{"value":{"amount":"+0.8000699877738953","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":"Q5095649$0D77AF05-6978-4253-A140-8A23134EE313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bb6ea8a2e61fe4af7f9ddf898f094799ff2b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1975160,"id":"Q1975160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5e6bc78938b700b27cbee83ce62787f30014f6","datavalue":{"value":{"amount":"+0.7907926440238953","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":"Q5095649$019243C3-B885-4B8C-8308-DD590E459545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13db960d8c35283e2a9db64833a580eba7866e73","datavalue":{"value":{"entity-type":"item","numeric-id":3120204,"id":"Q3120204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5e6bc78938b700b27cbee83ce62787f30014f6","datavalue":{"value":{"amount":"+0.7907926440238953","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":"Q5095649$B114D1F1-8F5A-41B9-9977-A8F7757E8466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19ced288ba17fb2355a8c454c8a70c1f57bf124","datavalue":{"value":{"entity-type":"item","numeric-id":5472326,"id":"Q5472326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01465d6d693ac3073e19db884821bb45516481b3","datavalue":{"value":{"amount":"+0.7886718511581421","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":"Q5095649$568A8035-612F-44E7-B65F-4590BF096AE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5095649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5095649"}}}}}