{"entities":{"Q3765231":{"pageid":5795137,"ns":120,"title":"Item:Q3765231","lastrevid":51824339,"modified":"2026-01-20T05:42:24Z","type":"item","id":"Q3765231","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4022620"}},"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":"Q3765231$FB4B1288-9628-4B80-B88A-C3C120D4BD91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3bff90ef1f9a8dfeff077bd6ece940d9e6c217b","datavalue":{"value":"0628.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765231$DB409BFD-789D-4EED-8E15-154BF3815D12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3765231$3C07CA39-D057-4762-B2F6-5A05D24C62BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765231$FCE63EA2-14D3-44EF-8451-DDEA5EF73C51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d07c32d1c7369a72fb672fb796d467d6a56e779a","datavalue":{"value":"4022620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765231$7CD72F94-68FB-4C31-835D-15A6F13D1F10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765231$C5417699-72D4-4BCA-8FA4-114ED872516A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765231$06B1FAA5-23DC-49B0-9006-9944414F7586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1533885a6f24a657dadfdcd8850be8fba51836c","datavalue":{"value":"communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765231$09EA93B8-586D-4F5A-A340-2C30949E8837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18153e01dad0d008d08bf653087bbb1f05c3f679","datavalue":{"value":"compositional proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765231$E40B1951-6908-4D7B-B486-27AC868FC42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765231$0CEE69F4-B9AC-4D11-B12D-F461B84FC7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765231$7FCDA266-A956-4339-A77F-5685DC62F112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31063e079286d17a14d29f539506991280470219","datavalue":{"value":"Alternating Bit Protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765231$2AEF468F-03C2-4F03-AC65-A1BE2D999610","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765231$3294E819-454F-42C0-ABE3-9A942B010694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765231$07FB29B3-4828-47A8-8A86-A9E37C3D64AF","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":"Q3765231$DB713B2D-9D5A-4A8C-BEC8-5DDD4392F7CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d89febf9c8b39cc10e6076938adc8bfb7d3ec11","datavalue":{"value":{"entity-type":"item","numeric-id":1193593,"id":"Q1193593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a7ac028c4867a55cb0e19d82a3a7a54dff00b6","datavalue":{"value":{"amount":"+0.97167027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3765231$9013CC9A-19C1-4071-98C3-08B8E213D53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191255e3a2941778a5ecb58cdb43515fd82d7818","datavalue":{"value":{"entity-type":"item","numeric-id":4270079,"id":"Q4270079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24aec1f8eb908a41023d496e8670c35c156da50","datavalue":{"value":{"amount":"+0.95112956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3765231$194BEB81-9D36-4B9A-BBD4-6EF104FD3471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb197472a54bc454969477413d2cdbc7e0105ff","datavalue":{"value":{"entity-type":"item","numeric-id":5953448,"id":"Q5953448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae3eaba13301596b008f4ade5993bb8f3cde88c","datavalue":{"value":{"amount":"+0.9002217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3765231$E6DB0676-8696-40F6-84AE-D62A21D5D687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fbb1fd25e226c553ee7bc1f1b5135ee1baef9f","datavalue":{"value":{"entity-type":"item","numeric-id":520250,"id":"Q520250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8811f28d2c105245826fb19fb0c954d0a3992283","datavalue":{"value":{"amount":"+0.8996328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3765231$0E8F286C-1BBC-4277-85FD-0B49B5177131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faabfcd39ce4f55f60697320dd706bf6f4824916","datavalue":{"value":{"entity-type":"item","numeric-id":3569037,"id":"Q3569037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f0edeb7f3c45ea6bbec216ff5562d65f8a4166","datavalue":{"value":{"amount":"+0.8969216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3765231$4CD546E0-F36D-4D12-97B2-07BD5302EEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18ede42f313dc1f3a28a5a0b023f74f026d3e60","datavalue":{"value":{"entity-type":"item","numeric-id":2844070,"id":"Q2844070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0e8575d8734f84f3d280d6358a0939b2d80bc5","datavalue":{"value":{"amount":"+0.8935505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3765231$9C4F2649-B586-4C66-98F9-7804F52D297F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff435e16bd6ea7685b7225ae0e32a42cb4bcff","datavalue":{"value":{"entity-type":"item","numeric-id":2147689,"id":"Q2147689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5c8c76ef08e5af018d1138741fa22dc995353e","datavalue":{"value":{"amount":"+0.8926023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3765231$6DF28783-CC0A-4EE9-B0FD-EAFC0D825B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"150ae9338299f5e5f08685b26bddf8075ea15403","datavalue":{"value":{"entity-type":"item","numeric-id":2035655,"id":"Q2035655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ff1ecb1453e8370508dbdf0e2010f3931c7877","datavalue":{"value":{"amount":"+0.8890736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3765231$0C7030D5-8C62-4B97-BE89-C07DDE6CE6D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3765231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3765231"}}}}}