{"entities":{"Q2993207":{"pageid":3003931,"ns":120,"title":"Item:Q2993207","lastrevid":85627640,"modified":"2026-06-03T10:31:28Z","type":"item","id":"Q2993207","labels":{"en":{"language":"en","value":"Model checking CSP based on ASP and critical-trace model of CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6611894"}},"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":"Q2993207$B01BD0B2-C190-45C2-965D-426592F6D239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"267383ce84a9ed6ab4d1d263694494aab2741911","datavalue":{"value":"1349.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993207$94CB3DCA-2E8E-4BD5-BB98-850758BAD524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"178c3f9645e241e21cb0d284379f73d17ea273f8","datavalue":{"value":{"entity-type":"item","numeric-id":2392413,"id":"Q2392413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993207$18AD6167-83B9-4FC8-81D1-98DA78638E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c90deb0f42f100e434e1d4e8fc8c220b0dfbc109","datavalue":{"value":{"entity-type":"item","numeric-id":2993206,"id":"Q2993206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993207$4F17A3E1-CE23-4531-B20F-32A7DF86E575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e1a1f93d0c0634a7ecf5d8b922902097d44856","datavalue":{"value":{"entity-type":"item","numeric-id":2987192,"id":"Q2987192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993207$F075EE24-99D0-44CD-B6C3-3F5509D083C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fa46e82c61ad080e0a6cb366f72dae947866613","datavalue":{"value":{"entity-type":"item","numeric-id":2663512,"id":"Q2663512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993207$AD300DDE-535C-4E56-9B12-24C20A9AA847","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2993207$19A36A31-E59F-4FF9-8408-87FA5D3C5AFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993207$1505906D-EE57-4967-9854-C5F3CB3B3551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75995d620b2b9e153f9a6d812bf53fbc9aef5397","datavalue":{"value":"6611894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993207$7785E0D7-B8FC-4726-9A83-112984727478","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993207$2347148F-A361-4C3F-877C-D9A926419F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993207$D86931B7-E076-4CFF-A902-BF396AE773FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a161c5e16a68d0881afcdd9eac66677de9d90793","datavalue":{"value":"critical-trace model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993207$94871D72-D332-42B0-92F2-AA5E7BFFB15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993207$757400F6-6E88-40EF-8A4B-285BE0912B80","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":"Q2993207$DF60BFB0-26D3-49C5-8984-9986C69C11B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"368dcf8440d126c9ac1b38e21f9bb624f5cd99c9","datavalue":{"value":"10.13328/J.CNKI.JOS.004738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993207$4D398BE3-CD39-4069-8262-869675F0C610","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871c574f5c378d899789693374eaae7d43fc17fe","datavalue":{"value":{"entity-type":"item","numeric-id":5931381,"id":"Q5931381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7732c11fce59ca8a5d522245130ddc6627251d8","datavalue":{"value":{"amount":"+0.7648494839668274","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":"Q2993207$8F43D582-0602-4534-97FD-EAD2985C953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351591f5f6503f4c4917224f41ed1b263bf455fb","datavalue":{"value":{"entity-type":"item","numeric-id":2938170,"id":"Q2938170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb62dcd62cdae51afa46a2c1dde768a5ff88fa1","datavalue":{"value":{"amount":"+0.7640369534492493","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":"Q2993207$CA63CDEF-72C5-456B-B1B3-C783DC7983C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc64ca00bfe0342f128404aa61b6f6ba68532fc","datavalue":{"value":{"entity-type":"item","numeric-id":5387857,"id":"Q5387857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b878a356a4f42dd273727ceb0932f2d90245cb","datavalue":{"value":{"amount":"+0.7596738934516907","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":"Q2993207$805BF5BB-14E3-4BC4-BD0E-7E91F7E6505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6b99fd4349ce486779a51c3b85820dad408b57","datavalue":{"value":{"entity-type":"item","numeric-id":2763965,"id":"Q2763965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3393ac74a10d436efeb6308e8a175b45fce47b1d","datavalue":{"value":{"amount":"+0.7582501769065857","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":"Q2993207$4F6BE645-82D4-4B20-9924-AC5397D26668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95803da382dc4e174d8bd7163f4ffe42583c9e8e","datavalue":{"value":{"entity-type":"item","numeric-id":2848417,"id":"Q2848417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899eb9e6da59e6e3da7de0509e142a62242bbb9a","datavalue":{"value":{"amount":"+0.7537797689437866","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":"Q2993207$D91BB0BB-9E97-4095-9E05-CD8B4B2277BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking CSP based on ASP and critical-trace model of CSP","badges":[]}}}}}