{"entities":{"Q4249227":{"pageid":6278828,"ns":120,"title":"Item:Q4249227","lastrevid":46838895,"modified":"2025-12-25T17:00:37Z","type":"item","id":"Q4249227","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302675"}},"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":"Q4249227$81DE0629-DA59-48FD-8440-1E6658D0E916","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"321b382478fc8ea8d4276760e60b6ed669bbbc40","datavalue":{"value":"0945.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249227$A4BB10D7-7237-47BC-B248-4C76C1EBAFCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4813871f9712e8a67fd5cf0a5551b619a21743ad","datavalue":{"value":{"entity-type":"item","numeric-id":3558651,"id":"Q3558651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249227$C25FE741-C6A6-4E5E-A528-7948B05838AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebe63471b53ee48ed59b5a1dab85fa46566f7415","datavalue":{"value":{"time":"+2000-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249227$352A122D-31A1-44B0-A2FC-FBCFA41DEFC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c406d71084e443cb957419b3bcdf20baa2fd71f","datavalue":{"value":"https://eudml.org/doc/208921","type":"string"},"datatype":"url"},"type":"statement","id":"Q4249227$6B3846B6-42D4-4CB1-A634-93A55C70DE0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249227$C10E8BA6-5204-49A4-9D71-D1542D6FB735","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c52f6821af497f47c8b38dddde8aa4a63479f5","datavalue":{"value":"1302675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249227$BBB3BD7F-20D3-420C-AEC2-71F00F641440","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249227$6D5A59F1-A26F-4F1A-808D-C66DD2589824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249227$9DFB597B-C5C2-4325-834C-0502CC95432C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249227$83FA0BDB-ADCB-4FB4-87DE-1F86747D864E","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":"Q4249227$5A3FEC92-7B0D-4248-8146-F2BE8284B5F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1910838935ba6d755c64d5b2c815322f02bf14d0","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066b13798d3d9d2da7560488b8be688c77aed685","datavalue":{"value":{"amount":"+0.8160343170166016","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":"Q4249227$4B38DCBC-5FA9-414A-B10F-41A9E87A2D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b087ef49692900107f01c9a6e780b22849ba6a","datavalue":{"value":{"entity-type":"item","numeric-id":3617369,"id":"Q3617369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1400ae681fa2536f008c931da173511f518af0","datavalue":{"value":{"amount":"+0.7996195554733276","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":"Q4249227$2A07EC40-2440-4C7D-A234-CDF7F5C55B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a379be0807c0684d3c8b85e371369487a0e89e65","datavalue":{"value":{"entity-type":"item","numeric-id":2778837,"id":"Q2778837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a4998e8253cc8c50ec8499d99dd2c8fd0ee09c","datavalue":{"value":{"amount":"+0.7866833209991455","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":"Q4249227$92AAF0B0-21EE-46A6-8C69-357AEF588A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3f93e248ff0bcf32fa498c7f541b1d3839d028","datavalue":{"value":{"amount":"+0.7829219102859497","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":"Q4249227$A080D3FA-E2D2-4234-9D04-65356609CBC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249227"}}}}}