{"entities":{"Q3012528":{"pageid":3023252,"ns":120,"title":"Item:Q3012528","lastrevid":51285458,"modified":"2026-01-17T14:45:55Z","type":"item","id":"Q3012528","labels":{"en":{"language":"en","value":"Infinitary normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5917714"}},"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":"Q3012528$D041559D-0A95-4B29-B6B8-41B4A30CBDAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cba82c376a9e82c37fc6a45b637d8f076202d08","datavalue":{"value":"1221.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012528$389E2F4E-4B0A-46C2-AB97-1401AD981BA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012528$E3DE9918-BF31-443C-A6C4-F4FC887A86E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5348b39bb43ee09733fb8b9f52c0a9b9a953475","datavalue":{"value":{"entity-type":"item","numeric-id":220712,"id":"Q220712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012528$F05C098C-4695-46FF-9EDA-A9C67CDA17B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"235af9c0a6e9b35821fb203a52c353ab6dbd7661","datavalue":{"value":{"time":"+2011-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012528$E5281E9E-9546-4AAC-B639-431A9B6A3BEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012528$98FB5E4A-65D1-4862-B09D-80BC26B492A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72269d9e696c0c6da9ec7c4ed47311ba38b67094","datavalue":{"value":"5917714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012528$CA995BB6-66CD-4F30-A908-88C630CC1562","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1645517aefab8fa8476dc24534dba614fb556176","datavalue":{"value":"infinitary orthogonal first-order term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012528$D20DA355-0FCA-45CC-9D67-8F61054502DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012528$5F5213CF-D6BE-4FB7-A170-692622479BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02017edd6cc2f0c06b676fc97c3eb940c111d00f","datavalue":{"value":"uniqueness of normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012528$6C9E9402-1D1B-4DAA-92C4-F2C8F6CDDEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2a78c088e07cec201b2ce32f58e03761dd7e64","datavalue":{"value":"parallel moves lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012528$401A41A7-23E0-4234-81C3-D8544025CCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012528$FEE577F5-6025-4C5C-BB53-6E49BF8001D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012528$2144F208-63DD-4522-B1B7-E50B25CF1E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2123d0b2ad76788a5eac2611558fd72280eeb78b","datavalue":{"value":"infinitary normalization notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012528$7321C3FA-D369-47F0-BC47-32DA9FE4B376","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":"Q3012528$89D3DA2A-BD02-4D0F-AABA-D66B08ED2CD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbb82bd6d55f04d9ea47f8c3d281f6ef6f9e996","datavalue":{"value":{"entity-type":"item","numeric-id":3638246,"id":"Q3638246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88003f0283056cf03ee22dad894179bc2c4c8cb7","datavalue":{"value":{"amount":"+0.8660205602645874","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":"Q3012528$E7875632-2D73-4DAA-B693-C1520AAA5389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724e38d90db6e49b0184e8f5f1ca682c40c8133c","datavalue":{"value":{"entity-type":"item","numeric-id":5389137,"id":"Q5389137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd89a8bd3e14a14c14b7d15608b9542b2a0503f7","datavalue":{"value":{"amount":"+0.863092839717865","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":"Q3012528$D05E5182-881A-4114-A660-C11C9E0AD6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3e13ec7d137f01950a39a61f32d43b8a63ecab","datavalue":{"value":{"entity-type":"item","numeric-id":5419491,"id":"Q5419491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d63f94c8b678fbfd05b9c738fc1453a51002b2","datavalue":{"value":{"amount":"+0.8552711009979248","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":"Q3012528$5539BA83-B10F-40E6-A8A5-B27B3FB278E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3a0b5cd885b6a4663a0877fb8cbc03331e9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5389152,"id":"Q5389152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad055702d30b92cc433ef0afe6c3d264b207e89","datavalue":{"value":{"amount":"+0.8409146666526794","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":"Q3012528$54F562B2-5BEB-4980-9F9C-6D4610DDCBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64071cf697ab8d331a9f4d756377fe8f7df5e031","datavalue":{"value":{"entity-type":"item","numeric-id":3522036,"id":"Q3522036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7499d32f028871345659d2821996146902cf9a04","datavalue":{"value":{"amount":"+0.8281765580177307","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":"Q3012528$3C205AA2-3FE9-40BE-962D-6D00859CD089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012528"}}}}}