{"entities":{"Q5055865":{"pageid":7085442,"ns":120,"title":"Item:Q5055865","lastrevid":47786065,"modified":"2026-01-02T16:51:35Z","type":"item","id":"Q5055865","labels":{"en":{"language":"en","value":"Compositional term rewriting: An algebraic proof of Toyama's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631298"}},"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":"Q5055865$3F0733F1-DC80-46D1-825A-ED545B66715C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8d0941da7f1b63013186f0836f3cc90c44a5b63","datavalue":{"value":{"text":"Compositional term rewriting: An algebraic proof of Toyama's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055865$4F0A1B92-F30B-4BA9-963D-3738F16B006E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"695f8c5e1b9ee134f39f2913c547e4ebf777becb","datavalue":{"value":"1503.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055865$CC9BDAC5-3861-4704-8927-CBEC361D0603","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0164552b01ca6b0ddf9bcfff9f8f5ad10699664a","datavalue":{"value":"10.1007/3-540-61464-8_58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055865$F0B9700D-90F6-45C2-881D-3763567A82A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce00bf932e8d4142816bb1d3b66ef3457d10b848","datavalue":{"value":{"entity-type":"item","numeric-id":626932,"id":"Q626932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$B1C3ED93-EE49-487D-B451-54E2805A3B78","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":"Q5055865$60F72828-7E54-4C31-8B11-C25EADB793EC","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":"Q5055865$D9224B41-3BC9-4FDD-A3DE-801F28CDF471","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055865$9CF56AE6-B057-4D3D-89A1-81E537132EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055865$3CB1AA25-D408-4B2F-A138-732D681B179B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dfd1b11669ba2531b192128cd5fc07a68b15961","datavalue":{"value":"7631298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055865$8A720EAD-D7C6-4B76-A138-F314408EA02E","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":"Q5055865$7FDC509C-8A2F-4474-AD05-DC4C4DCA1E10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c25e8a9a0a4ee968dc0305f0683ef6773804408b","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_58","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055865$4AE4C363-891B-41D5-A945-9BBD0E97F9A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19480db33f51c0dfcec4f34c28fab0ed2b9d1f89","datavalue":{"value":"W1577802939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055865$6EBA997A-0E89-409B-AA73-ADACD44DEFD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$66DA5201-BEA1-42C8-A87A-AD5B213F3A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$DBCAAB65-7415-4663-972D-83E2644AA830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$8A138907-6A56-41A2-9FFE-EBB152B99242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$EF816542-EC2C-4FC9-8A1A-2ED9A352C5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$37F48246-E6CE-4E4A-A932-17E8909964A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f41507ec7ee0362ca69ff508966cc502c185d2","datavalue":{"value":{"entity-type":"item","numeric-id":1318777,"id":"Q1318777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$017E3330-493E-4B71-AA53-909EEFB4A8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$F2F6FA0B-27F4-4DF2-86D7-E910A8EC726A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8897c7dbaa6d3257c1af2094040b430ce4833a","datavalue":{"value":{"entity-type":"item","numeric-id":5055865,"id":"Q5055865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$472A4E18-5E94-48EE-8BF7-BD8EA38816DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$4A3BAB1C-AFDE-49F3-AF44-75D4D0E81E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$A5F51354-7053-4548-878F-0CCF9E895371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033dcd0736cb42469f6e374b902230aefb1fddc4","datavalue":{"value":{"entity-type":"item","numeric-id":4954455,"id":"Q4954455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$08986240-912F-448C-8887-7C6A91D4B97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$72638764-86A0-46B0-B376-9A6A8D8B027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055865$66FFC44E-4842-4572-827B-25337BD49E51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da35d96ed28ea91c078a7e3832145268aa84b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4362961,"id":"Q4362961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff2fa74236456ae7eb045d3734470c75cd3835f","datavalue":{"value":{"amount":"+0.8026871085166931","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":"Q5055865$5E62A79C-D474-4669-ACC7-F6EA7C7A9370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f0664ea40b8a01b54714a03ae7aabcab1c66f3","datavalue":{"value":{"entity-type":"item","numeric-id":1907275,"id":"Q1907275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff2fa74236456ae7eb045d3734470c75cd3835f","datavalue":{"value":{"amount":"+0.8026871085166931","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":"Q5055865$8AC7B9C7-8FD6-4010-8E95-D1DFB9AEAE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1bd637b976226e8a05c6125e925ddee941f1949","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33e8d67d306b587027841519a8a79e6b1703aa0","datavalue":{"value":{"amount":"+0.789537250995636","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":"Q5055865$43756A8A-9A22-4E1E-84EB-54BA5CD0D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fa294c271410ef2c5db771d0520219ccaa10a4","datavalue":{"value":{"entity-type":"item","numeric-id":1623131,"id":"Q1623131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33e8d67d306b587027841519a8a79e6b1703aa0","datavalue":{"value":{"amount":"+0.789537250995636","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":"Q5055865$AE5DA1B7-61BA-4890-9F03-E9B9212AE213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33225b0bf1ed21b78026a1644d51eb19daf285cd","datavalue":{"value":{"entity-type":"item","numeric-id":4954455,"id":"Q4954455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ceea66e4eb4f88e063a361f6f54d2173bae0c5","datavalue":{"value":{"amount":"+0.787634015083313","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":"Q5055865$455542D0-BB69-4637-BFA9-2C0B36A019ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055865"}}}}}