{"entities":{"Q5166690":{"pageid":7196262,"ns":120,"title":"Item:Q5166690","lastrevid":52037126,"modified":"2026-01-20T19:39:13Z","type":"item","id":"Q5166690","labels":{"en":{"language":"en","value":"Verification of heap manipulating programs with ordered data by extended forest automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314157"}},"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":"Q5166690$83424357-9828-45F0-A46A-AF4F5F975EA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d641b538ef0b31d58492ac1cfc1fce55b1b643d","datavalue":{"value":{"text":"Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166690$DBF28603-C17C-4C6C-ABBB-04E5E675D726","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90d833b7879c607e21795dcd40b1ffa8f71191c6","datavalue":{"value":"1344.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166690$6384A70A-34E5-4D1E-8E9D-7E44D2C52E1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7102a271bd6daa629460426c293aea0fb5c65e82","datavalue":{"value":"10.1007/978-3-319-02444-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166690$A785432D-FFD4-41B1-A2DB-ACB4883D0125","rank":"normal"}],"P16":[{"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":"Q5166690$1F1D2CD0-FCE6-48F4-91B8-E1B6040768E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166690$3CE4C001-A989-40C0-AB4C-E96F72127E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c477c7fb9ef64d2e85f586ff24b4d2ade2b9f3","datavalue":{"value":{"entity-type":"item","numeric-id":300412,"id":"Q300412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166690$3F8C1C5D-E64E-4483-8032-59D30290E026","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":"Q5166690$FEBDEEDD-A97C-4E96-8AA8-A29A5342F4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166690$DC292CD3-565F-4BED-B6D6-08ADD42DE958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166690$A1ECB85F-63E4-4FE6-BE18-4030E2E5E226","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166690$0FFFE4B7-A900-4C91-8A68-362ED915FC5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166690$CA1400A5-B8C1-4481-95C3-7CDD9C0F72A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166690$6983F02E-0DEB-4354-B53E-663B7219A47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166690$BA6CE52E-4D28-4C31-9AAF-CD5AD04EC773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166690$AC48A893-3257-4115-982B-1126C8B6B387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4755db08ac32393c1ffc6c85b50555ee49484fa","datavalue":{"value":"6314157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166690$5FB993FF-F7C0-4AC7-B9AF-9DA996AA986A","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":"Q5166690$6A4725DF-EE30-4B22-A856-9A89703BD19F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"906b8a57828d15e9b658c8475d551f9b3d5e8f30","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166690$80AE9A76-6F7A-42F6-A0F7-A61AAA9A3C5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5445029d71a5ead846fd1bf38ec1dd9bdf497c2f","datavalue":{"value":"W1592587615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166690$60CD0819-6404-49A2-AB3D-CE32153C8301","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":"30f8640200bbc953d24d6cf3190aeb13d73554dd","datavalue":{"value":{"amount":"+0.999968945980072","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":"Q5166690$F5AD1EAA-5AF2-48E4-A72D-EFCD20622A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1af7964d445b1653d8a5c0655b158c04645ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2441715,"id":"Q2441715"},"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":"Q5166690$9601A066-2416-4522-8C7D-100C2118B8E8","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":"72fa4c2ae9f39bd385b762ba88fbb36aacab935c","datavalue":{"value":{"amount":"+0.7575407028198242","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":"Q5166690$AA32D9EF-5637-4641-B5C0-718B67938117","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":"dc072246e99867224c8fe02aa39d27ac9b2d90c5","datavalue":{"value":{"amount":"+0.7555809020996094","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":"Q5166690$612E4239-5F8B-4D98-8BAF-CD6D957A7A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a72be8ffec3f8572d7c12a18ef2fe53608d40e6","datavalue":{"value":{"entity-type":"item","numeric-id":5452601,"id":"Q5452601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635e877243d15c70833cea6d885c9d1930f12612","datavalue":{"value":{"amount":"+0.7505224347114563","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":"Q5166690$5E9157E6-4FEA-4946-B436-6B0BF23D05EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166690"}}}}}