{"entities":{"Q3613378":{"pageid":5643284,"ns":120,"title":"Item:Q3613378","lastrevid":49685191,"modified":"2026-01-09T01:30:04Z","type":"item","id":"Q3613378","labels":{"en":{"language":"en","value":"Abstract Regular Tree Model Checking of Complex Dynamic Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528246"}},"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":"Q3613378$1FD0EE62-100F-4B4A-B651-49B3C70A88E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e99f3d8cdf9f7d63c9ef90d1d1440057e329153","datavalue":{"value":{"text":"Abstract Regular Tree Model Checking of Complex Dynamic Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613378$1E40DB0E-65F4-4F94-A652-F099459213BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff500435896f40cd1cf1a92e4bdf166a300760af","datavalue":{"value":"1225.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613378$564AF780-565B-443D-9ECC-D994458E05D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eab1786253d4d49434fd562c5fb5ac7b6d2554b","datavalue":{"value":"10.1007/11823230_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613378$D68BDAD6-3BC2-445B-BE43-221CA99503B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613378$82ED42EB-5CF8-434A-B33C-3F491FAADC74","rank":"normal"},{"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":"Q3613378$89001A00-DA60-476C-8A97-E0B416F25823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b07311c614a61a408aa9adc88aa384743c3f783","datavalue":{"value":{"entity-type":"item","numeric-id":2225469,"id":"Q2225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613378$51321036-38CE-4BE9-A13A-373A9A304F5A","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":"Q3613378$B3C74146-21C5-4697-9070-BBD56A3F430C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613378$F0F01806-ECDE-4898-A8BD-81E9E9C40CBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-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":"Q3613378$98FEA954-FFC9-45BA-80D8-E2482A0698B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613378$9C4A747B-8C1D-44AD-B009-14DC634AAF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613378$E9DE7057-57D3-4713-A779-4BE06DFB279E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613378$2C5D37E8-76CB-49E5-A79B-34E77C4DD1A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf005b661e5645b4246c78c2ce1459c4dc19182d","datavalue":{"value":"5528246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613378$B5E6B62A-E5B7-4EC8-A227-949159D35733","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613378$CB0AA005-323C-4461-9E92-EDED1C472FD6","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":"Q3613378$80E7461F-A428-431C-9C29-282D9B6FE396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c040ec1ec62102f7ab297226b792709107b127e7","datavalue":{"value":"https://doi.org/10.1007/11823230_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613378$8503CA30-7D3C-42A0-83F2-B31B48707761","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e14e5680e3a878a43bb1b8f02db0825e0a6bc948","datavalue":{"value":"W1522742464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613378$44DE28A4-C383-48F4-A5B1-7910FF3350AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"136566685968582f4b4c330630cc53a377c69a86","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b17a7091e9ef6f2710aa296fc71b72734cce11a","datavalue":{"value":{"amount":"+0.946481","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":"Q3613378$22A427F4-FE9E-4501-B5E4-F5C4BFCEC9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972b93688594e63d2fd2616e48bc403923002497","datavalue":{"value":{"entity-type":"item","numeric-id":3181700,"id":"Q3181700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd71c87bad544a132953fedbc044225f430ea558","datavalue":{"value":{"amount":"+0.9177283","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":"Q3613378$6756DA38-5041-4ECB-979A-AD0870B52BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6614b7eaf87f84197be462dab0ff54a1859094f1","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dadf4ed0450c73cd593d65b3cfb608553c52ab","datavalue":{"value":{"amount":"+0.9164298","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":"Q3613378$9022D222-54D2-454F-8A56-EF5B74E13D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67485897744792d592238eb4b337c2a3832ebd9f","datavalue":{"value":{"entity-type":"item","numeric-id":4804925,"id":"Q4804925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbffe3be2967981b95d73a935582e86c2cc74480","datavalue":{"value":{"amount":"+0.9105494","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":"Q3613378$0B0F8D1E-7263-43FC-9737-475DE2A89C42","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":"544e55d07c497d2c5290abec51cbbff4a9b78d70","datavalue":{"value":{"amount":"+0.8959117","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":"Q3613378$1551BB02-EE19-4CFF-A8C5-7ADA58C6CF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568aa5f0eac05d98dd357fdb365951b018ce7f60","datavalue":{"value":{"entity-type":"item","numeric-id":5758138,"id":"Q5758138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5721884393c29457cad0c33d7ceb8602c1bf81","datavalue":{"value":{"amount":"+0.89557344","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":"Q3613378$49E1547C-775E-46E9-9B29-2969663FBF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9d53d8d3d44c478abc97346a470060619146b4","datavalue":{"value":{"entity-type":"item","numeric-id":3182946,"id":"Q3182946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95570002393d3e404268c821e59475fd5b086fd","datavalue":{"value":{"amount":"+0.8928442","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":"Q3613378$F84059EB-126B-4FCE-B082-7D2C1787FAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f951a7462b922a6a20d6e606b0839176d9919e","datavalue":{"value":{"entity-type":"item","numeric-id":2729237,"id":"Q2729237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f3717cd45116f3ac14dddeda7a490f24f9f862","datavalue":{"value":{"amount":"+0.89273465","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":"Q3613378$3311C633-6397-48A0-866E-7AF007CF5306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e4b5450346f139342800d3f718d1e13deaf323","datavalue":{"value":{"entity-type":"item","numeric-id":4665730,"id":"Q4665730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f3717cd45116f3ac14dddeda7a490f24f9f862","datavalue":{"value":{"amount":"+0.89273465","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":"Q3613378$74DBA3B5-2A1F-49D5-805B-DA87606CCA2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613378"}}}}}