{"entities":{"Q5756760":{"pageid":7786311,"ns":120,"title":"Item:Q5756760","lastrevid":41634389,"modified":"2025-05-06T15:26:59Z","type":"item","id":"Q5756760","labels":{"en":{"language":"en","value":"A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\\overline{\\lambda}\\mu\\tilde{\\mu}}$ -Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187442"}},"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":"Q5756760$825A543C-8392-45CA-B635-4DF199457FEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"243fea4e64808b5159d682fc110a3723dccf46fc","datavalue":{"value":{"text":"A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\\overline{\\lambda}\\mu\\tilde{\\mu}}$ -Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756760$01C58390-8B58-438C-9D78-3711F0FF9CBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd0af8b2fdd446298048aa83bdec3aa3247c21bb","datavalue":{"value":"1188.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756760$77D87359-E8CD-4E7A-956A-684A8F4B9A3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4d78d4348203996b99747e3901356cfafa9c516","datavalue":{"value":"10.1007/11812289_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756760$EC905871-69CB-40C9-B24C-D8C2B0FA241F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dbcfab01bc8a329499434eec2cf9301b09edd82","datavalue":{"value":{"entity-type":"item","numeric-id":841685,"id":"Q841685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756760$BE500264-34CF-43C8-A1D4-95179DE762F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756760$049F918B-F6A8-4029-B1E2-E3CA623118BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756760$F9C589EF-768C-47EE-8321-C951F0C4866A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756760$A333E1E8-E61D-4592-A567-C66EC21CD2A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756760$45685777-3339-4334-ADF4-B52C9A4EE90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756760$C2956047-67DB-4F85-A642-DE6694A96315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756760$CECE63FD-77CB-4EDD-8E7D-D220A56CE80A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"397fc7b2f4cbea952efb7debddc0df78a5cb2a94","datavalue":{"value":"5187442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756760$DE6EEFDA-E737-4845-88D4-D87FF99278D6","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":"Q5756760$30D25925-B430-4023-9E3E-53AAAB067134","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2cea46dbc5dffe53a5eeb566a5d1553e23899cb","datavalue":{"value":"https://doi.org/10.1007/11812289_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756760$4DED8D59-45F8-4B39-80F4-BC9B59850E60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a44f72de288e52e7f6bb2e02ffc08359db70887a","datavalue":{"value":"W82579298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756760$C17E4629-3CED-42F0-8459-6537BD0BF309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2869df01c614b6cedab638e72c556a862bbd265a","datavalue":{"value":{"entity-type":"item","numeric-id":1854404,"id":"Q1854404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4568a79a1640983845834bff4d3ef6f3be8b01","datavalue":{"value":{"amount":"+0.85733587","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":"Q5756760$7F0273C6-485D-4767-9523-667A1ABB24E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39dbd2fc855554e505b91049187a5f408000dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4681890,"id":"Q4681890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf3c1c5ad4dca8bd74b785a7395c6b78f039087","datavalue":{"value":{"amount":"+0.85583925","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":"Q5756760$67A5D318-7780-4D81-AC32-14E8734F6453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e457941d3e82eb3cfb92ea5d5846f31931ff0b4a","datavalue":{"value":{"entity-type":"item","numeric-id":733755,"id":"Q733755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428ac4b0f7ce3df5bec6beb4dbe303a319de122c","datavalue":{"value":{"amount":"+0.8549476","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":"Q5756760$B89EF96E-A04A-4B7D-BBF9-D73548CFB764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a951b8f6c923be0a667b72c9589ca498c56f1b30","datavalue":{"value":{"amount":"+0.85389805","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":"Q5756760$BF6A2166-CD53-41C7-9E98-072DF37AEEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d79a293ed3f992a959f0300b12aa6b0b7c2257","datavalue":{"value":{"entity-type":"item","numeric-id":5178966,"id":"Q5178966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745ab5fc7f6e2f95f626c8c822916bd6421d44fb","datavalue":{"value":{"amount":"+0.85356355","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":"Q5756760$28C63A96-E154-45F3-A45C-A289230A1C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cfb37f517f595e646c2fbe1feb393a78642bb95","datavalue":{"value":{"entity-type":"item","numeric-id":4938644,"id":"Q4938644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54954b044d28715f5e08b284daca3411f0ceddb","datavalue":{"value":{"amount":"+0.85343677","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":"Q5756760$D76761A1-5985-4E0F-8F6C-1C3D8EC88BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27da39c224984c42dd01ffb42f69f521aac50eac","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ee6ec132964df4acc346011a5ebe0f5a6b5459","datavalue":{"value":{"amount":"+0.85251397","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":"Q5756760$6CF4BA79-C8F0-4790-B2E3-51BFB8152F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2bf5e031ce660c43a2ef84fcf6c52ad6b72677","datavalue":{"value":{"entity-type":"item","numeric-id":483295,"id":"Q483295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a48a1bc2adc25386a334f43fbff5e9386467b9","datavalue":{"value":{"amount":"+0.85137403","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":"Q5756760$F2726641-8EB9-4A22-8B91-7555646ABD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b870f34c48d979297d96b9261a66f73906bd80e","datavalue":{"value":{"entity-type":"item","numeric-id":2844813,"id":"Q2844813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60851463357a645f86d1ef64f3cafc400a305a94","datavalue":{"value":{"amount":"+0.84822136","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":"Q5756760$CC1F57C5-AF39-45B5-8C4B-003296E3701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62968ef23715f8b586506f65ed13ddb83c3586a","datavalue":{"value":{"entity-type":"item","numeric-id":1064076,"id":"Q1064076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30e288d3dcb7c8e6f200ebf994b51fc36892188","datavalue":{"value":{"amount":"+0.84759253","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":"Q5756760$ED8091D6-FF60-48E9-96E9-FCC79C704871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756760"}}}}}