{"entities":{"Q672485":{"pageid":674334,"ns":120,"title":"Item:Q672485","lastrevid":63710298,"modified":"2026-04-11T15:01:22Z","type":"item","id":"Q672485","labels":{"en":{"language":"en","value":"ECFSM-based probabilistic protocol verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985025"}},"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":"Q672485$F61CCF50-2282-4B75-A372-F1CCD41C3CF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"350d4718966912990ac58ed8b6fe0ce73ed7879a","datavalue":{"value":{"text":"ECFSM-based probabilistic protocol verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672485$7204B549-F532-4C1C-955C-D7777847A6D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebb8b2b34835df0eefd2ca5f43ffdb9d92f8182e","datavalue":{"value":"1004.68504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672485$092719BF-8FC5-4D30-B3ED-744B39CBA578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6d00806b194d91116671c42eb4cc28f2944f0a5","datavalue":{"value":"10.1016/0020-0190(95)00056-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672485$168A0159-6BA6-46E4-9EE9-9F52E74A116B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49b2f8ba6f6555833a86000da204883056601e5e","datavalue":{"value":{"entity-type":"item","numeric-id":672483,"id":"Q672483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672485$90F56D68-5EE2-4659-A55A-50F7F3D60467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d996e3969d2c8b2d7021e1f9cbbf287fc2e7e83","datavalue":{"value":{"entity-type":"item","numeric-id":418342,"id":"Q418342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672485$C824E0CA-A6FB-4A45-AE4B-4817D99973AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52f800c6d021ebadbde574d52b407e2a1a3bc7de","datavalue":{"value":{"entity-type":"item","numeric-id":672484,"id":"Q672484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672485$C111F99E-0291-422F-AA6F-D9A6CCF37E69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672485$0AF2D211-44A9-41CC-803A-AD506DE95C54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672485$041344D1-03C5-4B02-BCC0-A88C400CA37D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672485$7B1AB8D3-9649-47F7-8C1D-180241F512FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672485$447A5105-784B-4431-96CB-3B050378F704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dbc05cff368f8b2ded796f69a66810bc116ac95","datavalue":{"value":"985025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672485$82F6608C-9A50-446D-8E19-42435930602C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012aad53b6cbc54e733d72fac76555022a063492","datavalue":{"value":"protocol engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q672485$20D775E0-2293-4862-B16A-52A1B6375142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q672485$85B2B288-57B0-44C5-96B4-78FDE8CF5537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672485$282E7025-614C-4FF8-86B5-3AB1C867946D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q672485$F7C6E5AE-7E6E-4F2C-902B-3DD70A74222F","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":"Q672485$E233F20F-7E7D-44EA-9CF7-2682BB1D0202","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac1e7ed123795f014eac8f483171e13a2b2cdf5","datavalue":{"value":{"entity-type":"item","numeric-id":916356,"id":"Q916356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672485$03ECF977-A95F-4733-B718-863B3EC8A80C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a084f80501dc9a9861a34e252b0645b12c8c01c","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00056-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q672485$B72E7D67-8DEF-44E6-A52C-9160B238BE56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a029817059dc44d5ec6a7a95600c56e934b008eb","datavalue":{"value":"W2058284966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672485$DC2B1F79-FC17-4178-A022-2C933B60875A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ECFSM-based probabilistic protocol verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ECFSM-based_probabilistic_protocol_verification"}}}}}