{"entities":{"Q4532820":{"pageid":6562412,"ns":120,"title":"Item:Q4532820","lastrevid":47924188,"modified":"2026-01-03T02:36:46Z","type":"item","id":"Q4532820","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1750163"}},"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":"Q4532820$FE33C650-DAA0-4406-BEFF-03BDD0A7232F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d55c2864179a5054124d370dd0894e5f71054d05","datavalue":{"value":"0997.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532820$7D89F37A-3871-445C-9095-1286DA69FDDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3d49fc628039016517421e1b9ac5fdd658f7147","datavalue":{"value":{"entity-type":"item","numeric-id":416298,"id":"Q416298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532820$679E2213-5040-4CB8-9F80-485FB605F74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6429993c4b83380d2aa1a3eca2b98f393effbe","datavalue":{"value":{"entity-type":"item","numeric-id":209286,"id":"Q209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532820$E2AF11E9-443F-434C-8972-0DAF88BE6D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3f7e8a86aadc82089b2df96351c66561ec279c1","datavalue":{"value":{"entity-type":"item","numeric-id":162482,"id":"Q162482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532820$37691A99-22CB-48BC-84A9-BCAE2C56BD84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e97f824546b3447b15b77d52f9f484532dcf8f","datavalue":{"value":{"time":"+2002-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532820$B4515725-06D6-45E2-8896-7F31464CB40F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532820$7345CEBE-6C57-4D99-B6B6-6876460F5F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532820$FD73C8C2-501E-4D76-84E4-C0B46AB4A11A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c81e42cb68ae8cb6f56dd192fa8eb273aaea1c1","datavalue":{"value":"1750163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532820$89E34D0E-3774-4442-B585-032E29D9432D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d084cded0446d5ff07f07c8b3369a7d40f965f","datavalue":{"value":"lattice-implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532820$9C34C812-14DE-440D-A97C-9D1E5EDBE053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532820$DE7D88A8-F4DA-4732-B3EB-F7BB39239F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532820$C309AFE5-BF25-44DD-9241-8992C4C40A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"406b8a3809bd45898c0141f4e36b494d5d9daaec","datavalue":{"value":"first-order lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532820$1149C62A-D661-41FE-9366-36CA67E69770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532820$31771C58-EEBA-4720-BC8B-8826892A1F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532820$03DE69DC-C19D-4EDC-BF44-4F7DAAA363DF","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":"Q4532820$B0A2FB59-57B8-4557-AB5E-535DB9409E7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44e89d7181d63cc7f2b29ed472efb7aba3e5629","datavalue":{"value":{"entity-type":"item","numeric-id":1375832,"id":"Q1375832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0590d68e825a18a0d607d1cc4a1edf6a495f693","datavalue":{"value":{"amount":"+0.931372046470642","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":"Q4532820$CD9CCFF7-8C8F-4342-993C-65E2D1C6289B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1a9791cf8b9eb020c70ee4385f2dc8bec1a869","datavalue":{"value":{"entity-type":"item","numeric-id":5456127,"id":"Q5456127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75550351fef1eacac3fe8f219366275d718a9a53","datavalue":{"value":{"amount":"+0.931371569633484","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":"Q4532820$6CC9FECE-9480-4F27-BC4A-2674EA297B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4129426294cd8357c11481707e7ee20ada790e","datavalue":{"value":{"entity-type":"item","numeric-id":4544362,"id":"Q4544362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7360886eaded994ab5898c070312259c22163eea","datavalue":{"value":{"amount":"+0.8700047135353088","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":"Q4532820$05BE72E4-ED34-4E9C-90D7-A1728875CA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbd37e023e6b85e924500507973bf86bbb0d9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484813,"id":"Q3484813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7360886eaded994ab5898c070312259c22163eea","datavalue":{"value":{"amount":"+0.8700047135353088","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":"Q4532820$86971E68-50EB-4478-A91C-20B884F5A80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be49783257fd20ee987676650b077a62acbed9e8","datavalue":{"value":{"entity-type":"item","numeric-id":4306528,"id":"Q4306528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0240d06353b884b566e657cf5820bc16026c6810","datavalue":{"value":{"amount":"+0.8427297472953796","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":"Q4532820$47F774FB-3CD1-4CEF-A50F-CC4BA1D81814","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532820"}}}}}