{"entities":{"Q5087656":{"pageid":7117232,"ns":120,"title":"Item:Q5087656","lastrevid":58423599,"modified":"2026-04-05T04:02:49Z","type":"item","id":"Q5087656","labels":{"en":{"language":"en","value":"Compositionality of rewriting rules with conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7552078"}},"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":"Q5087656$C7657EDB-272E-46EB-9967-B9C4789A7DC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"148aa31cc6e09d71cf28f092e7151adab257f9e0","datavalue":{"value":{"text":"Compositionality of Rewriting Rules with Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5087656$78BC884C-C798-4E83-AA96-5827BCF73751","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d01a5563e449749ca835e5ad129e5048e121c63","datavalue":{"value":"1490.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087656$7E092975-B916-441D-932C-91ECD803A3FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4938cd674b3827cf170a841cf43f84e0115108e","datavalue":{"value":{"entity-type":"item","numeric-id":270466,"id":"Q270466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087656$3EA70B6E-48F8-4749-8D4E-EED387D3FEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"766696e0f2a55332b28b86d8d6b2d952816bbc9d","datavalue":{"value":{"entity-type":"item","numeric-id":953540,"id":"Q953540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087656$858CDDE3-481C-4FA1-9C0C-D9A5CAE9E49B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e8c444c99fa9d6ab404f31743112a0f863b6d9","datavalue":{"value":{"entity-type":"item","numeric-id":5045912,"id":"Q5045912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087656$9925FD4F-8D86-4F79-852A-94B15127CE43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5087656$F4F7F107-65AE-41A0-9662-A75700C9B96D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beb46e06abcdd243f79c5f40388339ad049c7b88","datavalue":{"value":"https://arxiv.org/abs/1904.09322","type":"string"},"datatype":"url"},"type":"statement","id":"Q5087656$6788E2C1-206C-45E0-AAFB-2AA8BF9B0DE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087656$381D1880-EBC5-4B4B-9F73-4E5A7C5B989F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087656$4D0EA25E-E499-4F28-BCA2-7062A10369F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b4c1aaf38d9266ced8589e7d1692629ce57f9df","datavalue":{"value":"18B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087656$625DD0FD-3A12-49DE-A5F1-1FC8B91021AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13f3c83bd9853912e5306232e6216650a4d47eef","datavalue":{"value":"7552078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087656$FDD01CF2-2C28-45C9-8FED-73B20C49893A","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":"Q5087656$A8B1170E-6B60-4AE1-8931-BB800DB00C19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70646f1929ea4973e7f091e0ae58176912462135","datavalue":{"value":"W2938952696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087656$EA24C8A2-E319-4B0C-8AFA-CB92121B9075","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adea6b69a3283bf9bdb60a38e359918c908f61e6","datavalue":{"value":"10.32408/COMPOSITIONALITY-3-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087656$142350A5-7734-447E-8C42-6C3542EB94F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6fb6eec0039855f41aee9de046cc25c89e1521","datavalue":{"value":{"entity-type":"item","numeric-id":3300790,"id":"Q3300790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83be7514811cb7797f70cffd46a8bad6ea1363ca","datavalue":{"value":{"amount":"+0.8232958912849426","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":"Q5087656$FB310258-67AA-43A0-AC1A-5E1855513784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8396f3cf2126998efa69fe4f2c3599bebf2ab6","datavalue":{"value":{"entity-type":"item","numeric-id":2117256,"id":"Q2117256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587e1dbef31697041979655bdd81fbca650786e3","datavalue":{"value":{"amount":"+0.7961291074752808","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":"Q5087656$057D6B86-0B92-4512-9B59-C19630163410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cd6a4da406361a788f9dd688724c72653de8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3192234,"id":"Q3192234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b80a1240bfb33aeb3d1b25a617ea269879698b1","datavalue":{"value":{"amount":"+0.7884935140609741","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":"Q5087656$4B060D71-6CB1-4A8C-B4A8-6AC12700FA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65aebea025a351618b10997e1cc86563fa8e3ea4","datavalue":{"value":{"entity-type":"item","numeric-id":2292966,"id":"Q2292966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62db87d47cca41adb082ecd8804b2ffc96531fc5","datavalue":{"value":{"amount":"+0.7878254055976868","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":"Q5087656$E920E862-052A-43E6-BC96-7FD650475F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b0969450caa37b1155bc43fcf7ca1455b3ae98","datavalue":{"value":{"entity-type":"item","numeric-id":2117255,"id":"Q2117255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4924afe73a0cee359d232bc62e1d9f37276c54ab","datavalue":{"value":{"amount":"+0.7666515111923218","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":"Q5087656$06F4F7D4-4EA1-4F3C-B2B1-A6D7A4CAC6E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5087656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5087656"}}}}}