{"entities":{"Q4934883":{"pageid":6964465,"ns":120,"title":"Item:Q4934883","lastrevid":41612729,"modified":"2025-05-06T09:17:25Z","type":"item","id":"Q4934883","labels":{"en":{"language":"en","value":"A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394709"}},"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":"Q4934883$CB9C79BE-3D1C-4470-9FE1-A9578329B4E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6333a49afc14e6b33f25788645743a1b0845132a","datavalue":{"value":{"text":"A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934883$656C4E02-D68A-4D59-939A-207F9CF5C34C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eb11a2aaae05de8fbb9506d4012b300ff567954","datavalue":{"value":"0939.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934883$7864F502-5227-44F3-AF13-64F117A194CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934883$48F38A94-1327-448F-AC75-6BB262958770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934883$2C27A46F-E461-4E9B-9C4C-2981F89B7A11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-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":"Q4934883$9C9B890E-9124-497D-A0E7-B2C1BF9ABBC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"621eb3bd6c52392b3e4207ed5e567ec7f9fdb940","datavalue":{"value":"https://semanticscholar.org/paper/6389afb77abfe4cb43c8c659468a378e7f3b2eed","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934883$86CC6234-2EFA-4C87-9EEF-4789D6BF69CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934883$CBE4654B-7CFF-44C5-AE7D-73C129CB9FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934883$6A546BF0-02D2-484A-8C36-D53EDA5657B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c75b7833c8149fcc1aebea02a825178e9d38e483","datavalue":{"value":"1394709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934883$32539DD0-4B79-4A14-8CD7-55933689D783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934883$F67B7987-261D-4993-ABC5-4095ABE3016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18b40e768074e59dc858955fef9383e9dc2b0ff7","datavalue":{"value":"context-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934883$1BA01209-137F-4951-9DEF-543534A2FB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291eb2636d8c25d3a80d5a7c787328bac04ec70d","datavalue":{"value":"predicate intermediate logic of constant domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934883$085C7AAC-CC3E-4433-865E-013D4BA3741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934883$2A4CF9D6-9333-49FB-B51A-45CD3541EFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8b1113d8841af47c0dfd754567978086712ae3","datavalue":{"value":"duplications of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934883$90509F8D-65D7-445B-B177-DFBD10F73379","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":"Q4934883$933559E5-D16E-4AE7-B55F-1A059944F9BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ded19c1d0b6da29d9a583f73c943b3bd9c69cd9","datavalue":{"value":"W2115028558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934883$D96DAC55-BBE9-4D9E-A222-5480D3544D11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"545364874067f37884ba8c1784af856f22d758aa","datavalue":{"value":"10.1093/JIGPAL/7.6.733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934883$5BF9EB23-34C4-4F7F-B992-E7143F8928DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934883$E779941D-D436-4EC1-A539-89558D9CBAC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85887c5a69ab0350560348eea48d6f56d9c64432","datavalue":{"value":{"entity-type":"item","numeric-id":4636039,"id":"Q4636039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a5a5fc94cde0a5d60074f225040ccfd32754ca","datavalue":{"value":{"amount":"+0.9068786","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":"Q4934883$B7E2C7E2-58DD-493C-A9BB-B82C5DD78121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9925cedb27e8e6b957e47ba8444110b7529a9bf5","datavalue":{"value":{"amount":"+0.90321267","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":"Q4934883$6E308AE8-6CE8-48D2-805D-1B710BC44D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90b47d6587870c66a8463565e85bc39345a0402","datavalue":{"value":{"entity-type":"item","numeric-id":874747,"id":"Q874747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f889b0b6945949960f3358030ceeff89736cc2","datavalue":{"value":{"amount":"+0.90079784","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":"Q4934883$1A66D279-E277-49D8-843D-4FADE32CAC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d449e330b67c1db762bef7ef8feb887512bf38aa","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26248206175a28ab11dba19d2aba0b17ad66ee05","datavalue":{"value":{"amount":"+0.9003601","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":"Q4934883$BCA6CC1E-82BF-42FB-9D3F-198B62D4B023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95de8b63776201ea6b05b9c5c78d30975b296a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4304102,"id":"Q4304102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d173c7532d8be3ec847d2e9b2577a85b02f2cf88","datavalue":{"value":{"amount":"+0.8988209","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":"Q4934883$99BDED2D-BCE4-4F22-88AA-3F02D5680E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7e0ae95b8b2c2a09355ab60b762853bef151a8","datavalue":{"value":{"entity-type":"item","numeric-id":5095625,"id":"Q5095625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2bcfa9df7c4c33a922a02dd86bc848760a17da","datavalue":{"value":{"amount":"+0.8975886","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":"Q4934883$5DA5AC86-72E2-42F9-9B88-96467555FDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1712fe5a61aac14980baf071fba86cddd39ac772","datavalue":{"value":{"amount":"+0.89310163","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":"Q4934883$B3063E27-146B-4B00-839E-1FE5F655B286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7b21e7a507e666380f33f4b16dd7d399c501d8","datavalue":{"value":{"entity-type":"item","numeric-id":2986784,"id":"Q2986784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21607998d96e6d2833ce137d0e38bfdb2a183679","datavalue":{"value":{"amount":"+0.8908684","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":"Q4934883$2B5FE975-15DF-42E7-9C36-0907E822540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee4957bb40eca3ee4ed742f5533daf3548124f2","datavalue":{"value":{"entity-type":"item","numeric-id":2936238,"id":"Q2936238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1d04d2da181e8060612504d4cf6586ac8c267f","datavalue":{"value":{"amount":"+0.8899454","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":"Q4934883$A67A0CA9-BA38-4EE0-A89C-DB389797E73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3206d7c121ced57d7a62b35ef045ac4abc52af06","datavalue":{"value":{"entity-type":"item","numeric-id":5172146,"id":"Q5172146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2442e46788190f81a7cdb2db1f9d5fe17322062f","datavalue":{"value":{"amount":"+0.885939","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":"Q4934883$98CB178D-905C-429B-B9D6-EA188A7AEA8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934883"}}}}}