{"entities":{"Q5055853":{"pageid":7085430,"ns":120,"title":"Item:Q5055853","lastrevid":47786032,"modified":"2026-01-02T16:51:33Z","type":"item","id":"Q5055853","labels":{"en":{"language":"en","value":"Dummy elimination in equational rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631284"}},"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":"Q5055853$301397BA-16E8-4067-A28A-A97A8B89C579","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34dbabdb67d0e4012461dbf5ec3206231e93dce5","datavalue":{"value":{"text":"Dummy elimination in equational rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055853$9651CFC7-58B0-41ED-BDC4-B92E07EF3B1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce6edc4f1d2f6cbed8eb194281c01b0909c13d6d","datavalue":{"value":"1503.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055853$ECDD5CB8-838E-4874-AAF8-9B25419F394D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ccfcfc017c2fe0e838aadf8230bc801c00f4712","datavalue":{"value":"10.1007/3-540-61464-8_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055853$45A71FA7-4A53-43F7-8FCD-45EB0477A3B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a885fc1e3c9a4d347fde8fd39bb8b556de926af3","datavalue":{"value":{"entity-type":"item","numeric-id":1290509,"id":"Q1290509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$A7B40AFE-233D-4501-88BF-E8437DBD5D28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$22C01DAC-22C2-432C-84AC-99D0AFDACE21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055853$E5DD60A5-63FA-4BA9-AB08-F59E5EC09633","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055853$3B374478-D9BA-45B3-AF7C-76F38F221B34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"098dca8b6c8c2ece4e1e338c718e5546abc6b1e5","datavalue":{"value":"7631284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055853$6B310949-55DB-45B8-95BD-BF48BC55DB84","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":"Q5055853$BD8B5169-3D0D-4AFA-9310-EFBE99DC3BDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"787e051dc452075221bdc7a823ca06fe0865a128","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055853$84F705E7-F81B-49C8-894A-01BC2517A785","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6939217355bc826216319136147138ea14da184","datavalue":{"value":"W1512440136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055853$482582FE-30EF-433A-988D-0A50E07A2E57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac48908fc1f7976d584bb6bf89dc55e17e7792","datavalue":{"value":{"entity-type":"item","numeric-id":757069,"id":"Q757069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$5C4259AF-DE90-4758-9725-B040D15D0115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$30E2A756-C056-41AF-8C55-DEF3DA25FEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$8BF98CA1-68D4-4EA4-9148-BB3F061ED638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc5942ef191b9b46e635d93fb936ea67c769649e","datavalue":{"value":{"entity-type":"item","numeric-id":5055895,"id":"Q5055895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$A352AADC-4660-43E2-B031-E967C2DC3AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59039c304cefa089c2de717037730a79479caebe","datavalue":{"value":{"entity-type":"item","numeric-id":3336736,"id":"Q3336736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$CF2B227D-F4E6-4534-9C40-84B8552B5C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$7C2EE98E-A8B9-43DB-A479-E6BD5BBFB493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$F2026341-404F-47F5-B1D9-A1CBCEF37CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4b0a695b19ef459b25a3fac0a36e3fe6fe7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5055817,"id":"Q5055817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055853$B9DB281E-AD29-4E34-98B7-B8D0C2F7A329","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ab710d2e0221db9f49763e2f6976489f34a5a9","datavalue":{"value":{"entity-type":"item","numeric-id":5055895,"id":"Q5055895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb13ceac415f8d0a4e12f24014d98deca0205b5","datavalue":{"value":{"amount":"+0.8859204053878784","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":"Q5055853$7E343A7A-19E1-4669-841F-88A5A4594234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deadac89e633575f434b07306c8fc81b935381d4","datavalue":{"value":{"entity-type":"item","numeric-id":2723429,"id":"Q2723429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad31534275ffa7945ed2c3170643e6bed614b16d","datavalue":{"value":{"amount":"+0.86607825756073","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":"Q5055853$73C09385-3A35-462B-BE81-3BEA91DA88D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d13e422fe425fd7a2d6d342cda2b5b6597c05f","datavalue":{"value":{"entity-type":"item","numeric-id":877834,"id":"Q877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6362f4ffadc67a1a1991cd2267cd734ad63bb2","datavalue":{"value":{"amount":"+0.8101479411125183","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":"Q5055853$77540927-0F11-4478-80A8-A1565FD6EC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112cc9d2b2ae618c483d79ff6bd60781ce090d40","datavalue":{"value":{"entity-type":"item","numeric-id":2753692,"id":"Q2753692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460ba3178467337112d417c0858d0cd77cf25991","datavalue":{"value":{"amount":"+0.7772107720375061","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":"Q5055853$C420DC72-72A9-4D19-B25C-5CD571C1F80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0337194e443d10e848130d88804fc6a3f10aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d569ea04fb1192886353dacfef3b69569fcea732","datavalue":{"value":{"amount":"+0.7589874267578125","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":"Q5055853$10758B3F-80DC-4DD3-AAAD-3965FAC6A61B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055853"}}}}}