{"entities":{"Q5170159":{"pageid":7199731,"ns":120,"title":"Item:Q5170159","lastrevid":100398116,"modified":"2026-06-05T22:02:07Z","type":"item","id":"Q5170159","labels":{"en":{"language":"en","value":"Closure of tree automata languages under innermost rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319511"}},"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":"Q5170159$60502EA1-C552-4B33-8F6B-06B812C0DF3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f127f99951fc34b93aa5791dc65671ec9ca8cea4","datavalue":{"value":{"text":"Closure of Tree Automata Languages under Innermost Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170159$A91F2652-8C06-4C5D-9E9C-60D09B5B65B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eaf722481db667cfe007229980e6f7c5bae8e0f","datavalue":{"value":"1294.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170159$F94CBC79-CCDA-4666-8253-B1DC23DFF0EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2fa382e71217a50c0f4fe1ba1af2f57a2bcb70d","datavalue":{"value":{"entity-type":"item","numeric-id":1041588,"id":"Q1041588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$984B1B2F-CFC3-4FE9-A80C-7519B479767B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$DD0B29A7-D275-4AE2-BA4E-10B16AA2A58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$E21F114C-B83D-44D5-A1DD-D56BC468DBFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$458C8E8A-F4E4-4DF2-961D-C590BC082644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170159$F9757842-B7D1-4B34-B1AB-052DC6A27823","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170159$BB04C330-E095-4F2A-97EB-84605D6107D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170159$E36B84DB-19D4-4F18-895E-857537AF1B3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fcd0551335cf448c3fd5d38f9fe7c2adca3a947","datavalue":{"value":"6319511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170159$087C211D-4D87-4490-BA7B-0BE281C2E7B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170159$ECA37245-0143-429A-9A7F-021F2E3338A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170159$418E4311-138F-4773-8CCB-78092CD77143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1da28e175365cef49a62aa4ef9ac7508725a18b7","datavalue":{"value":"rewrite strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170159$7C85308A-E338-4ADC-BD4E-4C7C83938FA1","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":"Q5170159$2F4433E6-C568-4F95-91CC-6653BB0A056F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67ba3ffb646b4dedb0ac73b229c56cc7326ff336","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.03.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170159$88F8AA00-2878-4473-8ECC-1E845F7E1C43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feafe7f0d4524b8d54d1a099dca98441b320b1e5","datavalue":{"value":"W2012732732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170159$05D8A3C4-1071-4835-BA03-91585298EE93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddd4692581097a5ccf4bdf51328558e00633492","datavalue":{"value":{"entity-type":"item","numeric-id":4260705,"id":"Q4260705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$078F70F7-DA6C-4F14-A753-0D773E9932D9","rank":"normal"},{"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":"Q5170159$46EB2657-E618-4DBD-B4F5-5BCC62F5F1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$43D5B543-5E38-43E7-8257-AE21116670B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960617989f0d51849d065bd11fb85bcda82bf7df","datavalue":{"value":{"entity-type":"item","numeric-id":5432336,"id":"Q5432336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$003B3269-65F1-4281-B3AC-32AA0E1A37D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37dfc15837f84de69d2923418bbe22eb2d64a913","datavalue":{"value":{"entity-type":"item","numeric-id":4847003,"id":"Q4847003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$FC0A1F45-D46E-4260-826D-967546CD990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75609fb90ea800d27d0fc4f87283eb79e260d25","datavalue":{"value":{"entity-type":"item","numeric-id":5432341,"id":"Q5432341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$CDE4CCEC-3186-4D12-BFA5-3B6DF15BD222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31d24a311564e96c97e95598f7a6ed5e21d59e3","datavalue":{"value":{"entity-type":"item","numeric-id":5432342,"id":"Q5432342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$886173CA-6ADE-482D-8D1D-46CBDB36A5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"facb68a3f5c3aaa7972b89a35e2b0770a73aace7","datavalue":{"value":{"entity-type":"item","numeric-id":5394600,"id":"Q5394600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$8B139C83-FBDF-4C23-9CD5-4399B6295B48","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":"Q5170159$9BFC54C1-EDBA-448B-A85E-F1967CD8A0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce916f436a57533b7f75eac09ba84bee8f4b9e9","datavalue":{"value":{"entity-type":"item","numeric-id":3522018,"id":"Q3522018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$963C9195-A8C0-4D2F-B892-BFF1122BB2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6ebe546bb22deea94d20817802960459c534e8","datavalue":{"value":{"entity-type":"item","numeric-id":5302902,"id":"Q5302902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$3C9411FA-CE50-484F-813B-B73D6264DDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5865e09385433fcc7bfadc64d2a2f060d420aae","datavalue":{"value":{"entity-type":"item","numeric-id":4938609,"id":"Q4938609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$F8D1867D-4E7F-4352-ACE4-93F3F6ADD45F","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":"Q5170159$71F4F86E-2C4C-4940-B904-4F4E64AD29FE","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":"Q5170159$A9C5A79B-3D51-43BA-9C11-08B508A3C048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170159$94A1577D-6B1D-4F85-BB0B-B9125F873F5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc3a94d144dd4dce1043f5a1ced51d66ed61c12b","datavalue":{"value":"10.1016/J.ENTCS.2009.03.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170159$F5CDD5EA-08E1-46E7-BE22-DAB2B513582E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d802b6230229678e8b77355cec35844cf8af9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2456572,"id":"Q2456572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc1d63192500b0c8786e29f788a510ec1f8ccbb","datavalue":{"value":{"amount":"+0.8039909601211548","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":"Q5170159$39041B54-9EEE-4EEC-BCA5-61FBF0332A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c254da161d4d88fa47af1d35ac8a00d46b96ded0","datavalue":{"value":{"entity-type":"item","numeric-id":4847003,"id":"Q4847003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12de675f1edeceef3acac7afb5cf4fd74d2a451d","datavalue":{"value":{"amount":"+0.801165759563446","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":"Q5170159$11E9D898-2428-487A-ADC8-BFC30DCE0563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa28e625a1f3bc443ed4c4088b7925194ad62aa","datavalue":{"value":{"entity-type":"item","numeric-id":5432341,"id":"Q5432341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287d4a61dc2794ed009b011b85d1f0c8255998b6","datavalue":{"value":{"amount":"+0.7928550839424133","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":"Q5170159$C0DA1999-03E8-4906-A8DD-3427104A3B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e49eb1c24d0f4103d52b4dac0c0d347ed252d1","datavalue":{"value":{"entity-type":"item","numeric-id":3522018,"id":"Q3522018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcc7fb0ac5b5cdb71d3360e13f97f241fc80c23","datavalue":{"value":{"amount":"+0.7927483320236206","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":"Q5170159$9657C1B6-96AE-4154-B96E-19CC264D37F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddaffb1f6df58bb7b890bffd81812c9e9563a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":1936231,"id":"Q1936231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1499940c130f8f7db434ccd0d652d44d6ee5e5","datavalue":{"value":{"amount":"+0.7855535745620728","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":"Q5170159$EE355C10-F0AC-4EB2-B801-46015CF61F3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closure of tree automata languages under innermost rewriting","badges":[]}}}}}