{"entities":{"Q4230124":{"pageid":6259725,"ns":120,"title":"Item:Q4230124","lastrevid":46634538,"modified":"2025-12-25T07:33:35Z","type":"item","id":"Q4230124","labels":{"en":{"language":"en","value":"Specifications in stochastic process algebra for a robot control problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1256469"}},"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":"Q4230124$8E05BDE9-DD99-4599-90F5-968768B4D46D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e88f65cd8a0315d606e23c7db6059f105242977","datavalue":{"value":{"text":"Specifications in stochastic process algebra for a robot control problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4230124$72498F35-4EE9-4B3D-983C-9C18EC0E7FC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f15cb0536ef8c6f9680fbe05a0d1c96c6719aece","datavalue":{"value":"0917.90166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230124$A2F16A2C-17D9-4A29-A6CC-5205DA2630CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7368d56a65177fc0b4b79bfda09d660bff279599","datavalue":{"value":"10.1080/00207549608904950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230124$EB3BC1A9-EEE8-49EF-AFC7-27C9AF25AF77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66cf66e8f5075ddd26b712ea58b2a7dd25382bf1","datavalue":{"value":{"entity-type":"item","numeric-id":941453,"id":"Q941453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230124$01D69083-0CDF-4729-A340-D4B45CEE6B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89ad271a572aa42ab46d561d11e2cdae61630d8c","datavalue":{"value":{"entity-type":"item","numeric-id":470010,"id":"Q470010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230124$046D8F88-54A1-497B-9569-E4835FA843A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"102dc791cc8ce0852728ad09d9775c95ae722bd6","datavalue":{"value":{"entity-type":"item","numeric-id":4230122,"id":"Q4230122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230124$826386A1-CE3B-4F30-A045-BAC1E2F1AA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9871d24e0fad279e068588709d7a3c30ebf2bacd","datavalue":{"value":{"entity-type":"item","numeric-id":4230123,"id":"Q4230123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230124$7B59C7A7-314E-4947-8C2C-6AB2EB0CAB36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"673da1f53d0d4eb4db6096d165970be2c2fb33e2","datavalue":{"value":{"entity-type":"item","numeric-id":80750,"id":"Q80750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230124$A6A448CA-96FE-48E7-85D8-D3E7599E32B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de63786316ebd0af50500de630c61ac9ddeda062","datavalue":{"value":{"time":"+1999-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4230124$82485D2C-A889-43E1-B8C4-877330745E19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230124$A36CC7C6-C903-4267-8C5B-FE5137477B25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"968f8d5cc14318dee687e6393c5d94d863269741","datavalue":{"value":"1256469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230124$F1141911-6585-4F0A-98C0-F61D4CC2A4D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd442f9210d4be31bf3ac447629975346223fe35","datavalue":{"value":"specification of dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4230124$DE21B385-1838-4D55-A1C2-6AAA96750623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c237712b1cc30dd8864c012a1f1cf5e8ba1288","datavalue":{"value":"unreliable systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4230124$E681D1B3-4953-4A05-9039-4FD4E3908B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e241b3cade993e79fe0ff29a89f8d51b63d87b","datavalue":{"value":"stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4230124$C1980F72-3A54-4809-AC21-B5E4657B6F55","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":"Q4230124$B1AA5C28-94A9-4BD3-8B7C-621EBB023B25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dce700250e9c621f625d942b4dc1cdbd2a5c0f85","datavalue":{"value":"https://doi.org/10.1080/00207549608904950","type":"string"},"datatype":"url"},"type":"statement","id":"Q4230124$AA9832EE-359D-49A2-9850-DF838920B8E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25dcf233ab407eea372c46c2c775cc29c2700daf","datavalue":{"value":"W2114912309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230124$796D109A-E545-4D37-BB86-D54AC192A53C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"baadab6a03e967a89b9eebc9da77c0af61b28b02","datavalue":{"value":{"entity-type":"item","numeric-id":4202493,"id":"Q4202493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230124$79A7AA1D-D59C-460B-BF49-7E8D87C4DBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230124$87D6FACD-748E-4C7D-8C78-062783F293CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230124$CEE2CC44-E36A-4959-AF14-DAC795423852","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b45a2bfff5eb1b4109bd53c3549b4356c53170","datavalue":{"value":{"entity-type":"item","numeric-id":4861732,"id":"Q4861732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50805f4d11ca7825af4dbb341bda73c05e0b515d","datavalue":{"value":{"amount":"+0.7789839506149292","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":"Q4230124$41D3100C-843F-4FE4-B8D2-A70CD19309FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855de1b4c41f37574edd2d57fc8b6de513fb41b7","datavalue":{"value":{"entity-type":"item","numeric-id":4471933,"id":"Q4471933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a616b7da7de78be49fe9658555a0c6aa313aab7","datavalue":{"value":{"amount":"+0.7699648141860962","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":"Q4230124$5BFC8574-C58B-4070-AAA8-6FB5FC516559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324cc02b9fe4e580b4a37ab5cbaf6e2c75e9fef2","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed995781db20e7d6b2bcbece2c1790c2eab2a03","datavalue":{"value":{"amount":"+0.7508817315101624","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":"Q4230124$2100697F-E829-4678-B543-DBF9EA0BF930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcda475df76b4ff7b77691d993f26a13c443dca","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441a9972580f143c945341a043c83c58148a86c1","datavalue":{"value":{"amount":"+0.7428591251373291","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":"Q4230124$81C8CBB7-4F20-4ED6-B740-EDF1D4037ED9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4230124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4230124"}}}}}