{"entities":{"Q2842855":{"pageid":2853575,"ns":120,"title":"Item:Q2842855","lastrevid":83728145,"modified":"2026-05-07T10:15:30Z","type":"item","id":"Q2842855","labels":{"en":{"language":"en","value":"Local distributed model checking of RegCTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199171"}},"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":"Q2842855$9FE63B66-68FD-452F-A177-B0395CF8E63C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8ea3704658fc660d67a7539691c7071b62da1be","datavalue":{"value":"1270.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842855$7A899328-09E1-4803-9233-E3783AE1630A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842855$B49CD0C8-2163-4A9F-A4A2-C0EB10BBEC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842855$702131EA-0AC2-4DF2-94DF-4B71A8F4B192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842855$F929A108-9DF7-4CE7-80B2-959E7DC6B2CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe43b09fe9d29f3e3260f0c37323fcac877fd951","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105803937","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842855$1FCA8746-751C-46F0-9EC6-D02514211213","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842855$E58CE46B-FAAA-4040-99C3-765EE37E425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842855$819AEF31-E5A1-47B6-B305-93D6546A812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842855$97C117B3-27ED-4E63-8BF0-AFA33ECAE1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1097014be4c46dde660e9a6a8a066eb6e016d194","datavalue":{"value":"6199171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842855$530BAA27-7FC9-42A1-BB92-DEF554518C05","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":"Q2842855$348ED427-8981-43C1-92B7-4A62264D23B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0004576f0fcdf1624c8cbdf1062f9e9ea58481a0","datavalue":{"value":{"text":"Local distributed model checking of RegCTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842855$55A864FE-59E1-47AA-B30F-04F9BD287CC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab08187b588e55415a9e841ab022752e94302f7","datavalue":{"value":{"entity-type":"item","numeric-id":3430687,"id":"Q3430687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e5c838af9410adf9dab98b7b5ce684695d4008","datavalue":{"value":{"amount":"+0.9600535035133362","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":"Q2842855$FC0211FB-44B8-4D1D-A8AD-A9091954A377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819b4c0407a803de87539aaaa3e2e2a19274b81c","datavalue":{"value":{"entity-type":"item","numeric-id":5060078,"id":"Q5060078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f20c1658e9c16b587d632cfa06f8a02fe71f6f5","datavalue":{"value":{"amount":"+0.8039436936378479","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":"Q2842855$B69B9E29-F048-401F-8E79-560E0594D9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60afea6fe309fa16e7fd97a2cff90197d15852e7","datavalue":{"value":{"amount":"+0.7947749495506287","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":"Q2842855$9BD8058F-BCD7-40B8-B140-595BE398AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b124259ca86881b67c4d19a90842c7504451f9d","datavalue":{"value":{"amount":"+0.7756898403167725","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":"Q2842855$F92551E8-BD11-4134-8E83-B1D874E9CB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97705ef1bf3d92ebd59d9301f476c932ddbb463a","datavalue":{"value":{"amount":"+0.7685697674751282","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":"Q2842855$68E46B17-86FF-4E06-B630-259CB7223433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local distributed model checking of RegCTL","badges":[]}}}}}