{"entities":{"Q3133191":{"pageid":3143907,"ns":120,"title":"Item:Q3133191","lastrevid":53018264,"modified":"2026-01-24T01:20:39Z","type":"item","id":"Q3133191","labels":{"en":{"language":"en","value":"One-step Heyting algebras and hypersequent calculi with the bounded proof property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837765"}},"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":"Q3133191$10309708-A500-4167-973C-FFD2FAE66E47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f81115b48494589815f8bc6eb40939549c8256e","datavalue":{"value":{"text":"One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133191$10C6B0AE-9F37-4D61-BB12-88F6BCC2F53E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a5b3b4815f579fd1a946f111b81de656daed4e8","datavalue":{"value":"1444.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133191$B3E8D304-EB07-4638-942E-490AB5B1C584","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133191$597077AD-3288-4B68-9C90-858CFD86B882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133191$3325F6E5-D6BF-40D5-8308-119DE03FEA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c38906f4def5a4e74da1d5717a4819c366f62b6","datavalue":{"value":{"entity-type":"item","numeric-id":831225,"id":"Q831225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133191$E27685BE-4A15-488F-B5F9-588E6D343FB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133191$FBB4F1DF-EA4D-4355-8AA7-E658EF106799","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7dd54547ba6ae38eb7a692ee15dec38c753cc35","datavalue":{"value":"https://semanticscholar.org/paper/2e88e4c8847f66aed0c201b883bbe135e73a1153","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133191$A929D9D3-B408-4D02-AB78-AFFA8EA8416F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133191$36F67F17-F358-460E-963A-5AD699C39630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133191$0AFBFD04-7E9B-41AB-A52E-16107000078C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133191$B1AA4EB1-5BEE-4693-AA25-154DE4FC66B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f16fdb5b526c025223bac3be94cd12eea17fa42","datavalue":{"value":"6837765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133191$FFB4AAB2-2533-4B07-86B0-D072A00D6F81","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":"Q3133191$37265653-4DAC-4992-9171-5403D1A04B8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"781d28c08a6fc60a1cd84b88135e3c50de167f33","datavalue":{"value":"W2566693696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133191$12F32027-D8E8-4CB2-9EF1-83721B7AAE6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62352640b9ab46d484db6b88e1d4e3d7d89c6bac","datavalue":{"value":"10.1093/LOGCOM/EXW029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133191$F452AD10-582B-4D3C-907A-B1DFFD486937","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133191$5FEF6BD6-E35A-49D7-A5D6-C73226D98A78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65525b1775d9b2be46e0133139ec2d7e3bd51e7","datavalue":{"value":{"entity-type":"item","numeric-id":2720315,"id":"Q2720315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b366b76230153d9d3f04d92a3d76641054ba9870","datavalue":{"value":{"amount":"+0.7822615504264832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133191$34697E12-9D24-47F0-A802-C84FF1485DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646abf5c5c2787290e6bf9dd5285746db379135b","datavalue":{"value":{"entity-type":"item","numeric-id":2851932,"id":"Q2851932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9deaa63627fdc5ab7f3d64ffcd52c70c633d25","datavalue":{"value":{"amount":"+0.7774046063423157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133191$9B15E384-4637-4E6F-89F3-88306468A1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b356ba21ad2b245dca47582248cc051aa5dacf0","datavalue":{"value":{"entity-type":"item","numeric-id":741087,"id":"Q741087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1131b765384b06ae14aa8ed8dc685a30c8bb53e8","datavalue":{"value":{"amount":"+0.7773869037628174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133191$7656DD37-1EB8-4AFE-9EC0-4AF66D601D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68e8c7fce1511dd882a1df18b4dfc5008db2ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2180510,"id":"Q2180510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe38989b6bc7532833c5c6613242999de379e240","datavalue":{"value":{"amount":"+0.7640332579612732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133191$8BB1CE8D-D987-4ED2-96DE-A7F6BDC93D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f305e7d6a23cce0d8f5f370354f982cc101bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4636285,"id":"Q4636285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b03a69bcc7187e4a40fea7531703e890b60089","datavalue":{"value":{"amount":"+0.7507950663566589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133191$67958835-777D-416F-B46F-41434125E9AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133191"}}}}}