{"entities":{"Q5931381":{"pageid":8108183,"ns":120,"title":"Item:Q5931381","lastrevid":97626545,"modified":"2026-06-05T15:07:10Z","type":"item","id":"Q5931381","labels":{"en":{"language":"en","value":"Model-checking CSP-Z: Strategy, tool support and industrial application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1591013"}},"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":"Q5931381$DE80D751-97C3-447F-9035-995BCC8F70B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f139d3ea9da77975d8ba5ed85cb4a6035e6846b","datavalue":{"value":{"text":"Model-checking CSP-Z: Strategy, tool support and industrial application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5931381$9BEBC5D0-BBB2-48AD-8DE7-DBB7ACC22C4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e589ac36c52ae12a2fab04b9fa5e575fd5e2ba8","datavalue":{"value":"0973.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931381$C8141D1E-2F16-4726-90EA-1C0255CA7035","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75d1fae1be68b8ebfa4a81aa4e1e70ebe9bec764","datavalue":{"value":"10.1016/S0167-6423(00)00023-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931381$9C6EC6D6-8527-42B7-B9C3-F8FC58653DE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7adeca81e015c1557520dffe4e77927ba591c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":175411,"id":"Q175411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931381$E3A1733F-49AC-4F0A-B44F-76AB3CEA910F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931381$AF95B2AE-BA28-4AC0-9FC1-97222EC779D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931381$76128667-B2D2-498C-8CEB-C91171EEC89C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763e2fac54cd7102c0b681a36ae0f081948e4e0f","datavalue":{"value":{"time":"+2001-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5931381$EBA69575-5034-434F-AD33-5278C1B4D578","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931381$357FCCF8-4BC1-4E81-BE2C-37CCB5DE9A03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d85e288a40977dca8003744f7016439fda41c36c","datavalue":{"value":"1591013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931381$F13D06BD-C41F-4456-971F-770425DB1AAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931381$7AF58136-FE3A-4E25-A1B6-83B8DD5A535D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931381$A4BD7C98-DAFA-43B9-B499-630300656A24","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":"Q5931381$609CB22C-97BB-451B-8B20-E3B33A05B784","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64031e469fdc46344761a71b35060650a21353fc","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(00)00023-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5931381$28E55BDE-7D7F-4344-8816-1C6382DDDB86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b098ae5b739c95def2fcd2d9473c30a7bd75203c","datavalue":{"value":"W1975483972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931381$74422857-D5FF-447F-A7B4-B139DF0C13E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c24d33cbfad213e7f05d5d8a3171cf61d2041ee","datavalue":{"value":{"entity-type":"item","numeric-id":4494252,"id":"Q4494252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea3ff72d1f9b52eafbf8b9fceab8609b7d4650f","datavalue":{"value":{"amount":"+0.8081742525100708","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":"Q5931381$B86F37FB-7070-4DE2-B060-1DF338354DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b5429619a613a953de1940074e8b4366f53e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2993207,"id":"Q2993207"},"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":"Q5931381$D50F41B8-730F-4109-823E-24458D2C6247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6641eb4ac4d54d01ac4cc866af08fe587223f8","datavalue":{"value":{"entity-type":"item","numeric-id":5716897,"id":"Q5716897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2edbe21cbf7081ab961426152d7f3c366b3abc","datavalue":{"value":{"amount":"+0.7579983472824097","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":"Q5931381$2C00D3B5-18AC-46D8-8A10-89F95755DC31","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":"7ed93d9fb314e1a4ca1b50c02c47968402f59673","datavalue":{"value":{"amount":"+0.7562026381492615","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":"Q5931381$459000A2-0819-443E-87F1-C65EFC4E17C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5036f4fcdc5e6744984e85371eeff325b0c173a9","datavalue":{"value":{"entity-type":"item","numeric-id":5943269,"id":"Q5943269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9705d2a8d97ec74f7567b149581f452972d96ee2","datavalue":{"value":{"amount":"+0.750607430934906","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":"Q5931381$620B16DC-1E2E-46B8-A4B4-269C1A478217","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking CSP-Z: Strategy, tool support and industrial application","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_CSP-Z:_Strategy,_tool_support_and_industrial_application"}}}}}