{"entities":{"Q2849844":{"pageid":2860564,"ns":120,"title":"Item:Q2849844","lastrevid":51828449,"modified":"2026-01-20T06:08:56Z","type":"item","id":"Q2849844","labels":{"en":{"language":"en","value":"Abstract model checking of \\textsf{tccp} programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6209880"}},"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":"Q2849844$48BF9D17-64F6-4761-BEC1-C0B41EB88D41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a702868cc64435add386cc45c1abea7a7858229d","datavalue":{"value":"1272.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849844$54E5EADF-E43C-471D-B40E-9AD0B0CCA385","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51be7fb864ec0e0d86e4142fdf7eb4aa73033bb2","datavalue":{"value":{"entity-type":"item","numeric-id":835781,"id":"Q835781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849844$C815BEE6-1C89-493C-BFA2-3E9C17EB0D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52f31efad8a2adf8c5d910a917f0e3e39185d913","datavalue":{"value":{"entity-type":"item","numeric-id":216148,"id":"Q216148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849844$B9C1D006-E4B2-47DC-9CE5-0826B14FA5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36308e32b5a03059e4bfa8be66993d163941fc86","datavalue":{"value":{"entity-type":"item","numeric-id":2409735,"id":"Q2409735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849844$4E6A7095-DE27-49D1-88D0-D6867FEE8E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849844$2B5B5CDE-D3A8-4CD8-875D-7EE856302EF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849844$0D8CDACA-6399-43C9-ADE3-B7E5DECDCFA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6373fcfe385965d2c4d746b9e0eb34277290d913","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104052405","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849844$F9686D13-B615-41A6-9326-6805B39614B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849844$4193425F-E449-4B3C-8645-9B6E74029AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849844$468275FE-66BC-4E08-A834-6292981F1181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b39d8cc3d7ec1a40e7a508cd9a97ea0fab91b25c","datavalue":{"value":"6209880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849844$E39D127F-3EBB-4A10-AB49-F61B639F29C1","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":"Q2849844$C1089E84-F9C8-424B-A1F1-1DDA79F9A16C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e78bd53cf8fe017956c05a9e505bb95a08f780","datavalue":{"value":{"text":"Abstract model checking of \\textsf{tccp} programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849844$36DC2412-B40F-4ABF-88AE-8D6ADF887C89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d3b273737663af00bb08fa4dae91aa53e4c475","datavalue":{"value":{"entity-type":"item","numeric-id":2576949,"id":"Q2576949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef425872549f4c9940e5dfcf2296ae85cc9dc725","datavalue":{"value":{"amount":"+0.9793855547904968","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":"Q2849844$32C43CD9-D1A1-4DDC-A185-B7450093CFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65c44c0e0c64b6fa8fe94ec4f8dc5662b949c20","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086feedcd8388dcafe849aa98e9e8479ddb69638","datavalue":{"value":{"amount":"+0.886460542678833","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":"Q2849844$5E556334-B2AB-4817-B5C9-0F7C7EA9CC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71dba3ec662bb1e2abdf35f27733f74ceb209356","datavalue":{"value":{"entity-type":"item","numeric-id":2628304,"id":"Q2628304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d6fc32d11de0b6442e44e95f85e6e161ff4128","datavalue":{"value":{"amount":"+0.8758451342582703","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":"Q2849844$63D0185C-BC74-4552-98A3-615EBC744882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770296025246def1505e7bf62aa6df881abc4cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5743591,"id":"Q5743591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad5247ca6e26be9c4517274bfd1546a93adea09","datavalue":{"value":{"amount":"+0.8699185252189636","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":"Q2849844$31DB24E8-1392-47D3-B00C-7E51A08B2971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cba9babce472d30e259288a4c30b793e9fbf648","datavalue":{"value":{"entity-type":"item","numeric-id":3087437,"id":"Q3087437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063a8435ab21f033198f6bbd206e5e635dbf9f38","datavalue":{"value":{"amount":"+0.8514301776885986","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":"Q2849844$02E51C7B-5CF0-444E-8772-FD91F06E4F24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849844"}}}}}