{"entities":{"Q4933310":{"pageid":6962892,"ns":120,"title":"Item:Q4933310","lastrevid":51101768,"modified":"2026-01-16T16:33:34Z","type":"item","id":"Q4933310","labels":{"en":{"language":"en","value":"Generic methods for formalising sequent calculi applied to provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798901"}},"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":"Q4933310$0890E7C9-492A-4C07-9E2F-B4380C1DA918","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfd344f3fb1dd15c4acd761e6468ffcb02057827","datavalue":{"value":{"text":"Generic Methods for Formalising Sequent Calculi Applied to Provability Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933310$7E4129AB-C3F1-4F84-9659-C3AB387623AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3e02094db19333991205cf6e2a673e0264b2ae6","datavalue":{"value":"1307.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933310$72CBC7BF-8150-409A-BF7A-EAF2E091F52F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"853c0a98f17d4ae64e40076233e68e84cf0cba90","datavalue":{"value":"10.1007/978-3-642-16242-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933310$E552489C-0A41-4D0F-A0BD-5BC66C21E383","rank":"normal"}],"P16":[{"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":"Q4933310$094FF04D-4CE5-47D9-8285-F72DE0AF9A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933310$B1890720-C91B-4092-9E27-E2DC0D280025","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933310$103661DC-0C30-4543-A076-012BBDC660EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933310$04A3B064-BB22-4BDC-AC38-D7B34FB178FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0649b89225ad8c7460d098e20335949665bd0231","datavalue":{"value":"http://hdl.handle.net/1885/20780","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933310$DC565C94-44D1-4CD5-B567-A69DE5979727","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933310$C55A9A2A-26EB-4AC2-8173-0DD8E9220301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933310$E6796F13-81FF-4FD9-85A5-77FC3FDCD504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933310$1DF764D3-F967-4C9D-9E60-680449F5D6E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2dbf3780cd6f6228e999f67a85f8350e633bb40","datavalue":{"value":"5798901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933310$9CC04204-4F5B-4CC2-AB8B-1CA0001FF4B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933310$1D51FA94-F8E4-4DB5-A757-F40DFE20EB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b117cf251cec88c66a52b2392d0867e5e86e7ff8","datavalue":{"value":"cut admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933310$4D471266-9653-42DE-A2DD-F7E80680FD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933310$A8D17928-3ECF-4BB0-AB5B-11CDDCA2DE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933310$9FF3BE83-0897-4DD5-8038-E22713AA8581","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933310$D4F8A9B0-66C8-4A86-9C70-04566D9257C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933310$14F1534C-96FE-4470-9740-4842E8C42E08","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":"Q4933310$4EE051E5-59E2-4A73-99FF-C8E2D233406D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6d417b8e926cd24496524ad248d6df7cd6b4618","datavalue":{"value":"W1823478466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933310$CC255097-9A42-4120-B619-BCB7F3F8E027","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedff2a5fd0ec7cd0603ee32671f98cefcfa47f6","datavalue":{"value":{"entity-type":"item","numeric-id":5850981,"id":"Q5850981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac39c63b6ea5352bfc2c2457eb57bd8bef6679d9","datavalue":{"value":{"amount":"+0.7756088376045227","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":"Q4933310$2BB91606-F3A9-40E5-B4D6-F073D632BF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7324690b75e0ebf9418a2a4f6b2c01aa4253cc","datavalue":{"value":{"amount":"+0.7624926567077637","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":"Q4933310$635B3233-D46F-4436-8110-CC68837A5178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f1ad10844ce984c8adb76ea61b2f97e4093499","datavalue":{"value":{"entity-type":"item","numeric-id":2890695,"id":"Q2890695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a98682a14164e039eb6ddca870848e79fa0b03","datavalue":{"value":{"amount":"+0.7575002312660217","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":"Q4933310$D491853A-C33D-480A-ADF2-B587FA14F1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4243d97e0a8017982b8094990ee6233d892c66","datavalue":{"value":{"entity-type":"item","numeric-id":4484337,"id":"Q4484337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5db7595ffe76433617ccb381e47863a63f5b98","datavalue":{"value":{"amount":"+0.7533602118492126","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":"Q4933310$38E67795-DC41-4F95-8BD2-F80E6CF36F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5becc199be0be438307b801ca58515df9c7ca279","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca897bba82faa9af33344294126d9d61b29c3846","datavalue":{"value":{"amount":"+0.7489708662033081","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":"Q4933310$BB0ECBCF-526C-4122-8706-91010FC494C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933310"}}}}}