{"entities":{"Q4636028":{"pageid":6665609,"ns":120,"title":"Item:Q4636028","lastrevid":41741108,"modified":"2025-05-07T19:18:08Z","type":"item","id":"Q4636028","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863640"}},"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":"Q4636028$936DBD26-9814-41E9-AD9E-895175AD408B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"818c3b55e418ed95e58d6261aef485bfd4a73491","datavalue":{"value":"1400.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636028$212C9A75-7C91-485E-9914-8C2C0B6F476A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636028$E8247700-D20F-4850-BB7D-BE3FF47067CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636028$4BED231A-642F-4D5B-ADB6-CE49EB94861D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636028$07738793-463B-4B70-871F-B87FAA48A9FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636028$9FA1481C-C0AD-46DB-962C-BFA49E9457C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636028$E32D9651-3903-45F3-9820-22B2C9461EBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6401088af0c6411433bef7552cac0f5eb1b33830","datavalue":{"value":"6863640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636028$8DA1C3D8-E7ED-4C5C-9CFE-131701CB172D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636028$47C60E3E-B6DB-4F76-BBC5-A57C9365B254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636028$A0F11EBC-70E5-4603-BCCE-E047A7E7CAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b85c221691a7d90700e13382d7ef7979ab091f","datavalue":{"value":"axiomatization/completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636028$A1C1B7A8-3CDB-44CE-9D77-D81CD70E8F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a55c0fc88c6ba139c431de02f534cc3cf03327","datavalue":{"value":"decidability/complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636028$19159C09-5518-43CE-8EAE-FA173F8C097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636028$3F6C886B-16EB-4117-89CC-D4360C5AFA50","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":"Q4636028$991635EC-7C3E-45E2-801F-5E09A03F28B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32427d305ddef54839c3b7329aee15f5f050c510","datavalue":{"value":{"entity-type":"item","numeric-id":484925,"id":"Q484925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4076f7886f6588f2ef67efd37454444b33b93c","datavalue":{"value":{"amount":"+0.9460508","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":"Q4636028$11944223-88D5-4313-8FA6-D2EA418C3B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3bc2fc6d9c4f9c105ff67dda21c867b3518de9f","datavalue":{"value":{"entity-type":"item","numeric-id":3460054,"id":"Q3460054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fd80ff3f56a5262afc942fd19695b2308e795d","datavalue":{"value":{"amount":"+0.9255734","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":"Q4636028$0A23A161-E684-45A9-80B6-F80A396E3889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de65184fe4270316c1f6257a6910fc381df7400","datavalue":{"value":{"entity-type":"item","numeric-id":3094027,"id":"Q3094027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81eafba6ca4e5c055a3d906a442feed1e7d26a6","datavalue":{"value":{"amount":"+0.9194115","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":"Q4636028$F3CDA160-022F-4373-8ECC-156F14172A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9471ea1242051a8f3c89df7e03b99536376b630","datavalue":{"value":{"entity-type":"item","numeric-id":393906,"id":"Q393906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81eafba6ca4e5c055a3d906a442feed1e7d26a6","datavalue":{"value":{"amount":"+0.9194115","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":"Q4636028$EEEE43F4-5DF8-4656-9223-E56C541147EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08522cc46ae8e0046e2ef8c03ee28809a6b82ea0","datavalue":{"value":{"entity-type":"item","numeric-id":5213671,"id":"Q5213671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af075cd07345012cb51db1e5ce6f6b0f6f3bd35","datavalue":{"value":{"amount":"+0.900199","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":"Q4636028$4C57A093-0A1D-4483-888F-4C5B9E94389E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fb3f7994b86e767aed81792445b2c631e92265","datavalue":{"value":{"entity-type":"item","numeric-id":484926,"id":"Q484926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a276e2a524b7b8247bdc957404bd3eb2fe1ab40","datavalue":{"value":{"amount":"+0.89695466","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":"Q4636028$A98B6340-053D-4186-94CA-7308B1009225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b081e4cfa3ac90661bb9d724d20991f3685a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3094018,"id":"Q3094018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dffa51956ac191a39b0820fb263df3925b90a8","datavalue":{"value":{"amount":"+0.88214195","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":"Q4636028$EA52D682-83C0-46F8-9E2E-F3CBB510BA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40418479d703a25ccaa6f3aa38a032de42ef7999","datavalue":{"value":{"entity-type":"item","numeric-id":5327426,"id":"Q5327426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61646b850b4fb3bf58fab0fc3958c125c08f3ba2","datavalue":{"value":{"amount":"+0.8806107","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":"Q4636028$493222F8-D361-4D8C-B9B8-DEC12208235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a491f9753887083d8ca5062b61b688dcb35f785","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1e9d712517cc3cf2273195cba7b90ac6c7668d","datavalue":{"value":{"amount":"+0.87721884","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":"Q4636028$4AD036F2-A9CA-4AAD-9D7B-B84C842E1BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5464eb4f247b4c60cfbfd5b37f065d6300a02496","datavalue":{"value":{"entity-type":"item","numeric-id":5434478,"id":"Q5434478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea584a50909df15705370b60be6de313d072adbf","datavalue":{"value":{"amount":"+0.8765804","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":"Q4636028$2CA5CF80-21DA-4D23-808F-8C6027B8208A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636028"}}}}}