{"entities":{"Q3553878":{"pageid":5583782,"ns":120,"title":"Item:Q3553878","lastrevid":87355727,"modified":"2026-06-04T11:28:41Z","type":"item","id":"Q3553878","labels":{"en":{"language":"en","value":"On the lattice of deductive systems of a residuated lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5696785"}},"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":"Q3553878$12004FEA-279A-4EE0-82C2-4DDC2F512C16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6abf871471b0d869b09df0c541f7f3ea638a563a","datavalue":{"value":"1199.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553878$CFE68551-B958-4DFE-8454-8588B310FD87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9246cc6f26cdc7641944722c285dd45f87c121b0","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553878$340B3AF7-3D34-4D7A-A4F2-9A1474EDEC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7b2818eded98e67d4476a3ddf5e431510c1ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":3553876,"id":"Q3553876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553878$8872B8D8-4528-45CA-B902-BB46F3635A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6024063f0b80143d1d4a654e423f5619be649c1e","datavalue":{"value":{"entity-type":"item","numeric-id":3553877,"id":"Q3553877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553878$AB2891EE-4FB1-4969-8AC6-BD8459E7B75B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c94577583f3aba69a0209f76777f283262f5429","datavalue":{"value":{"time":"+2010-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3553878$CC443F67-0264-4EBB-A0E7-4F33B347104B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553878$A29AE39F-A631-48B6-A25D-CF21FE67FBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553878$E207E57F-69F0-4B67-80C3-ED45D1B7385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553878$A4A3F3E2-7E33-4711-966F-6875B2B36D9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2552bc8caff8d94f2ec18039e1a8d27d8b5e0fc","datavalue":{"value":"5696785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553878$2E9F30FD-330D-45C3-8A1C-9784A495E94E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553878$757884F6-5C44-4AFC-BCA8-604555D0A149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553878$73EDDAC0-96E7-445E-A071-16EA2B216774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553878$8021241D-5787-4F1E-A048-0A96DA49CCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b11d6290c9db903c6783cd8a73ca5b8b94a138a5","datavalue":{"value":"regular deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553878$A3DB2F7A-3F79-4E22-B4D5-731277EDD22A","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":"Q3553878$386D86B4-35B6-4819-B111-35F9899AAC79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfc82c7bacc646ca48f8f7d8e50d2ac6febb0ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308894,"id":"Q5308894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03a1f8d51486ac8ac51a3da88a4caa6e3754b74","datavalue":{"value":{"amount":"+0.822803795337677","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":"Q3553878$F1293EE9-FFA3-49EB-861F-325C154A2CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a889409a0bcded7dc3a290949953c43db42de0","datavalue":{"value":{"entity-type":"item","numeric-id":2999403,"id":"Q2999403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a0ef3b48118c80bcd42800b84cc304d6ed1f9d","datavalue":{"value":{"amount":"+0.8211493492126465","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":"Q3553878$F29D6B8A-CA75-4BA0-81DA-EC072D0AB567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cbad9d3aad5f0ebf45cab59fc3924e6e307ccb","datavalue":{"value":{"entity-type":"item","numeric-id":3175433,"id":"Q3175433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271bcc80eec7ef0dbab3edbcdc9391931a86d41f","datavalue":{"value":{"amount":"+0.7834381461143494","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":"Q3553878$D3BA5EF7-3239-4159-8601-71A9350AE6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e41ee8fd64af64854bc8a77f10ed0327897b79","datavalue":{"value":{"entity-type":"item","numeric-id":4796953,"id":"Q4796953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4105f4f1fbf8fc02ff59c303321fe1808d99f4e","datavalue":{"value":{"amount":"+0.7685285806655884","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":"Q3553878$82AA5A0D-F619-46DE-AD19-B281AF6AA725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3430b1363859f7a6ee4e4d7dbbec4cdf0f3104ce","datavalue":{"value":{"entity-type":"item","numeric-id":5212869,"id":"Q5212869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b111281288892cc32072f7b72814cc3b857aa1f4","datavalue":{"value":{"amount":"+0.7636536955833435","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":"Q3553878$969A514B-86D8-4A79-8E32-C88B7C48850F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the lattice of deductive systems of a residuated lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_lattice_of_deductive_systems_of_a_residuated_lattice"}}}}}