{"entities":{"Q3345755":{"pageid":3356463,"ns":120,"title":"Item:Q3345755","lastrevid":48760195,"modified":"2026-01-05T19:30:09Z","type":"item","id":"Q3345755","labels":{"en":{"language":"en","value":"Protocol Verification via Projections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880090"}},"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":"Q3345755$B27E30DB-3830-4069-9CF5-F7A94244B325","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1bedd3149843037af94c6f33985b0ecc9efa5b9","datavalue":{"value":{"text":"Protocol Verification via Projections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3345755$27A35310-77E8-4C58-B860-ACC14D028899","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d444f47f3e842155c72f16a79a0bb6bef997d8f8","datavalue":{"value":"0552.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345755$70FC12D5-E00A-43D9-A67A-68E3F93F1B6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"863f115e5afd6624f66f5a09c1b81d7335147531","datavalue":{"value":"10.1109/TSE.1984.5010246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345755$B36A6E57-4C02-48D1-9E96-46C44EBC5CC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"575fe4d6c78f9172a754ac86ead8b570da7650dd","datavalue":{"value":{"entity-type":"item","numeric-id":1193604,"id":"Q1193604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345755$77E87FB9-BB19-431A-9224-CFD7C2D6C8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f79d82ecd55dade6de7653807169028fa2a8640e","datavalue":{"value":{"entity-type":"item","numeric-id":1193605,"id":"Q1193605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345755$937BF657-A986-4E5A-891B-C688FCF98D93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345755$56831B01-6406-465C-A676-D95756143EDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3345755$B515E991-FA68-446A-9DBB-4A867DC55C78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345755$B80B3DAB-064E-4028-8FCB-FF084CC8FC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345755$F2964599-D550-4A5D-A570-BECAFBBF7579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d2df33ef402b120aa9669635085e41a56dcbd39","datavalue":{"value":"3880090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345755$6E5F817A-8559-4671-B698-93028124236D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345755$CA67FE22-9010-4D5C-B9F6-07888862CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345755$3C947D8A-A4B4-4956-A62A-6156A9E8F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4585a26b6f23818bd88a356bbde9dfd08e3b011","datavalue":{"value":"communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345755$14F86949-18C3-4BB0-9D1E-BE5409DE342E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345755$F9DD9F7B-4CAF-4BEA-AEF2-8AE09613F229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1daf3ce74faa0edd07a42ded6d47d21ef2eb0ed","datavalue":{"value":"message-passing networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345755$F7B9B949-C55A-4ECD-8960-D43E0193060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198806c59e37372f0e3456be07622ad581fb0135","datavalue":{"value":"protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345755$E5C95AD6-D0A5-4849-B095-05D0293E824D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e25edad4552e32e5f53c11d4a3d1fcf0365e3b","datavalue":{"value":"high- level data link control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345755$55600F50-EABF-4E87-9B47-08BE5AB117BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46dade77a58358730ee1e54c67ef06604c1a5763","datavalue":{"value":"HDLC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345755$9051B289-A9EB-4A51-A257-94FF4CEE6164","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":"Q3345755$A6E8A215-EE18-483A-A81A-0C58B33CB0E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f6a51e2d686c87736b893ce19ffc0ae70efacb1","datavalue":{"value":"https://doi.org/10.1109/tse.1984.5010246","type":"string"},"datatype":"url"},"type":"statement","id":"Q3345755$6F41C704-2C3C-4974-8C9E-3B5F05E5E696","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"363dbee9c18b715a60f9e1c98e4f1bfde2e6d816","datavalue":{"value":"W2039853888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345755$B58D44A5-497C-4AD8-8505-171B4204905D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04dc9ced74a8989aea3aba0d3a8b41a469b0663f","datavalue":{"value":{"entity-type":"item","numeric-id":3805886,"id":"Q3805886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e728fa7999145e82acf54ed116f46976f5764bbd","datavalue":{"value":{"amount":"+0.7592892646789551","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":"Q3345755$64960F20-70C4-49E3-BBDA-2977BBC970AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b0afe539d9d69899846d08611f93dfa4bd6d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3688294,"id":"Q3688294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a234fd5cb2f722e1707c4c2f83493d66e8e87ac","datavalue":{"value":{"amount":"+0.7494262456893921","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":"Q3345755$9A6B4905-432D-4F9F-B185-28963E99CE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba90afb007c594f17e0e5d3f207ad529021fa4f2","datavalue":{"value":{"entity-type":"item","numeric-id":3761683,"id":"Q3761683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9544a5e0331603dbf750504433b17f729babb5","datavalue":{"value":{"amount":"+0.7376527786254883","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":"Q3345755$7376126F-190C-4772-91DA-9DF4A86D73CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcc72e4868af0029b28e40370dc411ec15149fd","datavalue":{"value":{"entity-type":"item","numeric-id":3765231,"id":"Q3765231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160956b546fa10c3817fa2a3c6fe457d944832c4","datavalue":{"value":{"amount":"+0.7341731190681458","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":"Q3345755$63299BFF-13B8-48B5-AB51-E3C892A3A400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3519e6b4ff00b2039a560c273dfe47f9a511510","datavalue":{"value":{"entity-type":"item","numeric-id":5712297,"id":"Q5712297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def70c884bbabd51427d749808a37626ab4b906a","datavalue":{"value":{"amount":"+0.7307704091072083","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":"Q3345755$EDF7D54B-AD3F-4ACD-B171-62D464225139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345755"}}}}}