{"entities":{"Q5367046":{"pageid":7396620,"ns":120,"title":"Item:Q5367046","lastrevid":96057878,"modified":"2026-06-05T10:19:07Z","type":"item","id":"Q5367046","labels":{"en":{"language":"en","value":"Complexity hierarchies and higher-order cons-free term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790145"}},"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":"Q5367046$300ED697-D9FB-4A61-A374-D34DD6809632","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9777ab29a8dbf47e5be9af8bcb00ce6c49bd0ad7","datavalue":{"value":"1459.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367046$1473D712-69A6-48F7-8B04-6C6103A0EACC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64662a401d68ece98b0b25c77a5d1e68eb3e99ab","datavalue":{"value":"10.23638/LMCS-13(3:8)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367046$94A7C38E-55BF-43BD-B8F2-E531F40C108D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367046$AC334EB7-F496-44D1-B6E4-F6C328AF98E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367046$D182119A-0212-40AE-8837-3F42D26267BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367046$793EE54E-CCD6-4F35-ACC2-B4F65BA28C18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27f7f489fe3aefc11da98f9cfce162542e90153d","datavalue":{"value":"https://arxiv.org/abs/1611.10334","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367046$4559192B-D2BD-4251-A788-6849918CC985","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367046$809943A4-D100-42F8-BE08-3DB782BB4660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367046$AC48AB79-92B4-4462-BEC7-898E5002CD53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"036a835fc9ca9a44b2179a7e1ba4db706b9d67cf","datavalue":{"value":"6790145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367046$2DAE8EFC-D685-4B34-BE4D-D6C7CD9923A3","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":"Q5367046$4F6DFBA7-329F-461C-A344-4EB18E7FBC8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8ba3ae94c424578cd4be76d33ca9c1fae6c536","datavalue":{"value":{"entity-type":"item","numeric-id":5369488,"id":"Q5369488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e9c38025b0ededb0bff42a5ecab178f2d2633c","datavalue":{"value":{"amount":"+0.9868546724319458","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":"Q5367046$0CB83836-EC54-4711-AE05-12D9837B777A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f09d1cb574c931362b50a79f19ffb5ccc44750c","datavalue":{"value":{"entity-type":"item","numeric-id":2988663,"id":"Q2988663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2a4d88f0cdc6b53b4ba847553c3fed1ed52210","datavalue":{"value":{"amount":"+0.8003870844841003","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":"Q5367046$0ECF24CA-7B9E-4FE6-A07F-6C6E3D97DFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6de3a1555e8740531f0a2d7a5a204a63aaefaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5170816,"id":"Q5170816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0f41f6f5add0a9d7cfa91b6363a67a158935a6","datavalue":{"value":{"amount":"+0.7546403408050537","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":"Q5367046$B3DD9510-5FE9-4718-8138-7C73D5D9ED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650505a09ddf2840499c2c56a919f1ccf617ebc0","datavalue":{"value":{"entity-type":"item","numeric-id":1112601,"id":"Q1112601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4a7aefec826063ecc19f601e4637d60a19a09c","datavalue":{"value":{"amount":"+0.732829213142395","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":"Q5367046$29B49B24-1854-4DC7-9AFD-F03F515A9080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0b7cd0dbfc456463b48090c046c293822d8444","datavalue":{"value":{"entity-type":"item","numeric-id":2865062,"id":"Q2865062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cec7b4ab7d65c1625e930c527a987df3854828","datavalue":{"value":{"amount":"+0.7218783497810364","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":"Q5367046$396EB053-8BBE-4A85-B315-C1A8D8F69DA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity hierarchies and higher-order cons-free term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_hierarchies_and_higher-order_cons-free_term_rewriting"}}}}}