{"entities":{"Q1182475":{"pageid":1193224,"ns":120,"title":"Item:Q1182475","lastrevid":46232479,"modified":"2025-12-24T09:04:01Z","type":"item","id":"Q1182475","labels":{"en":{"language":"en","value":"What's so special about Kruskal's theorem and the ordinal \\(\\Gamma{}_ 0\\)? A survey of some results in proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31344"}},"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":"Q1182475$B770B14E-73E3-498E-9A4E-BD331669C307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"814654df988198f4fe4520cbd6fe072038256e84","datavalue":{"value":{"text":"What's so special about Kruskal's theorem and the ordinal \\(\\Gamma{}_ 0\\)? A survey of some results in proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182475$20A776F8-17E4-4539-815A-5998C4AA6DDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30efa5ae8ad3e96e1718791b11b7c67b96beb152","datavalue":{"value":"0758.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$118694CA-5839-446B-9E02-C1DDEF9743E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01eb34b1eb2ec148f931861689fa60080abd8f50","datavalue":{"value":"10.1016/0168-0072(91)90022-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$E4B0C2D8-716E-4820-A3C1-762F50D5581A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$BBBDFF3C-B4C4-4EAF-A81D-CBE55833DCD2","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":"Q1182475$1A5DEADC-027C-49E4-A0A2-E61DCE85148E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182475$CD5B96C2-FB72-4FCA-8837-C123AE48726F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"148643fe2c5afb0ee93037e3d72897e9fd9d0869","datavalue":{"value":"As the subtitle indicates, this is a survey of, mainly, H. Friedman's results on the unprovability of Kruskal's tree theorem and its variations (which says that well-orderedness of a relation among trees is inherited by its ``natural'' extension). The paper begins with the explanation and the proof of the above theorem, and then moves on to discuss ordinal notations and normal functions including Sch\u00fctte-Feferman \\(\\Gamma_ 0\\). The connection between Kruskal's theorem and the ordinals \\(< \\Gamma_ 0\\) is explained. Then the nature of the paper changes to, mostly, citations of definitions and results. They include formal systems \\(\\text{ATR}_ 0\\), etc., and unprovability results (in them) by Friedman, Simpson, et al.; term orderings [Dershowitz, Okada]; hierarchies of fast- and slow-growing functions [Wainer, Cicho\u0144]; and constructive proof of Higman's theorem about the extension of ordering to finite sequences.   This paper is written in lecture note style: the definition of concatenations of finite sequences is given, two pages are devoted to motivational material for critical ordinals, \\(\\Gamma_ 0\\), etc., and the paper abounds with the instructor's comments like ``the key notion is ...'', ``we are already quite dizzy [in connection with ordinal notations]'', and so forth. Hence one should not be intimidated by the length of the paper! The author gives a modified definition of the isomorphism of trees to the ordinals [Def. 9.1.] that surmounts the difficulty in Simpson's and Smory\u0144ski's papers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$000EDAEF-2CEE-4F17-8EE7-23EC3C1AFEC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$1EA937EE-8888-45ED-AA67-DB77D6E91725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$FCEF3573-C7A7-4C0D-99D1-0BF88408D43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$1582F390-328A-4079-8270-7317E194163B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$36E13687-B239-4B97-B70E-37CE57488AB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91ac5083b3f6a2b4c7cd69a9d467fc1f82dabcff","datavalue":{"value":"31344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$48045E2C-D12A-4312-A725-610DF92D6A35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e78c793d6b274ad90381ac7e5d81ad110605318","datavalue":{"value":"completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$E6F2066B-9DD9-4977-91FF-5CA52BB6D3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$7D79984F-0788-44A6-9AB7-00DF9C6FF372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$0380578F-C783-423C-B47D-3A30DE3C111E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cee70fd0a5b823c3702bfab09192e51e6a8ab6","datavalue":{"value":"Kruskal's tree theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$BE84976F-DF7B-4A31-9561-17FF548A7E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$08256E7F-5C0A-41B2-B73F-3439FFFDB7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3dc1436650450123fb0d8226ddf356b99a334d","datavalue":{"value":"normal functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$1D028C97-46BA-4A8D-8BA3-24DFA5945000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fdf7e49c11598990d3e6385d95cb4e5490ec8e9","datavalue":{"value":"term orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$85B7E845-4DB2-4955-85BB-327A194C0CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d64e9c80cc04a30c338aae80a13d7bf669439c9","datavalue":{"value":"hierarchies of fast- and slow-growing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$B92D82D2-946B-464B-9F03-91CA289A7937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cef437f8d3fd0b05458229be712edee4c641a21","datavalue":{"value":"critical ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$F0876710-E515-4A4C-9ABB-1119F00C454C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2414e8c2f0923b699d1ee013ee5b818a7d374a","datavalue":{"value":"isomorphism of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182475$1E224ACF-E52C-41B6-A300-950F6F39C6D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56a9ccab407ed45415598ef4c45678fbe6cf83d4","datavalue":{"value":"Q29030153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$FE20334E-4BB6-4871-A93E-9F682D74E835","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":"Q1182475$F4380682-5F29-4F1A-959E-721EBBEA6FD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08cdc0c8d6c5ab6f4b731109024d163fedee462","datavalue":{"value":{"entity-type":"item","numeric-id":2649153,"id":"Q2649153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$AE5FA1DA-E811-4184-9278-E91FC4CB6FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$CC3A0B49-AEFE-4B67-8EBF-17CF909E20C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$D0FF643C-2D5A-40F5-85C6-8550AB13D555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627dfc40f56d32772b1586e3c2b075a4cffb4a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3682477,"id":"Q3682477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$07E01B95-685A-4349-A426-EAF929D8F0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d19367b398f6a5ed34dff0391299ce7d8c6315","datavalue":{"value":{"entity-type":"item","numeric-id":3772212,"id":"Q3772212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$96433E4F-1C9D-424A-B89F-9EB497D6E5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb1c53dbd3af349891a0e5e82b13b1ecf008b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3874266,"id":"Q3874266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$B71B2D4C-299F-483C-AD31-DEFA3FDF2EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$D9402F5E-1E79-4B6F-8B08-EDCD3A82FE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$C2408233-7FFE-45BE-813F-1958AC8FA0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$3DE16833-C42B-4941-9AD1-11A32B430DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$BFF05183-ACEE-4A27-961E-1AD6E5E0908D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$7C88E336-AC7E-42E9-8C0C-8F2F25A6FD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$76D783B2-BF68-4915-ADF6-28CDB5134FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$FCB1C986-83C1-44B2-B0DE-4B6B530D068E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bcaacfea2aa87458e1d3c1aa5260e6875d0121","datavalue":{"value":{"entity-type":"item","numeric-id":5834329,"id":"Q5834329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$CE5D74DC-38E8-4DC6-B96C-838CB9E8D7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3647fe00e3b83141b14436c1949063f538c83988","datavalue":{"value":{"entity-type":"item","numeric-id":3997075,"id":"Q3997075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$D3DB37E5-B897-4E5A-884C-5CAA6E4D8A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$23341F8B-4671-406E-B848-59FC1160F7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$1C1B5188-8471-49AE-A81C-BF0C400024B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eca81f9fdd20e2c49645c4efb07abd9a2d842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1165004,"id":"Q1165004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$3F25C13C-CDC8-4E49-A9DD-342240DE1E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$4F1E58B4-8EEA-485E-83BF-47B413D23311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$F17C5B6C-44CB-437E-BAAC-4B2DF9BDB527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$D8F155C3-7265-4532-A0BF-4CCD5DA7C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce0636b1dec6b52a207213a8ba39915262f7b40","datavalue":{"value":{"entity-type":"item","numeric-id":3667939,"id":"Q3667939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$8E55B707-3D95-4DD4-9F2A-92E2D8F33AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d394b637f78aeda3a0ecc94aee1b6261a9c2cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1209622,"id":"Q1209622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$6B728F64-75D8-4E17-AE32-1BD5B7A7A259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81a676541ed1a4714c310e0879a7174a602a4db","datavalue":{"value":{"entity-type":"item","numeric-id":3496370,"id":"Q3496370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$5E1A982E-FFD2-4F37-A696-7CD2BE2AF2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad4a5c557927a71dba39dcd7727faf63d604bad","datavalue":{"value":{"entity-type":"item","numeric-id":912609,"id":"Q912609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$EF839D68-0190-4189-B657-C9276861F342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ba6b837921be2d4b95f9e2607c9358a583ea49","datavalue":{"value":{"entity-type":"item","numeric-id":4113808,"id":"Q4113808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$AC895E30-E704-4DF3-89ED-72F08174402C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$F1AEC7B6-43BE-4E7F-9A6A-8A3C5AF14F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f680247b5f24c985fc232cc851b0a32d3af0992a","datavalue":{"value":{"entity-type":"item","numeric-id":3786478,"id":"Q3786478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$52F62DB5-B0F5-4189-8054-916A0356C062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$0413223F-FB94-4FD2-AA8F-D18AF2EAAADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b1bb354afd2b79f7ab5c3406b5230d6055702b","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$EB8D7110-B9C0-418A-BE4F-1C78C57206B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af705666205f108fa858e2ef0909cda7ed3412d","datavalue":{"value":{"entity-type":"item","numeric-id":1122597,"id":"Q1122597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$B1A26DA9-B612-4139-B9A7-F00714FF0A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d8ad24cb4bd25b66b08a8a88a01461662f8272","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$AEFA998F-928B-4AFB-B748-EB7F0AE52623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$2E6D89CA-515E-4DD8-8891-E3B0A3E361C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$FE7A3B2B-37D3-4F54-8E5D-770E916C46E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836c0e3dce5c3c3f1796b886735793572a441d10","datavalue":{"value":{"entity-type":"item","numeric-id":3809796,"id":"Q3809796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$06800E22-A630-4A9B-B4E2-F502E1F1552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb85fce914d6445945ae728d76ebec8de3d59a36","datavalue":{"value":{"entity-type":"item","numeric-id":5573368,"id":"Q5573368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$5B1573BB-0BDA-407D-AFC9-C2A9E6973DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc714b0cbcf111c4a333e0730ec73a3647c3035a","datavalue":{"value":{"entity-type":"item","numeric-id":3478403,"id":"Q3478403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182475$59DF0A93-52CC-4D78-87F5-C3B53C30419E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa799c37eea47815745b72fed52dc7a47e4770e2","datavalue":{"value":"https://doi.org/10.1016/0168-0072(91)90022-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182475$D0E3DE5C-7D97-4A42-9522-0F8194E31034","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3f0a135f8bdcf08cf958cd2f264a21a89a79575","datavalue":{"value":"W2076972393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$5178BC2D-38B3-4C28-89F3-0B25E2FB45C9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"eb3600117be57834ce85e83837b54ec18772c685","datavalue":{"value":"journals/apal/Gallier91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182475$F3AAAC23-DAD8-416C-BCB4-7945C6DEEAA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977cd8b99fcaad1edf7fb7340f8f6465da6f310d","datavalue":{"value":{"entity-type":"item","numeric-id":3491541,"id":"Q3491541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f9d06498deb1f627d6ec03265f68b092c53f60","datavalue":{"value":{"amount":"+0.8371549248695374","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":"Q1182475$72413BD5-B441-491A-B32D-29FB7FFC9650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b36ee2c35c29238818024237fdd2a78acfedd9","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad3d3b6abee093ffd7926a9a0c463b77066f340","datavalue":{"value":{"amount":"+0.8281868696212769","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":"Q1182475$08930542-13F0-4DD1-B342-EED552216400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c10a75ce50325629e9132fc957782fb055d65c4","datavalue":{"value":{"entity-type":"item","numeric-id":3718711,"id":"Q3718711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7b7546a07e8f87817601bde9aecc95c86c7212","datavalue":{"value":{"amount":"+0.8281761407852173","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":"Q1182475$95E44049-5816-4E1B-A527-555871F32612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c10cbbebad615b4634682c8c81e26acfb8c7ec","datavalue":{"value":{"entity-type":"item","numeric-id":3199414,"id":"Q3199414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d70fc6151a1bc59bae5e2dd0b94abba997b111","datavalue":{"value":{"amount":"+0.8278986811637878","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":"Q1182475$A4961027-7669-4442-90C2-DBFBD03EBF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b0bbdba02c0122e06e35143e6304fa58ec3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":3731598,"id":"Q3731598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a5fab93b0c8729142eac514bb0c5fd93350d16","datavalue":{"value":{"amount":"+0.8228235244750977","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":"Q1182475$66BB9906-1767-4938-B814-661F882EA632","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1182475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1182475"}}}}}