{"entities":{"Q2959916":{"pageid":2970641,"ns":120,"title":"Item:Q2959916","lastrevid":85197980,"modified":"2026-06-03T06:15:07Z","type":"item","id":"Q2959916","labels":{"en":{"language":"en","value":"Phase transitions in proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6683540"}},"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":"Q2959916$54901CA5-AECD-4A92-AB9F-9A31E901A00F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a203a7530523e410052b0d36a468be7763c7a8dc","datavalue":{"value":"1355.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959916$11240F32-80FE-48B4-B558-5D8E5391711E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959916$85AB80EE-8369-45B5-A5C0-87B3F2F8132E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959916$448CED97-6A4F-430C-B481-F4FD818EF5FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ff77e7ec0010dc728a970344576af099b4bd62b","datavalue":{"value":{"time":"+2017-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2959916$2543FBDB-75E7-442D-AF4B-1F1CDF4DDA00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0259b70cce2253f9ed570c52688e33eba637cd99","datavalue":{"value":"http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAM0124","type":"string"},"datatype":"url"},"type":"statement","id":"Q2959916$587E83CE-67FE-4127-A62E-AB71C393AFB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959916$DD5EEE26-0326-40EE-8DBC-A939C4518AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959916$66E9EE63-2705-40F1-9E77-1FE2877E4B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d36e3867d5946e3717838aa146c58da76ecefaf","datavalue":{"value":"05A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959916$0CD112CB-9482-46B9-A20D-65CF3B84E7FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95d84cbc957d79477e4ead1fd8c7dd78bc3663fa","datavalue":{"value":"6683540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959916$DE6017E3-E494-4DFF-AFF8-D72E1D91F360","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959916$226B4034-D6CA-4B21-B7AF-340270CA2FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959916$811DBF78-D84F-4320-AF64-6E6B062E542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959916$A7989F32-2B09-49D5-8E9A-BCBD94A6181C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da113742bc590569d87ab4f1133e2e6e25f5a40f","datavalue":{"value":"asymptotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959916$8C52C54A-2339-40E7-B2E5-058393D0206A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c130d4d8ba196b05e16ed90a178ca34dcbfa704f","datavalue":{"value":"analytic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959916$9474D07B-675E-49FA-AAFE-58CF95E44B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ad6552ae843a79b251bfc9e7972a8d8efd847a","datavalue":{"value":"well-partial-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959916$1A33EBA4-67B1-4763-850F-97C7980B1766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7404424f2e3b6a35706ff2f6c992fb22a6f52ce","datavalue":{"value":"Higman-Kruskal-Friedman theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959916$1FD088B9-CF26-404B-AC28-240F23E12B30","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":"Q2959916$A16B531E-CC03-483A-94EF-B1394F81E815","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7c9106d55510528d0b6d7246c27669d2573976","datavalue":{"value":{"entity-type":"item","numeric-id":3423145,"id":"Q3423145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a74ecad87eb7b7850d8aa1909756744f240a81e","datavalue":{"value":{"amount":"+0.8116690516471863","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":"Q2959916$036EA3FC-D84A-41D1-956A-DE2AD7D0B71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1dc36169c43a60563c5fc46832b7cbe45c38482","datavalue":{"value":{"entity-type":"item","numeric-id":1006619,"id":"Q1006619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a60fc0e8f04fdbc81e592b9b6703a9fd21fedf","datavalue":{"value":{"amount":"+0.8063378930091858","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":"Q2959916$68B0D929-2854-4CB8-87DE-24D3AB5ECED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e401d057b0f2d3958cfee2b6147bdf5fd95c96d","datavalue":{"value":{"entity-type":"item","numeric-id":661281,"id":"Q661281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8feed111213bfd64bbbea2f576b11f305de4cba9","datavalue":{"value":{"amount":"+0.8014636635780334","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":"Q2959916$D0F67714-F619-4D48-83D9-202603D345FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9939e3b243ee17fd9107e7eae5724e9d074d02a","datavalue":{"value":{"entity-type":"item","numeric-id":5696111,"id":"Q5696111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8ab782ef4dabd37d9f063d334315fcab63df52","datavalue":{"value":{"amount":"+0.7969878911972046","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":"Q2959916$5587A671-8DB4-4F18-B5AB-E4CE2FBC8BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d37d8cb115f63a608ea84349d2530c3f45c9a8f","datavalue":{"value":{"entity-type":"item","numeric-id":286698,"id":"Q286698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6124be45ba6dd8527ac114420bbb813d91c5c34","datavalue":{"value":{"amount":"+0.7838752865791321","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":"Q2959916$B8994D17-22AE-4822-9546-F9474D33B10D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Phase transitions in proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Phase_transitions_in_proof_theory"}}}}}