{"entities":{"Q5111908":{"pageid":7141482,"ns":120,"title":"Item:Q5111908","lastrevid":53742269,"modified":"2026-01-25T15:47:09Z","type":"item","id":"Q5111908","labels":{"en":{"language":"en","value":"Triangulation in rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205336"}},"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":"Q5111908$85FA42B2-DCC1-4AD2-91E2-80BCB2AE960D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61b8105eac7fd9bf850570c7e50c8e31ce36b2bb","datavalue":{"value":"1437.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111908$F629F2D1-C2C5-42C8-AC93-52E88E85AC6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcfcb916fba8752861956ae08fe432761393974","datavalue":{"value":{"entity-type":"item","numeric-id":549185,"id":"Q549185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111908$90AD6A93-C49D-4496-A8A7-24612549137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111908$21AF01C5-166E-4B5B-96FB-855B1FED7B5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111908$AEA7C49B-34D5-42C6-BDC6-5B2AE63EC9A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111908$0F0E7296-22CB-41A0-B117-D207DCEEACE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7c520ecc434cfb31b8045753cf51d2b1ed3a20b","datavalue":{"value":"7205336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111908$74597274-86EF-4BD6-9F99-F0E241DD77B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd3b97137fc5cddeb53bb49b8b441b42d47d65a","datavalue":{"value":"triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111908$3EE0A5F8-9AAD-4A2B-87ED-404A38E89479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76aeb9ed9f9801f50d1536f97e6f54ea2b817cd8","datavalue":{"value":"codeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111908$656C08FE-24F1-4766-8835-2D03B77700E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111908$33D038B8-B3DB-486F-A79E-EF65697F0FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40d1aa79b10b1c91e06ec30faad9c77e7118d85c","datavalue":{"value":"(co)confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111908$57DAE0EC-68E0-44E1-8D65-A2B6864DD9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb79b90d915de1aa5a0024780e0322a35477d20","datavalue":{"value":"(co)termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111908$ED4EF63A-18B9-46D9-9E7B-DB38AA880E0D","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":"Q5111908$1802B107-DA2C-44E5-B6D6-68ABB67A34AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a94ca841dd44486217ce29aaf44a723547cd1067","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3496/pdf/19.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111908$8AE47D3E-5D03-461D-8C11-35651A12B467","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f4200375c0cb1d36607b03960097633f5d2b252","datavalue":{"value":"W1582308044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111908$76D0B9FD-7FC0-42BE-A5B2-316D51210AA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"604cf046e62a54cd5a2134c07f715db56de437a1","datavalue":{"value":{"text":"Triangulation in rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111908$93F652D7-D1D4-4FB9-9CD6-6E1C10A19986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7140da3b3608f6e11884a2f1e0d879f55d134b8d","datavalue":{"value":"10.4230/LIPICS.RTA.2012.240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111908$3D68D32E-B8F2-4F15-AD38-7EBDC8A0B404","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8199fb8b0b03fc7814ce16bb04165ed45f5ea89","datavalue":{"value":{"entity-type":"item","numeric-id":3809306,"id":"Q3809306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477ac1b464592f00c69448727bedd26f76b46cd5","datavalue":{"value":{"amount":"+0.7295424938201904","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":"Q5111908$5DE47CAD-E8F4-44C0-977D-E628426765CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea61afc6b1f4bc6cc923066cef63b23c1447389","datavalue":{"value":{"entity-type":"item","numeric-id":1113692,"id":"Q1113692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88178fde3f03580616d830ee04469e1e52ce47e0","datavalue":{"value":{"amount":"+0.7192713618278503","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":"Q5111908$3C94CC61-2F5F-428D-9322-BD72881BFFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238c23c997174f3d3f04437585bb730f80bb2481","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c106ecc5126fba3c4578a7bc1202426f9f4537","datavalue":{"value":{"amount":"+0.7168912887573242","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":"Q5111908$33843210-9EBF-44F5-ABF2-195C7323A337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915a500c0fbe67d3dde29f15c3da411d54816c01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f6fafc15fa90ed2b320d162b37d35bdaf5deb7","datavalue":{"value":{"amount":"+0.7167127728462219","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":"Q5111908$BD0C5176-A086-41B8-8B14-081C04A8282A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dc0f1efb8b7d6bd9bfe9a4f575b2baaa7d9e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2642463,"id":"Q2642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c83e52b24900208ca68d570faeadc6bcac5acf","datavalue":{"value":{"amount":"+0.7161622643470764","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":"Q5111908$06C15F79-0797-4307-B742-CE59A840A6A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111908"}}}}}