{"entities":{"Q5920091":{"pageid":8052156,"ns":120,"title":"Item:Q5920091","lastrevid":52904576,"modified":"2026-01-23T18:56:43Z","type":"item","id":"Q5920091","labels":{"en":{"language":"en","value":"Automatically verifying temporal properties of pointer programs with cyclic proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778422"}},"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":"Q5920091$4D431264-5A00-4CB5-A286-FC2574EEBB86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6102ae6773bd7b721ac89ffb8bc0e3c6179ed661","datavalue":{"value":{"text":"Automatically verifying temporal properties of pointer programs with cyclic proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5920091$AFE164A8-52DA-44AE-AC30-922AB005660F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8823bd0db3547d5d3f6af4579f2e6b3992a99e80","datavalue":{"value":"1468.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920091$72704CE0-85CF-4591-B51C-E0BDC5AB929A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27ddabb2b5aca34015d8420bb444ce6bb9920742","datavalue":{"value":"10.1007/978-3-319-63046-5_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920091$2CE7DFA7-A489-4217-B981-A0537D76F878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"862b8afa3123f53fe4a5f9864314e14cf7e2f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":2303252,"id":"Q2303252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920091$A5472302-DC3E-4B29-B1C8-9BBB67722F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920091$4BCD2B8D-AF7F-4D84-8C44-1DD4D9199C84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0973bcace13c61bdee631d298539bf46fd92cad","datavalue":{"value":{"entity-type":"item","numeric-id":5920088,"id":"Q5920088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920091$99183BCE-6DA6-4569-84EF-1159DBE923E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5920091$BCBF277E-55D4-438D-9FBB-A90555EC582A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20841eabac3fa1eae30dba660d391480a2a256de","datavalue":{"value":"https://discovery.ucl.ac.uk/id/eprint/10087494/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5920091$37558E2C-BA0E-4209-B7B4-F468EA29985C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920091$C14E62E1-3053-46B7-9ABF-A6E2102A8C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920091$37279B64-E300-4816-A419-0AFD828E5F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920091$581EF168-ADC6-4DE1-AEBD-35DB1CF94F40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44e5a3815476268355b9c854abff437ae10311ec","datavalue":{"value":"6778422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920091$242E380F-62A8-4527-812F-D4160C580FF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920091$31BECDFF-385E-48D3-8580-10D09AC35298","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":"Q5920091$A0D3F3E2-49D1-4EF2-9938-08DDE77C7D49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c16e2dadd19333ed9364e758c424ca5969be3b8","datavalue":{"value":"W2735988056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920091$BC3C42A7-2BE1-4E05-AA34-773AA395F84F","rank":"normal"}],"P1643":[{"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":"29f8b10600d3c0f6c8b9a38cf850bab9c8de35db","datavalue":{"value":{"amount":"+0.984506607055664","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":"Q5920091$5A9CDE22-775B-470E-916E-616019754492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"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":"Q5920091$D28F5DAE-D2C6-41F6-982A-99C76F09A5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820ef20e3254e183ecf8e93e57f32a74b82f8203","datavalue":{"value":{"entity-type":"item","numeric-id":4417835,"id":"Q4417835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15b205032bd85490f87b590012030705935929e","datavalue":{"value":{"amount":"+0.7740452289581299","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":"Q5920091$1B0EFAA7-66B0-4D95-93E9-77E20B11F531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfacba9bcb5ed4533ea46a692875a3f7c3b5f1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5434501,"id":"Q5434501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea93f8d4bf90db5717d7affc2040d9456fc2adea","datavalue":{"value":{"amount":"+0.7641873359680176","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":"Q5920091$5C7EA8F3-3368-4814-A55D-DFA46C2B8936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce9665b91ecb3a2eb7e60be16e012a2320e66e4","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb83f39eb98bf80a10aee46b5752d31110691b63","datavalue":{"value":{"amount":"+0.7498329281806946","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":"Q5920091$8CD4FE8F-D6E3-49DC-9A10-14CEAD52B3A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5920091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5920091"}}}}}