{"entities":{"Q7028285":{"pageid":21672603,"ns":120,"title":"Item:Q7028285","lastrevid":77536466,"modified":"2026-05-04T23:37:49Z","type":"item","id":"Q7028285","labels":{"en":{"language":"en","value":"RoboWorld: verification of robotic systems with environment in the loop"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7983655"}},"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":"Q7028285$08C88FB4-1402-4D5A-8469-E12C35203393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cd3b14ce52da897050f7e9c5dbc5695a6e23cf0","datavalue":{"value":{"text":"RoboWorld: verification of robotic systems with environment in the loop","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7028285$C7CD8ABF-DADA-4492-A4A1-9C760F2B9BEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ccf0037366bd0d9ffbc372f35a2860b5ad6250c","datavalue":{"value":"1558.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028285$16317CB4-36B5-4156-9CFC-705EE89BC480","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb79869066de92519328ec70ce25750d0bb52355","datavalue":{"value":"10.1145/3625563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028285$9ABDA568-1E50-4C61-93CD-3D63D9EB6B0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c7a23995bcb311cd652215b92cd9b1caae51abc","datavalue":{"value":{"entity-type":"item","numeric-id":2120812,"id":"Q2120812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$FC60E53F-BA69-44F9-A282-71DC1F11A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f722adfa0596ccd909a890c70806d54acbd9ba1","datavalue":{"value":{"entity-type":"item","numeric-id":6969054,"id":"Q6969054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$BA5CDC85-297D-41C8-BD68-40814368D64B","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":"Q7028285$C84B5134-E8BC-454C-A686-04EC664A2F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cedce1698ccf06293b46490aa04f7a6cb3a1d8c","datavalue":{"value":{"entity-type":"item","numeric-id":7028284,"id":"Q7028284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$6330686A-4F00-4B3F-852F-E6FA22D99EAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$26A72705-7161-45D4-827E-8F7F91CBA5BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79295fba39b045668a28642778d9e57debe5f9af","datavalue":{"value":{"time":"+2025-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7028285$257B587F-1B84-42CA-9597-4C831A7340A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028285$B967F5A6-2E0D-45EB-941C-DAF2D305D0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028285$8014842B-CA4C-4641-AEED-5BF8D421E371","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f38e95eaa25acff1a99a3ad1f76a078ca40d19ca","datavalue":{"value":"7983655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028285$95CE60D0-411F-4F94-9286-DBC1B80C0FE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38890f39178659f599c0ac38260dd6f0ebac438a","datavalue":{"value":"model-driven engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028285$E152A2BB-F904-4447-930B-E8558390CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea481ac2a707a0dc73d563ecec76d3e7a185fb49","datavalue":{"value":"domain-specific languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028285$A30E449A-22E8-4D52-81E6-C17B841B1901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1fa8709bee40fe70bda55620c439039ac118ed","datavalue":{"value":"controlled natural languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028285$576EB63D-1B95-474C-BCEE-06C488C8A4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028285$4955A705-8289-4BA4-8A8C-AAEF52E361E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028285$08A8139C-8593-4C22-A8EA-927F2B6F1F78","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":"Q7028285$45E7F75D-2800-4083-85F3-C977DCF3BBA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c36d898f969780dd13b76170e6e94b63d6fade9","datavalue":{"value":{"entity-type":"item","numeric-id":3525697,"id":"Q3525697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$ABD4C654-036A-4671-8CA0-868B278E4D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$6F0388C2-F510-4F6E-A5AB-A8FE49461311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65cf27cb319b50deacb73df4d115e078e49367","datavalue":{"value":{"entity-type":"item","numeric-id":2007732,"id":"Q2007732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$4DDD94BB-FEFC-43B5-AC02-89015377069A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d468be7df9d4e4a74aaa56c4730965c69f3085cc","datavalue":{"value":{"entity-type":"item","numeric-id":882449,"id":"Q882449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$B2ECE7BD-2FEC-4692-802F-DE7CE59D745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$7E8F01EC-BD51-4B76-B160-EB7CE435B882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d223981ae7810a035830c0eb8a6cb984aabc840","datavalue":{"value":{"entity-type":"item","numeric-id":4536898,"id":"Q4536898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$B95312F6-0DDA-40F4-97E4-44C2EBF1FA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78226e26118bf16bcfb0a55873ff4d9b266c6180","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$635A9D6D-1F5D-443C-8780-82048E5792D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2107f08681404b54ae27afb21ee742d534564e","datavalue":{"value":{"entity-type":"item","numeric-id":5710654,"id":"Q5710654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$131FF246-8650-4563-A0BA-3CFBA3EDEB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d5526333ecce1996660037c310a447acb45cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5098720,"id":"Q5098720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$A9612073-7B16-4694-96B1-4304E66BC463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a19ae881192c505330aa7dfe2b528f7960cd36","datavalue":{"value":{"entity-type":"item","numeric-id":736788,"id":"Q736788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$9800D210-5243-4DE5-9ECF-D652CD16F9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$667893C8-24F1-4269-87BE-5727826D5CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028285$2A687A8A-C2F3-4BA7-B57C-71499E903B34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RoboWorld: verification of robotic systems with environment in the loop","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/RoboWorld:_verification_of_robotic_systems_with_environment_in_the_loop"}}}}}