{"entities":{"Q5419898":{"pageid":7449472,"ns":120,"title":"Item:Q5419898","lastrevid":58565292,"modified":"2026-04-05T18:55:35Z","type":"item","id":"Q5419898","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302922"}},"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":"Q5419898$BAD57DE0-A627-4601-B952-349D30ABB131","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1221aedf04e33ce074b838ef752c690574c224cf","datavalue":{"value":"1295.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419898$A723B6DD-D97B-4237-8E48-B0E0A31D5674","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419898$576660C1-666E-4094-B866-69FD1A112EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"667be8a7ea72f6a5efc70b1d43d50dea7dc32e95","datavalue":{"value":{"entity-type":"item","numeric-id":1641022,"id":"Q1641022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419898$C9D4EB44-644E-4166-A5CC-A7AF452BE85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419898$B873B8ED-9BA8-4754-9639-02E6A0A9F87D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43778674c2b2702627340bb6c16c332cef55ae85","datavalue":{"value":{"time":"+2014-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":"Q5419898$0862C6D7-74A5-4032-9034-26768A5379EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbb07500464da364830dd7da0c734722cbe4be75","datavalue":{"value":"https://arxiv.org/abs/1204.2413","type":"string"},"datatype":"url"},"type":"statement","id":"Q5419898$5092FD8B-08EE-41CA-A1AE-3025FBE21877","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419898$4B40A75B-60DC-41CE-BC3F-A5C1A2CD8F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419898$47FCA48A-1077-408E-A7E0-E950C679B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419898$27F55C7B-441E-4050-8E9D-887831CFA860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419898$EA5E064C-6F0C-4FCE-976A-1270C50447C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b10006628a7563666f85f3d37ee498b3c409746","datavalue":{"value":"6302922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419898$B586A128-D18C-44C1-9B9E-E218D3E8EC82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419898$BB91DDE7-A82D-4CCC-A9B2-7311618D99F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419898$4EAECD5C-3938-434E-A8BB-B530587AB556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419898$9F25DA3E-AA68-4390-BE38-BC0B809E31CD","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":"Q5419898$F641E963-3214-4042-BA5D-210971D13695","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d08c7d25df345937a05ff90c5152315ac7a03ed","datavalue":{"value":{"entity-type":"item","numeric-id":4647559,"id":"Q4647559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998fad3521de1645af89a6be3b3b7febdce1b065","datavalue":{"value":{"amount":"+0.90969455","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":"Q5419898$4593D10E-A6C8-4692-9FB7-970407B0BE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa7d6cfa4c1fbdce1674727ad8f43130638d592","datavalue":{"value":{"amount":"+0.9051582","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":"Q5419898$320A3545-FB17-4640-8E42-567197D3CB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002a1fdb67a12de57b1b6b159265b7b847b5c5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4644600,"id":"Q4644600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2122ea0cf20c4846c03d25b83791c5ae7618d8c3","datavalue":{"value":{"amount":"+0.90185857","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":"Q5419898$B1B54160-351E-467D-96D6-A0EA4FBEE168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5e1e2f9fff3e69c780ffc84220f5007fef660f","datavalue":{"value":{"entity-type":"item","numeric-id":2915054,"id":"Q2915054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c321a4e002159c654812929237a013355c705b53","datavalue":{"value":{"amount":"+0.9009007","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":"Q5419898$2AC5C24B-9906-4B68-97CD-327DFE4DA273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5973f1a1418d416796a1ef2e6f6f724d688278ab","datavalue":{"value":{"entity-type":"item","numeric-id":2695538,"id":"Q2695538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9181f48a32c390efd18a44cd5527acb1cec068","datavalue":{"value":{"amount":"+0.8977361","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":"Q5419898$BCF528E2-0239-4B86-B38D-85BE542ECDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b0b65db94ff2331d2847f6639910e120616965","datavalue":{"value":{"entity-type":"item","numeric-id":3992583,"id":"Q3992583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e34cc741671015059589c74bc6b92f1669966e","datavalue":{"value":{"amount":"+0.89480567","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":"Q5419898$754B608E-F88F-4344-8ED4-A8D548DF4E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2fdaf8a4e85bb7438c5a335fe9c7b04acca96c","datavalue":{"value":{"entity-type":"item","numeric-id":2804318,"id":"Q2804318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ced26d288e57370640c03e8c405427a66387468","datavalue":{"value":{"amount":"+0.89374405","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":"Q5419898$FA8E6FE1-7930-4761-9FB6-37A63BED0CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a523b67078d02fd325946f26eeb12acb9b2978e2","datavalue":{"value":{"entity-type":"item","numeric-id":3725570,"id":"Q3725570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a338b193be53fda43a1655f6ee20adfd9f679a","datavalue":{"value":{"amount":"+0.8928087","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":"Q5419898$747978A2-2A31-4195-9579-5F9DA583B0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c791c8d7a791d86a63d37b23f5cc1309e8f76eb8","datavalue":{"value":{"entity-type":"item","numeric-id":6172067,"id":"Q6172067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0085ceea8dcadf16a58d8fc920096809ae91af00","datavalue":{"value":{"amount":"+0.88810056","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":"Q5419898$615F48E7-4355-46A0-8838-A3E6F40A97A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f691d16a55f0136dfff5b4b54972257465cbf2","datavalue":{"value":{"amount":"+0.8843636","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":"Q5419898$52DB9E8F-19B4-49CB-A053-A2A1705DBE39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419898"}}}}}