{"entities":{"Q2456572":{"pageid":2467315,"ns":120,"title":"Item:Q2456572","lastrevid":50187785,"modified":"2026-01-13T11:06:15Z","type":"item","id":"Q2456572","labels":{"en":{"language":"en","value":"Tree automata for rewrite strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5202045"}},"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":"Q2456572$A2FBA561-32C1-4A1E-8DDF-CB1175EE8815","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6841cffd8ef458b41ed4460717ce6a33f6c4c8b","datavalue":{"value":{"text":"Tree automata for rewrite strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2456572$1F9D8A70-8D83-4FAD-8BF6-BBAD9C7A8362","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fb9c9d22e55d3265c25dbb15ac5f6590470233f","datavalue":{"value":"1129.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456572$3812CFF9-136A-4DE8-AF6A-5C4D6908210D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc953e7dff7d26bdcb07d2cdf423e7bdad75f63","datavalue":{"value":{"entity-type":"item","numeric-id":1675158,"id":"Q1675158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$A2C00A36-F678-4858-9AB1-0AAB18E604CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e7b722d39fb0f7f75ea299bec1f7bdbd2291643","datavalue":{"value":{"entity-type":"item","numeric-id":2456571,"id":"Q2456571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$8A96C5CB-3226-4A1A-BB01-E1B7D1B85264","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$C7A3B774-E582-4F15-8860-AD3EA315403E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5dd9e0f7e970fb181073844a7c8c2ebc2be921","datavalue":{"value":{"time":"+2007-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2456572$17BC8A11-BEAD-4059-A1A6-63332A65DEA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456572$90957EA4-3640-40AA-98B2-1A816D0D48A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456572$C920E3B1-4AE1-4DD3-B072-7EDB6BA426F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d65b5f4d6918941805e1cf565abf54c23362b37","datavalue":{"value":"5202045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456572$75BB4957-F588-4B77-AB11-C7BFC4A0E149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456572$561A72C0-3446-4702-8084-5352BC72FFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f39b31643ac956a3480ce4ac11bdca9d075198","datavalue":{"value":"strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456572$E1FC1F72-53DF-467F-8B6B-8158982BF83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456572$73C2A09A-2EAD-4EB9-B4FB-79222B81DE89","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":"Q2456572$B3D9E798-61CE-46E6-B321-E42DB2A0E486","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03e5712831acc60803889bcd996a0da9dc3ec00f","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2004.12.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2456572$A28CC101-E931-4963-8E4B-6812C81E4332","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19d25d5ae795998a3d24ad204ca90d9100d5341d","datavalue":{"value":"W1967797973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456572$F548FB04-5EA5-4922-AFD9-A8961BF318CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"147d95748fc6218e5d9397f8fa462fbfb99be2ba","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$E6216015-4340-44F7-88E1-FA92ADEA63C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc53c4fa5b18b0e75c95fe8399022c819bcd116","datavalue":{"value":{"entity-type":"item","numeric-id":4508292,"id":"Q4508292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$D70530BA-8580-4EDE-A491-9BDAB3457737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5875c77a713b9ff63d317e3849e64dc2e65a05d8","datavalue":{"value":{"entity-type":"item","numeric-id":5055768,"id":"Q5055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$306DEC56-5F3D-4BA1-9ABE-1E88F565B9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0747fee7ce0d75558ff92f6c2b216b460047743","datavalue":{"value":{"entity-type":"item","numeric-id":1911400,"id":"Q1911400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$7D91F699-B0D6-4236-A519-C1244CB21C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$E2003783-2927-48A0-9A08-4FE7EF5099C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b2d686cee4a3c3f8b34fe98b0a4b4dfce7fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$A36D6BA9-B3B0-47C7-AACD-156511225B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$FCE2F45B-6030-483E-9DE7-89AD0722CB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890bcb7a6ce06d210eefe24810a137b426c9727a","datavalue":{"value":{"entity-type":"item","numeric-id":4035665,"id":"Q4035665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$26E8579F-7D7C-49EE-9C69-D86CDF092453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15950715c4c719da3ab3ac53f61d38e4d10faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1127543,"id":"Q1127543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$C9EDA19B-CAF9-4EEF-B48A-DB89F4CD426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec33e7fc6aa7161d8b6e2983e083d9fce28e4164","datavalue":{"value":{"entity-type":"item","numeric-id":2771057,"id":"Q2771057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$B3695E80-FDBC-4C09-87C5-431FF3EA0449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbe168d12199f02599e9eeb26644293070f889c","datavalue":{"value":{"entity-type":"item","numeric-id":1392278,"id":"Q1392278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$2D3ACBED-366A-4BA6-B3E7-A370940FCC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1598b42a0d0cd302314d6453395cf6853afd54f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055873,"id":"Q5055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$6B6C8938-2904-40EC-B728-F89B63761634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7773927dd386bcf40c9d36e94f6a4132b64b8f34","datavalue":{"value":{"entity-type":"item","numeric-id":2778878,"id":"Q2778878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$1B3E8711-DC52-487C-8FBE-76DBA0C4ECBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86097d8f92a2054ff4e352ff0c98dd0ced6c084e","datavalue":{"value":{"entity-type":"item","numeric-id":4738232,"id":"Q4738232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$927C3A7E-19A0-45F2-951E-A1F83C18985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a6af6cfa160fc3d5478436834f1bf6b654c7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1280232,"id":"Q1280232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$54FED239-0CC2-4309-A34E-C0EAED3F82B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534227f15988ed0dfe59c383b2631933a5bd3dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4938423,"id":"Q4938423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$3248E1DB-DECD-4820-8DB9-6C75D5F01B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e62c8a4510f06ff30499e079c62d545f97690b8","datavalue":{"value":{"entity-type":"item","numeric-id":4808743,"id":"Q4808743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$BC2C6036-D279-4D08-AA54-C5E987CB4C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b90b14749029d5afda8b36546001b0550230290","datavalue":{"value":{"entity-type":"item","numeric-id":2843614,"id":"Q2843614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$1D402B83-E52F-443D-9685-BA967CCF2B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a8f502813ed342d6cb66c96544427e8289115","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$E4DA18EC-B0BE-43DD-B177-17EDA778B71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1adff01dd8135f1ec580aaf85536ae94c3e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4808741,"id":"Q4808741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$5AD27C4D-A0D6-4CCD-8365-E42DC821B3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456572$70F56597-09D3-48B8-A801-194B974749A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b432f1e65160f09fb92bb5338ffd872ef6da133","datavalue":{"value":"10.1016/J.JSC.2004.12.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456572$7A2036DF-4258-45F1-AF8C-4CD8B525C657","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c53a3758ef1cd603ef20d1ae6b811e36c8ae700","datavalue":{"value":{"entity-type":"item","numeric-id":4808743,"id":"Q4808743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed27dff9768f3dc2309af1cd23a46c185dd47f0","datavalue":{"value":{"amount":"+0.9487670063972472","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":"Q2456572$36BACC82-52E5-46D1-9E54-F795C4AF035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93aa8e4ce1f1ae16582376de32ae8b49d86e523","datavalue":{"value":{"entity-type":"item","numeric-id":2843614,"id":"Q2843614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9aeafa8be97cfde225c31ceed753f5dfe84158","datavalue":{"value":{"amount":"+0.9284480810165404","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":"Q2456572$A03AA1D6-58D2-459F-8558-BF3D02E87417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383f8661536acbea6037df4a5350d2f666201160","datavalue":{"value":{"entity-type":"item","numeric-id":4938423,"id":"Q4938423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac97c267cecf61aeba77c39f4906d0a03f697f5","datavalue":{"value":{"amount":"+0.8567419052124023","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":"Q2456572$AD3DF9EA-0188-47F4-9DD3-976391DDD051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fac077066a04c7eae5742f78a6a1fc058e78eb","datavalue":{"value":{"entity-type":"item","numeric-id":4934355,"id":"Q4934355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f708e4e1f0480509c6c2f5bee9cbde1fe0f48d7","datavalue":{"value":{"amount":"+0.8567416071891785","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":"Q2456572$8299B5AD-1C40-4746-8C91-E48E7C47F063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ac2ac33ed562f867915b43f0c81bcea1cb90a9","datavalue":{"value":{"entity-type":"item","numeric-id":1675159,"id":"Q1675159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d4193bbfaa4001626806799aae46e4bd7d9c88","datavalue":{"value":{"amount":"+0.8106163144111633","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":"Q2456572$DC3684C9-E8AC-41AC-9BCF-0C03C9ECA95B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2456572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2456572"}}}}}