{"entities":{"Q2879275":{"pageid":2889995,"ns":120,"title":"Item:Q2879275","lastrevid":83888750,"modified":"2026-05-07T13:32:18Z","type":"item","id":"Q2879275","labels":{"en":{"language":"en","value":"Rough diamond: an extension of equivalence-based rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341504"}},"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":"Q2879275$4334A3B5-F2FE-4494-86AA-851BB5C38329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af36aa53180206ffcb4fd5cfe89859097bd1bfd","datavalue":{"value":{"text":"Rough Diamond: An Extension of Equivalence-Based Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879275$FE4CE3DD-42C8-4469-B0A4-A852809EE4E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4569ddf3ab5debcbe5284d1479b50a1fdfba166b","datavalue":{"value":"1416.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879275$5790D939-33DD-4D62-8680-DD970B95B1DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b74c438e0557ab7a401e4daec2494d09253d8d10","datavalue":{"value":"10.1007/978-3-319-08970-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879275$3BED3DD1-0D57-4C62-BF1C-CE12CAAC981D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879275$30C28318-7A82-44CE-B7C7-FBF4F2967921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879275$4FD5FA32-D4E6-4B16-ABE5-A95B279CBC1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879275$B9FB9BD3-C02F-456F-B24C-F2584EFF4F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879275$CCB9B6EC-17A0-4F1A-983D-4A8F0DA2ECA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879275$A8C2682F-A545-4329-88E4-92244F7BF658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879275$8E4F2A29-C494-4131-AD53-262933204105","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"153aa4ab97c1acfac058cefc1c9fbbddb0980f57","datavalue":{"value":"6341504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879275$80EAEB39-6F82-4B33-B897-C037A228AC0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dd5926fa2c4f0ee181b086899e10f05b3e9148","datavalue":{"value":"ACL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879275$6C051BF5-D459-4B9E-8DE5-7CE916161099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879275$CD1971B7-9F64-4286-A06F-D0A1C3A39169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879275$EFB8E2CF-16C3-42FC-AEAB-9BA9AFCDCFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879275$ED627FA6-AFB9-4F97-8E34-63B9B7E9A446","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879275$3357686C-7972-4826-87B7-5985817E9E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879275$C4DAF48D-D5CC-46E7-986D-0BE91070D097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879275$A3BCA848-2C68-4032-8CAA-E4B5746E195F","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":"Q2879275$AEA6CC30-DB74-4B20-86D2-59725F9BD1CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee6d741c6b0db689226a63ecd74bec3ff67b903c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879275$7FF94BB0-7FF8-4143-B471-16E80511BF2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e77a48bbc714af8e06d3e478d8e219f22217de49","datavalue":{"value":"W325490476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879275$8A5472AF-BB39-4660-8EFE-217393A56F92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7a205481490a7875a29fdeade9e7b77717a55b","datavalue":{"value":{"entity-type":"item","numeric-id":928668,"id":"Q928668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af955aa95f2a65f2f28b482c527caadcb9d631d","datavalue":{"value":{"amount":"+0.8420643210411072","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":"Q2879275$01734506-002B-4E45-B9F6-BB615212089E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed4452b88de96217fce2d9ac9f739d7aa5dcc1e","datavalue":{"value":{"entity-type":"item","numeric-id":3719825,"id":"Q3719825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f8ec99c5a89d177f15981df989f31d71efa36f","datavalue":{"value":{"amount":"+0.7181823253631592","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":"Q2879275$54F1CCCC-E799-4C8D-B66E-BD643A2B6E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50aa552affd213736b23bb0bed598057e70276fd","datavalue":{"value":{"entity-type":"item","numeric-id":5703990,"id":"Q5703990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00915111e43c02e1f2b14ffd1a0208fec781171","datavalue":{"value":{"amount":"+0.7093571424484253","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":"Q2879275$44B15DDF-B1F9-40F9-8065-423E55D29749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067b9ee5d1759bf8dfdf5a7d76851fcc9c0894c5","datavalue":{"value":{"entity-type":"item","numeric-id":1610218,"id":"Q1610218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ff2a16c780e8fa7aad5742634277291f8c04b4","datavalue":{"value":{"amount":"+0.7018440365791321","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":"Q2879275$0C7EE40E-DB25-4A9A-8A50-A649D201A68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c7e2906cab0df39eaaaec6ded4334d15f17931","datavalue":{"value":{"entity-type":"item","numeric-id":4471942,"id":"Q4471942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6d8eabef9c5eb7835d770e5861f2eee5f79465","datavalue":{"value":{"amount":"+0.6994680762290955","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":"Q2879275$61A4393C-2B43-43F4-BBAE-01B86CDD737B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rough diamond: an extension of equivalence-based rewriting","badges":[]}}}}}