{"entities":{"Q3366964":{"pageid":3377668,"ns":120,"title":"Item:Q3366964","lastrevid":49786987,"modified":"2026-01-10T17:55:47Z","type":"item","id":"Q3366964","labels":{"en":{"language":"en","value":"Extension of the formal system of the theory of expressions with arities and its strong normalization property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5006870"}},"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":"Q3366964$9CEA4112-8EA1-441C-83FA-84F9797FC88E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85485df7af211be36f8f0c4002851b25d02ff413","datavalue":{"value":"1085.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3366964$D99EE473-756A-49B9-9B57-8D67DA7165E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3366964$8F788EFC-7CEB-4109-937B-63420935273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"543146582677ce89141a9c4bac6cb5a7fc44223c","datavalue":{"value":{"entity-type":"item","numeric-id":218083,"id":"Q218083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3366964$5D41FDD4-EC3B-4469-A1DC-731EE66863BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7c0d9c509eb74be8ff2fdfc3b34e499a4f6cafc","datavalue":{"value":{"entity-type":"item","numeric-id":971581,"id":"Q971581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3366964$A067FDE4-A2A1-4BB7-9165-9F4DE24A93F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e3073a309ab1a7be8e7886f646f40a06779d78f","datavalue":{"value":{"time":"+2006-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3366964$0992606C-0303-4C4F-BAEE-D26DCEE4F0AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3366964$3065500E-5FFE-4911-95EF-1090835BD9DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a1d2cf87fa42385cd2027a1e1b2f3f4abb029fe","datavalue":{"value":"5006870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3366964$D310C1A0-FBE5-47E0-A25F-B9E332C230D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"756452406eb140bb47cd5d04e0c5f7ec95574506","datavalue":{"value":"theory of expressions with arities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3366964$56C4209F-77D7-4A53-9E46-F5927881BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3366964$D688D294-3FCF-4257-AE6D-91F6570BC6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3366964$0BB1FC2F-4F1E-435B-A888-D0F0EE1D8F3B","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":"Q3366964$73A65A98-B542-4FE3-9CC1-04CEE4759595","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafebfd5e58bb74a87b62c1042cc11c64f5d7479","datavalue":{"value":{"entity-type":"item","numeric-id":5096234,"id":"Q5096234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529e923d42c26e93ea494f714712dd1ab205f052","datavalue":{"value":{"amount":"+0.7304971218109131","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":"Q3366964$E9B1B264-7C82-47DC-9BB9-D24F8AA91813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed67a1fc914341ca343a9badeca5ced0dcd7c12c","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84870ffcc8b020b2634842f860a83c9d12c382da","datavalue":{"value":{"amount":"+0.7265960574150085","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":"Q3366964$28F6D575-C7EB-4F09-8593-4B79CA5F6AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84870ffcc8b020b2634842f860a83c9d12c382da","datavalue":{"value":{"amount":"+0.7265960574150085","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":"Q3366964$B87047C7-294E-454E-B5F8-0322847BA87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55900eb0781a5eb21efa65abd1d7d78d1464723","datavalue":{"value":{"entity-type":"item","numeric-id":5140267,"id":"Q5140267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f858bd246ee1a592b97f59d333ff0e45e48dd851","datavalue":{"value":{"amount":"+0.7206423282623291","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":"Q3366964$A3309FC2-E49D-467A-9C2A-47DB13CD6D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77712f4cc98ec0c4d908ea915b17c7d54555c1bd","datavalue":{"value":{"entity-type":"item","numeric-id":809071,"id":"Q809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c57c5c5f6ef8d428ddfa7cf4e7e87a802df0c2","datavalue":{"value":{"amount":"+0.7188277840614319","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":"Q3366964$8B26E36B-5A84-44AC-BF41-A7738E599DD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3366964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3366964"}}}}}