{"entities":{"Q2842872":{"pageid":2853592,"ns":120,"title":"Item:Q2842872","lastrevid":83728232,"modified":"2026-05-07T10:15:31Z","type":"item","id":"Q2842872","labels":{"en":{"language":"en","value":"Modifications of expansion trees for weak bisimulation in BPA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199184"}},"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":"Q2842872$7353E963-7A7D-4B83-8F87-98874A6A584C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"537604121cd8341f4b8c919f87cd92a37b05de72","datavalue":{"value":"1270.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842872$349D27F4-39FA-4B06-B76F-F9BF509E5BAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac9ba55b2de67aff622c45b0763caa095c38f949","datavalue":{"value":{"entity-type":"item","numeric-id":2842871,"id":"Q2842871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842872$E167716F-42A0-449A-8A86-540CEEDC2211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842872$3FBADB01-7148-4904-A958-DD82DF78733A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842872$12A5A47F-3910-4FF9-AEB9-FF0B2D675D67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a23c1c670bbc15d8c5c268ebc7c9555bdf4ea39f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805310","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842872$86006000-BCF6-47B1-B7C1-B09CBE5549B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842872$E68F46F8-C767-4393-B5B1-1686EFBD6572","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2bfb90dfdaca93507e437441fbe22425d430d98","datavalue":{"value":"6199184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842872$36D1EDBE-6C5D-4854-8049-6A1C772D93A0","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":"Q2842872$32589DE5-5F99-41C2-B924-25AA27430CF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8048bd1c51ccc45b4d829aace9d15e0e308ac96e","datavalue":{"value":{"text":"Modifications of expansion trees for weak bisimulation in BPA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842872$FDBD73EC-E495-4C0A-B696-FF99D0EDF2BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab54850448f4d4aea413cf1328367a3cd1b51f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f430793ceea3b2381e6ce28a8e237b1cb1456e8a","datavalue":{"value":{"amount":"+0.817234218120575","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":"Q2842872$A44CC19A-EAE3-4BD9-BA28-FC4EAD5DFC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d214b601527774fbb33788dda48b6d2d14121832","datavalue":{"value":{"entity-type":"item","numeric-id":4986262,"id":"Q4986262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f430793ceea3b2381e6ce28a8e237b1cb1456e8a","datavalue":{"value":{"amount":"+0.817234218120575","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":"Q2842872$57BF64B2-1D15-44D4-896C-FE6883C1DD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd5b13b83370af74aa1770812c3de8a098752ca","datavalue":{"value":{"entity-type":"item","numeric-id":2852014,"id":"Q2852014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4876700459d7a5992f9bef38f8be853423983241","datavalue":{"value":{"amount":"+0.800882875919342","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":"Q2842872$B5274972-AEC4-4A6C-8670-3E40E888A7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc60f151a224169864ed47742fd3872db1d446aa","datavalue":{"value":{"entity-type":"item","numeric-id":5415622,"id":"Q5415622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060be59913036451b96e19f91c4ba22a13de6dba","datavalue":{"value":{"amount":"+0.8001586198806763","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":"Q2842872$BB9DA4E7-A853-4F20-9058-43452DAAAB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925328eeccdf6a722f8e5b1aeae6f047dfdaaeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4412112,"id":"Q4412112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afac48670f6ab734fbc9bc3d968a97916984c65","datavalue":{"value":{"amount":"+0.7948886156082153","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":"Q2842872$6E30D0B2-8DC2-4365-B926-BC620545DC2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modifications of expansion trees for weak bisimulation in BPA","badges":[]}}}}}