{"entities":{"Q4612426":{"pageid":6642009,"ns":120,"title":"Item:Q4612426","lastrevid":82309250,"modified":"2026-05-06T20:35:48Z","type":"item","id":"Q4612426","labels":{"en":{"language":"en","value":"A labelled sequent calculus for BBI: proof theory and proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009540"}},"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":"Q4612426$6259E7FC-169C-48E4-AA04-F8AEFC9D9309","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da37454a1d9fb1fc19e5e5a1ccf680f8a7188217","datavalue":{"value":{"text":"A labelled sequent calculus for BBI: proof theory and proof search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612426$57BBFB53-71A7-4C47-86C5-B6026C5DE9F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4d45b0aa1bd4d0a27ff53c34714bfd865f5da5e","datavalue":{"value":"1444.03159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612426$C6362AC8-4EE9-49B3-9D57-0FEF5D58CE55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcd82e5ab38b299bdbc22cf18fea63d821286f7","datavalue":{"value":{"entity-type":"item","numeric-id":1687745,"id":"Q1687745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612426$E80B24A7-F3C7-4CE6-A893-86E94E78AC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612426$D59F4728-6FD1-46F6-9507-5A0F5B531C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612426$0156860B-8276-4CE6-A7BF-2B8D66B29BA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612426$71FDD453-222B-45D7-97E3-BBF892E3344F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f265f189fd708be1e9164345a75f35b20c71aa80","datavalue":{"value":"https://arxiv.org/abs/1302.4783","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612426$FE46955A-CC5A-4C0A-B7F2-213D33592C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"df5dd642f35784c8beba68875fc25a0c4b8b83d8","datavalue":{"value":"http://hdl.handle.net/10072/391157","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612426$BE98006F-74AE-40E7-9129-FF450EB4DE5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612426$7EAEA43D-1B0A-43A5-BD23-92090E67D8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612426$94F4603C-4670-4518-AF84-167C352DCB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612426$D04CAB53-8303-4F43-98F7-C33E766E2474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612426$C2216F49-F837-48EC-A6C8-00669A9014C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"317cd7578d6df0667433bf7869fea8aa45305d69","datavalue":{"value":"7009540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612426$973F2E17-C505-42E7-B1B0-C26A57D00F0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612426$33A8B571-49F7-4418-9D57-7ACC760C897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612426$2D77E88D-B1FA-42F3-A77E-B6F758CD280F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06d01909c9cbb15a0bc3c95c8f5b3546583bea8","datavalue":{"value":"BBI","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612426$C64BAF8E-C328-429B-8846-ED172592F89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69020b90f2a295125077d4c830cfc6ef19605b9f","datavalue":{"value":"free variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612426$7FF4FB02-FE76-4A18-A00C-38A977976423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612426$6E4963A4-CC99-4908-B621-88F603ABD8EF","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":"Q4612426$66771DA6-C1A1-49F4-8044-0360490E2679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a093f103766330ebaf4aceb5226a34dd54fd0b8","datavalue":{"value":"W2591349272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612426$07F4A61E-86E0-49B7-AA88-41E951C3FA6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce786f477905b1024d7a86b7234fe22f06a81f05","datavalue":{"value":"10.1093/LOGCOM/EXV033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612426$A10C1B0A-1F8D-4D01-A7F5-8EF3BE7C2C81","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":"Q4612426$E47FBFE9-CC3D-40D7-9E8F-D52A71C7C1ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb692e01bee05c440e268f37751abfc253ae8c16","datavalue":{"value":{"entity-type":"item","numeric-id":2851943,"id":"Q2851943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e8aa98978e2f4aa51b55566d0d32ba83032113","datavalue":{"value":{"amount":"+0.9903880953788756","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":"Q4612426$6F4064A5-0F1F-47FD-9BC6-1DDE39BA6EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cdba11d987d5939f3e67dffb63821f7a7299a58","datavalue":{"value":{"entity-type":"item","numeric-id":2180513,"id":"Q2180513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f6fc3bffd38cedf900881f15f6055e6ff9a8b7","datavalue":{"value":{"amount":"+0.8034919500350952","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":"Q4612426$7420B782-5675-4EA3-9F94-5A58033CD82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82885b1f5991946f96bc4d9fd62f76b0ac3ac859","datavalue":{"value":{"entity-type":"item","numeric-id":1935559,"id":"Q1935559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac75b7f3cbe7bba2a862820bc80681c232a70a28","datavalue":{"value":{"amount":"+0.7746240496635437","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":"Q4612426$C75C19B7-D3CE-4F02-80F5-D838853C1B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a723425a8ddc81333fd50cba8cca6f12afc3066","datavalue":{"value":{"entity-type":"item","numeric-id":5267424,"id":"Q5267424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8015f98a524c6c0661bbf228c7853ef3bbd3109","datavalue":{"value":{"amount":"+0.7740409970283508","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":"Q4612426$5FF25C9F-6A57-4AE7-B29F-982F78DD4ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec39c26452f972e83213a0f251838ecdfe61a79","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ba30906a951fb4dc50df311958a1b70262794d","datavalue":{"value":{"amount":"+0.7717642188072205","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":"Q4612426$3A7B62A1-FDB5-45DE-ADF9-62ABBEA63A87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A labelled sequent calculus for BBI: proof theory and proof search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_labelled_sequent_calculus_for_BBI:_proof_theory_and_proof_search"}}}}}