{"entities":{"Q5486243":{"pageid":7515803,"ns":120,"title":"Item:Q5486243","lastrevid":49910200,"modified":"2026-01-11T23:21:01Z","type":"item","id":"Q5486243","labels":{"en":{"language":"en","value":"The geometry of non-distributive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051855"}},"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":"Q5486243$9895D3CE-2AD3-4727-B163-04172AF463E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0534a777e8c898ed948dad5458afe82ae9f0c1fa","datavalue":{"value":{"text":"The geometry of non-distributive logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5486243$3783720F-DC3C-4B9D-AFB0-FE4863F6399B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9a267fc6f6a2ea37b3caaf6f4c5dda693a62c94","datavalue":{"value":"1100.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486243$7DDC6D9E-FA20-4338-BBCA-D2526A98B7FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc74f53862f4f290e2401f492556ea9e0dad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":450955,"id":"Q450955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$E3D9783A-0021-4C73-95D6-E20067075AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae733c4e2be1c34797e29c9fd80d79483844b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":284971,"id":"Q284971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$C02D3920-E673-4CE7-81CB-91F4082E82A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$61CCD8A2-A6C1-475C-8D89-CA24717FEF95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486243$85E30FEF-5856-4200-9FD3-17E4BE68CC13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81712cd33373988483cdf48a7c010c97849cc023","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.9101","type":"string"},"datatype":"url"},"type":"statement","id":"Q5486243$54C5E6A3-4709-44D8-884A-9D57BD87DC66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486243$6DF6B9F4-ED08-441A-B8D6-6E5965AEC75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486243$ECBCE2A1-74FC-413B-A06B-56F43986B008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486243$534DDC35-5782-43A3-9067-7193A988A635","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebdcd77ae701ef44608751cf7818c9ac144d4f7e","datavalue":{"value":"5051855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486243$0D5D588D-A71A-4DDF-A77D-A7CC3455D822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486243$FC263810-4994-4AC9-BB36-5C6B8486F4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486243$198001C3-BA64-462A-AC4A-452CB26E98B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1e1bafd133c79251e42cde85a31038afddc669","datavalue":{"value":"extensions of lattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486243$FAA79C5A-620E-45E3-BFF5-6E0508A0BE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f29d220ea08f16c7df382367424a9927c755fc","datavalue":{"value":"negation connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486243$1AC8C441-FAD3-4BA0-AB1D-9BEC80A3845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486243$4C8964D3-7F2A-4CC4-A377-1E316C9D29AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486243$3CAAEDEB-2E10-442E-85B3-5DBF8F31F04A","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":"Q5486243$5A04A7AF-A752-4C8A-960E-6247B771E68A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcae8b1a53fe0e73cd834f3aab106740ed029865","datavalue":{"value":"W2134446632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486243$9CE0A662-F661-4137-81B8-C24F0D3FADED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"011cf84c3c30d491c786f660fdc3c21d23243ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1398477,"id":"Q1398477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$B18B51A2-E65F-473C-918D-1066EEF592A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$4CAE1192-A228-41A6-B313-A98900D0B48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b438253220515ab35f613aaed4ed5f62096aa41","datavalue":{"value":{"entity-type":"item","numeric-id":1125056,"id":"Q1125056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$F4A3C07D-6690-44E3-9D48-D18E2FA2C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9103d7ee76eff9ee82384b09b9f91758be1fc477","datavalue":{"value":{"entity-type":"item","numeric-id":786808,"id":"Q786808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$7FFB3A33-52B1-49D2-A709-C6B34B398E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$8569EB4A-1067-46EF-8565-46FB5DDE6948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$DB73C2B5-29E3-4AD2-B79E-F59434BF383D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6042d9ef8dee677914aa7ff5904eefb398329f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1861326,"id":"Q1861326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486243$2B97682D-E0B6-4F87-940C-19A53858C6CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aca55b74b9879c4db9d47eb5973cdc36407bef6e","datavalue":{"value":"10.2178/JSL/1129642117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486243$7CE771EF-4881-4360-BBA7-0794E6003386","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c1c09c77bf72b58d2d54296f7f5040ca511390","datavalue":{"value":{"entity-type":"item","numeric-id":1685923,"id":"Q1685923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4957c69ff869ce1ae4ccaa96372be54ec919d2","datavalue":{"value":{"amount":"+0.7937334179878235","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":"Q5486243$9703EC81-E837-4308-80EB-AEE1B44A8FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce977f3a3765cf3bb8d936ba5e8540434fd453fc","datavalue":{"value":{"entity-type":"item","numeric-id":5446313,"id":"Q5446313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ba2615d3f233eab01b4a64ebce4df2829b34f1","datavalue":{"value":{"amount":"+0.7849286198616028","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":"Q5486243$58FDAF4E-CD85-4F7A-AE4D-0CFF91DC08A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec36d3999143771f5f3c520416695cda36ba0c","datavalue":{"value":{"entity-type":"item","numeric-id":4818936,"id":"Q4818936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6784485092506de44791e50425fa5952695f7f6c","datavalue":{"value":{"amount":"+0.7667225003242493","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":"Q5486243$3A081EE1-3DB4-4A4A-80A5-4DF239C27318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff547c2c3a8f98f9d40f40613e5288d52f38309","datavalue":{"value":{"entity-type":"item","numeric-id":4440824,"id":"Q4440824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5640e65c6f314dcceda34e26a833eb31497d9d5","datavalue":{"value":{"amount":"+0.7625558972358704","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":"Q5486243$50D6F52B-469F-477B-A705-39B5B2A18D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00351a6a17ec2489563cefcbbbab63104bfe397","datavalue":{"value":{"entity-type":"item","numeric-id":4598506,"id":"Q4598506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f793c244b3b3b8b74beb80dbbab379783f0d43e8","datavalue":{"value":{"amount":"+0.7533068060874939","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":"Q5486243$F1C134C2-3E7B-4F00-8122-B97F7C32EA3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486243"}}}}}