{"entities":{"Q3392922":{"pageid":3403625,"ns":120,"title":"Item:Q3392922","lastrevid":46124779,"modified":"2025-12-23T06:26:30Z","type":"item","id":"Q3392922","labels":{"en":{"language":"en","value":"The Causal Graph Revisited for Directed Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5596300"}},"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":"Q3392922$09DF136F-27A3-4045-9701-011BE1A375DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a21c8c3662260fcdf299338b9e0ed0e3ec6a7849","datavalue":{"value":{"text":"The Causal Graph Revisited for Directed Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3392922$1E1E0317-E745-450A-813A-242D59C6603F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49119f6f04302142ed6d5aec91a03565de549e1d","datavalue":{"value":"1248.68338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392922$111DDA6F-D3D0-44D6-B604-919B5EC696B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7616ba3adf00f8aaf638d4aa7647dfabdfdd3680","datavalue":{"value":"10.1007/978-3-642-03237-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392922$713DBE83-B9A0-4D5A-A095-0253D8717FF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92a23e4a6b7917f269eec3fe0fec846f36b7114c","datavalue":{"value":{"entity-type":"item","numeric-id":3000658,"id":"Q3000658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$FFC94B77-91A0-4978-85E6-036BF4EE7FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f71c227b26d9806b159a4606416064289b4db48d","datavalue":{"value":{"entity-type":"item","numeric-id":814424,"id":"Q814424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$0C763B96-464F-4D61-AA5C-6A302CB1AABD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$2F969618-12CB-49B7-B3B1-0B2DB53B68BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de6d3019de58c3b1284b728a467f4e3921f5e94","datavalue":{"value":{"time":"+2009-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3392922$D31161DB-5A3B-47B5-996A-3909B54F855C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392922$5961CF03-B61B-4F6F-991E-DE708D49A598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392922$FEAADDA7-BC23-436B-AEA7-0A6A715378A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392922$17AD17CB-AEA3-44C3-B88C-023561849951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392922$FBED2BB6-AFF5-46C7-B3CA-5F731314F2D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2b62a3fb622483be1de2d60e25c66fea888ffec","datavalue":{"value":"5596300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392922$1D28E223-5A5C-427E-A652-18BACAD7266C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7925a77aef5b2bef45fc258d38bb85c5789af54c","datavalue":{"value":{"entity-type":"item","numeric-id":22293,"id":"Q22293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$92930E9C-F7ED-4602-BB7A-D1700780081C","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":"Q3392922$9FB5EE96-DAC8-4744-8738-343B9132CD11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"004637d642c7297ca7760f54048fb806c91a6c8b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03237-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3392922$9E618511-C101-418F-AEC2-C55B0215C582","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"739ac85c4c4e1f16a3e81448fd575adc19206bf0","datavalue":{"value":"W1878689174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392922$C41301C7-E3FB-4A37-AF25-1A43C9A496B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2db84c3550fa1dc0678f74da260cb820417bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4411159,"id":"Q4411159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$7B16F480-D5D5-465F-8ECB-C29E9714753B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978c4b578567f04ccf981f0ae14a823a972bf0be","datavalue":{"value":{"entity-type":"item","numeric-id":1882792,"id":"Q1882792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$7780A9E1-9015-410E-80B9-767F62D130F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c01de818335e873dd765244763179cd84d37371","datavalue":{"value":{"entity-type":"item","numeric-id":5899034,"id":"Q5899034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$05195045-E33D-4FF6-A7E9-C37A0B3F3D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$9E9F5757-3938-44FA-800B-D85D8432C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599aff5efbde8bd5e5d97b75ee5191c8f64bacc5","datavalue":{"value":{"entity-type":"item","numeric-id":5423882,"id":"Q5423882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$BE903A2B-D461-4BA7-9CDC-ACF69D047E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ff0dcf829232da907f1eb072f94e69abdec3d","datavalue":{"value":{"entity-type":"item","numeric-id":5899035,"id":"Q5899035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$1CC8A889-7C4B-45DE-B13B-E55B90DE9ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549f3f4dcf37ae237cdf539bc3c5f1db021b9af","datavalue":{"value":{"entity-type":"item","numeric-id":5458328,"id":"Q5458328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$8C93D634-7A87-49FD-99C3-AD2C38072D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ceeb8b3a8be517562af772ac048285c9c60a71","datavalue":{"value":{"entity-type":"item","numeric-id":5308429,"id":"Q5308429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392922$B2A95642-B2F9-46D2-9AD8-E47D9D9856E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b07abd90bc2d252d15b97a0600b6f1043d6b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4738151,"id":"Q4738151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24eba243a5c73a431353fc2a4a1bd5ca1260783a","datavalue":{"value":{"amount":"+0.8801207","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":"Q3392922$515F616E-9E91-4B9C-8C6C-B0B3F241AA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a036a129ffe7146aa02119d998616dfd40a1fe6d","datavalue":{"value":{"entity-type":"item","numeric-id":4499210,"id":"Q4499210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8782679f29fbf8fce82ac5f2f14bdaf347aa6cc","datavalue":{"value":{"amount":"+0.87523514","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":"Q3392922$4C4FF197-E5E1-4E43-8AEB-C13DF0339483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb43345e80d8e8ad02ef54c52f32c56d7d3274d","datavalue":{"value":{"entity-type":"item","numeric-id":6091335,"id":"Q6091335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69170da7a36ff05d6a2423bb45b9fd7cdacb0745","datavalue":{"value":{"amount":"+0.8727372","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":"Q3392922$E380D87A-123B-48D4-9249-8FC616C7205F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616ca0cb233449c03fdad8e01897259fba1f52de","datavalue":{"value":{"entity-type":"item","numeric-id":2931267,"id":"Q2931267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3fd1b05e82c9b61b0969e12d112be4e2e37d6f","datavalue":{"value":{"amount":"+0.8713898","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":"Q3392922$D6111B99-5D97-4467-B94A-8C1E0D1DADC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5752acf3f97a0751e90d5e7d3ae78ae7ce9912c","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4dfcb3c085a7963d48b9cd21dc9b74b458e212f","datavalue":{"value":{"amount":"+0.869236","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":"Q3392922$CD8D2E3D-5AFD-44DD-A1F8-2430A8E75A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47ee14ac24bb24040fc9acd1ebd2e6bbb195aaf","datavalue":{"value":{"entity-type":"item","numeric-id":4034400,"id":"Q4034400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28d04b6f51fbcf36181cf14851d4800347a5dc9","datavalue":{"value":{"amount":"+0.86059463","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":"Q3392922$3E8883E5-4B5C-4913-AEFE-39498F725487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15cf2be86523f68c880118887b593b0d05ccd043","datavalue":{"value":{"entity-type":"item","numeric-id":3617760,"id":"Q3617760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4492acc844d0361db8c0477d83b0745cf25827c2","datavalue":{"value":{"amount":"+0.8576307","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":"Q3392922$84901863-86C7-45FD-9760-CD645B3AC598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c304fa6535d91f8f3bb19b52b6dfd61b0e7982a","datavalue":{"value":{"entity-type":"item","numeric-id":3297592,"id":"Q3297592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7f992389a445101eccaa57565213b4e25649be","datavalue":{"value":{"amount":"+0.8568068","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":"Q3392922$AD87578A-9854-4AE0-8283-9D78F6BEF00F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3392922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3392922"}}}}}