{"entities":{"Q6507544":{"pageid":14086502,"ns":120,"title":"Item:Q6507544","lastrevid":40019294,"modified":"2025-02-11T12:00:15Z","type":"item","id":"Q6507544","labels":{"en":{"language":"en","value":"WITHDRAWN: Provability in BI's Sequent Calculus is Decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6507544$2E283F65-9AD1-407A-A0B7-05A3018DA257","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f6a22c04248076ed6f0f15f80147ffeb652904a","datavalue":{"value":{"text":"WITHDRAWN: Provability in BI's Sequent Calculus is Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6507544$3462A8E4-50C4-4207-A578-1B7020F7EFB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf73034ddc405d2340cf47605ed143bce407b8c","datavalue":{"value":{"entity-type":"item","numeric-id":6115848,"id":"Q6115848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6507544$9A49BF9E-BB1E-4ECE-A7DE-E53A59C57F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16db8a833bc92d60ee63ac58039d722a100b64e7","datavalue":{"value":{"entity-type":"item","numeric-id":1653005,"id":"Q1653005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6507544$9FC76E02-CDB8-4231-9051-CE2DC150B7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6507544$619A4E3E-6BF0-4323-A367-8FF6EA2A2BAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6507544$D279E73D-0518-4972-89C7-835644E52846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6507544$28934982-A9A5-4C3C-AD45-B28EF7C640AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2890b7312360ac4032ae7e77b0396b2bdea59dce","datavalue":{"value":"68Q68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6507544$6E072B8F-F404-4837-B57C-7861D7BF0D0F","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":"Q6507544$73ABD4FD-19F6-4391-A5AF-244DAF9CB758","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"d23a3a6da8bab5ef0d2a884d3e441bc921bde871","datavalue":{"value":"2103.02343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6507544$4DEF07A8-124E-4656-B40A-3FED79D880B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6507544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6507544"}}}}}