{"entities":{"Q3069998":{"pageid":3080714,"ns":120,"title":"Item:Q3069998","lastrevid":80018429,"modified":"2026-05-06T15:15:18Z","type":"item","id":"Q3069998","labels":{"en":{"language":"en","value":"Speculative image computation for distributed symbolic reachability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5843598"}},"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":"Q3069998$7A6C156A-2CFC-4336-A956-8B27CA2B38F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee61ff1f431b52fe58af51de070011fb81a34066","datavalue":{"value":{"text":"Speculative Image Computation for Distributed Symbolic Reachability Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3069998$7D30B9F7-B906-4E15-BC63-CA603A544E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8bfac2ef26e2e3734060adc956319a5f151fead","datavalue":{"value":"1213.68369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069998$C2402EFD-8F0A-4908-9703-F13B05E1DE8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59c5f40ffc9818cb3b507dcfc882b5d6a8482ee","datavalue":{"value":{"entity-type":"item","numeric-id":2848664,"id":"Q2848664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069998$53596C6B-005B-40A4-BA03-02CE5D8790B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069998$66D09A34-ED4B-4B59-8095-7D91D837B20B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90226e22c518bbf24899277aeaad1e3115bd0ee6","datavalue":{"value":{"time":"+2011-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3069998$4B280829-2AEA-4850-82DA-04377F4F6223","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d458e66fc21760c5ab00eaaeebd0c75cb624d992","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.3549","type":"string"},"datatype":"url"},"type":"statement","id":"Q3069998$4BC3B14D-2254-418C-9ECF-E7CB03E58E07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069998$67AD73AA-35BD-4053-A089-8AE962939212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069998$5CCCB581-FF73-4EA5-8F02-BDFE2BDA3AF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"471d648f8a3c33c8e34ccfafc1c1df34c0cd5361","datavalue":{"value":"5843598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069998$1A280269-DDC2-478D-B475-9942460B8034","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069998$EA1922C6-C1A9-42CE-8E4D-7272D0B2887E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069998$4C9DEF85-A8A8-4DBB-B3BD-258A69ECC7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cdc9db4aaebb617571ab8a659805ed11c480b59","datavalue":{"value":"image computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069998$1857837F-E84B-4EAA-AED4-D3A57E6992D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069998$996E19AC-D2B5-473C-91C0-5605EAD1C633","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7326620be7b9d0e1c20f87774fe6360411fc41c1","datavalue":{"value":{"entity-type":"item","numeric-id":20895,"id":"Q20895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069998$E0C271DB-4B3B-4FCA-973C-B866DF19BAF0","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":"Q3069998$9CE4C90F-FD5D-4374-86DB-3914752BCBFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c68c700376a3953559596975bfacf8c5a80f64df","datavalue":{"value":"W2019496807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069998$22CF1C7E-9C6C-4BD6-9727-B39B81944D99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee4e3add22d62c2982521387c84d59f8cc549144","datavalue":{"value":"10.1093/LOGCOM/EXP005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069998$7ACD36DF-55AD-4B5E-A3A2-68DE53876498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069998$6B84D993-0272-4EEB-803C-41EA3798516B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da4b5a4edc6c85ce083a5a7be8483eef313b79f","datavalue":{"value":{"entity-type":"item","numeric-id":2848665,"id":"Q2848665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ad3a34bf41a3d090c03e15c61868d5dcfdf780","datavalue":{"value":{"amount":"+0.7982847094535828","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":"Q3069998$63B443AE-9B82-4A25-834E-7C698EE99BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07a362b1de0c6e4b50f4544d982bf6bbad87100","datavalue":{"value":{"entity-type":"item","numeric-id":5493224,"id":"Q5493224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f931a4359248b91b93db3313828062c2c46bd8c","datavalue":{"value":{"amount":"+0.7785243391990662","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":"Q3069998$9339F8EC-4DA8-42C4-B026-F187BB322A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72b69ee2110bb65e2d1433935d62ee1b4d358a7","datavalue":{"value":{"entity-type":"item","numeric-id":5493223,"id":"Q5493223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5bd882f058b702e2518ee0ed4f1db68ff52feb4","datavalue":{"value":{"amount":"+0.7779029607772827","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":"Q3069998$4A09BA87-4B80-47FD-8147-2C826D6F90EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06c0395de06415ea756d6f99b3b1a2ebd2cd81f","datavalue":{"value":{"entity-type":"item","numeric-id":5900670,"id":"Q5900670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1472cb3fb71b22d7b00082884eda525876a196","datavalue":{"value":{"amount":"+0.7590790390968323","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":"Q3069998$F43D181D-9F34-4E59-8B6A-283774617040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04cc65366d3308583c5903bc800bd3bbf5af1ad","datavalue":{"value":{"entity-type":"item","numeric-id":2754071,"id":"Q2754071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88288947b5cb98f2fd35b790aabadbd5b7c9126b","datavalue":{"value":{"amount":"+0.7346943616867065","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":"Q3069998$40DA2A4F-ABFF-4194-881D-0123A43C739B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Speculative image computation for distributed symbolic reachability analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Speculative_image_computation_for_distributed_symbolic_reachability_analysis"}}}}}