{"entities":{"Q2863859":{"pageid":2874579,"ns":120,"title":"Item:Q2863859","lastrevid":83827079,"modified":"2026-05-07T12:08:27Z","type":"item","id":"Q2863859","labels":{"en":{"language":"en","value":"Verification of Java programs with interacting analysis plugins"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235729"}},"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":"Q2863859$EA7F0CF9-152A-4099-AFDB-F8B46C23621D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"112d58933b0b73974c70e4b2fcbe4be252821f52","datavalue":{"value":"1276.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863859$693FE14D-BF94-4517-9A06-CF95ECF70B59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27726e63c98005f8f5b5062a9432ab8f7bdb5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":287263,"id":"Q287263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863859$99719CB3-C8B4-4766-BCEB-81BD30086787","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":"Q2863859$49A231FF-7425-43F8-A377-84C9472A7D03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f4377e0a0afb7f8a941ce25d01ab5759e5bae32","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052540?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863859$8802A336-CF8D-4A6C-8FAD-8E35A0E62D61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863859$3E55DBD0-BE32-40F4-8970-557F88FC6103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863859$E99EB532-5EBF-40F4-A756-0DC682BC806F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d97c9fc8813da076f067b4ec809f4d2b02598cf1","datavalue":{"value":"6235729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863859$796304CA-8EF1-476E-AE56-81D407E6BCBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863859$75A8F5FC-EE41-4094-B669-548E6319299A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863859$B97388FB-8D40-4C07-90EA-C5467963C81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42569d796eb64b04421a3bde17da0a72396080fa","datavalue":{"value":"open product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863859$4F43BE82-1CD6-4940-9A61-6E4074F392EA","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":"Q2863859$9B924F3A-69BE-48B0-B0E3-6E6F06B6F7F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70b0658b7c23b2a33b556492247e63316f9256e0","datavalue":{"value":{"text":"Verification of Java programs with interacting analysis plugins","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863859$0A074015-BC82-499D-9196-34367A25EDBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f8b09071262dd8f0552ff8611f89a2f66d5cae","datavalue":{"value":{"entity-type":"item","numeric-id":2642983,"id":"Q2642983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a808103a03fb940896dd835a6122791417b0a1","datavalue":{"value":{"amount":"+0.942996621131897","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":"Q2863859$06D8D291-6547-4802-9A59-8BB37B6006D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06aee9b0ee0b9e1f6ad2cfaa09c83b5665b60942","datavalue":{"value":{"entity-type":"item","numeric-id":5178839,"id":"Q5178839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4500a05d95aa9f74370ffe5ee443c7b58ed6bb9","datavalue":{"value":{"amount":"+0.8212833404541016","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":"Q2863859$7414A122-B09C-41FF-B2FD-3BAF72BE3824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b2b0edd27ef95b93e84a2786f95c093b1f65b9","datavalue":{"value":{"entity-type":"item","numeric-id":973055,"id":"Q973055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d2c1a425cb8b4b9f0c00b6103be1488e6f1fb5","datavalue":{"value":{"amount":"+0.743998110294342","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":"Q2863859$06FACCAE-B4F1-4286-83B2-2D2C9A77BA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38b53b98c65f89ee27d6f3305cd7b54e8437c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cde16e7c949252a46e1890d00a97b33d9a7cbb","datavalue":{"value":{"amount":"+0.7437794208526611","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":"Q2863859$094D9820-44E7-4F81-8743-7F0860C80F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612c6dbf744b93e6dd72753043c7a219e0435808","datavalue":{"value":{"entity-type":"item","numeric-id":5178871,"id":"Q5178871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb1fa50a681c0285605ef5a4d27e0e8d751cc6b","datavalue":{"value":{"amount":"+0.7218972444534302","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":"Q2863859$0B184A46-AF5E-4A32-AB38-35FC7C0827C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of Java programs with interacting analysis plugins","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_Java_programs_with_interacting_analysis_plugins"}}}}}