{"entities":{"Q2908486":{"pageid":2919211,"ns":120,"title":"Item:Q2908486","lastrevid":51543692,"modified":"2026-01-18T17:33:04Z","type":"item","id":"Q2908486","labels":{"en":{"language":"en","value":"Automated verification of recursive programs with pointers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076905"}},"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":"Q2908486$EF3E0FF5-095C-4483-9C35-AD086A1697F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f5f3d43b0997b88378689b27b312f2adfcc9e8e","datavalue":{"value":{"text":"Automated Verification of Recursive Programs with Pointers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908486$A300D8D4-5047-419C-A0D4-521DEC07F65B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e175b9ee84bc5670988401a4704613a193162213","datavalue":{"value":"1358.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908486$26ABAD55-1EB3-4DBD-959E-C4B32D35C0D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"157a37676ed806b96c2c30307cb1717009793466","datavalue":{"value":"10.1007/978-3-642-31365-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908486$561C2929-FC60-4DF8-8874-0C2A5A272433","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908486$D7ECED54-D4B3-4B44-9BDD-853A2DF623F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908486$FAEF4D7E-D081-4231-8607-2FFAC96233DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908486$BD764648-FF66-44C8-87C2-BEB5B43576EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908486$801AE892-E1BC-4284-80DD-E93D262B5779","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-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":"Q2908486$C258B897-6810-48A2-9D39-02671A5878DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908486$6A621026-06F0-45FF-8255-2A58A5EDC6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908486$78795CE5-237E-4AB9-B9BD-9F13BE5C644E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39ac825b6bad674456f09b538674e7cb18d947d5","datavalue":{"value":"6076905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908486$CF8A8A93-1AD3-45DD-84C6-A138B44093A1","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":"Q2908486$B91E5025-C941-4697-A818-AFA522F2B28E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12c63305f0f1eee429ed7cbd18efbcfe87dccfe2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908486$2EAF3380-A1C4-4B3C-97E7-9DEFBA07516B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"925a3e4244a9f573d6868aca429386558a04be94","datavalue":{"value":"W1480874032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908486$47DD51F2-2AA5-4206-8E41-1AD8F516C788","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"effa353d5ae0977d1a82ed8e033d68fc0ef92444","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974824024de45a1bdc3125ec10c497e9944be3bf","datavalue":{"value":{"amount":"+0.7948957085609436","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":"Q2908486$76AA5EFD-567C-4417-8DF7-EF67F1AE1354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd604750052f6347b1d760a77fa2c990e8d03","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb06eea6a1b7d233344b10725b14df2f6eb3f805","datavalue":{"value":{"amount":"+0.7837335467338562","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":"Q2908486$55DF95AC-91D2-4CF7-9FF7-F455EFB5010E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf782005bff7e563f45498cc946d95bcc9f03fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799160,"id":"Q2799160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741d0671289e1acdf3773a9e860019d3ebf95708","datavalue":{"value":{"amount":"+0.7800114154815674","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":"Q2908486$96BCADBB-B33B-42B2-A474-70CFD7946AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c4b076b7e3b230969177f9dc444fb15289fe73","datavalue":{"value":{"entity-type":"item","numeric-id":5920091,"id":"Q5920091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d28067ad0e3662259ec0bde66739f19a359bb12","datavalue":{"value":{"amount":"+0.7795682549476624","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":"Q2908486$2236C766-2C81-4859-B0FA-99D2DC2A625D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89bddffa067eb4e5cd6281b83b305e42e6c0d28","datavalue":{"value":{"entity-type":"item","numeric-id":5919481,"id":"Q5919481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e28aa772f77de72758bc20aa802a1f14d25c58","datavalue":{"value":{"amount":"+0.7767148613929749","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":"Q2908486$A92167B6-3CDE-42A4-8413-88A7AED06162","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908486"}}}}}