{"entities":{"Q2486254":{"pageid":2496997,"ns":120,"title":"Item:Q2486254","lastrevid":48523885,"modified":"2026-01-05T02:48:39Z","type":"item","id":"Q2486254","labels":{"en":{"language":"en","value":"Model-checking processes with data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2192950"}},"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":"Q2486254$BE16DA78-3FFB-491B-A546-DB6F02E4430B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22f79215e8dcdd798e673bc9dc2b224bf3c5eca1","datavalue":{"value":{"text":"Model-checking processes with data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2486254$44244AF3-6A5C-4DCD-92CB-48A65296AF93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04026a2e17b2ac6f6669e177d505a42479caf2fd","datavalue":{"value":"1082.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486254$FF9A2C82-8171-44F2-8E09-683A5FA49880","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486254$18BCA0FF-234D-4969-A765-E0C8A55B49A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486254$1AB64F41-4262-4788-BD70-4F3BF9A3C5B2","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":"Q2486254$2FF8EE29-5624-498D-A037-1440092A5D1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90b8e08a65c3f6b60302137bec886dcfcd8ff418","datavalue":{"value":{"time":"+2005-08-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":"Q2486254$4E03DBEF-3B5D-4043-8606-0D14C2670244","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"298bf4b3c8c884aa0e256830c8b39509dcf7d20d","datavalue":{"value":"http://hdl.handle.net/2066/32746","type":"string"},"datatype":"url"},"type":"statement","id":"Q2486254$A84CD26B-56CE-4785-BD06-6EE9E8C9E27C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486254$BFF23B31-3ACA-4483-9B1F-81E7C0EEA9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486254$95FD801A-82F4-444E-8A82-88C09B80B5FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4df969654315a189b7d1c43bb0217d8846d717bc","datavalue":{"value":"2192950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486254$C0B5DF64-D1C1-4813-8253-EF5206378659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486254$5B9BD143-FEB3-44C5-B8DB-1C1BE24CAFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486254$BB8DCC9C-657F-4C32-AD3F-46C602A942F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486254$1F4F8B84-33D0-4DD7-9E07-5927275DED5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e99829f8488e21da70152261ff81176f341bae","datavalue":{"value":"\\(\\mu\\)CRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486254$6D5748E5-7121-435C-BF15-1DF574D1CF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e987e907e8148c5717947ddcc9b0c0b5744d0530","datavalue":{"value":"Modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486254$A06CD666-ADAE-4F9E-B1F2-FE71C6875275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77266aaf32203038f79536fc4afcb3e70c77f170","datavalue":{"value":"Boolean equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486254$D44A49F6-4541-414C-8C04-726B40CD47D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0543c4625db5834434934c8e6330454e29f25af","datavalue":{"value":"Infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486254$0C4CC766-6FC7-4153-AE9D-7F42676EB294","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":"Q2486254$BC4C66FB-9C58-44C1-937A-26685355883D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e8ea2aab06bc132468f9a52487bd0a877d6cfdf","datavalue":{"value":"W2140317178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486254$AC1D6F20-3E82-432B-9111-F70F2A2E4B88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74d43107588dd2b3e5d15fb6c5e82f0c752cb096","datavalue":{"value":"10.1016/J.SCICO.2004.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486254$798B079C-B4CB-4DB6-9A8A-DDDEBFC2D77F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"082343c76af8bdfa9baca9aba81ae1547e582847","datavalue":{"value":{"entity-type":"item","numeric-id":5311288,"id":"Q5311288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3c1aae67cff70e060b48d5dd116abde7e69fda","datavalue":{"value":{"amount":"+0.8475000262260437","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":"Q2486254$BEFBBC7F-230A-4105-AF65-1CE7C77B0B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca870bea95993408060961f564014a54cb2ac651","datavalue":{"value":{"entity-type":"item","numeric-id":4250361,"id":"Q4250361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61606f3d7ea6157ed3775cdaf260bc3fe17d5051","datavalue":{"value":{"amount":"+0.8309996128082275","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":"Q2486254$FF581868-091F-4067-9071-31DB6ECEE92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963bb532a82c4d8a024c74d8826df7654fa373a0","datavalue":{"value":{"entity-type":"item","numeric-id":4364391,"id":"Q4364391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066ec9b9659f3349b3380bdd09c09bb9fa041880","datavalue":{"value":{"amount":"+0.7860733866691589","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":"Q2486254$6171152E-AE4D-4859-B431-0F9605F9F1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc508e5cb6549fe2a56d79ccccc703d4d9bccd3","datavalue":{"value":{"entity-type":"item","numeric-id":4947229,"id":"Q4947229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066ec9b9659f3349b3380bdd09c09bb9fa041880","datavalue":{"value":{"amount":"+0.7860733866691589","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":"Q2486254$0F2633F9-F4D4-46C6-930D-9C09F2F4890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad24936036c0a44cf39cec794943b33c28c7276","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c4bd15c731c69509ba2f701dbf18791b941dee","datavalue":{"value":{"amount":"+0.7563754916191101","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":"Q2486254$C587A700-FAE0-4490-A3B6-D82FE39E6DE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2486254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2486254"}}}}}