{"entities":{"Q4727411":{"pageid":6756988,"ns":120,"title":"Item:Q4727411","lastrevid":49058080,"modified":"2026-01-06T13:08:22Z","type":"item","id":"Q4727411","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001463"}},"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":"Q4727411$D2677FD0-4023-448C-9B03-666F282CA0D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7d7841320d3f596c147d200b223527dad2ba757","datavalue":{"value":"0617.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727411$A75AD295-299C-45E1-8AA6-F7E94C7CC162","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q4727411$F8B6499A-55EF-4140-8AE4-07D318F5AA69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727411$E30FFC25-1021-4C1C-8746-53D85B25A691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63fd47c4836f836c246742ae4c13c1b1cb75c763","datavalue":{"value":"4001463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727411$1AAFA825-4D35-4284-81DE-F8233B3F660C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0be5acfa234721e6d55da924a5e56ca419df97","datavalue":{"value":"cooperation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$B68B293C-F32A-495D-BD77-FF5E3B222054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf2cfbc6e4ef9d6558d9f0ed6d4633eea496912","datavalue":{"value":"interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$79DF5859-0D72-4CB2-BD90-4900FD58775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a40a2027432ac1f0ed7257df0cb588d9c898bb","datavalue":{"value":"distributed message passing between processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$6B2F09B8-B583-40D7-906B-5FD84F291A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$2BFE24CE-B25B-4B62-A14C-9E88DA1BC8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86807b9fd79145a6e27db0f6f1532fba342ba890","datavalue":{"value":"shared variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$CE364F65-620A-44CA-88A8-670865699799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905de32dcd1f14b06d15e571e10f6d794d4d1fb9","datavalue":{"value":"synchronous communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$A75F8710-64F6-4726-AD0A-39E9B225A1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5fb1bdfc951cfb2c2bc15ec3fc490a109ba78a3","datavalue":{"value":"Communicating Sequential Processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$9F6BB050-15D1-46D1-999F-EECFBF5EF066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cb2d05897b92a65bbcf5c284b4b94ced80cfd1","datavalue":{"value":"Ada","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$CAADD81D-EDD3-4AB4-B6A1-B5BB1E63612E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f56bb4fd14e78331908ffa48e448f629ea934699","datavalue":{"value":"Modula-2","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$B3A36BEE-6386-4A65-8E19-15E0E9D3D05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$ABB00ED2-1F94-490A-B3E6-E0A0CB84F4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$30D5DE4F-A19B-4159-96C1-2A52984BF6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b1661dfe30ef140f9856a9fe38039a87c1f","datavalue":{"value":"Communicating Modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$43699628-5FBE-4E37-854F-3C59248B9E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c916c01856bbf354ac03d970cf7f8f475d704c7","datavalue":{"value":"formal verification of object oriented systeme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727411$6E16F838-9D52-4183-956D-9552CAAB3EDB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640e4fd88a5f30a16111d1aae60fb5a8e06d1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":13964,"id":"Q13964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727411$CABFA5AC-28A4-4E1A-BA29-D2FA547AF44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727411$7584DC52-13C7-4260-AB63-04B1868A13B0","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":"Q4727411$368E0A0D-5023-40B9-88B6-87018CAB8A0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1190a4bd8b91fad619ad02d89dc4fe8e941bf2a","datavalue":{"value":{"entity-type":"item","numeric-id":1112588,"id":"Q1112588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab30d97ad206a6f6ab89a9cacfee6036232d8c4","datavalue":{"value":{"amount":"+0.8288118243217468","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":"Q4727411$8CB6E198-6CBB-490D-AB43-C16C12512F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05361edb114c9338f45565625e07681dd1c4c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3700810,"id":"Q3700810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056011e06fccd199bef57bb91f67511cbe4adab9","datavalue":{"value":{"amount":"+0.7896292209625244","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":"Q4727411$595A6B53-2AD3-4429-A80A-A5B37A3FF575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38101bd455fb8c445528e81d80d59172119a91d8","datavalue":{"value":{"amount":"+0.7309914827346802","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":"Q4727411$DEB5E65E-7F8A-490F-B190-142F310CA6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93abbe10f696a74f27b25c2fe84219d49340a4c3","datavalue":{"value":{"amount":"+0.725537896156311","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":"Q4727411$4BAC6509-5332-4370-9DB1-5084B8186318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bfd7fd85fc768f0a9d028166b6156e099961d3","datavalue":{"value":{"entity-type":"item","numeric-id":2864507,"id":"Q2864507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b11698429cef8ce5a272443e45a0ad2b2c9d0b","datavalue":{"value":{"amount":"+0.7152642607688904","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":"Q4727411$400B5CDA-0B37-4A29-B8C1-3ACDBEDE3D34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4727411","badges":[]}}}}}