{"entities":{"Q4273420":{"pageid":6303021,"ns":120,"title":"Item:Q4273420","lastrevid":41259919,"modified":"2025-04-25T19:33:28Z","type":"item","id":"Q4273420","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 475183"}},"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":"Q4273420$266E7485-D75A-4032-9C87-6CE0558A2FA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1b9e1813d4355cbb8abcb70df16e8a76c6edd89","datavalue":{"value":"0796.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273420$75C0385B-BEAD-4A5E-878D-E7AE9F0D2A10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc8dcbf968ebff5e32c9bfc9430cbef55065afb","datavalue":{"value":{"entity-type":"item","numeric-id":218967,"id":"Q218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273420$B24B0274-2F50-489E-9270-1D209285D71C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a626d589150434ddedb6dea454b02c574516fd1d","datavalue":{"value":{"time":"+1994-01-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":"Q4273420$5E026858-8415-4A8F-93A8-C74500AC51EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273420$AD0098B5-E739-4956-9352-5083890670EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273420$51C3F7A0-2B27-4166-B75D-9658DF49AFD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad4f38f85a19790d9af08afcbc5fbbc484b9ade5","datavalue":{"value":"475183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273420$14F6E18A-85B0-40FD-BCA3-5F61008DB4CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$5B7E4F3F-39E8-4121-8424-307DCF99C7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a453c94210f5c49048d6a6178d5ad2379cd1cca2","datavalue":{"value":"self extensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$985FC04E-02B1-43FC-9F32-4074D4A7866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$FD52A143-3E25-44B4-B06C-6DABF06B3E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad4efed7bd7fcc03254ec6f5c376ca702be7652","datavalue":{"value":"protoalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$0BC3F5ED-024A-462B-97DE-BFB4D3D57F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$970473B1-9E73-49AE-8A3B-E33E9D86E388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$CAD341BD-5D54-45F5-BCF4-6C30FBC6D629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$86870659-E6E9-4704-A441-43E94C3DBE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f0a87e8fb3a05aba57fd8a5fbdc255ec2b2114","datavalue":{"value":"abstract logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$E9A07DF1-7E14-45DA-857F-86DB1F7377F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70dc5c4478e280200738e78108a10d8f8ac0f7b","datavalue":{"value":"Leibniz congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$605CE281-A10C-4744-B381-05196E57EC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df61307dadfdbd491cd6d5709e69ef6922aee835","datavalue":{"value":"maximum congruence of a logical matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$A157F5F7-2F5F-4ACC-8F4A-C1EFE2587DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70ceb9dde591fa75d3bb69a7264d1eea69e9c15","datavalue":{"value":"Frege operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$2BA98D5D-89AE-4072-B687-180CF2EA57EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0311f94af3a9a527e907d161eb7d18cef89f4f68","datavalue":{"value":"interderivability relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$92725043-7827-4C8E-ACC0-9B8A434BDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0489e755f7aca2dc7e1d694372afb594cf7d15","datavalue":{"value":"protoalgebraic deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$01B866E5-8CB7-4B37-A0B9-04AC6297D302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8b64f7a890ae9e4e80b81981902263e5a02e8a2","datavalue":{"value":"algebra reducts of reduced matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273420$1FEB0AEB-857A-4A46-8E66-AA93F1F3B100","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":"Q4273420$7CA3DCCA-10CE-40CB-8362-95132EABFE93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffeaf42f27c4da1f28fe3e26bc70eb8f08932ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3773949,"id":"Q3773949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c115a2acc87d3afffcd32652f6974c2775f4502a","datavalue":{"value":{"amount":"+0.91167974","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":"Q4273420$DC3BADBD-5F82-406C-B327-E470A17D78F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b900865dc71526e7391aa4cfc72ab9126dc39c49","datavalue":{"value":{"entity-type":"item","numeric-id":3526558,"id":"Q3526558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d81e2f826e7435919d3cbc1d39e547f9e2c0a4","datavalue":{"value":{"amount":"+0.9102032","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":"Q4273420$6573DE40-57F8-41D9-B08B-E53C2C26C652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86e9b79848df33b600ed7e1acd6de431fef200b","datavalue":{"value":{"entity-type":"item","numeric-id":1025888,"id":"Q1025888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae6ccde5698ef51aea6da0c0c8e4d16a1c48516","datavalue":{"value":{"amount":"+0.90523446","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":"Q4273420$8DD6D995-2B5A-467B-8F36-BB2C5030E8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc43645cd58eb517cef65d73d5cb2cba16c6bea9","datavalue":{"value":{"entity-type":"item","numeric-id":3760627,"id":"Q3760627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ea181b794f52231300595f1427cd1fbe915a0f","datavalue":{"value":{"amount":"+0.901269","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":"Q4273420$517F085C-5F89-4151-9316-8E0E20155CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2282472dca2702f719a454c4af532b43790c6b8","datavalue":{"value":{"entity-type":"item","numeric-id":3679258,"id":"Q3679258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b81a9d77d45a158c5fea327683e21aea98f152","datavalue":{"value":{"amount":"+0.8945032","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":"Q4273420$B9282B30-3C62-4ED1-A2D5-1F1022E9E84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec9e48cdf981fadfeaf5e1bed1951017eab8b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3480694,"id":"Q3480694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8706c856f8717c1cb911830bb016859ba4cc37a","datavalue":{"value":{"amount":"+0.89423406","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":"Q4273420$E0E7B218-9514-4C00-AD30-2E43FE9DEAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300a4d2bf39f683bf56870459b6b477864f5c34e","datavalue":{"value":{"entity-type":"item","numeric-id":1570019,"id":"Q1570019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820eb35890e0ec19f67ada5092ebcb603c1066a3","datavalue":{"value":{"amount":"+0.89184344","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":"Q4273420$D9D2F728-5C94-48BD-8F32-CD421535A99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266700f60b00dc16030ab03ff9f5339b093c3a76","datavalue":{"value":{"entity-type":"item","numeric-id":3152847,"id":"Q3152847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ac8345b4447787581d2f08e5ecd3306f9988cc","datavalue":{"value":{"amount":"+0.89157647","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":"Q4273420$BC37B735-442C-4C63-A402-218353BD17EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4273420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4273420"}}}}}