{"entities":{"Q5034233":{"pageid":7063810,"ns":120,"title":"Item:Q5034233","lastrevid":91126994,"modified":"2026-06-04T22:19:42Z","type":"item","id":"Q5034233","labels":{"en":{"language":"en","value":"Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480998"}},"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":"Q5034233$33FB5446-4AAE-4108-BD4C-974BFA8A9DF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9339e77f8249269d6d33431938fa0807dc4df7bb","datavalue":{"value":{"text":"Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5034233$1B3C50D4-4B0C-41DB-A3A9-2AB6494FD0C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9231cdcac434d9cc5b0dd17f9929d8c343c55e3","datavalue":{"value":"1502.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034233$B07201A8-2E71-4B36-9F48-11CB085CE81A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03b62901cbb61c51c2330530aa6e7f62d16bd5da","datavalue":{"value":"10.1145/3501300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034233$AACFCC8F-B380-4EF8-8CF1-768B4DD8B4FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034233$423448AE-80AD-4D4E-9EDB-8A21DA5AF96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034233$453F940E-2B91-4425-A7D6-E705CB4F8ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034233$3209EC61-4EF4-4EA2-B97D-98BFE7188441","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034233$7D8E169F-23FD-4104-A9BB-FB783FF47334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5034233$9BC32DA2-BA64-4568-9DCE-0397545C67D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a8c0ac2777920fbc3cdfba053b32e295e9cbaed","datavalue":{"value":"https://arxiv.org/abs/2009.00971","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034233$8189F3EF-BEBB-4B69-B55D-B4AB5CFA4864","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034233$BA0600EB-9963-490E-950F-3A41FA2B064A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034233$2B743526-5844-4D88-AAFB-C8532BE85877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034233$A6C38F34-90BE-4E62-9662-586FD6517D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a59a5bc687effdf96e1533d7da73093317ca59e3","datavalue":{"value":"7480998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034233$70B5A317-ACAE-4403-AF47-F99DDAE8F313","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d15d5f1525beb111459288798e9007ec0265cb","datavalue":{"value":"global assumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034233$D7C00605-75B3-49C9-B574-9D0709460378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce624511c5f8d1cf4807661c41bc8f25db979c5","datavalue":{"value":"TBoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034233$467D1CE4-D938-4FA0-B926-F6E013551E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034233$C919E7ED-5BB6-4A5C-9072-A98937A71E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034233$8F44DD25-6CFB-4DE3-A8AB-F248DC097412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2778d1805b6c2f1e2674b8f286eb3823f922af72","datavalue":{"value":"probabilistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034233$20347653-9D5F-41F2-A0A7-03D72FC1B435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26fd07b04392998af6879797d9d8f67c87b0396","datavalue":{"value":"Presburger modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034233$F90C7AF4-572E-47FE-AF8F-C3E8E311D9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034233$824C9F73-03C5-4B2C-8326-7A24C6B168D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2553818fb24ab49fb6ab2137904641c9db9df7","datavalue":{"value":"global caching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034233$65A2B218-2F10-45BA-BB5D-CE61F24CF4CE","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":"Q5034233$21B28596-74E4-49BF-A25C-7A446BB47CB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3111ec8679ce1dcfa66d8ff5b39c1bd9566a83b1","datavalue":{"value":"W3081939111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034233$0598C0AC-007D-4F1B-870A-6EF3A14D12F2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c09cadee98abab0b0d8c28ac211e842b1fe3fa2","datavalue":{"value":"Q114613905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034233$6DBEF5E4-80C9-4BDF-A2F4-627CE75FD4D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322ba8ac0da28be7e3b82e5c920e352aad6f4144","datavalue":{"value":{"entity-type":"item","numeric-id":2947894,"id":"Q2947894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2c9078f2b8b27cd5aeea86bea66cf5a68edb2c","datavalue":{"value":{"amount":"+0.9563995","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":"Q5034233$B8CB2FC6-6B80-41FC-B28C-7667AEB357FD","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":"ffe510852208f497ca2872ca57887d0b0e1bdce6","datavalue":{"value":{"amount":"+0.921455","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":"Q5034233$436EB884-504A-46F2-8EC6-0FB9ACCF5FF0","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":"21cbe13dd295468b8725e0bb4f9064dc9f54cd25","datavalue":{"value":{"amount":"+0.9166673","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":"Q5034233$72100A4B-D4C5-4B81-B316-7EC9D355AF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6898050158c68b6137f8551ea18d72cd0748ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad76018dbb533b653e834fd7b2e13b054aa93c0","datavalue":{"value":{"amount":"+0.91436416","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":"Q5034233$272CF0A9-F614-491A-B932-2A1C52F69903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a734d48f8b8cf90d10e9e054ec680c1b7ee9433d","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25abaca48800394968084a37857ad8eaae98db62","datavalue":{"value":{"amount":"+0.912186","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":"Q5034233$B9268C10-ADB3-4B71-8FAD-DA49C2274793","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":"85c86f72dc1a3385f156d4112fe0a247eeca5ddd","datavalue":{"value":{"amount":"+0.9116806","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":"Q5034233$CF8B7ED5-235C-4E80-8075-DF33EB977F15","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":"97b4520c0c0e77951af75fa45c0dec46c8393353","datavalue":{"value":{"amount":"+0.91168046","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":"Q5034233$A38CBAB0-D320-453F-B50F-81B5A0530474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933b6db71b75f96f96a1921b8ade67e276983266","datavalue":{"value":{"entity-type":"item","numeric-id":2847817,"id":"Q2847817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11862ee545bd915ec3aaaafe41023d7a12204980","datavalue":{"value":{"amount":"+0.91118085","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":"Q5034233$166F1A8A-A500-446E-A1D8-FF39EB269B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b88658ec81baff899505eb34614f38021aa803","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4852faed8a5b07c4624f577e067d50809acf65","datavalue":{"value":{"amount":"+0.9077028","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":"Q5034233$9B02D8EE-07E6-4116-A341-0DC055A0809E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969da163373b183e9b4479b7569e88a6d514a55e","datavalue":{"value":{"entity-type":"item","numeric-id":5462663,"id":"Q5462663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f55dc05772da6c94cb840c0cccb1e21acc82ab","datavalue":{"value":{"amount":"+0.90766615","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":"Q5034233$490FC6C3-9CF3-47D5-BD0C-425227AFDB1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coalgebraic_Reasoning_with_Global_Assumptions_in_Arithmetic_Modal_Logics"}}}}}