{"entities":{"Q2845499":{"pageid":2856219,"ns":120,"title":"Item:Q2845499","lastrevid":51812369,"modified":"2026-01-20T04:21:40Z","type":"item","id":"Q2845499","labels":{"en":{"language":"en","value":"Automated compositional abstraction refinement for concurrent C programs: a two-level approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203479"}},"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":"Q2845499$8F85BD85-E437-4BAA-98DC-9D5DFD611EC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"054ee02e896c00e581ed3d756bfeaea8d0e1f0a1","datavalue":{"value":"1271.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845499$FACEEE13-2383-4FC2-AFD2-F1A4B546F587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845499$00B0EDDE-ADBF-4E03-AD17-651B24C29F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845499$8CD06CE9-C2F3-43F2-AFD7-1702520CE995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a7ab83eb4b01c8fa415c14a8ae5c22018daae","datavalue":{"value":{"entity-type":"item","numeric-id":1039849,"id":"Q1039849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845499$F8DCD88E-788C-4862-8CF8-8FE596BD4136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845499$D48B36A4-78BF-407B-80E2-274000056953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845499$B0856EDA-A163-4DA9-BFF5-6AA242594B2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9f65be11e199656b52f1ef8f89990216ad73aae","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800040","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845499$609B5797-7939-47EB-967F-E72D03F776D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845499$7229EC04-316A-448E-8ECB-583AC1BFAF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845499$C3EFB2E0-817A-474A-9C01-AF78ED331CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845499$73387BD1-B82F-4D3C-9859-F71669A7E0F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab3f0e4bc7facdd8d4d98a3b0dacf49b0e29a52d","datavalue":{"value":"6203479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845499$0A82DA1F-7583-463F-8EA0-EBD0EDE5B07C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845499$CE34F8C7-AC8D-4497-954B-11FF6EDEA733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845499$F630C7D4-8A4F-4FA3-BB93-E8BE8585F887","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":"Q2845499$3488F8C4-0B9D-4102-AB78-AA947F11D4BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d60116ba7f3ef56ea6f62d4aa9b383df342a1ab","datavalue":{"value":{"text":"Automated compositional abstraction refinement for concurrent C programs: a two-level approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845499$B0EF800D-643A-4C7E-B231-F49A047CEE8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ebbee7b7abce6bc9db7943aebd0d1ded4c399e","datavalue":{"value":{"entity-type":"item","numeric-id":1888200,"id":"Q1888200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff677c8d54579a48c7e4afad2b947b6b73ae49a","datavalue":{"value":{"amount":"+0.8765766620635986","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":"Q2845499$6DA0FDBA-0733-4711-9075-538E0634EE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7d838ce55f130f4c9bfbe76f88f2c26453a63","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7389acb180a0e9df70af910f4d06e8ff8eb7eb","datavalue":{"value":{"amount":"+0.7864946126937866","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":"Q2845499$E4662ADD-93A9-4531-B6E4-D05E98A49FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36277ef934a2f1711c723a22553acc727d1957f","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38ee5cc72f886068d15c3cd3d9484e6857368e5","datavalue":{"value":{"amount":"+0.7838180661201477","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":"Q2845499$0459DC00-A78D-424F-A19A-D4B837D7A5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e7b8d33e7ec5767ce8ecc4f52ba21e81256ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5424313,"id":"Q5424313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e04964836af040000e6544e92244a2b01323410","datavalue":{"value":{"amount":"+0.769986629486084","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":"Q2845499$0F0391C5-01F9-485F-81A9-02863119FFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8bc67b583574f4d04ded58ffc9f2ecb59a911fc","datavalue":{"value":{"entity-type":"item","numeric-id":2441711,"id":"Q2441711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a3805af02c088f4ad3e79d0e31d020713d1e56","datavalue":{"value":{"amount":"+0.7649450302124023","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":"Q2845499$4289DA6A-CB9C-418D-BC09-A85504420D11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845499"}}}}}