{"entities":{"Q2908878":{"pageid":2919603,"ns":120,"title":"Item:Q2908878","lastrevid":79544684,"modified":"2026-05-06T14:10:00Z","type":"item","id":"Q2908878","labels":{"en":{"language":"en","value":"Verifying recursive active documents with positive data tree rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073555"}},"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":"Q2908878$6ED6D9A7-C447-45FB-B552-7AC4536D554A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31d4b105dd42c4952781ee3905ce1715ec939342","datavalue":{"value":"1245.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908878$E6AA828C-539D-404B-9D6D-558545626055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c25692d5864b09581ae766555ef6d0e63eb5f0e","datavalue":{"value":{"entity-type":"item","numeric-id":436615,"id":"Q436615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908878$FC33103B-6200-492A-ACD0-6155113FD93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908878$C2687DE5-3205-445A-A3D1-70250F7A32CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908878$DCFF716E-3610-4059-B453-2F4AE0EBF535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908878$C40AAEA8-9778-46B2-ACA7-429D3586E8FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10134087328d88f2d2c819939666890d88ed9dbb","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_9289.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908878$6FECEBA8-A9E1-4067-A910-73306880C037","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908878$D535EE52-B2E3-4FB2-96B7-39119D32DF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908878$638D2164-000B-4176-90A2-200E6C9F69D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"545c4aa913e1799ad932f86d289fc88b3d30d960","datavalue":{"value":"6073555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908878$0EA8ADCA-A1CA-48D0-AB16-689804981B8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd374008e28766dfe2430cff5710da35d4bd8cf6","datavalue":{"value":"active documents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908878$709EBF68-89F3-4262-9509-A201B5F62724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b153118503c9cfd60ffd01ad98c74bae7a1a57","datavalue":{"value":"guarded active XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908878$EAAFE960-6C9A-4F2F-A07A-2B27CE166227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908878$67185AF4-36F5-45CB-973F-43170A2EED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfcec6116cdb5493b34a38f5d7566149d7933705","datavalue":{"value":"data trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908878$FD81D5F4-844E-49F5-AE41-AF4148BD9213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d7633b8ce984d819fa89e5139d3875062f1fb75","datavalue":{"value":"tree rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908878$AD701298-544F-496B-AE71-D47ABDDE5DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a3090759c5fec5d1d1c20ba4f4fd25f78529eb","datavalue":{"value":"well-structured systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908878$A15EDC6F-7FE2-4AAA-8048-A4819A633719","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":"Q2908878$30FD7162-55A9-47A4-A929-F32DAFEAE153","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3172e2fb6bb841c4c0ae7e65baf6cc7ff2f4537a","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908878$23C7C12A-9668-48BA-9206-D2CD96ED38EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"904e88140e1ec4f7ffeb2fa958ba5fe27318e902","datavalue":{"value":{"text":"Verifying recursive active documents with positive data tree rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908878$F78B4D89-F641-4179-9BE1-FD165C3CEEED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739c2427408963bc3002c498e24c3262498b6995","datavalue":{"value":{"entity-type":"item","numeric-id":3540083,"id":"Q3540083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c337efaef54442800513fe603bb6bde6710feeb","datavalue":{"value":{"amount":"+0.7919609546661377","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":"Q2908878$21AD712E-AE78-49FD-9990-7B7C63F48C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18df805d929054a0cc9f1e604081e72729ee507f","datavalue":{"value":{"entity-type":"item","numeric-id":3446029,"id":"Q3446029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d17eafd815f2eadaa1f9a123cdaffd3b1d75313","datavalue":{"value":{"amount":"+0.7824183106422424","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":"Q2908878$5F64D66E-9B14-43F6-AB01-3468BE8635B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6259039c928aa89ae4d171b716633c17fc6c58b5","datavalue":{"value":{"entity-type":"item","numeric-id":5738925,"id":"Q5738925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d748fd644ae2138755d07505f2bd69886171c256","datavalue":{"value":{"amount":"+0.7424584031105042","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":"Q2908878$78377A13-1334-4DE0-97E7-9095349F02EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff0d92c54ac3b3fcc64a5926b4beafd33060fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2402614,"id":"Q2402614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3774cba21873970b1e64ae04ab0a8306a1646680","datavalue":{"value":{"amount":"+0.7331835031509399","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":"Q2908878$51B84F0A-D37D-407A-87D5-9E46788743C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b80e59b9255c5e696b98f8fd66438bf8b0f319","datavalue":{"value":{"entity-type":"item","numeric-id":3599134,"id":"Q3599134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ad5de53b5b38366a17eacf62b8929d254edcef","datavalue":{"value":{"amount":"+0.6979345083236694","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":"Q2908878$A5882846-F6A8-46BF-9813-2DC2DCCC064F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying recursive active documents with positive data tree rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_recursive_active_documents_with_positive_data_tree_rewriting"}}}}}