{"entities":{"Q4999183":{"pageid":7028760,"ns":120,"title":"Item:Q4999183","lastrevid":98347136,"modified":"2026-06-05T17:17:10Z","type":"item","id":"Q4999183","labels":{"en":{"language":"en","value":"From Hilbert proofs to consecutions and back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368317"}},"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":"Q4999183$1A7E5B73-F2F0-4016-A919-3D9242FE7252","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4677bb9f3eb626cfb2a486b3153c7649df3d7d59","datavalue":{"value":{"text":"From Hilbert proofs to consecutions and back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4999183$0F0ADA63-3A7A-4CB4-A557-EDCAD181268D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41cd12ea5056899ba4b8e0dcb146bf124736e676","datavalue":{"value":{"entity-type":"item","numeric-id":300831,"id":"Q300831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999183$AA603B72-9C0B-4D36-86E4-D4B62218D36A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69dbb2b4c88052dd4e2de10d8b493ae56163fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3121032,"id":"Q3121032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999183$5ACD8A83-6EDB-473A-B20E-3447088FA357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea07e2e14cf0a66355cfc6e3cc2a283124ee993","datavalue":{"value":{"time":"+2021-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4999183$5EAF1EDF-FC11-4222-8473-03AAB5B37514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999183$5A35BB2E-B251-4458-BB89-75687834CFD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59f9ee5ad10218d76e1a851e5a031f96645e725c","datavalue":{"value":"7368317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999183$22C8C80A-DA7C-4AE2-B7A2-8AF4A84F4E33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6d6a5f3255f1eb4f795a49c20fc70baf5a63562","datavalue":{"value":"consecution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999183$526BE071-C1F7-4770-B2E2-ED214B90DAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553ae0784a66207e106e26829367029c72333c44","datavalue":{"value":"external consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999183$025D6334-9AF1-4AB3-ABE5-348761C3C796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13441ff5a78b917a9ce55ea2b1daaab20257104","datavalue":{"value":"Hilbert consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999183$C936DF04-7021-40FA-8749-2FA1E17BBACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999183$9B9B8EFA-2433-410D-9FF4-D94D6EFA84E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8297b4d9dbf9fd9bb51191c4cbfc4cb08953e3dd","datavalue":{"value":"substructural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999183$1BE214C8-7D9F-4BB0-BD24-6817019F2ABE","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":"Q4999183$E933814A-2AA7-44C3-AD2E-4B8EC982FD28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96e17736a4d66ed658bd3b3b3f78e3b2f0504194","datavalue":{"value":"https://doi.org/10.26686/ajl.v18i2.6770","type":"string"},"datatype":"url"},"type":"statement","id":"Q4999183$18EC49F9-4B89-40AE-8CFD-237AA890E402","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9061a165d04f8e949d4d03cf39962833b8e785b2","datavalue":{"value":"W3160700379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999183$ED7694DF-D252-4871-9EBE-E7C8FBDADF93","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9475adebf484090fb1eaffee11fe3061bffe0238","datavalue":{"value":"Q113703455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999183$C1E6E4C3-75D7-48E0-9603-B3D19AC01495","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84d13094c44d5a3945cb3d10fd20d05484528226","datavalue":{"value":"10.26686/AJL.V18I2.6770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999183$CD59CE87-AC29-4CD9-B1A3-AF0885FEA2E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80e17c6cb5357ee1f02e3d37ffeb1cdc0aec6ac","datavalue":{"value":{"amount":"+0.7272491455078125","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":"Q4999183$8BD3B6A5-721E-46D7-9504-26B5756CDC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d17f64b6dcabc48d4b8e689ff570bf01000e32f","datavalue":{"value":{"entity-type":"item","numeric-id":2454875,"id":"Q2454875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d45431e1729b39fe013be758ec814042769a34","datavalue":{"value":{"amount":"+0.7271348834037781","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":"Q4999183$609AC71D-E77C-471E-94A2-B64D6F883D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3762fc33dad403a22d56c5f18a16f5cfe7e3c744","datavalue":{"value":{"entity-type":"item","numeric-id":691126,"id":"Q691126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9aa9b8c4bd264e03a506c568677b23fcf1de84","datavalue":{"value":{"amount":"+0.7078145742416382","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":"Q4999183$C68FB377-F0EA-4F2F-8E99-2556B44BDF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e26ce1230c9b8bee351f13d20c5d280087553d","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33193fc3abaeedad07ee33952cd7868b14f80dd6","datavalue":{"value":{"amount":"+0.7056026458740234","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":"Q4999183$8BCF6B94-0E1A-4146-A0C0-DAE93F67A76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb840e493a31e9e70894062df7a2e55b4029a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4903811,"id":"Q4903811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c20509aeb2b7493cc7af5a7b5bd2a830c1fe52","datavalue":{"value":{"amount":"+0.7040059566497803","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":"Q4999183$33EF3F0D-D823-4319-B203-ECE1FC0EEF2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From Hilbert proofs to consecutions and back","badges":[]}}}}}