{"entities":{"Q845236":{"pageid":847084,"ns":120,"title":"Item:Q845236","lastrevid":64775802,"modified":"2026-04-11T22:08:31Z","type":"item","id":"Q845236","labels":{"en":{"language":"en","value":"Automata-based verification of programs with tree updates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666993"}},"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":"Q845236$EAE4D586-B068-49C3-89C4-2D2CACB0E7BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c07d856608d007f06c87a3346e72cc16bd2e1b12","datavalue":{"value":{"text":"Automata-based verification of programs with tree updates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845236$5996DBEE-D726-42C9-857B-D942535A5CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72d6456152ef91dfbb3e3a67c3893e1e6e86cf92","datavalue":{"value":"1185.68414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845236$C4E36BEC-EA98-468D-8AED-643943686CA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$14BC8350-D9BC-4A6A-ABD9-EDC12506D146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$B8956A2A-5A8A-4844-B9BA-6AB5A608DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$1F2329DB-BD37-4C26-A40D-9D35988CC799","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$F3BC752A-89D1-47E1-AC1B-E57A71FBE9CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845236$FD06DB94-430A-4FC7-A854-9A6CA3EFEBC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845236$28271A1E-E03E-4441-B94A-6B8AF81F8477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845236$274CD887-6C47-4105-8642-111BAAF36064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"435f33a6c50686697e2643f00dfc18db3176d89e","datavalue":{"value":"5666993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845236$1EE511D5-4A66-4727-A820-C18CD4EC7F9A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$C1D0BE03-3775-429B-9E03-E77BD1030526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cef1951816dd62b72c2dbbc8939422f2141124b","datavalue":{"value":{"entity-type":"item","numeric-id":15106,"id":"Q15106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$13151270-3CCF-443C-A856-266628DA7886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e735a85c793db0010dc65dd8f20a7b9930086dd3","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$CDF6DB97-98D0-4A3A-A544-85E0D2407C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$AC4D075B-77AA-4E95-9331-FD020DF35DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$6C398B24-7D68-4267-A89D-9F4D4E400A0F","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":"Q845236$62364934-CCD1-4881-8FFD-3003CDAC64FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4708341fc7c302b5affdaaeb3f0db75d4e3f667d","datavalue":{"value":"https://doi.org/10.1007/s00236-009-0108-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q845236$D3EC1237-57AD-46BC-B18E-D7F49A413CB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9eac5b1bc3bf64b080bf5d7d670dfa2681b6901","datavalue":{"value":"W1604924060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845236$D91630E8-53FB-4B7E-83AB-65D9D60113D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$7991409E-8932-44D6-83C3-969D05E71C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$52B52279-18BF-4635-B733-7FBB8453AB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c013e136cb03e4c5ab8c3a7e8c7df1e0a2f62e41","datavalue":{"value":{"entity-type":"item","numeric-id":3189791,"id":"Q3189791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$C6B7B545-4612-4FFF-B408-6BF998315914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fc44f926852741b8eb9b59cd4df9d83fae6ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1770429,"id":"Q1770429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$BB81E003-CD57-4A7B-984F-212142B64744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec2d796c9da1beefc6277ed4a94d08fad9b70f0","datavalue":{"value":{"entity-type":"item","numeric-id":5758053,"id":"Q5758053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$66097683-401E-401A-B278-E42FEF7AC9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$1C688659-5CE7-4FF7-BBF4-A94D3F74BDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774d271d638c8f47b90b64b2506155168729d785","datavalue":{"value":{"entity-type":"item","numeric-id":3197318,"id":"Q3197318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$0C530724-1550-443C-B6B3-1CF89CB47838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eea469bee372262cc158dff9d2310377ca0b181","datavalue":{"value":{"entity-type":"item","numeric-id":5434520,"id":"Q5434520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$1B50C062-5BD8-4085-BF61-7171BF637B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3692aa2d157356a2dba2cdcf8e4dfc8407c894b","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$627EEA7C-544C-4935-9F03-5C684E725B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$2A309AAA-C401-4ED4-B94A-786ED1613E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc5b8faef02add0dac1e1edb32f2d2749aba6cb","datavalue":{"value":{"entity-type":"item","numeric-id":5466563,"id":"Q5466563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$C3B458D8-44EE-497C-AE68-1FF24A81E3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024436ce79d78900d887501762f1523e2832f46","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845236$8705D7BF-3A12-495A-B5FF-7A7F22D298A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f3424b969f0a692d31e2032f5c7b6d86544e448","datavalue":{"value":"10.1007/S00236-009-0108-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845236$DD5A8ACF-9C1D-4E83-A0B2-6CED1F28AA63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce07efb67bb0fedfbff53469c8d253ff6c19a876","datavalue":{"value":{"entity-type":"item","numeric-id":5899069,"id":"Q5899069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845236$6C5801B2-2036-4B72-BD20-BD35908658ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9730363bc03c91cdc203d04c63c15559d8c968c","datavalue":{"value":{"entity-type":"item","numeric-id":3459423,"id":"Q3459423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32a55093a179049a19e21ffad188a7e5050d9d7","datavalue":{"value":{"amount":"+0.9093167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845236$F16BDB05-0348-42A8-AA0E-E984A997F70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ccdc7101444c3538beea1801b7ec9de90cd87","datavalue":{"value":{"entity-type":"item","numeric-id":1653017,"id":"Q1653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3dcadd9b5224588c6aa244e470c2e4eb6d4bef","datavalue":{"value":{"amount":"+0.90062994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845236$0DD3E3F4-570A-4990-A624-82B5749857C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a4408b9deadad3f95673094b22e7fe805c88e6","datavalue":{"value":{"entity-type":"item","numeric-id":3541727,"id":"Q3541727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8464dc601da6be4e364799c7e3c9d962eebf9baa","datavalue":{"value":{"amount":"+0.8887787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845236$30E9901B-EECB-4489-9E99-61C3D957ED66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0710bcb54d08efe82099eceeab9ddba784fcf2f","datavalue":{"value":{"entity-type":"item","numeric-id":5172644,"id":"Q5172644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a95b7e29612a03d603a6eca757e0b757d0ac81","datavalue":{"value":{"amount":"+0.8867423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845236$7E1F2611-C312-4E47-BE9A-DEA481F781D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487f8c86f5a5f9188677aaa27c7b93e3da56855c","datavalue":{"value":{"entity-type":"item","numeric-id":5740641,"id":"Q5740641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e891d399540d4e01b777a8f425b5aba9892e4e","datavalue":{"value":{"amount":"+0.8808508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845236$CD7B9535-8364-42F6-ABEF-DFD8AE866CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a1b4c88cf430c4ecc948ec6940e4e4fce7f738","datavalue":{"value":{"entity-type":"item","numeric-id":4452049,"id":"Q4452049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b834d03840758ecf867c35bdc32a40179af37a68","datavalue":{"value":{"amount":"+0.87567437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845236$1975F54D-E403-4A13-81CD-3E84FC4140C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df99384cc35d618ead3e73a7511b5f128f6aff49","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4677919994f20412647dfc52d75df6d86a3600","datavalue":{"value":{"amount":"+0.8682239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845236$3E2855D0-300E-4E24-A8A6-29CB1DAC539A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata-based verification of programs with tree updates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata-based_verification_of_programs_with_tree_updates"}}}}}