{"entities":{"Q5884949":{"pageid":7914501,"ns":120,"title":"Item:Q5884949","lastrevid":55909627,"modified":"2026-02-21T01:43:09Z","type":"item","id":"Q5884949","labels":{"en":{"language":"en","value":"Algebraic semantics for one-variable lattice-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668100"}},"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":"Q5884949$B7885D38-CD61-4F72-A0D5-0EA0FEFF0B48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884949$105E31CF-F494-4991-BBCB-963BA9BFE638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0842f9109a3ea412c99246803558b7f958e6f90c","datavalue":{"value":{"entity-type":"item","numeric-id":5884948,"id":"Q5884948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884949$1A36B84A-E9FB-4C63-9569-C6118C896DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884949$E8779A05-C3E9-4510-BB1C-56005B233DC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-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":"Q5884949$14530DC5-4CD9-49FC-9127-D3D044EA8A33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2d233bbb84913e55751fcd46eac5bf50a6bcef7","datavalue":{"value":"https://arxiv.org/abs/2209.08566","type":"string"},"datatype":"url"},"type":"statement","id":"Q5884949$05FB49FE-AB2C-4F54-A72F-6C6AD8C64BED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884949$D154A6EE-6FDF-45FC-ACF4-F193638A7BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884949$A0FB3DA5-5476-484D-BF1B-220B815CBDB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"245820176d3ce84aaadf01f53057a53d1a58d8e9","datavalue":{"value":"7668100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884949$8C5A1BA3-B7A7-4DEA-A7AB-D7BA0FE0C3DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884949$2E68E6EF-4C40-44FC-A74B-FB1582FDF142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884949$CDCF7F62-5487-4BC5-B370-4D5DC8800E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b27c4b0e6075b0e38d8aff3ad6335c2b287b21c8","datavalue":{"value":"lattice-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884949$540B0317-36FB-4023-B31B-227FECAB515A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ecbf9cbbbe2ba5a272217776d675fb42cbc74b","datavalue":{"value":"one-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884949$B250695A-9EE3-4CBB-8BC0-BF0441543EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720f84a35edb987273d43e455e1ab0b7575c10e0","datavalue":{"value":"superamalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884949$361968F3-6478-40DE-9B21-ADD71F454759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884949$7F312020-5EC8-4A62-A00F-E336FA0F3C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884949$F3A0D543-9001-417D-98DE-E46547B2FE4C","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":"Q5884949$101DA94E-7BEB-4801-B004-0E5E1C43BC15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afab688158e4321e3d972e6ff3f8f3f7456200fc","datavalue":{"value":{"entity-type":"item","numeric-id":2672661,"id":"Q2672661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bfc8d05847f30171e85866a2d46ebdd07c2eee","datavalue":{"value":{"amount":"+0.7882660031318665","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":"Q5884949$352C021B-AA13-4452-922C-867F96D250E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5bbefaf2cc93c6a779efed0eacab21b374b919","datavalue":{"value":{"entity-type":"item","numeric-id":3601808,"id":"Q3601808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ee63a5588d33e00262254b4b2911e8ef60135e","datavalue":{"value":{"amount":"+0.7869386076927185","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":"Q5884949$66868B5E-4DC7-4BF2-AD54-4E1D41A0D7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195c5238d9d3aa5ef85bbbc3061e8242e9337f52","datavalue":{"value":{"entity-type":"item","numeric-id":2303581,"id":"Q2303581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87ed74c9fe75c8bccfb28ff372caef8911435b1","datavalue":{"value":{"amount":"+0.7821215391159058","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":"Q5884949$E4CAA41D-7F55-45F9-BA9A-5C84D2F95582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10207c20a3efbf2af62af6f43ac3526a32574fb1","datavalue":{"value":{"amount":"+0.7438986897468567","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":"Q5884949$DB2590C2-A808-4E8B-848D-982A67308359","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5884949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5884949"}}}}}