{"entities":{"Q2441715":{"pageid":2452458,"ns":120,"title":"Item:Q2441715","lastrevid":73403280,"modified":"2026-04-14T15:48:02Z","type":"item","id":"Q2441715","labels":{"en":{"language":"en","value":"Forest automata for verification of heap manipulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275248"}},"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":"Q2441715$4E1CD619-7F00-4E29-811A-FE223548E715","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d4a74e58eb6f31295a18aec6a5b51b2d82fddf1","datavalue":{"value":{"text":"Forest automata for verification of heap manipulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441715$E3E8F7A7-87A1-4F47-8F77-0CAD383BEC2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0132be0bb7a83c0d9250ed47dc412f2e21eefb99","datavalue":{"value":"1284.68398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441715$0334919F-4F08-4A91-B5B2-D875142FF234","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":"Q2441715$D1CC45D0-FCA8-4123-8A1E-DB6D021D0E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$E9AAEF0D-1918-4B0A-9B4D-0247AA86F3E9","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":"Q2441715$A892607B-F3A8-4EFF-B03D-B4EDDDF6BDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6439f80db2ada6e86c7129feed371049e77c5451","datavalue":{"value":{"entity-type":"item","numeric-id":2441714,"id":"Q2441714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$58B1593C-C5B8-4FDC-AC60-6CE0284E792C","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":"Q2441715$665474DE-F154-4AAB-85A3-CA233F756198","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$905BF095-3617-41C4-A542-F6EE53F25B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441715$676ECA40-E90C-4C0C-BF26-C92E1C278127","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441715$4966046C-E509-49C5-9D24-7BB83233ED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441715$E9F43AAD-80EA-4A07-BC82-AC9663B4A934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441715$6471115B-F479-40DF-A41C-DB406FF7F2CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67307b67c2af2a33e8ae92c3b649d4ae5c082631","datavalue":{"value":"6275248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441715$7051A71D-E5F9-4030-BC3D-F731B9C63157","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4a9fa42a823ec549977451ee26e4eccb17d524","datavalue":{"value":"pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441715$5E321CAD-6987-4819-9C41-857C9B2D2412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441715$F1334170-5E13-4683-B5CE-673BAF8C08D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8994406a4ed4c531454c43ed9283f116acd6d07d","datavalue":{"value":"regular model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441715$5032E16B-4389-4072-AAD0-090B20EF9C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441715$522CD635-E64A-454B-B0B2-66261E4DB480","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$5A86FFC3-F633-466F-A355-E55F23A5BC5D","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":"Q2441715$2F7DC5EA-A409-4302-8074-E32A50ADBB20","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":"Q2441715$3554997A-2B4C-4C4F-A4E9-049564079511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fde651bea4e7f603d94b7aabcd1d0f336f714b0","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0150-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441715$469AFA53-6550-4859-84D9-8C11D9B70F7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d205153bf2991d6af9b80ae956dc28aaf1918890","datavalue":{"value":"W2065248162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441715$309171AC-1F11-4D30-928C-2298D244B771","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ba291de6e6c288287b7f3a4d3e3a545b2c1853","datavalue":{"value":{"entity-type":"item","numeric-id":3512503,"id":"Q3512503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$ABA7EE3C-34DA-4B42-AA15-37F3D74FE4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccbaa5f7b2e9d5aeb42789013262c8f5a138ab2a","datavalue":{"value":{"entity-type":"item","numeric-id":5458323,"id":"Q5458323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$BA99D05F-F2AC-469F-A7A8-3DD83CA5CA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bab2d5ef22f22d0f4f2c57ef8626ead1ebd98","datavalue":{"value":{"entity-type":"item","numeric-id":3557075,"id":"Q3557075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$5AAFEF8A-9CFA-43C2-8165-9F55B18242CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$6427E437-436B-4286-AE4E-4E8E488B23CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$6ED77CC5-1368-4DCF-9E9C-8ED8828BA38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346e6666d6abf8f2ec43ac1a604dc5ba74efb51c","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$E7A73B18-A369-4624-A0D2-597B7C1D72B1","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":"Q2441715$4A939739-87AA-4B58-8F13-1705403B4EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$0F1C5C61-8614-4E32-B920-C73A0FADAF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46b42c26ff95c25a123eade860f8ec11025b448","datavalue":{"value":{"entity-type":"item","numeric-id":5899050,"id":"Q5899050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$663388DC-5075-450E-AB7D-4200037FDB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1cb268587dd293a50aac3367d9a446c9cf81f7","datavalue":{"value":{"entity-type":"item","numeric-id":2441715,"id":"Q2441715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$BBBA66E3-F1DA-4A6F-A734-9C783BDF6691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe3e421d6e27edd88e225f74f1b132c62664aca","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$5C3EAD64-C49B-45FE-829B-4CECED50DBAF","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":"Q2441715$8875F7ED-3798-4DC3-8D30-AF28435B9DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441715$15F15502-B271-4367-A888-65F0C6A046B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e23caf505a2f0838fb93a6f90c8a6be106a548b","datavalue":{"value":"10.1007/S10703-012-0150-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441715$EA1BA5BE-E17D-4C2D-8A08-937F1D7C93B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10fe8296123868fc5a4cb9add1e1a4a6d91317a7","datavalue":{"value":{"entity-type":"item","numeric-id":300414,"id":"Q300414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb22a1590bbe72b39aa9d00222686e785ca7364a","datavalue":{"value":{"amount":"+0.8785994648933411","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":"Q2441715$C0C5E090-4363-4D27-AD56-22E4855F1502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c775b3dc2e86740011cc9a45389f014ff8612467","datavalue":{"value":{"entity-type":"item","numeric-id":5166690,"id":"Q5166690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f3b9ea62aafb9529c9f136437091c82f3c4081","datavalue":{"value":{"amount":"+0.8785044550895691","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":"Q2441715$3A94C08C-C27C-49CC-A7CF-D8990C52455F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7ba451de00e4f2424546f070f4738e1ea86ad5","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b904042f18519e5ee340871a0bab142137420a","datavalue":{"value":{"amount":"+0.8086936473846436","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":"Q2441715$1D13C4D6-4E50-43A8-BA6F-189782BDBDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efe42f5de4f93ba6dc9404899c99f5726c3c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d04b903f845e1e290dcc41541a0b4553c9aee1","datavalue":{"value":{"amount":"+0.785575807094574","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":"Q2441715$E0871225-5851-4CD8-B8D6-63E0F1049EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f1025af3cbdc10d010df35cbb278d0af896e31","datavalue":{"value":{"entity-type":"item","numeric-id":845236,"id":"Q845236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cffb0a316ee13ed078d17ad57aed68cb629a48","datavalue":{"value":{"amount":"+0.7808214426040649","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":"Q2441715$D3CC6319-481A-4EC8-9BC1-7C29B38754F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forest automata for verification of heap manipulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forest_automata_for_verification_of_heap_manipulation"}}}}}