{"entities":{"Q4916206":{"pageid":6945787,"ns":120,"title":"Item:Q4916206","lastrevid":51698417,"modified":"2026-01-19T13:20:25Z","type":"item","id":"Q4916206","labels":{"en":{"language":"en","value":"Studying provability in implicational intuitionistic logic: the formula tree approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156014"}},"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":"Q4916206$F87BD1AB-1BE9-4A8E-AB7E-CE963F626682","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3e074369453152cf4ae82d3c17d85e665f9d74f","datavalue":{"value":{"text":"Studying provability in implicational intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916206$71B83580-257D-4D6B-94F4-917FF0731438","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec984b432b59ac4b142a1481f0f75aca60bedfcb","datavalue":{"value":"1261.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916206$5CF6C5B9-7476-41CA-8A97-A570ADDDFD7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0091315fd31d80c247cb4bdb6c5eb948b017da86","datavalue":{"value":"10.1016/S1571-0661(04)80545-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916206$9C7BFD3B-FA2D-4620-8206-458D758182B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be40013d629abcf9c4dedf0b6f10313a658759f","datavalue":{"value":{"entity-type":"item","numeric-id":596032,"id":"Q596032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$AA882D60-5B6B-479E-9D8A-CF2AB9DC2DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2641b8e7fca864cf6fafc527fcb34eae8b18504","datavalue":{"value":{"entity-type":"item","numeric-id":596033,"id":"Q596033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$A3E544D3-F7BB-417E-88C3-8C981C46ABD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$B822D614-4F76-4FF6-9BE8-DDA55845384B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916206$8687FDB2-48B0-4B7D-B904-4DAEFBB57689","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916206$AAAAB268-2771-41EF-A02C-3F894B444CF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80f3679f035fa3e8a50eef73ef6b1b3c9476ab92","datavalue":{"value":"6156014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916206$FDE9B5CA-85AC-4245-AFB4-06DF111060B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ed1c17782e31d3d1661abd6299af080ca84f42","datavalue":{"value":"implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916206$DF946243-32EB-400B-97EA-092F7277B831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916206$97D0D1A8-5C0D-43DC-8FDE-F6622D0072AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d027070973e2033f507c50979298955de498a1cf","datavalue":{"value":"uniqueness of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916206$D95B3866-FDA5-480F-ABC2-BE8860DD7298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d107a9c1da931aa244aa2ba28949e29e635299","datavalue":{"value":"formula-tree approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916206$C8F00691-09C1-4178-9EB6-CD18563CEF89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$8EFA5547-0903-48B7-988D-13BAD893D002","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":"Q4916206$58F0699C-6143-492A-98CC-32A0952F7C49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"615671703c3ada63e3d401f1637044c0ae4bb38e","datavalue":{"value":{"entity-type":"item","numeric-id":4315299,"id":"Q4315299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$FE34CCB9-1C20-47AD-B494-1B33259BED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3409bd8005aacaaf0ac09f154e6910814ac82860","datavalue":{"value":{"entity-type":"item","numeric-id":1288178,"id":"Q1288178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$BB5B4594-4569-4A9F-807E-6EECA0A7915D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a35112b399e830d5c9cb07782fb4fe05a2e53a1","datavalue":{"value":{"entity-type":"item","numeric-id":4263863,"id":"Q4263863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$7359DC48-BB31-4CB6-93FC-9F5DFE8BB88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2754d8ea21cbfec5577a3f49f6201bd14b3c628a","datavalue":{"value":{"entity-type":"item","numeric-id":2708317,"id":"Q2708317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$F36B87EF-A9AC-42DF-A9F6-EFB3E2F4E70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9ced2bbf6b997392a6bc773e05f8ab5d9ce846","datavalue":{"value":{"entity-type":"item","numeric-id":1575928,"id":"Q1575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$96C5477D-CE98-487D-9596-28B5AC95F616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$8EE35FBF-22D1-4CCA-AB9C-457BA79ABC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad9c94e7533cf9a3a4dbb3d541a81e06befc84a","datavalue":{"value":{"entity-type":"item","numeric-id":1208417,"id":"Q1208417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$DB0D49D6-AD56-4D2F-BE29-CC4C9E7B6DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2281ce5fbf6b50ade93be051e7b15459f4befdfe","datavalue":{"value":{"entity-type":"item","numeric-id":1274981,"id":"Q1274981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$D9833E64-065A-4872-9243-8E9B843CF5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$337C8610-FAA0-4D7C-AFCC-09E9544341F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$AD508074-5C41-468D-BCA7-D492AC436E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1f7d9d0899efc35ab1479f4157909c61d62f51","datavalue":{"value":{"entity-type":"item","numeric-id":4276021,"id":"Q4276021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916206$636D927D-89D8-4F70-9066-29CB4BFF87B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d5f53ced6aa3579a744b112141fab5fca1f941","datavalue":{"value":{"entity-type":"item","numeric-id":1288178,"id":"Q1288178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2786443de0c8d3ecc2e1f77f76e2c4309321e8","datavalue":{"value":{"amount":"+0.7666774988174438","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":"Q4916206$32357A83-674F-4078-A58F-C3896E9CCEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523ceda9c46f837435b012e3131d159e916a802b","datavalue":{"value":{"entity-type":"item","numeric-id":1575928,"id":"Q1575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2786443de0c8d3ecc2e1f77f76e2c4309321e8","datavalue":{"value":{"amount":"+0.7666774988174438","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":"Q4916206$530CC2AC-C353-48E2-9274-E9BAEF9BC752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6622a5dedc5e9018fd80e95b97f402170522adee","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421cdad1b59afebf5ae93fdfa1fac69138866039","datavalue":{"value":{"amount":"+0.7509993314743042","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":"Q4916206$AEA3AA04-8BFA-4EDD-BC15-5B20979A41F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0805a492f569624ca7a422b8a5fc7319b2b696","datavalue":{"value":{"entity-type":"item","numeric-id":4276021,"id":"Q4276021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac0840987057450935ac6132fde78abfbfe0adc","datavalue":{"value":{"amount":"+0.734794557094574","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":"Q4916206$32E16659-851B-4717-AA73-9CF3D76BBA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5461cb2508e87a4328967389321f1e4f348459c","datavalue":{"value":{"entity-type":"item","numeric-id":2701978,"id":"Q2701978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df98e5a0c20d15cfdffd7220d7f420288ceb098d","datavalue":{"value":{"amount":"+0.7337771058082581","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":"Q4916206$CE2FB1CF-C7D7-454C-8186-99DA9761A8AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916206"}}}}}