{"entities":{"Q5045474":{"pageid":7075051,"ns":120,"title":"Item:Q5045474","lastrevid":40884441,"modified":"2025-04-13T18:22:47Z","type":"item","id":"Q5045474","labels":{"en":{"language":"en","value":"Modelling and Verification of Timed Robotic Controllers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612666"}},"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":"Q5045474$CF00A503-9A6A-42C1-988D-CE0A8E103200","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"284ffef8cc7f418ce9ecb2e25538d0a79b71fe02","datavalue":{"value":{"text":"Modelling and Verification of Timed Robotic Controllers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045474$42C5319C-3FE6-4F1E-A3AE-4E9711FEE8EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cb94ce52676cd2a8eb4510ba489ceb10347630d","datavalue":{"value":"1498.93481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045474$12B4A4AA-6224-4192-BC96-5C0942C0AE2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1c8ba5acd14c131f5b7f7dc62c53dcbb39960a2","datavalue":{"value":"10.1007/978-3-319-66845-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045474$1BC4BF8E-90B0-4238-AB94-500E67CA8F93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5ae2a7404cf1a675606ebeb1d3a50dd2e589842","datavalue":{"value":{"entity-type":"item","numeric-id":1405434,"id":"Q1405434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045474$A67E7825-BAB8-4ED9-B2AC-3B9C504B81AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"930f41d0543258510cc2f80943105f980154b746","datavalue":{"value":{"entity-type":"item","numeric-id":436419,"id":"Q436419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045474$27BF8B32-259C-4738-8961-83C48F91D89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb68a97277ce75829e54746cdf4ea849991670f","datavalue":{"value":{"entity-type":"item","numeric-id":5045473,"id":"Q5045473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045474$F2607D8F-1006-468A-96BC-AD751EADEC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045474$73212D94-5C48-45C8-96B5-FDC85615EAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd5f3be358be09c5e61d1c652df743883bd6876","datavalue":{"value":{"entity-type":"item","numeric-id":385058,"id":"Q385058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045474$7E335028-37B0-4F15-A8CD-AC26354AD7D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045474$788AB0D9-2A0A-45E8-9D0A-4B6D53B72F00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045474$A9363B25-0940-47AC-8F04-3928CEDABE4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045474$A0BA7272-7E78-4B57-9871-61B2304DE242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045474$87BE0385-E76E-4D32-8CEB-8A5F78C4060F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64da5adbbff23b2785e345d84e1a5d81d9d9fda3","datavalue":{"value":"7612666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045474$2D7CDBFC-231B-4B54-802F-46DBC0228A98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045474$CECC7F3F-DEA1-4102-80B7-364717F51EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045474$F48E5752-F469-4EC4-86BE-969A8B793260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045474$4DC132FE-4681-43AD-B365-328F89091EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045474$6404A754-E608-494B-A854-A9746FF7CBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa401a90f7be40837e492046fd0146ae8e354d2","datavalue":{"value":"robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045474$DCD36240-1317-4627-BBBD-AE4A27AA700F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"68c22cf384eb9c64f6fb739a1f384a5579078217","datavalue":{"value":"Q60473539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045474$C963B5EB-8CE7-4D3C-8752-A64DC1090387","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":"Q5045474$4EEB7ADC-A323-4615-B374-80473BCCA39D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed9880bc818a61f81f37f438ddfff911784763eb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66845-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045474$C388C8D8-DBB5-4B47-AEA2-7CB9F63E5727","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c3a79c97e8ad7558db588e03d4b87aa4c81fc65","datavalue":{"value":"W2749958572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045474$22B05201-34C1-490D-8928-4164D1FD74C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43d1c975434a8a57d3e91a836726fa52dea09252","datavalue":{"value":{"entity-type":"item","numeric-id":2842132,"id":"Q2842132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebafd39f656195ab2614654350301b69b1741db","datavalue":{"value":{"amount":"+0.90071404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$4D98E8ED-701C-47D2-AD0A-F73A08E25CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9af2354e1d855fdef41250e3fea02e4e90ef639","datavalue":{"value":{"entity-type":"item","numeric-id":3161546,"id":"Q3161546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb635ef3ac0475c0747b1e424ee66d5f06a2b37","datavalue":{"value":{"amount":"+0.8837489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$ADC16147-B29F-4804-B830-10E15729157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18b3fd4f659ce993026e553995bc8232eff34e2","datavalue":{"value":{"entity-type":"item","numeric-id":5101345,"id":"Q5101345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf0efd0c899665e3335fdc4cbb6ef7b40e9ffde","datavalue":{"value":{"amount":"+0.8779673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$8D011518-C1F9-4237-A43A-D548FD7CEE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d824032605f88e91afda00d7f30bd542d16218","datavalue":{"value":{"entity-type":"item","numeric-id":4207844,"id":"Q4207844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda6aa8d7bf8ca00ea698caf208f5224d012cb65","datavalue":{"value":{"amount":"+0.8656095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$C83E87CF-DF3D-41E8-8DE2-DD1E6FDCBD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3dbda54f8c2062660020a5148f53f87346f147","datavalue":{"value":{"entity-type":"item","numeric-id":4236333,"id":"Q4236333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25684bcea207850b610863fb11a1c9e536c0b569","datavalue":{"value":{"amount":"+0.8650078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$3F7D3EE4-DDEB-4E9F-98CE-1569F93D224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a483e25692b2ec8ea5448b2fee9885e5397405","datavalue":{"value":{"entity-type":"item","numeric-id":5275328,"id":"Q5275328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e56ef0d13aa89152be6796b5481cb3c3423a88","datavalue":{"value":{"amount":"+0.8586068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$322301BA-A121-4FA6-A1C3-CED8106E6943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bbab61563ac2f33e3d5dd3ac2f31f07c3bbeee","datavalue":{"value":{"entity-type":"item","numeric-id":2342510,"id":"Q2342510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60cd63c6dda948344dd57a91f11c1d966456f84","datavalue":{"value":{"amount":"+0.85860014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$6E526E28-937F-40FC-91DF-41B64C390A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b3de4c8f25fb5fa76a90e63f05e78ab8d0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830537c161e0ab71587ea26c9a06fedb367011b5","datavalue":{"value":{"amount":"+0.8581153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$0E462594-6DD1-40BF-A41B-BC6E09F5AFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5921af13e6cdfe0919037fa1413d7b68052bbbff","datavalue":{"value":{"entity-type":"item","numeric-id":3995984,"id":"Q3995984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c6feb6f020b359006aad9979e878413143bb4c","datavalue":{"value":{"amount":"+0.85657537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045474$BB947AA5-F090-4B37-9DF6-4AE449AEF011","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045474"}}}}}