{"entities":{"Q4722038":{"pageid":6751615,"ns":120,"title":"Item:Q4722038","lastrevid":49040311,"modified":"2026-01-06T12:32:00Z","type":"item","id":"Q4722038","labels":{"en":{"language":"en","value":"Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993541"}},"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":"Q4722038$21F6B016-424C-47FF-94E7-3E1BC40BA39B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"364b13620dff11039231970b6f41f758784ee512","datavalue":{"value":{"text":"Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4722038$050553A5-B9AA-4893-9F0B-CB8AC1FD4B89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"820f6f745ed5ce05fdee1185c44fe45144a2f717","datavalue":{"value":"0614.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722038$FF647846-B62B-45BA-9FE9-10EC653067E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18f53b1c5a0c1ee6841473353af3d3f277a474da","datavalue":{"value":"10.2307/2273864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722038$D9ED3C46-97FF-4B32-86E2-33E8E585BE9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4722038$B3B11D04-5113-490F-8B95-A16527382C07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722038$00B7B4D1-2C72-40FF-B095-139CDA129DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722038$13A90717-C759-402B-92FC-5035864242B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722038$16FBEBB7-FC46-4E43-AB38-550F031C802C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722038$8C3FA671-4F5B-4775-8961-688783DE16BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdef54047855c9f8a1ba3cbb5739b79870daff1e","datavalue":{"value":"3993541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722038$504A1E4D-09DE-45BB-8232-B877DA50430D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722038$D4BF9AD6-DAC0-4885-AD52-26302788CD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421c7374605c99685b3914f19a51efa392ce1c7","datavalue":{"value":"inconsistency proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722038$939C211A-03FA-4ACF-B1B2-8A563ED71BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a20c0cd46b1270eaa68d6af79089b4560ac705","datavalue":{"value":"cut formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722038$BDFF0AEA-B953-4444-A1F1-06B7EFFB17E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722038$0515C582-48FB-4F98-9494-5DE521192F2E","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":"Q4722038$01275252-D431-4878-A28E-8B428898165B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6b04ce7f11eccc107abdf86966993968abe2b7d","datavalue":{"value":"https://doi.org/10.2307/2273864","type":"string"},"datatype":"url"},"type":"statement","id":"Q4722038$A97BE458-FB4E-4DFC-8709-04FF3AE3A702","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ef7b2530bc2eb9a2de8feec66b9bc0b3d2b0f5d","datavalue":{"value":"W2075432129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722038$CE0D0336-CBC0-4F95-9B60-95231F88E252","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"481e5706ca89e95a13eedbf27e35e3a5aa185a9e","datavalue":{"value":{"entity-type":"item","numeric-id":2527821,"id":"Q2527821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722038$83E87BA3-4A93-4C9F-A812-20F0A8B8F178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405b4a78f9389e03fe8ec1b0ec1a13699ecb6c41","datavalue":{"value":{"entity-type":"item","numeric-id":2644945,"id":"Q2644945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722038$27642643-29A9-43D5-9931-41A490AEB008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ee8ad5ef59d19d9c1c42fc765be3205cdeae58","datavalue":{"value":{"entity-type":"item","numeric-id":3043111,"id":"Q3043111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722038$8BAAD94F-8BD5-488F-B982-6B818B6E570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22df2c0a9da41467dd8e40df1e4a939b7164cc85","datavalue":{"value":{"entity-type":"item","numeric-id":1565537,"id":"Q1565537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722038$ACEFE31A-2855-4022-8AEA-0C9FB98107DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c2584425bffb8f031f8ec34589e5110521a522","datavalue":{"value":{"entity-type":"item","numeric-id":3322072,"id":"Q3322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722038$EDE0FCDB-CC4C-4B50-8846-57F10D981928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c71b09067315ec11f4c7ba1309b38b39131ef6","datavalue":{"value":{"entity-type":"item","numeric-id":2539864,"id":"Q2539864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722038$A6B2BDA9-DA36-4A7C-9AF4-A6B99E68B536","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722038$4D3359E8-B0A5-4CBC-99AD-D57291C9321F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b342cb04c66e86ce932c28c0256a33ea88a567","datavalue":{"value":{"entity-type":"item","numeric-id":4735169,"id":"Q4735169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03630ef57b2707b721d9b2f9eccb5d3401a9b3e3","datavalue":{"value":{"amount":"+0.841776430606842","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":"Q4722038$E349C3CD-8C7F-4665-A7D0-7783C047D82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cdbbf38d94910a9a0f0a17040a5b94ca453729","datavalue":{"value":{"entity-type":"item","numeric-id":2869904,"id":"Q2869904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978731e834111be2904087d4a915d839eb3b55c3","datavalue":{"value":{"amount":"+0.8376286625862122","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":"Q4722038$89133CE6-70D9-4B5B-9231-752838DA5A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa46b8e7746c3ab994009a140d2aaf32341edfa","datavalue":{"value":{"entity-type":"item","numeric-id":3832538,"id":"Q3832538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f9d8f123ac1fc95d0132b22acb954c1c48011b","datavalue":{"value":{"amount":"+0.8046039342880249","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":"Q4722038$0BB5C940-7411-4F95-8F8E-83C2F937470B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4f03a10edafe7cdc7913a54a58229f242d59a6","datavalue":{"value":{"entity-type":"item","numeric-id":1267843,"id":"Q1267843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a561b967409728a961f81d9776080767bc11aa05","datavalue":{"value":{"amount":"+0.8037475347518921","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":"Q4722038$07E9887E-2585-45E0-9D18-EA6D14F09EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb888f3c8c83d639d6ccd3a841bd736b8d0d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4207885,"id":"Q4207885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a561b967409728a961f81d9776080767bc11aa05","datavalue":{"value":{"amount":"+0.8037475347518921","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":"Q4722038$D3D37275-B02B-45AA-A084-B8A4BDD1DB1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4722038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4722038"}}}}}