{"entities":{"Q5039530":{"pageid":7069107,"ns":120,"title":"Item:Q5039530","lastrevid":57526818,"modified":"2026-03-31T06:54:07Z","type":"item","id":"Q5039530","labels":{"en":{"language":"en","value":"Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600848"}},"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":"Q5039530$68EA11A6-B12B-45D2-9A7C-CB1E50B7FE13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29ebff378001b3623af035b115bfdc0a924c46dd","datavalue":{"value":{"text":"Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039530$02B746A8-969C-4380-BEA8-752B3CA63937","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa9deec65fc200cc42192250fab9253ba98e1179","datavalue":{"value":"10.1007/978-3-030-45234-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039530$D18FE8A6-9CFA-46E1-B270-040BEFA2895D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a730e63f1cf4870b40c1ba1697380387b326670","datavalue":{"value":{"entity-type":"item","numeric-id":477212,"id":"Q477212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$F6A30EF6-9453-411B-8417-43C048FC95C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$E0FD62D6-7656-4E51-8A90-7119764DD25E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$56D51D5D-123E-479A-951B-13CEB3527A79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039530$8DDCF324-1337-455F-A050-031AE9F730A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039530$B2FAD8E7-0500-4139-BF79-A7F4DA3FD6F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fad9c3baedb2d3b37eb8dbc326f6cf8b4c19b9c7","datavalue":{"value":"7600848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039530$3983C56B-C8E4-4B29-97B3-B59E05729327","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$17BD16FF-0791-4A27-BB6B-3974C34B10D9","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":"Q5039530$425B6EC2-382A-4B75-9CF4-81AEA747A8FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd9dae24b48d02ef1123b821aeb4c92266d014d8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45234-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039530$58FC338B-6958-493B-94F4-7F0997843DE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa63f227f521b30f5221498ca22873f4b9296eba","datavalue":{"value":"W3018156379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039530$C5CBD3A0-5F1B-4817-88C6-36918739B3CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$10B73A64-0DD6-43DD-AB44-3E5E17B1C3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac647cbfab0c42a6c2405164ceabbb1fefad942","datavalue":{"value":{"entity-type":"item","numeric-id":5558173,"id":"Q5558173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$23BF6A06-EDC4-491F-AB1D-A1BCB38DFD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$F7C7457C-C3DB-4559-A073-1D4C52337EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$C96C9C44-665F-4B48-A9B7-DF714166BFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$C903ECB7-A314-4A1E-8254-D03BEC16C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e2ec1b669f6e00b824aa9a053904daa87c9e53","datavalue":{"value":{"entity-type":"item","numeric-id":3075478,"id":"Q3075478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$433595CF-66ED-4C63-8E2E-18C7EF9A0606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52169215123c3f248924991b5d2e53a56fcf45d7","datavalue":{"value":{"entity-type":"item","numeric-id":2892727,"id":"Q2892727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$8DF3862D-674A-4CBA-AE3E-8B07BA37216D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3402b658120540eec801a4fff8e839211add8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":477213,"id":"Q477213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$9C6B4FC4-2C6A-4391-8074-60CEDAA4AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231a97eb6f7645ef83f7077487f1df805e9ef1e5","datavalue":{"value":{"entity-type":"item","numeric-id":3384159,"id":"Q3384159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$2ACFC338-1BF3-45A9-AD44-91C2482F4382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba34373eeeaa8b41eccb9a50ae155a559a2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":2281638,"id":"Q2281638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$2C52C6D4-7744-4AD7-9944-3B1663F73A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a00a2286b0e8c50555c9946f34ea3ef9dcc4c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2414252,"id":"Q2414252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$8D855B5B-6197-4E05-AB6E-B04829A4D431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a11c054d3df6fbeeeaa015764a3da98992fc5f6","datavalue":{"value":{"entity-type":"item","numeric-id":1424999,"id":"Q1424999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$35669FCE-91A0-4DED-8C0E-96F595409254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99078bf2c2882a3a64a95d58328e9c23ffa4afc0","datavalue":{"value":{"entity-type":"item","numeric-id":4930741,"id":"Q4930741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$C6F60317-FC9D-4046-8466-E9B0DDFC8607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$9A6D2E44-FDB9-4764-9B76-446071DA8A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$400254F7-E0F2-4891-A6E5-03BD27114825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e0e15f144f19b1726526fc8b4040e45c341fab","datavalue":{"value":{"entity-type":"item","numeric-id":5178876,"id":"Q5178876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$2461A586-351E-4716-B5B8-076251A07747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cb41278eb147b9f2b9468c88b78b1104c0166e","datavalue":{"value":{"entity-type":"item","numeric-id":5897439,"id":"Q5897439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$D746FD1A-B65F-4FCE-99FD-175F11623980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16088cc87169a38459e2ac37621458259e083bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5410712,"id":"Q5410712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$F56B5359-89A3-45C9-9426-0EBE911995DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7d7feccddf0862266104376d728c9542f6c608","datavalue":{"value":{"entity-type":"item","numeric-id":832053,"id":"Q832053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec64af64dd664faf72a1271a3684905e1db8a38","datavalue":{"value":{"amount":"+0.8816204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039530$C2B25EEA-06F4-4920-B944-073E85C7EC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd5bf38cb422cc35773626e2690241b85cb2ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2993238,"id":"Q2993238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0003c2aa0790f23803621e5f48b98afcadf955b3","datavalue":{"value":{"amount":"+0.86160916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039530$DE58D748-E2FB-4345-AFE1-33602E5A46F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c045cb549addf10efbcd8e1ec7f34d49d90c0e8","datavalue":{"value":{"entity-type":"item","numeric-id":3493216,"id":"Q3493216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a861194f06fbbc5d1502ccf08cb23ecbc409e8","datavalue":{"value":{"amount":"+0.85284126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039530$89EB576E-AF98-4CF6-8D55-5CC5AE591855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b125fa225e96598d30eaeae3629793d108c94b","datavalue":{"value":{"entity-type":"item","numeric-id":3030086,"id":"Q3030086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4004c2df3b6e9fc820bd215b845abfa493b662","datavalue":{"value":{"amount":"+0.85198456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039530$06E2F487-42A0-4507-8E78-2D286A26C2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3453dcd3f5c94aba4659ee803c984c4ff77882e6","datavalue":{"value":{"entity-type":"item","numeric-id":2817299,"id":"Q2817299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c9bd96bd04fa37bf13a7d7a7b4be5e7830249e","datavalue":{"value":{"amount":"+0.8513266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039530$A1E1D93D-D66E-4C0B-97D5-6B07CF0725A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0fa5a96b6b6157c9d6864b1211b439bba30f02f","datavalue":{"value":{"entity-type":"item","numeric-id":4302740,"id":"Q4302740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5854b16c8b4b43b1af7da41722e660ac5a3e6e87","datavalue":{"value":{"amount":"+0.8464451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039530$5951791D-FC67-4C3F-93A6-1893F673E517","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039530$80C84CD4-2FCD-4160-9D98-2C28CE562FFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039530"}}}}}