{"entities":{"Q2848152":{"pageid":2858872,"ns":120,"title":"Item:Q2848152","lastrevid":51833018,"modified":"2026-01-20T06:38:46Z","type":"item","id":"Q2848152","labels":{"en":{"language":"en","value":"CTL\\(^*\\) model checking on a shared-memory architecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211542"}},"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":"Q2848152$C810C007-FB03-4899-A829-7F715502F959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96211f78c0761f86f7d91ec8faacf88f09f41c68","datavalue":{"value":"1272.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848152$951EBD0E-EFAB-4823-9DB2-044896FB3671","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1df2fb8a051f960515ec1f78c40d219592cf088c","datavalue":{"value":{"entity-type":"item","numeric-id":2431770,"id":"Q2431770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848152$2648A57A-6156-447F-8936-976E41983C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848152$C4F94C05-5B65-41CB-BCE4-D2AC1041058C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848152$49317EAF-2599-42AE-89C6-C07BDC26088B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9cbef67b40d9058c483129675a48425e0c6d7de","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105001714","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848152$C620447B-C26B-41B5-819E-2803096F63F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848152$C0E30A0A-3E7A-4E75-801C-85367AF305A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848152$611BF23D-EA5A-4BCC-BEEF-0ACFF444B8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848152$CF3082C5-7782-4C7B-B57A-0ECD7DBE0C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848152$B4D16E49-855A-4717-9DAF-63B7EC6A3DC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89a261a949191c237731f09327935cdf1d00b352","datavalue":{"value":"6211542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848152$D2FFDCB1-AB11-49B1-AFB4-0A3949B2BBDE","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":"Q2848152$BB522E2E-EFDA-45CB-B61B-0AACF5B0CC7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bb46e8d952fc83a5b104aaa09b77b49edfad1fa","datavalue":{"value":{"text":"CTL\\(^*\\) model checking on a shared-memory architecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848152$38F59733-7136-4CAE-A1D6-84080E87B776","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14055d1a82266cb52c9edd43935f919873942b17","datavalue":{"value":{"entity-type":"item","numeric-id":2431771,"id":"Q2431771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca06fedec920b7f39413769429ba510ec55b362","datavalue":{"value":{"amount":"+0.9336265325546264","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":"Q2848152$5834BAC0-1B69-4D46-8EBA-7F84550322B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c86ca2e78cd7acad5e47625e664f6700c9aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":4649304,"id":"Q4649304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92a31761f77bdfb0ae7c6950ad8f564ed5072b5","datavalue":{"value":{"amount":"+0.8496195673942566","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":"Q2848152$C068CFA3-AFA3-4CE5-8CA4-F2B75D26E469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ff332ca4e4ad7ec376f063f96d1787eecaca8","datavalue":{"value":{"entity-type":"item","numeric-id":2842857,"id":"Q2842857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60c859b9cf31d6db300161f03b1c80a5c75b9df","datavalue":{"value":{"amount":"+0.8315542340278625","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":"Q2848152$6468757D-494B-4506-86CA-3BCD03A49409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8bf9ae8412d3f6bc9ff581a201bd878f319ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2845488,"id":"Q2845488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daaa3b5503dd27b56da0556900d177cf5d492dd1","datavalue":{"value":{"amount":"+0.8297007083892822","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":"Q2848152$45C4D114-AFA1-4BC5-AAF3-E2D174C59761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4353ae63ce39de46ca640bd3849e3246ae0604ce","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494d81cae8c71cbc51fd3f2db70dcafd59ed9403","datavalue":{"value":{"amount":"+0.8163961172103882","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":"Q2848152$4F1835FC-C333-42FE-90CD-51EDAFFE0B5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848152"}}}}}