{"entities":{"Q2642989":{"pageid":2653732,"ns":120,"title":"Item:Q2642989","lastrevid":79111763,"modified":"2026-05-06T13:10:18Z","type":"item","id":"Q2642989","labels":{"en":{"language":"en","value":"Interactive tool support for CSP \\(\\parallel\\) B consistency checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187835"}},"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":"Q2642989$AAE1A788-73B9-4683-80DF-D4530B045B2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a90fdd6b0944abceadcb523520bfe731521bc68","datavalue":{"value":{"text":"Interactive tool support for CSP \\(\\parallel\\) B consistency checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642989$1221DAB0-337F-4E42-B0CE-5C378F56C9A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1565882c52a98c207a96481a2618c35c8161e05","datavalue":{"value":"1125.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642989$E85D74AF-40EB-4153-B50C-AE65E95577F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcef273d942d0b5f60b03bbbcafe5ea38575a6f8","datavalue":{"value":{"entity-type":"item","numeric-id":333314,"id":"Q333314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$88756392-7955-4745-BABD-4259027BBA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd74731cf25b418c4068b03729533b4b1d961716","datavalue":{"value":{"entity-type":"item","numeric-id":1049154,"id":"Q1049154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$2D0245F1-E884-4EC0-98F7-F0214E5B8481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$6288F5D1-2DE8-4B75-BF55-66FD1D0C4E32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642989$2D7F3A6C-C1A4-4BFA-995A-940FF5015287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642989$E784CD61-4801-43D2-A71C-48F079F846DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3d032abf447387842f568d59502d6ec5f0b8201","datavalue":{"value":"5187835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642989$46E29E87-3DF9-44D5-B316-DF4916DF1194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642989$672B102A-5880-441D-BF38-05F7CDABAD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b64e565bdb5b8972f76e2d48728f295fa97e9f","datavalue":{"value":"B","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642989$5F39E18E-9006-4D63-BEEA-486CA5B7A7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8830e299fc7f7717bf9fdbbb29fc3b23718b1534","datavalue":{"value":"Formal method integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642989$D20C872C-51E2-497E-99ED-C5D7E0F8B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a46101903e9716cd4e425ded84500f5b86cab84","datavalue":{"value":"Tool supported verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642989$2A2E481E-6221-456B-BE82-F75107486A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3381101843ba4956c5eb7d7505d6f3202fa9b029","datavalue":{"value":"Rely/guarantee techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642989$9F2BB671-8F2A-421F-86A8-852EC23003F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$9DED79D1-4E37-4028-AD01-A04F7DCF1FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$F1EFDF84-6AE5-457B-94AA-73BA644B6345","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":"Q2642989$584C4D95-AF42-42D3-A1CE-8101D5D2E260","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b7ee67c927b1554a3b294a1ff694a6395ed4b7a","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0034-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642989$3BD89B42-2DB8-4EC1-9DB8-5458C8687CC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd407083bf9f8df14e034e224882994642e0aa96","datavalue":{"value":"W1975898810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642989$EAE3CE61-655C-4F74-B959-D14F16134907","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$BF761A60-A7DF-4A5A-962C-AD373ACF1E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b97aca54adf177a5e36876787b326a7b96eca9","datavalue":{"value":{"entity-type":"item","numeric-id":5716878,"id":"Q5716878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$632E28C3-8C62-4572-B806-CE58FAB80994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e1d230555751f2736e215479954de0da014773","datavalue":{"value":{"entity-type":"item","numeric-id":2844823,"id":"Q2844823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$67EBDF5B-ACAA-43D6-ACCC-BC96F206D5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e43ab42bc42a76b4bb00454485d4b007313c68b","datavalue":{"value":{"entity-type":"item","numeric-id":2863864,"id":"Q2863864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$7D196527-E768-4C73-B95A-2FA354CA6AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$79BAED32-A9B2-4720-AE74-604C330118A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6f37b944bf995fcb106bab7b920c6000a076ca","datavalue":{"value":{"entity-type":"item","numeric-id":3996921,"id":"Q3996921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$0138A785-68A4-439C-99A0-ADF975B4D54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a574e5aa189b3fc2747ed9f87d92c59b775e8e6b","datavalue":{"value":{"entity-type":"item","numeric-id":2722014,"id":"Q2722014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$498EE226-50BA-456A-BFCC-0C1BA2A5A383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747f0085ef1159d9f7a28b30851f5b2bafccc37f","datavalue":{"value":{"entity-type":"item","numeric-id":4472199,"id":"Q4472199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$802C65ED-B2D1-4EF5-BA92-43CAD5012A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6322713c93ba5975d66d08cf938b57dc11ff","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$A8229D24-6F39-4236-903E-41271B335DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe6ae62535cd9d365e389c4c15b9b6fa3742f21","datavalue":{"value":{"entity-type":"item","numeric-id":706503,"id":"Q706503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$75179171-08D2-427E-95E6-86B7BA376950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab25ffac4bde52dfb66f30a112eabdbc62a2c0ff","datavalue":{"value":{"entity-type":"item","numeric-id":4494259,"id":"Q4494259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642989$79FD5044-A13C-43FF-B4D8-EE818EE15467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e95acba3d8c6d5b46265211ab58114ede0b581e6","datavalue":{"value":"10.1007/S00165-007-0034-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642989$AB1C033C-E64F-49F0-B0E6-517B74250218","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12483a2631ee8cb006a2502cde1d4c8a3dc8bfb0","datavalue":{"value":{"entity-type":"item","numeric-id":2863864,"id":"Q2863864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c68938632b08306ffd4220df960da7d267b34b","datavalue":{"value":{"amount":"+0.9158551692962646","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":"Q2642989$19C63BF0-6F89-4052-8D60-08D7352B398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12d28b4725cde0ef7cffe1d16593fce0167542c","datavalue":{"value":{"entity-type":"item","numeric-id":5716878,"id":"Q5716878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3eb31a6eeadf49ff0296dbc9f8a50c8ce23ea1","datavalue":{"value":{"amount":"+0.8166810870170593","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":"Q2642989$75278C36-CE1A-4595-8E7E-27B1DD96F47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534e979b87b2589c308566051a74637c5687381a","datavalue":{"value":{"entity-type":"item","numeric-id":5938702,"id":"Q5938702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421a13018b76650a9cf74fd6eade9a3e601f09e5","datavalue":{"value":{"amount":"+0.8000289797782898","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":"Q2642989$551D0CA3-81DB-4A82-8AF3-12B7493D9B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce733e633a940d03123e9038a50f4db25a92935","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdb2fc3210b42457d3c3558fbce645f0f06c5e8","datavalue":{"value":{"amount":"+0.7986248135566711","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":"Q2642989$F8339EC4-1723-4BB9-9BFA-EA5686209456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29eeae920dced349e3c0bf4ac995a7e6efe79d00","datavalue":{"value":{"entity-type":"item","numeric-id":5429309,"id":"Q5429309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c306858bb1de829583069f80a5bfe5457f0025cb","datavalue":{"value":{"amount":"+0.7841476798057556","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":"Q2642989$48D9F8CC-3C3B-4528-98C6-2DC354DA225D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interactive tool support for CSP \\(\\parallel\\) B consistency checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interactive_tool_support_for_CSP_%5C(%5Cparallel%5C)_B_consistency_checking"}}}}}