{"entities":{"Q3817586":{"pageid":5847492,"ns":120,"title":"Item:Q3817586","lastrevid":53840300,"modified":"2026-01-25T19:37:34Z","type":"item","id":"Q3817586","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090776"}},"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":"Q3817586$625AD10D-FE1E-4170-B5E6-774D95DD5905","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"158a51c467183786ac97ce5d4e43d53e534a6ec2","datavalue":{"value":"0666.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817586$D46B5502-6EAA-48C6-AAD3-AE5AC8F97535","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817586$EBCD6A5A-7C7E-4EF7-BFEE-4FADCF9AF0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817586$EE33DF3E-0A80-4632-8973-1F2017981B86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3817586$27F4FA3E-1347-4603-9749-887DD0BDD2D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817586$9279F97E-6DDC-4407-9DB2-FC79954ED275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817586$F97C5CA0-BFFC-4EF1-8D33-1CBD516FD563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817586$444B8107-CD6C-44F0-A59A-FC455994A977","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"440326dd3bf828db03ccfe8678e1927b9d661cca","datavalue":{"value":"4090776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817586$20246440-5F1A-40DC-85D5-17306FC1376E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"957699603677a3e3a0526af61ad27c04131b743b","datavalue":{"value":"calculus of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$9B871489-3DFF-4872-9488-FE61F1AE6014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$9F2890E0-4890-4DBA-B213-2DB7F82305E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$3499E712-A868-4756-9310-1E4CDC857FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5778dd456f997139122a6c9173b0903326811d87","datavalue":{"value":"execution model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$FA8435A7-D664-436A-AED2-67865768916B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$63BEE788-1F87-407E-99DD-D0A623CD6D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$993A0D50-C54E-40C7-A681-B5E038EE6FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$597BB426-D6E9-460E-A5E1-C95AABF11005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7adad058ef5323174e73ec7aa6144c560bdba3","datavalue":{"value":"operation of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$590692E8-D498-4B27-95AF-58B83B58C222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e8f739cf9e21ac919716a9001db0b2400ab0d71","datavalue":{"value":"syntax of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$94C14728-6A05-46F3-9EA0-AC647A5BA8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a16276a11ee5058dcf653a3c32fc3450286c039","datavalue":{"value":"atomic actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$E3FC7ED6-E4C0-4498-A1C2-7A2F6B9D074A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda071691da20b97b2d41968cfdda63371c5bc39","datavalue":{"value":"synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817586$438E2ABE-4920-4DCE-B23E-62293216727E","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":"Q3817586$B7FD5C99-6E98-4926-90A3-018600F7C9B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae41be41fe3ad44e79dd8fbde764a083b866338","datavalue":{"value":{"entity-type":"item","numeric-id":1124366,"id":"Q1124366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72eb245770a928f65edf1f35ae2cf4411b5fe59","datavalue":{"value":{"amount":"+0.8955530524253845","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":"Q3817586$53E73D46-59DA-4EF5-9668-50BA93D48BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ea6126c078ec3417fad694e50b4b0cef2ed23e","datavalue":{"value":{"entity-type":"item","numeric-id":4341030,"id":"Q4341030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6394bd180baec4c80d7db2244955058580f1f3","datavalue":{"value":{"amount":"+0.8112336993217468","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":"Q3817586$E84192D0-731C-4B35-8C0C-6C1777DCC362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6242ae5ed15ef3b42c60538321c51cec42648ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deae828d799333bee5facc601e173b4e72bfbe9c","datavalue":{"value":{"amount":"+0.8006765246391296","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":"Q3817586$16693D78-B554-4D3A-B2C6-8352B04E6BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314ab9b76bf7304613113fa2282c2fce97c20437","datavalue":{"value":{"entity-type":"item","numeric-id":5748880,"id":"Q5748880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1699b2a6e487dc1d7fbf26ce1d5554228f0343c","datavalue":{"value":{"amount":"+0.792523980140686","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":"Q3817586$7F7A0919-C476-4B37-BBE0-A3F37554A55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99f8605dadfabbff27c733627b1dd2c78ee40f2","datavalue":{"value":{"entity-type":"item","numeric-id":2961560,"id":"Q2961560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbcfa44abff0f339139a308ec9ab729e3a93032","datavalue":{"value":{"amount":"+0.7785884737968445","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":"Q3817586$CDBD5A21-3170-46B6-84F1-15D3F121968E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3817586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3817586"}}}}}