{"entities":{"Q1856199":{"pageid":1866941,"ns":120,"title":"Item:Q1856199","lastrevid":69121998,"modified":"2026-04-13T04:55:32Z","type":"item","id":"Q1856199","labels":{"en":{"language":"en","value":"Protocol verification with the Ald\u00e9baran toolset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862301"}},"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":"Q1856199$871B86D4-4F6E-49BC-8E50-476410D2FE1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fc48aa0be18f78d7b93f8aa0ef0d09fa5ae49ac","datavalue":{"value":{"text":"Protocol verification with the Ald\u00e9baran toolset","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856199$36CF2184-BEB1-4817-BEDD-1F45E91A9944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a811810bd0737dcd951a139b5f4bd54c537eb1c","datavalue":{"value":"1060.68561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856199$F9B62AFD-E17F-4198-9FE2-FC96D6F1EE1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856199$EB0BE32F-453F-4986-8A97-B687568A084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5a23818fe5976711a6ef2e14e0aeefe415bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":548694,"id":"Q548694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856199$8A3D287D-2FE8-4AD2-B0B1-FEF0E0AC7D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56ec137271377bade01b201a4173af7a1da00c2","datavalue":{"value":{"entity-type":"item","numeric-id":1856198,"id":"Q1856198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856199$16037D3A-3774-494A-828A-CF0DCAD5FC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2065abe1e907e50a3623086a49ee20a47d2f11ce","datavalue":{"value":{"entity-type":"item","numeric-id":548693,"id":"Q548693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856199$FB47AE68-B956-43BA-83F6-D12D095B1280","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856199$5F705F50-8841-495B-9307-9BBAA41EF906","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1742a10e6409607193ef806e8f573a0e208ec887","datavalue":{"value":{"time":"+1997-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1856199$AF3A9DDC-ADCC-4819-B3BE-B0230497F63E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856199$738DF72D-36FC-46D3-BB7D-17F5C7E3588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856199$AA6F9915-FEAB-4B01-9D7C-BDDF0D108AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856199$1F7C18BE-AAD1-4D46-9C29-847C51EB588E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e99b1e9436ed3ea50949af238b9910b49101d213","datavalue":{"value":"1862301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856199$102A9A10-9819-4F12-973A-DC0E42CDE3CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012aad53b6cbc54e733d72fac76555022a063492","datavalue":{"value":"protocol engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856199$330E51A5-3228-4251-8EA6-E7E7DD864BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856199$66A482CB-B682-4A20-9A3B-8E7D3459C578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856199$48744B7E-DBEA-4B21-89B2-16D951FC40A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856199$3B42D7E1-1E4F-4D85-9F20-7EB81006B93B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856199$39BF43C4-7216-43E1-B1A6-B02AB85DF1F0","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":"Q1856199$A1AD5D88-D956-47E0-BF23-F959DDD70427","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63a6b24373d1ebc93d144a15f4ca1eaf3c2bb2a7","datavalue":{"value":"https://doi.org/10.1007/s100090050012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856199$0C0B6219-C4A0-4618-AD35-8C799AB5E208","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1106b819196d3430475230851dbef6894db64aed","datavalue":{"value":"W2013380671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856199$F3B65DCF-36E7-45AC-9916-C7C5B9374F66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d2dd61e7ab73b7c5dd22adce53ca8d33ef31d10","datavalue":{"value":"10.1007/S100090050012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856199$BB56A242-6A32-4E89-B65F-72FB6A18DCCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21094922331cdcb7af8df158c52c67afe2d7acb8","datavalue":{"value":{"entity-type":"item","numeric-id":960505,"id":"Q960505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbd1b0379ff3c4ea3f99cb5ea8f88cefb849c74","datavalue":{"value":{"amount":"+0.736883282661438","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":"Q1856199$D50FBAB5-335D-4AF5-A499-CD46A0C3A3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9009360f5c2b68f3e0e15fa6eeb7c370d9dadb7d","datavalue":{"value":{"entity-type":"item","numeric-id":4450987,"id":"Q4450987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8bbd67ad3e181dfbf5ae75b6c47dbe2aa0b8af0","datavalue":{"value":{"amount":"+0.7073110938072205","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":"Q1856199$F525E3F9-CBC7-4069-A4A6-58F2ABB2551F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a4756403d3bd42cfaef9dee847628f1190f231","datavalue":{"value":{"entity-type":"item","numeric-id":5312940,"id":"Q5312940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f4a9987167af5401e48eb0cf997e2916ed6fb0","datavalue":{"value":{"amount":"+0.6969911456108093","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":"Q1856199$27EA0D14-7C72-42D8-8C44-3872F4ABC9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29eb08b044c0c89eccf2f2e5d7264101af64caa6","datavalue":{"value":{"entity-type":"item","numeric-id":2763989,"id":"Q2763989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae1b8864e511fe311c37e14b46db951f0cb2d9c","datavalue":{"value":{"amount":"+0.6968590021133423","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":"Q1856199$47390639-D2FE-4E30-B340-F487E320FF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f0ec964903468f198e2dbab43be5952db339e7","datavalue":{"value":{"entity-type":"item","numeric-id":5170275,"id":"Q5170275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6cba380e98c44a4f2beab5febe8867160d0d01","datavalue":{"value":{"amount":"+0.6953434944152832","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":"Q1856199$9D8271A7-4DE3-40B4-AB69-A4A682A73596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Protocol verification with the Ald\u00e9baran toolset","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Protocol_verification_with_the_Ald%C3%A9baran_toolset"}}}}}