{"entities":{"Q2956677":{"pageid":2967396,"ns":120,"title":"Item:Q2956677","lastrevid":79610978,"modified":"2026-05-06T14:19:18Z","type":"item","id":"Q2956677","labels":{"en":{"language":"en","value":"Verifying part of the ACCESS.bus protocol using PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676165"}},"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":"Q2956677$76213051-0F62-4A2D-BCB6-B3A6304CAD34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9934bf399f3a1832569bd99e6dd898c7ee87703","datavalue":{"value":{"text":"Verifying part of the ACCESS.bus protocol using PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956677$AA022CB6-5A92-40A7-9F5D-4F1EB198A59E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3261f2611df29d56d4eac2e4e9c53304a70daf30","datavalue":{"value":"1354.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956677$1A70AEEC-76C0-410D-93AF-5A6F0074C5EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d57eb4db7e416fc55eac317d42a01d95d3cee41","datavalue":{"value":"10.1007/3-540-60692-0_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956677$A6F0BCE5-9180-4FE2-BFED-7BBFCA7A956D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"655b272f9711e4d9ee9172807da80e0536e6347a","datavalue":{"value":{"entity-type":"item","numeric-id":229991,"id":"Q229991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956677$FECB1F14-F9F1-4D80-8FDB-FF1087E2A453","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956677$E0535DF1-D770-4597-BFD6-B65B4C6BB8AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956677$A6FD41BA-92A0-4CE5-911D-FFA1C4E617BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956677$CA0DE945-6DEE-4E3E-96B8-1474A319EC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956677$04BD659A-8972-4532-A625-DF5B8F25E115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956677$E811F398-BBC9-4EA4-83F4-4B046B94818E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ca4a688a43b6676b47b2bc3758373be0823ccb2","datavalue":{"value":"6676165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956677$1B9FCBD3-1805-4EB5-BE46-5C9BEF54D377","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":"Q2956677$086AEBDA-DC8B-484A-96C8-4BF7CD0BC265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a1af6f5cc1a8c70d47fa1874233cc8d9688fc8e","datavalue":{"value":"https://doi.org/10.1007/3-540-60692-0_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956677$DF2DC4EF-6E45-4C29-A1EE-72EB8809E97B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c630d23600297a8308382c09030e78f9f4f3755","datavalue":{"value":"W1490603281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956677$9EA4576B-B5CC-4C15-8396-100A2B3CDD90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c6e03cf55628603bd35896a6abcfe904ec3a21","datavalue":{"value":{"entity-type":"item","numeric-id":5447370,"id":"Q5447370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443e83112c19542bc1ea5fb12a80653cbff5379a","datavalue":{"value":{"amount":"+0.7611110806465149","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":"Q2956677$0D7BF6F5-B5F7-46BE-A82A-A98E9BA2DCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563ef82671cc38ed17d1dfcd29a2f55129791ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2969151,"id":"Q2969151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5cf357cbbf6bd985fdd553e7ef382bfc21292a","datavalue":{"value":{"amount":"+0.7332437038421631","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":"Q2956677$B1F75315-5A37-4CA2-A587-BB4701BBD236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dc7ef38b66a1e6696bc169df20eba41035aab9","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b38cf76807358fd64578312bf19b7d95753094","datavalue":{"value":{"amount":"+0.7296067476272583","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":"Q2956677$DACDB56C-28DC-48C7-88E5-3A1FA20BAEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b62d29e56db5582498711a91027af187898941a","datavalue":{"value":{"entity-type":"item","numeric-id":2484411,"id":"Q2484411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88b0a09acc57e1a34423b16426b4f54bfa3d679","datavalue":{"value":{"amount":"+0.7285962104797363","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":"Q2956677$D9183059-EEC4-4FD3-89CA-0EF8E67212A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358075b2e3e1b12a0a455b187319b63755390e42","datavalue":{"value":{"entity-type":"item","numeric-id":4787244,"id":"Q4787244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbb3661309dd0194abdc6315f67912fa9de99ca","datavalue":{"value":{"amount":"+0.727739155292511","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":"Q2956677$287F6D86-9A9A-47F3-96DA-DFFC6F9ECF55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying part of the ACCESS.bus protocol using PVS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_part_of_the_ACCESS.bus_protocol_using_PVS"}}}}}