{"entities":{"Q2863858":{"pageid":2874578,"ns":120,"title":"Item:Q2863858","lastrevid":51884969,"modified":"2026-01-20T11:39:49Z","type":"item","id":"Q2863858","labels":{"en":{"language":"en","value":"Pattern-based verification of programs with extended linear linked data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235728"}},"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":"Q2863858$E78047C1-26C7-44A9-8B73-7EBA4A173595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"166d3516cb3cad45ebbbbaf34f90f8ce9a1223d2","datavalue":{"value":"1276.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863858$2403DE57-C718-4DEF-90C7-997AD58B7B59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c6b8ec8130ff9aedec0af96f2fb34ae07f3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1702920,"id":"Q1702920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863858$EE88CE2E-7ED3-47AD-812D-89CD785EF679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d83a6fa644848e6b3f34683d5ffdf1db158b86eb","datavalue":{"value":{"entity-type":"item","numeric-id":2642986,"id":"Q2642986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863858$B7D223EF-2704-49B4-96FB-1803E216B159","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":"Q2863858$471D08FB-C978-4B68-A85B-57101B7D12E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863858$EC694BDB-DB30-47EC-AFFE-CAE166795EC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92176d40e1d93f9516fb397b905e3a0e443b0568","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052539?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863858$B7B5A032-5466-4D49-A7F2-E7BC09F3EA4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863858$B4F1B8F2-61B7-4C78-98B5-61897FE15753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863858$04FFD0FE-777D-4A5E-A202-9BDAD0EB60D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2a9d673f3daa166df662bfcf1c5ae560f8fc3d3","datavalue":{"value":"6235728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863858$6EBB8814-F624-4DF7-8257-478E791CBA92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863858$0C363CEB-89FC-44C5-BA5E-A822D66A4073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863858$CC1CDDCE-1E20-4B97-9C76-88E6B229744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291aa4c401f60738f1f701a3e0055bf28e2e807b","datavalue":{"value":"dynamic linked data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863858$756FB587-85BE-440A-B320-C1DE2B2EF18B","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":"Q2863858$0F1516D3-AB44-403E-9717-0500ACC25594","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aab8e6957fa3a3c68b1d706c43f22f4fc1563c9","datavalue":{"value":{"text":"Pattern-based verification of programs with extended linear linked data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863858$0186B47F-7BE0-4819-AA0A-930B5A6F836D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5367e584a3bf09f1905c809365dd7b7336714f60","datavalue":{"value":{"entity-type":"item","numeric-id":2642987,"id":"Q2642987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32a5e40a8339448da2bbdb3920ccee482712b04","datavalue":{"value":{"amount":"+0.9245858788490297","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":"Q2863858$3D92C3C7-968F-4DC9-935B-8DA923A05E7D","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":"b6143a94772515c2bf8dae13e5c8a8d34e9327cb","datavalue":{"value":{"amount":"+0.8043444156646729","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":"Q2863858$F2984EB6-F0F8-4204-9E80-AC058EB6C535","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":"ab7eeaf07f77606fc0e952cdc81e17e1596f6017","datavalue":{"value":{"amount":"+0.7750712633132935","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":"Q2863858$9C1B9E4A-B0C9-4DAC-ABB5-2724571ADAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986afe06d0e449e6f3ff808ef12202603e9ddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5899050,"id":"Q5899050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7446d290c9f739813f7b7149c403e823e7c687","datavalue":{"value":{"amount":"+0.747708797454834","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":"Q2863858$0EAA4E03-70CB-42D9-9EA9-086AAB7FAB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1946b77773e2b23a9e417900ad38dd2b7c69e665","datavalue":{"value":{"entity-type":"item","numeric-id":5465858,"id":"Q5465858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5799596fb5e9fd8861d204208e5aee706ef92a17","datavalue":{"value":{"amount":"+0.7448387742042542","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":"Q2863858$E2BEC4B6-1D95-4FF2-B0B7-E6FE4272D96E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863858"}}}}}