{"entities":{"Q4394922":{"pageid":6424521,"ns":120,"title":"Item:Q4394922","lastrevid":41779007,"modified":"2025-05-08T05:35:03Z","type":"item","id":"Q4394922","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163393"}},"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":"Q4394922$8C4F62C1-029A-4018-8B81-02EA8835AFC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b89eda2769c8e5b81847e34f329e1e65ca23642a","datavalue":{"value":"0919.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394922$A5AC43E4-22E0-4609-B244-5F5D8CF27FE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4394922$DF8E205F-AFCD-43FE-94EE-28E44C459820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7c4f0103c31dd03c07afd36e9597ef27a0e1e7e","datavalue":{"value":{"time":"+1998-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4394922$1ACC27DA-B10C-4084-AC0B-22A1D14147DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394922$234936A4-5BD9-4DE1-9911-46301D761257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32ddc24440bd1d2ac51fd0f7886a4d7dcf9abaf2","datavalue":{"value":"1163393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394922$E3F938F9-408D-430E-BA45-83ED9F25A034","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394922$71EDD595-A8AE-4A97-99C0-C4BA0FF7E813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394922$F05301BD-5010-4F72-BE2E-9267B9AFDB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394922$B147050C-28AA-4608-BD9C-62BA8417BA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394922$E70B198C-DAE7-475F-A56E-AA1039E89180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394922$1F2B6B34-1C67-40F6-974C-264E80380C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e34b227c134079a5f2f59b5d26634d1d895d5e97","datavalue":{"value":"Hilbert-style calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394922$00AB15B9-E3EC-4ED4-B3C4-BBB2B1A4F4F3","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":"Q4394922$7D848598-418B-4BE8-BCC2-1106EAD8A2EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a59025c5b438d387ec14bd73b1dcf3ebac0ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3344178,"id":"Q3344178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9e39ede2aaecb8ed89fc78c2ce95e5c268c697","datavalue":{"value":{"amount":"+0.888844","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":"Q4394922$4CA1F55E-C010-412F-8E20-02E8EC14D9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ddf895384c42ccb0ce7eed548d342886a3b2af3","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab36e76c0126f2aab14e0bc320aeaaa6c0a8ed76","datavalue":{"value":{"amount":"+0.8843262","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":"Q4394922$55559512-D62E-49A6-9472-81EAC787E521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b43a20c757d7c7a2d59a027ea0d624912434e6","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad1480d3dce8ddb43a8f71a8df69c5d0cf38b0a","datavalue":{"value":{"amount":"+0.8792224","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":"Q4394922$5E91D48B-9EBE-4A98-A88B-FE69F6ACEB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31bbf52c52a4db26bec3d7f7109a91ddd1218b55","datavalue":{"value":{"entity-type":"item","numeric-id":1823925,"id":"Q1823925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d554543f4fe787d4b3a2e77896c82637c73602ea","datavalue":{"value":{"amount":"+0.8739579","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":"Q4394922$CEAB512E-37ED-4751-A319-C4A54F511F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71fd447a25faa8644f9f4daecd279d32ecd017f8","datavalue":{"value":{"amount":"+0.87240654","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":"Q4394922$BA2CBD5F-24DB-4ADC-955A-C0948B4C0A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91591a90788676a9b2998f93331c8248c26424a","datavalue":{"value":{"entity-type":"item","numeric-id":4495056,"id":"Q4495056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd745e4a11660bdfd7729f10adb26c44f7861ec","datavalue":{"value":{"amount":"+0.86841977","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":"Q4394922$A6D245F9-B78C-453A-B1A0-1A6AC9FC7CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b3d42fcca255e2a317041c538a8ba628ce561c","datavalue":{"value":{"entity-type":"item","numeric-id":5687411,"id":"Q5687411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91a8030df3efc1c7dd040df9b83da6a9ee404b5","datavalue":{"value":{"amount":"+0.86413896","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":"Q4394922$1A14542A-CE9D-4845-8C5A-61A5CF8A0401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ccc7abaf8d1fbd0707483abce9d0b26abdbb8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1815425,"id":"Q1815425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af074cf9c215d4587282aa0bdad88ebcc7e42a0","datavalue":{"value":{"amount":"+0.8629566","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":"Q4394922$66EA76A6-CE69-4571-9DA3-DBD349229A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823d4c995b3d65e7141476eb966069655e88c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4430393,"id":"Q4430393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7e395c9b4495b12761c5c100de9c481191f493","datavalue":{"value":{"amount":"+0.86198914","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":"Q4394922$34A7C090-AAE4-4BE2-8D60-C9CFF1EEE3EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4394922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4394922"}}}}}