{"entities":{"Q5277878":{"pageid":7307453,"ns":120,"title":"Item:Q5277878","lastrevid":52850615,"modified":"2026-01-23T15:42:32Z","type":"item","id":"Q5277878","labels":{"en":{"language":"en","value":"Reachability analysis of innermost rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744198"}},"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":"Q5277878$A7BF5DD5-9F56-40B8-8EB3-8AEFE9BAEC6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37ece1be6d3aad021d5d937386de9d4ad6837c56","datavalue":{"value":"1366.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277878$362FAF75-04CF-49DE-84B6-8B640700F2BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14bafb335ca5a0648dd707f992f49ef0e445a0c9","datavalue":{"value":{"entity-type":"item","numeric-id":556684,"id":"Q556684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277878$A169D70A-0830-4C4A-A070-CCD0D7F4E9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05ca24bebe4b11b65fac681e9d817ee99d3614a1","datavalue":{"value":{"entity-type":"item","numeric-id":2980976,"id":"Q2980976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277878$DDDEE4A8-9C81-487E-8E91-00F865C9B2C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277878$FC070485-520B-4FFC-BD94-1271D2115548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277878$1705D8F9-D1AD-42CF-B4A6-41AC4B4FD79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277878$72241068-5992-46A3-B093-1091B10BF2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277878$C1DB530E-C3B9-400E-932D-D45B7BDF58B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46395d8858bbbd2d8fd2b508b0df9dabbd008713","datavalue":{"value":"6744198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277878$53F4E0E6-5F79-4118-A588-DC4592C234A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277878$64E27984-A299-4105-BDC5-5C3D87941F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f39b31643ac956a3480ce4ac11bdca9d075198","datavalue":{"value":"strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277878$2E52FDE4-1C38-4C53-A8AD-14C204372424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e9deddbbaf6a460b43bf03984e2167d553231de","datavalue":{"value":"innermost strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277878$12B03CDD-0F7A-40D0-88E0-9BA8CF985B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277878$76F7AE28-9CDD-44E7-BE06-0158FDD1D0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5c1d09bd2d372c9ca45f05810bdcf5a728927e","datavalue":{"value":"functional program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277878$6F22AA8A-EBB5-4A62-89BF-1C2707CBD0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277878$9574D4F3-027E-4F57-B22F-FCA9572D5A33","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":"Q5277878$CE2C4ABF-74A0-486D-A37F-3AB9F101C2B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c57ae63681d796abd133d070ff100bce66211ec8","datavalue":{"value":"10.4230/LIPICS.RTA.2015.177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277878$D7352F39-5BDF-4938-9972-09A7F3EB9099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df82ae38b436e6d989f41c9dfc2ebf1459aa75","datavalue":{"value":{"entity-type":"item","numeric-id":2980977,"id":"Q2980977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd06fecaac674d8b3080a6b6c8e3b60bfa827ad0","datavalue":{"value":{"amount":"+0.997583270072937","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":"Q5277878$8C88333D-60BF-4A88-B719-25660325CDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d850b7e48c820367de13311bd2f516aef5521860","datavalue":{"value":{"amount":"+0.7746219635009766","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":"Q5277878$4D155E9D-35CE-45E7-A7EC-2CBDEDBA0814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1b3766f1e7fdeed09039a040b0bdb7b6561c26","datavalue":{"value":{"entity-type":"item","numeric-id":2996202,"id":"Q2996202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c08b258ae1f022c14e004e8388e3ae12f0102a","datavalue":{"value":{"amount":"+0.7455588579177856","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":"Q5277878$72DBF778-0D31-4F7F-9B50-924FA659AB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190fb6349b91cfb20fb9f3fb7a7b4e59d6c3b38c","datavalue":{"value":{"entity-type":"item","numeric-id":5389081,"id":"Q5389081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffece76a71bfa700037fc28a6762be446ee3ca5","datavalue":{"value":{"amount":"+0.7366379499435425","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":"Q5277878$4C64EC4B-B202-432F-9411-5132AEF2EFE0","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":"0acdd68d80e5477b5d4401c358a760c43a8457a7","datavalue":{"value":{"amount":"+0.7317858934402466","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":"Q5277878$102CBA06-0821-4909-8DC2-62054CC6FCB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277878"}}}}}