{"entities":{"Q3086940":{"pageid":3097655,"ns":120,"title":"Item:Q3086940","lastrevid":51218135,"modified":"2026-01-17T07:23:30Z","type":"item","id":"Q3086940","labels":{"en":{"language":"en","value":"Valentini's cut-elimination for provability logic resolved"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872405"}},"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":"Q3086940$4C915C71-7601-4604-815E-908BFFC91641","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917fec522526d0d0cea7dbb0c4ea969c02a39cc8","datavalue":{"value":"1244.03158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086940$63DFD0DE-0E09-4F43-B3B6-707E44D2E01E","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":"Q3086940$7A945516-C103-4F2F-855A-2019C85478D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd26fdbdfe1d2fb01e4aa125652a423d7111de5","datavalue":{"value":{"entity-type":"item","numeric-id":1709694,"id":"Q1709694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086940$2F51899A-A8A6-46E4-AEDE-4B26736AF429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-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":"Q3086940$C322D23E-5BD0-4F13-BACA-DC2863F6F5CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086940$1C12152C-5C6B-4424-8C5C-A3B5111E1962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086940$E68A83D3-4C24-4331-9AE8-0940C78C9E27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed88b2a52e8eaab52bbf0960e3612c82f81455f6","datavalue":{"value":"5872405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086940$47BADC06-6DBD-442D-9978-E41A136E4A8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086940$163D0C83-36A8-4878-AB9D-52E1BFB57C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086940$8B52DE9C-5CB0-400F-8D24-71C14599AC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086940$0496AEDB-674B-4F5E-AF4B-8940AF90E9ED","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":"Q3086940$4BB1AE26-5373-4E53-AA6C-59EA3715D7D6","rank":"normal"}],"P1643":[{"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":"4d82e4a4139a673600181d3fbd9ad8b27e110445","datavalue":{"value":{"amount":"+0.9803253412246704","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":"Q3086940$BF0CE724-B5AD-4E4D-A612-52FDD430B27B","rank":"normal"},{"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":"1ab520e85764e28f2fde887bdea26cc18973b3d4","datavalue":{"value":{"amount":"+0.9245137572288512","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":"Q3086940$A10D1E13-E212-4DCE-B34C-6F9C8CCCED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137ece3485bd94eb6384fe30979b166becb136e5","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345891311cbaff6808aca555a6d395a576d5af8d","datavalue":{"value":{"amount":"+0.7887088060379028","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":"Q3086940$7152A6AA-9812-44A5-A279-7DECE357BD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d94c183b8a90d5604e28002e00d2bf7f110ebb","datavalue":{"value":{"entity-type":"item","numeric-id":288243,"id":"Q288243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc70e9cc546aedaab3d298cb5455452f5ef3a93","datavalue":{"value":{"amount":"+0.781070351600647","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":"Q3086940$F0677687-896F-4AB1-A79E-2486566CADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92618bc10caa6fee0fd91c49cc2d8a0e61babdf","datavalue":{"value":{"entity-type":"item","numeric-id":5884958,"id":"Q5884958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ed03f3271d74732a2b89bf450c4a2930ae0e40","datavalue":{"value":{"amount":"+0.7507713437080383","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":"Q3086940$F0EDC2BC-A651-4584-8083-BB9AA54096DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086940"}}}}}