{"entities":{"Q1579057":{"pageid":1589797,"ns":120,"title":"Item:Q1579057","lastrevid":73971480,"modified":"2026-04-14T17:54:29Z","type":"item","id":"Q1579057","labels":{"en":{"language":"en","value":"Type introduction for equational rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1502047"}},"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":"Q1579057$6E47AA77-C14D-4D6E-A0C2-90FA7A9C6F7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e2decfa53732754b4d4605c6da1a8586df5d820","datavalue":{"value":{"text":"Type introduction for equational rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1579057$9384BD0E-CC8F-4C36-9E46-A1ABCB534C44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09e8dfb8c2e16efe49c69d8db2901863f4a4eab7","datavalue":{"value":"0957.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579057$58279E04-E397-49DC-8417-A79C419FCD7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ecd72b47d011d66044536697542455c44a481c","datavalue":{"value":"10.1007/PL00013300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579057$6662C547-137B-430C-8F5E-3BC6871204A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579057$7CF40E22-B449-4736-A6CD-5253081B4CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67d02725bc9041065bd07fac024cde6b82c3e648","datavalue":{"value":{"entity-type":"item","numeric-id":736826,"id":"Q736826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579057$AD711A37-4364-4ABA-9EF9-739B08D8E5C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579057$AE1D121A-FE22-4607-8900-357C14E68BCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cd41bcd6eb3eaebdb801c878ba706a0044ed940","datavalue":{"value":{"time":"+2000-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1579057$E700E9F7-7E2B-4708-9BA0-8192DF6EFCAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579057$FE8FCD9C-597E-4677-AA02-37A0B5BF6FF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb9ccd73906e125798325e29f4031746ca9f9da1","datavalue":{"value":"1502047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579057$EDF035CF-10C8-44A5-9B4C-24AB8D6A6BD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a2f33946f364fa020c01139c14c5c91812e7014","datavalue":{"value":"type introduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579057$5F7B6040-1354-4F77-AF09-8146A582BF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579057$ED4284CB-62A6-480A-ABA1-0666D26D3AB1","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":"Q1579057$19B44FEC-0B32-40CF-B55C-A0AAAB5B8339","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f46a373e0d9a245b51976713c5ed4c224e67f0","datavalue":{"value":{"entity-type":"item","numeric-id":4376069,"id":"Q4376069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$53536120-4D4D-4FCB-840D-91AD6621A05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76deb5535e00ebcb01402afbe64314fa9e23992c","datavalue":{"value":{"entity-type":"item","numeric-id":678762,"id":"Q678762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02942f01687c7642913614366103af61fad84d8c","datavalue":{"value":{"amount":"+0.9273834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$A808B6D9-CD47-48A8-B41F-96E34E0120BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66329513ed08c576d00231a95784464d1d411a61","datavalue":{"value":{"entity-type":"item","numeric-id":4028345,"id":"Q4028345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815cc1803a80a81dd079149ea2a5d571549c9c67","datavalue":{"value":{"amount":"+0.9137877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$047A19DB-369E-417B-A5D5-22BBBDDB68E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cd3b23082880a3a13f1ce9c96afdaf3c7adeae","datavalue":{"value":{"entity-type":"item","numeric-id":4202948,"id":"Q4202948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e27252ee0cc6f64832d06c787c410095fb01773","datavalue":{"value":{"amount":"+0.9126487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$5B68631B-F4F5-4622-8060-281D9D9AB1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4424c639e43965ee40eae97bba9bb67c453c4691","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d290dcbefede0f0bf0081a7dcbb4c74be28599","datavalue":{"value":{"amount":"+0.90751183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$F385E70F-029A-41C1-8149-0654359FC372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d456b94293befe11b645e1ed78e138fd7ac64a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4206388,"id":"Q4206388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf9bdb52988a3a3f21c6865309976b464445ceb","datavalue":{"value":{"amount":"+0.90567553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$0707BB12-653C-4272-9DC4-E920599188D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a99c356a4206bbafa5dec23032d09a95b23b61c","datavalue":{"value":{"entity-type":"item","numeric-id":4858947,"id":"Q4858947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf9bdb52988a3a3f21c6865309976b464445ceb","datavalue":{"value":{"amount":"+0.90567553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$AFF84E6D-1723-4E5B-8E6B-E0E95365E6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbb3792c7294973628dc4cec02b7076e8db03e8","datavalue":{"value":{"entity-type":"item","numeric-id":2771055,"id":"Q2771055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f17ad0a2ab786e10cf74d5b693c0ba33fcb3a08","datavalue":{"value":{"amount":"+0.90113217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$BCEC48AC-5793-4E48-B3F3-DB985A4813D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a825a5ffed6f665489b0a3e0b440122a6845517","datavalue":{"value":{"entity-type":"item","numeric-id":5173183,"id":"Q5173183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2232fbb27e765cc0ce54a6c0bf51c49c21eead69","datavalue":{"value":{"amount":"+0.89362556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$8F91E71A-8DE5-4026-8C7A-4EC107D7EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa24e6d3cae090b70058022cada85f364fbbb68","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64970ef4503f99a1c8da3e38485f58de1bc06af0","datavalue":{"value":{"amount":"+0.8935021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579057$88F84130-769F-441F-89B0-D2F0168BAF37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type introduction for equational rewriting","badges":[]}}}}}