{"entities":{"Q5387879":{"pageid":7417453,"ns":120,"title":"Item:Q5387879","lastrevid":58555323,"modified":"2026-04-05T17:51:28Z","type":"item","id":"Q5387879","labels":{"en":{"language":"en","value":"Higher-Order Termination: From Kruskal to Computability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279562"}},"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":"Q5387879$DEE9E2DF-0518-48C0-8080-AA5C7E3D15FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05eac451310347141b81176e9d7e7a6f7ea58d84","datavalue":{"value":{"text":"Higher-Order Termination: From Kruskal to Computability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387879$2309C67A-193E-4627-AFCB-C69233519259","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c813ebdca722d760adff6127c0964ef8eec7e06","datavalue":{"value":"1165.03343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387879$F33A6272-7265-425C-8F02-F657404E2287","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6d3f57767cbeb946f4f4e3d481b276a29fb42ed","datavalue":{"value":"10.1007/11916277_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387879$81CDF86C-334E-4802-9966-0316078D661F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387879$C157419A-7101-4BA5-B60F-6F78B9EB566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387879$5D9A947D-A5C3-4F57-929C-2C7EB0451A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387879$DDAE1F24-A8A0-4B12-86AB-404FCBD843C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387879$EA054980-1F95-4658-A47A-1803D0DD1376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387879$DC92F9AB-8AB9-487E-A7C2-CB51CB103779","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e5c4f04aa8a62bc325d347b1a5f1c9a8cbbe734","datavalue":{"value":"https://arxiv.org/abs/cs/0609039","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387879$F975A2E3-F148-48E8-9DC3-8DB885399CEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387879$A777D2C2-A496-498B-8518-55AE7D6164E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387879$67C15259-AF37-4461-BB42-B90A65484FFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f849245a1228ea45bad602bd3873f3eb7dccc4a","datavalue":{"value":"5279562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387879$90D4F4F2-4C5F-4906-9E16-5ED0170448DB","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":"Q5387879$A5531BE4-FADA-49BE-AE4E-B0D4A27EEEB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f8c0aeb4288383634e5402833dde9a09bf457f8","datavalue":{"value":"W1884307414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387879$54DD33E3-2C5E-491E-9A13-D7886541A075","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849c17cb94218e8fed782e07a8b252a384219966","datavalue":{"value":{"entity-type":"item","numeric-id":3196359,"id":"Q3196359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83c77d7ce96bdb8d528e7ee53606376f0dee722","datavalue":{"value":{"amount":"+0.8139367699623108","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":"Q5387879$A6AFB353-0F2E-4C58-A2A8-187F8EB969A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7e66077f573269297e0cd2ec7f75820aeb45fa","datavalue":{"value":{"entity-type":"item","numeric-id":3540166,"id":"Q3540166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580a14117bebd6f23195cd59ffef026a6ffbfcdb","datavalue":{"value":{"amount":"+0.8086766004562378","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":"Q5387879$3F6D7AB7-6AF9-4678-B328-9A8C4D6582F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5e0bac9ddf03b232ad459924379981563585a5","datavalue":{"value":{"amount":"+0.7779322862625122","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":"Q5387879$C153173C-E359-4B3E-8293-02E49002F8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef9cf6987fdb38041d6207038228071299b8c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3546327,"id":"Q3546327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1983b7ae4bf75df4c610bf85ad06c5accf7442","datavalue":{"value":{"amount":"+0.7758277058601379","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":"Q5387879$B290B89D-E8DB-4BCB-ABFD-B020AA313F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a612263b32834f1768f0682a043e048099d64","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c512cf31e76a036d794ad1241ac452737146adfd","datavalue":{"value":{"amount":"+0.7749461531639099","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":"Q5387879$882ABBAE-4427-4E9A-808B-08B982732997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387879"}}}}}