{"entities":{"Q4544192":{"pageid":6573784,"ns":120,"title":"Item:Q4544192","lastrevid":40911193,"modified":"2025-04-14T01:40:58Z","type":"item","id":"Q4544192","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1778909"}},"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":"Q4544192$47FEA7DA-9B2B-4E08-9443-3FC8E5EF639B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1785842a87c0cec654dff20281e662027cbda58b","datavalue":{"value":"1004.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544192$ABA3BE5A-7D99-4607-B7EF-66266C22B133","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"426878069cfa689212687e946fa43c14de4df368","datavalue":{"value":{"time":"+2002-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4544192$BE236DA8-E2DD-453C-9848-9B5CCAF2F977","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544192$8174868C-9731-4D23-BDD1-C16F578D83FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544192$6108341B-64A4-43DD-B818-7E32DEC51A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544192$D9F39DA8-04AE-42EB-A000-CB71A1EFCA1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa85105bc52467dd9cc1953439e755ebc9225eb9","datavalue":{"value":"1778909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544192$A9E6C627-5DF2-4857-A923-4F30B1130B3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544192$B1731888-9794-4D19-904C-20FFC5F660DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e60a99efb1db865b832d04827e7420fe0bdd41b1","datavalue":{"value":"implicational fragment of classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544192$4AE86945-0182-40FC-A77F-CDDCB9192237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee92a0e5a0926789e8f9fb1b6dc9e58966501ce","datavalue":{"value":"Boolean lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544192$B17E0D89-9C26-47B2-A00B-2754A58F3437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e59f8a84535f4d9a69838a497c704812a57b9ca","datavalue":{"value":"implicational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544192$E22BFC8E-96CD-4BCA-91D1-5FEA766E4729","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":"Q4544192$459C57EE-4CDD-45BA-B8F2-26393EBF145D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7dd62626328c13414567fc79743a33774b0c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5006815,"id":"Q5006815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd49bed3b8bd53ea2ea6a0c5ab1e23366585a72","datavalue":{"value":{"amount":"+0.87873137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$09B65FA6-3792-412A-B9B5-8FD4941E3922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b39915a9f1475574949f79fbe17e22b9843d21","datavalue":{"value":{"entity-type":"item","numeric-id":4678352,"id":"Q4678352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24823fbfe9cf3d1546b1145d48641d7e0d8f953a","datavalue":{"value":{"amount":"+0.8695194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$3C3D336E-69A9-4468-8ADA-53B4262410CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca95064b3f7c74f16ab2ba1b4d5c2302502a046a","datavalue":{"value":{"entity-type":"item","numeric-id":5579479,"id":"Q5579479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6ba12ca7a8c32b9fb8e7757dc8f6edbbeb79bf","datavalue":{"value":{"amount":"+0.8687813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$085BBE91-C1F9-4423-BFEE-EB8D8B74861A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415320bfd6b5386161517f3a8013a4c89473cfd2","datavalue":{"value":{"entity-type":"item","numeric-id":3240236,"id":"Q3240236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c0e4d9edf6d9a5388f09b9603a80d4726556f1","datavalue":{"value":{"amount":"+0.8681435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$05621632-1E06-4995-8303-31D7C8C2B936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23705fc0be66301178e750493897556e54c3310c","datavalue":{"value":{"entity-type":"item","numeric-id":4811786,"id":"Q4811786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e0e42baeb6f5b94eaea2c78aa8209570febb49","datavalue":{"value":{"amount":"+0.8675567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$716E6CD1-4039-4926-B292-1BFFB90007BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf9f4598abace6899c2456950d643e0ac475219","datavalue":{"value":{"entity-type":"item","numeric-id":1095139,"id":"Q1095139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff851e213df7c22ddfedc7372efcf14244025cd6","datavalue":{"value":{"amount":"+0.86542636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$DB1FB95B-81E9-41B9-93FA-1AA790A87525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92bc8a97490ed292da55d9bd16077de5f1f3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4268411,"id":"Q4268411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfaff4d17737f22538e99cf7c748e95f3bf742d6","datavalue":{"value":{"amount":"+0.8646095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$18852B80-51BA-435F-9A9F-3B863CC7F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352257cf796302043f14803cdbd955d135962283","datavalue":{"value":{"entity-type":"item","numeric-id":3726084,"id":"Q3726084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73cd29529f35641b6215c84d340cfa6cae7a84d","datavalue":{"value":{"amount":"+0.86360943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$0AB4B4A0-B4B3-48F3-A9C4-030194FA0BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0de55988eb79a391012e29bf2807205933a12d","datavalue":{"value":{"entity-type":"item","numeric-id":4508262,"id":"Q4508262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a2ea91c636ef10e5e60477b9065a384774a2e7","datavalue":{"value":{"amount":"+0.86229765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$9D32876A-12CD-49B3-B703-44888BA99E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c01c545d08dd8c08693ac1dbdf6b9b681cd64ed","datavalue":{"value":{"entity-type":"item","numeric-id":4521284,"id":"Q4521284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66337d4c234a498a389f3ba699044b73a23ae5e","datavalue":{"value":{"amount":"+0.85942215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4544192$D47B5545-D4B1-4958-B9FA-C2DA62AF13DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4544192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4544192"}}}}}