{"entities":{"Q2863857":{"pageid":2874577,"ns":120,"title":"Item:Q2863857","lastrevid":83827070,"modified":"2026-05-07T12:08:26Z","type":"item","id":"Q2863857","labels":{"en":{"language":"en","value":"Concurrent LSC verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235727"}},"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":"Q2863857$04EEBE00-8E09-4D49-9911-1785577E7885","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecabcbce4180cbdca1c2e097d676c397f4c62643","datavalue":{"value":"1276.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863857$0D6A3D21-72CA-46D2-AE9F-78289777DCEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69fd14b62dc172e64c0b7c449be7f2153de7aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":271720,"id":"Q271720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863857$8CA62F05-CB75-41E7-BE32-2DF45A86020F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1149dc19eb237b70332309cccd20957cd91eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1683434,"id":"Q1683434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863857$6E1865D8-00D1-4F15-AA3D-11695A445CA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863857$67DAE953-2AAF-4467-B748-2F6F262618D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1da41921c90eff804047a599bd33bb1fa720ebd5","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052527?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863857$21D57BF4-2445-472F-8447-0DCC0105965D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863857$D7B40375-269B-442E-BF7C-98A1B97CB5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863857$4074E707-4DD5-47C1-A2C1-4609A80B837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863857$BAFA2902-C7F4-41F3-BDB5-A4A7BE26B1B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6bd194a0598e01b49d450ceea4a07ad94977bbb","datavalue":{"value":"6235727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863857$A3D65052-3951-4206-B84E-D796ACA18801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc00551210232d8f1e95e72f358667f748b96d6f","datavalue":{"value":"distributed model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863857$852A1E18-D732-4736-8C30-7057696D3CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9cd0a1dc9df95871e5ddd964d62ccd7b15d241","datavalue":{"value":"live sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863857$0F24122F-8BAD-4998-AEE6-094747B4F03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e14b4df151dd62488fc9798346a168289b32632c","datavalue":{"value":"automata decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863857$AB51A1CB-20FD-4B58-BC5B-E42390C61E92","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":"Q2863857$DB966DB2-E3B9-4D85-BA87-FD9FD170F8FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6ae274940379f83896ab41784534f4b03d91d0d","datavalue":{"value":{"text":"Concurrent LSC verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863857$D517C6FA-E574-4A65-95E6-6BCBC533D859","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910234018dc39b2e1abb4d046cb3a31aebdda4f5","datavalue":{"value":{"entity-type":"item","numeric-id":5756737,"id":"Q5756737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05139da78603857387060b2a8832932f5ad66b82","datavalue":{"value":{"amount":"+0.7897846698760986","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":"Q2863857$8B99BA0B-079D-4798-B8F8-37124C797D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19eb3dac85778291952644f09a9308ec034064e9","datavalue":{"value":{"entity-type":"item","numeric-id":5897125,"id":"Q5897125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7214578f033e0f2619e41391536cdc16658b7ccc","datavalue":{"value":{"amount":"+0.7349419593811035","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":"Q2863857$472DFF28-4DB8-4AB6-A398-71263CE1C818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a6afb93987faad280a68b13ba0d6850aece3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3593076,"id":"Q3593076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ddd0c9de6719f646361eec537ef24ed0adc5ca3","datavalue":{"value":{"amount":"+0.7241101861000061","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":"Q2863857$17BFFE0F-00D8-4B9D-8ECF-98C1BC1C5DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3ef8a46652782b7d1cad85782c7f17881136d8","datavalue":{"value":{"entity-type":"item","numeric-id":2769611,"id":"Q2769611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6910a9e900d1275728e61ea824637f1a5290e38f","datavalue":{"value":{"amount":"+0.7238177061080933","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":"Q2863857$9872C2B1-83A6-4794-9E6C-9646EAF6B5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def15cce0ee6ccec83ee369b28ca7a95e28fbc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5452186,"id":"Q5452186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb1e7fa94f94c86e2c61082b9b30e3fb67fd51e","datavalue":{"value":{"amount":"+0.71864914894104","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":"Q2863857$393C67C1-F5FC-4759-B7D7-0DD8FDE3BE0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent LSC verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_LSC_verification"}}}}}