{"entities":{"Q1124588":{"pageid":1135337,"ns":120,"title":"Item:Q1124588","lastrevid":66183990,"modified":"2026-04-12T08:06:38Z","type":"item","id":"Q1124588","labels":{"en":{"language":"en","value":"The machinery of consistency proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112581"}},"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":"Q1124588$4CAD18B4-CADB-441E-9D71-743BCD129223","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed217128751dc90e41ce6b694489b8a5f1a3d458","datavalue":{"value":{"text":"The machinery of consistency proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124588$4894309A-4508-4F0C-921C-A468BF8243BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54866914cac00216fd72931563a3002d52ae358e","datavalue":{"value":"0679.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124588$885829CB-9FAA-4F7A-8701-F67D39C6918C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"302aa8a9b05e343f6a8e9e6d51d80c984cc94e78","datavalue":{"value":"10.1016/0168-0072(89)90050-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124588$C608C230-6DD9-4190-B9EF-1B2382D77708","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3301a6b980c5e366145dcc00594aa89b08fc93","datavalue":{"value":{"entity-type":"item","numeric-id":1058512,"id":"Q1058512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$EA31E035-CF77-4C8F-B041-366EEC4A154D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$D2F79EB9-8A0A-4BD2-A19E-21281B7F4685","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1124588$1C7CB08E-8DAB-4C02-84C1-9E9E09B3CE7F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"72543d33d9a2a381954d9e8d868a809a82f6cf87","datavalue":{"value":"The author claims in effect that the essence of a consistency proof for a second-order system \\b{S} is a primitive recursive procedure transforming any proof P in \\b{S} of a closed sequent into an omega-derivation of the same sequent using second-order comprehension and enriched by derivations in \\b{S} of all occurring sequents in such a way that the enrichment of the last sequent is P.    Some additional conditions seem to be required (and in fact assured by the results mentioned in the paper under review) since the canonical (proof search) tree \\(T_ s\\) for a sequent s is already primitive recursive, well-founded if s is true in all (Henkin) omega-models, and \\(T_ s\\) true can be enriched by finite derivations using cuts with suitable easily derivable sequents. Most obvious amendments would be: (1) to restrict comprehension to the form allowed in the original system \\b{S}; (2) to strengthen well-foundedness condition to enrichment by suitable ordinal notations, and (3) to forbid using the cut rule to connect \\b{S}-proofs of adjacent sequents, requiring (Gentzen-Takeuti- type) finite reductions instead. The comparison with the Munich school approach (especially of the author's projections and elevations with collapsing functions) would probably make understanding easier.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$33CF443B-D9D3-40E5-8D3B-A447CB45B2B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124588$2D727B44-EF2C-40CC-89B5-33470659B9CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64fa62ae764b312a05caa66c6e112449d19942d9","datavalue":{"value":"4112581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124588$92358BE0-032F-42A8-83B5-63075A228C8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$525D5BB7-B30C-468D-9A82-FD9F4683D841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529f760224aab433928cc7261d9e637ee5ab9ae1","datavalue":{"value":"enrichment of sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$893C9E51-E40C-4673-B9EB-3FB9B23FAA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874a5e7b4e33b3c767148d8b5b660605ca97fbaf","datavalue":{"value":"consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$DE0EBC3A-9589-4DD8-881F-B63DDED089F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"747d514cd45b17acf805e5cb69bab46d8af2cbc6","datavalue":{"value":"second-order system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$77C54C00-EBC0-470E-BCEC-62ED64AB2E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c198937799cb0492a80c1f533bb74fb38012380","datavalue":{"value":"primitive recursive procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$8A6841C2-77E3-47F8-A95D-6AE6E7C31864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e7784eee639a9af55b0390a454041572b1497e","datavalue":{"value":"closed sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$9A75D5D9-A4E5-47F6-88CF-2037C3B3A511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2bec38c46f31e8b443155af4bcd4371c6d577d","datavalue":{"value":"omega-derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$9186F214-616E-483A-A7F7-781E3FCB1454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67067e60ad9f52c3cf23808e734ae5b5c4832f51","datavalue":{"value":"second-order comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124588$ADE43EF2-6065-4E7C-A53B-0BB015947416","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$310DAB59-F4B3-4996-87F1-D6349B8CF30C","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":"Q1124588$6CBD663B-5BB8-4C2F-A783-B76873DA8C0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc77860fe8010b835d6dec4b39a53367497fbd6","datavalue":{"value":{"entity-type":"item","numeric-id":1057857,"id":"Q1057857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$1B549636-E9F5-4862-B520-30F6FF333CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4428c1c4ac021f578172ccb02b054f7ce0412f83","datavalue":{"value":{"entity-type":"item","numeric-id":1087871,"id":"Q1087871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$B4527E03-4690-451F-AA07-78FD88B6B4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a867c6508cff28341ab32c6df4351fa77ca0b89c","datavalue":{"value":{"entity-type":"item","numeric-id":3039341,"id":"Q3039341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$E290A0E0-447D-4810-AF03-9BBD1930B952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61ddd64788745be925c7c4cbc9948dfa31aeee1","datavalue":{"value":{"entity-type":"item","numeric-id":4723729,"id":"Q4723729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$B7929BCD-E3AE-4FF7-8559-C5F5366E7628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$F12A9907-83F2-4F9D-BB5D-84F6DAC8A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$04247D03-9F1E-4FB3-AE28-FA2BAF51C826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af2fcf2df77322e68ab37166239b813094d5314","datavalue":{"value":{"entity-type":"item","numeric-id":5606583,"id":"Q5606583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$7B13C295-F399-425C-93DF-2819FD2F3294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753e9234497a2c22b9061f41e4e2173760cd4024","datavalue":{"value":{"entity-type":"item","numeric-id":5588635,"id":"Q5588635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$B8DA9D38-1040-4E60-8102-667420062A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24170d46521c68959354fc7defb44afe4797f5","datavalue":{"value":{"entity-type":"item","numeric-id":3800031,"id":"Q3800031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$243D0DC5-CA8C-4AB5-A4E0-1C6CA5532BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$0C707F48-8FA5-4C89-8B59-19B01BDD89E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46787e1f5f108d46a895afe3df22d5a641fea6d","datavalue":{"value":{"entity-type":"item","numeric-id":768810,"id":"Q768810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$1AD6435A-3C19-453B-8F82-96744B89F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b30cb48ecb2a42e404d2affac3f85c287878f69","datavalue":{"value":{"entity-type":"item","numeric-id":773437,"id":"Q773437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$345C0B69-EA6F-4A8A-A083-90499720070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$14F00719-43A7-4AD6-B82D-1C2AB00B68B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$195609C4-1008-4F19-B01A-389833F31A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c97e787535ca5f139674ee042282a91f806a2a","datavalue":{"value":{"entity-type":"item","numeric-id":5579487,"id":"Q5579487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$AE151ABA-29CA-4724-B961-AE45B3A5B8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68710f6b0e06ab2363afd56f5eec792dd12fb8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4773683,"id":"Q4773683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$F6251195-DE47-4A7E-9D1D-C179B3C205C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7741bae9f2848494f789843cfab5ca14a76e7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4128538,"id":"Q4128538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$6B52DE3C-9698-422A-8628-A85677CF00E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a36551b3965d914d989db148ed4a269b42ab89","datavalue":{"value":{"entity-type":"item","numeric-id":1158149,"id":"Q1158149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$AC355A0C-143C-4CD3-9557-36899FC50E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35b4d42cd9800c18a607f9bb8c03bfe75c1fbe8","datavalue":{"value":{"entity-type":"item","numeric-id":5633977,"id":"Q5633977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$36C8FC16-4888-416F-9505-AAD81CD3AF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf58f8077a97f83d7e121fff1a03012c742f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":2625990,"id":"Q2625990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$DB07F421-B860-4B4D-B299-6BA838D5700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0dcfb8f3c0701fa372b24757963fb696d9261da","datavalue":{"value":{"entity-type":"item","numeric-id":2537964,"id":"Q2537964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$F9BCC1A8-BA15-419A-9CD8-CBE574C84D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a92948779e8d65e4244f25bf4c5dfdc91ee734","datavalue":{"value":{"entity-type":"item","numeric-id":4120569,"id":"Q4120569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$3A01DA68-07D4-4987-B7BA-AD5726AAA525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54672139d4355875dad3eb316a9c88f5e6a38290","datavalue":{"value":{"entity-type":"item","numeric-id":4175274,"id":"Q4175274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$A9E8683D-AB1C-4E6F-8F9C-9FFE3BCD5009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d916d4ffc4477becc71ad234053afe794b424eca","datavalue":{"value":{"entity-type":"item","numeric-id":1140640,"id":"Q1140640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$1CE67ED2-8B64-4FED-8F4F-6A980C5F5753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ae6960d8f96da3c3af3f4dd5c4ce06e0dd4479","datavalue":{"value":{"entity-type":"item","numeric-id":3939797,"id":"Q3939797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$AC0D5DA7-4F7E-4552-A21E-7E905F13903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19befbec16a82d0ed36bb7d6612e8dabc90685f0","datavalue":{"value":{"entity-type":"item","numeric-id":1058513,"id":"Q1058513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$66124C15-5CE6-4C3E-B2A0-B71AC74291B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060f36a248a3d22fdf5037f952cca5e040d917e6","datavalue":{"value":{"entity-type":"item","numeric-id":3770526,"id":"Q3770526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$DA0BD160-D58C-451E-8E14-972AAE0E0A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16f522af744cb876637bdac20cd29ccd04762e3","datavalue":{"value":{"entity-type":"item","numeric-id":3767344,"id":"Q3767344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$29B3416A-A0FB-4252-9688-A0FAAD80FE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede47a1cc630aa5c9505641c2fb691cf110d8b11","datavalue":{"value":{"entity-type":"item","numeric-id":1121881,"id":"Q1121881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$E9EA56A5-9E53-4679-9F5B-C539F8C1994E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2929bf1e8064213774e10f2f091860a6ecf05243","datavalue":{"value":{"entity-type":"item","numeric-id":1121882,"id":"Q1121882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124588$ECF77D06-25FD-4A3E-A900-BCD9D0646A3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f577a555e5a17c3fd40e19c0409b8141c311a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5944050,"id":"Q5944050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fa40cb9808dd0110965aec68a97198021cd56b","datavalue":{"value":{"amount":"+0.7695949077606201","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":"Q1124588$EEDF7ADB-69CF-477B-A84F-91CE4AC29256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0864c587ffd0671a32cb3927c84ad701eea3be1f","datavalue":{"value":{"entity-type":"item","numeric-id":5361248,"id":"Q5361248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf848bb91766b373cfee53d7346aea350db7410a","datavalue":{"value":{"amount":"+0.7693023085594177","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":"Q1124588$FF4D5AEB-3E49-48D7-80E5-8FF1A43D7F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80919e725f36aa7a771fafdbac6f4284966c32d","datavalue":{"value":{"entity-type":"item","numeric-id":2863601,"id":"Q2863601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223f481b5eebe7730049e632f160f25f9a744211","datavalue":{"value":{"amount":"+0.7312721014022827","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":"Q1124588$9D315658-062E-43DB-A8B7-F0D77C40C537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c7a541b68918b526a220e9952b282fb0a3d087","datavalue":{"value":{"entity-type":"item","numeric-id":2377348,"id":"Q2377348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d91f43e4fd5d48453b408772d8e8a4db9c1383","datavalue":{"value":{"amount":"+0.7303450703620911","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":"Q1124588$245DFEC2-95A3-4DB5-92C9-7C857FBB8117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12141e2aa877229e96e51c0f331873e7688e14b","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8622489487320dbd49bd346f785bf0dade3d977d","datavalue":{"value":{"amount":"+0.7278615832328796","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":"Q1124588$23CE30D8-DA5A-4C42-9E53-85E5A2D85743","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The machinery of consistency proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_machinery_of_consistency_proofs"}}}}}