{"entities":{"Q3086937":{"pageid":3097652,"ns":120,"title":"Item:Q3086937","lastrevid":45419104,"modified":"2025-12-07T17:01:33Z","type":"item","id":"Q3086937","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872402"}},"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":"Q3086937$5C6F3A69-C7AD-41ED-BB64-19FB48241CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"064eadd7b1b08a91599791c0d56ea93a4ffce16b","datavalue":{"value":"1244.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086937$99F25AC2-A231-448D-A7DA-2249B13AFE50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac19c6003a814839a3f511f3b429af9fdef7758","datavalue":{"value":{"entity-type":"item","numeric-id":402118,"id":"Q402118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086937$40C127C3-9F02-49CC-BEC8-9A1E44CB078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086937$0F620C08-ED2F-46B4-80B9-1A2A11B354AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086937$C0485FF0-418A-4717-8605-8F2002A0F089","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086937$893B6A32-0A0A-4D24-8F32-7C13E0CB5A66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086937$4B169543-757F-412F-9513-74761EF9BE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086937$B74C71E1-A162-4F39-A808-978475524FF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a2ce396546206045ba646dd8fcb10e1860656ff","datavalue":{"value":"5872402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086937$D6BD79A4-D7F9-4BD4-B316-5B3BA245748E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086937$32D4E5BB-7F80-47E2-BE80-11672F6D7B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157d7d4a5518af0d098c8310a134d9bf65945a3c","datavalue":{"value":"derivation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086937$9DD25076-B13D-495F-A720-887E541C6928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086937$BD14F7A1-E43A-4AC6-9AB1-780C643E3C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2623f308b5b623ce28ab3dfecf54a48072c502","datavalue":{"value":"coalgebraic modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086937$4BECDB2B-8495-4F0F-981C-57FB2ACCDA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086937$634FD9AC-EAE4-4826-AECF-1D7573EF1745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086937$03D3E31C-E171-4F4D-975C-7A8FE9DD86A5","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":"Q3086937$FC7BA754-EA74-46DF-BC73-7A33557FA469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5d84f9f10fe366e1ad2f2e537eef4ae556dc06","datavalue":{"value":{"entity-type":"item","numeric-id":402120,"id":"Q402120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fb922f1e20d19ac2221375e3961cc51079e77d","datavalue":{"value":{"amount":"+0.9399837","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":"Q3086937$A4881403-9357-46CA-9AA1-5173832021A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a3537ee610732ebdba28062459be31ae19626b","datavalue":{"value":{"entity-type":"item","numeric-id":2904618,"id":"Q2904618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbd8f97fb2b10de6242a800f3705f4729b139a2","datavalue":{"value":{"amount":"+0.9229545","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":"Q3086937$FC4A995B-CA05-44A7-BD4E-12DCC16C8BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3560a43408b5554698ae3a733e4665cacf0ea","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07ef729d5717163316a0b20313d8f78bd9df8aa","datavalue":{"value":{"amount":"+0.9116462","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":"Q3086937$CAD0C36B-4E58-4B2F-A42C-9C4ABF04D370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495112ce375b977a5868e6c48dff8dbe40b400d8","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07ef729d5717163316a0b20313d8f78bd9df8aa","datavalue":{"value":{"amount":"+0.9116462","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":"Q3086937$401330A2-E891-4B74-A57A-3B6FA1F3F4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fa506ae4f6d037ec3c5ecb23ecb116de3aba37","datavalue":{"value":{"entity-type":"item","numeric-id":2503317,"id":"Q2503317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2eb0f996c8b2da482ef5fb9b73dc17011d48274","datavalue":{"value":{"amount":"+0.90948665","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":"Q3086937$B3469F3F-2813-46AB-9B63-C71C2103DA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108eb8d21ccbc91ce59a1bb96c69f172900e07f7","datavalue":{"value":{"entity-type":"item","numeric-id":4637694,"id":"Q4637694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4019f189ec468bb516d023b720e87b7e8d586dca","datavalue":{"value":{"amount":"+0.90868855","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":"Q3086937$04B42520-9F4A-44C0-A3F7-6FDD33BCCF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303d6667e6ae40504a41dc001c063e90ccdebba5","datavalue":{"value":{"entity-type":"item","numeric-id":3591070,"id":"Q3591070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9453de20d33f317c8fd4e2a6fa76ca57e8f9ec6","datavalue":{"value":{"amount":"+0.90615","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":"Q3086937$DD35C821-3AE7-4900-AAA7-AF0203F0CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c0133787bcb197e3277e5c2c32b226f83f51ba","datavalue":{"value":{"amount":"+0.9057946","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":"Q3086937$A964A7EC-B917-47C4-A606-14CEEB20DE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d987e6975b0f1ed538bdeaa5f8e025499e72d5f4","datavalue":{"value":{"amount":"+0.903893","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":"Q3086937$F5ABAE93-C90E-4812-AAAC-BFA21CCE4F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d3bc9899d43e4bd875c825957fae1ea4c7b489","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af92b5476509e85d89d06e0f80de9f451bee885","datavalue":{"value":{"amount":"+0.90139073","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":"Q3086937$01CC983E-B5A7-445C-8D97-A11B385E1277","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086937"}}}}}