{"entities":{"Q6536330":{"pageid":14147473,"ns":120,"title":"Item:Q6536330","lastrevid":55915516,"modified":"2026-02-21T02:57:23Z","type":"item","id":"Q6536330","labels":{"en":{"language":"en","value":"An environment for specifying and model checking mobile ring robot algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835001"}},"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":"Q6536330$3A376383-548F-4BA5-B42F-83387376E571","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e5d1521642ecfde757860c93d5244705f416d26","datavalue":{"value":{"text":"An environment for specifying and model checking mobile ring robot algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536330$ED182FA0-4EBD-4949-85FB-069073D9C667","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71be8a9f5d979de4fe6dd23575735ecb6b5bc53b","datavalue":{"value":"1543.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536330$65C58AF5-ECB3-44F8-8711-176773C306D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"155ba612fb2eb5956e3c94bfc2fe09a64257e7df","datavalue":{"value":"10.1007/978-3-030-34992-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536330$A7C7F3AC-1FF7-4D09-8BF6-30B1C0AE198D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8840cbdfaa4f8acd55aed31d3dbcdebdb89d7980","datavalue":{"value":{"entity-type":"item","numeric-id":3300808,"id":"Q3300808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$2DE22BC2-8F55-4468-A3DC-8600E05A6094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b1ecda69e1cbbf3f527244edb48a622cad39ee2","datavalue":{"value":{"entity-type":"item","numeric-id":520241,"id":"Q520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$7078692D-B8D8-43EB-8D82-64AE6BA60F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$CEBCF914-93A3-44A3-81D5-9CE1F83C2250","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536330$59215244-95B8-481E-B227-9CA02E175D8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536330$83461579-8664-494B-A18C-324682D2C0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536330$60739523-3DA8-4ABF-8EEF-754BA1C6212F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536330$EA686347-F085-4B2E-8DAE-1A226ACCD3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536330$9049C6AB-700A-468A-9A23-B855B26A2CA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"544fb6312b090e61becd3a600d412044820ce28b","datavalue":{"value":"7835001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536330$BF4A41DA-97EE-4009-9BB8-48CE620499CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"809eaade84b205afa44d17394e03e62bba3fcd1e","datavalue":{"value":"distributed mobile robot system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536330$08CF208E-E9A3-42D8-A3BF-9F18C1120002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af0d17b9fcc6ab8002cb95d036857a6105285e0","datavalue":{"value":"ring discrete model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536330$89938C27-63B8-4F46-BC4D-9CC483A64A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aac05f3e185a959ea0d427ad1c0f3e9e5da843e","datavalue":{"value":"specification environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536330$0D8B7002-5023-4A9C-A811-BE7E983C75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536330$1AE726F2-B1AF-43AA-B6A3-DE194BDAAAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536330$7DFBBF75-4E37-4E2C-8773-4F439BAA160A","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":"Q6536330$E09DD7A5-54AA-4C99-9AB0-AEBBF0A1A512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb2cf021b6e121a5ccd4fcb2177e5dd979272f9","datavalue":{"value":{"entity-type":"item","numeric-id":5918186,"id":"Q5918186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$BE450A01-221C-454F-A8E8-A067A07BEF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346bdb69d3ad42b404f56768eb26b48802130ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2359768,"id":"Q2359768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$C13E0F39-F556-4EB0-84ED-59B6445BF182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecf3eb55ab347cde6bb71a11067759a5b1bf77","datavalue":{"value":{"entity-type":"item","numeric-id":3588311,"id":"Q3588311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$D73DB6AB-CBE6-4985-8C61-5B7860A4ED41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$2BC4F135-D477-46C6-B3F5-CCFFF87072E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c80ef74afbbd75f12edee649038db3c1835eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":1660934,"id":"Q1660934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$CD826737-31DA-4A99-9C70-0BFE8D41F5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2811cc9cdb238d1da1050785b91ec5d30281bf3d","datavalue":{"value":{"entity-type":"item","numeric-id":2256947,"id":"Q2256947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$6AFD6ABE-F411-4FD1-BF35-ED13677B1E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbeb0ebd5129bb5da5421dde9c2417cffb0e58e","datavalue":{"value":{"entity-type":"item","numeric-id":494795,"id":"Q494795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$51A92633-D4C9-4695-B19D-020103832F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7d758e42211fa8d54acb970fa10734b99691e7","datavalue":{"value":{"entity-type":"item","numeric-id":518678,"id":"Q518678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$90197210-A1E2-4D9D-A862-A155E9EBC275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0a2c1052baa62d4bdd8059fe78e852772bf51f","datavalue":{"value":{"entity-type":"item","numeric-id":391193,"id":"Q391193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$FF6866E2-920E-4F3E-8D88-92838B54DC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93216d7fab79f8718e4d33f4c742ec24b7a11268","datavalue":{"value":{"entity-type":"item","numeric-id":4989020,"id":"Q4989020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$9ED2A15E-8CB4-46F6-9611-EDEA2822F123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc63a5e4ae639a739f0568aed7376ffc6258bfc8","datavalue":{"value":{"entity-type":"item","numeric-id":3300809,"id":"Q3300809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$B8E88C11-2867-42C0-8E3E-6BDEED966D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedace18a499e7105ed83b481f7cc1d6985d1ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2392925,"id":"Q2392925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$69A6EA9B-095B-47A4-935B-95D72BFF9F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b84ce4d06cc0940a72c1549d82ed8dc50bf1b8","datavalue":{"value":{"entity-type":"item","numeric-id":5901678,"id":"Q5901678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$12CA5AF5-1550-4616-9726-DAEE35C379A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$D631BEBF-F5A9-4D10-9E7E-112D2ACD79BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f8dc00feb91f6b2d5611593b35ae080f1be36d","datavalue":{"value":{"entity-type":"item","numeric-id":3569119,"id":"Q3569119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$585DBD36-5564-4429-8FB0-5E7D9A39C171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6e481add02a50cc0b13f9b73b9db3db293eb47","datavalue":{"value":{"entity-type":"item","numeric-id":2474070,"id":"Q2474070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$477784B8-B683-4143-B10C-B153B78A4DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ac84d891cd1ad0c3a2a95488cbf14676d78fda","datavalue":{"value":{"entity-type":"item","numeric-id":3569125,"id":"Q3569125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$1F52C18A-ECB7-41AA-BDD9-C99BDED30F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771017be49d7d4d6db52bf6d34acd8a994496678","datavalue":{"value":{"entity-type":"item","numeric-id":6165844,"id":"Q6165844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536330$67EF86EC-0692-416D-9A3C-46019E170981","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18736b1780768c0c5e100234d1b760f9a9e489d","datavalue":{"value":{"entity-type":"item","numeric-id":4989020,"id":"Q4989020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59c27af088a2ebb32000f286a8825d0f35e458a","datavalue":{"value":{"amount":"+0.778586208820343","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":"Q6536330$84E73CE5-6EF4-404F-85D1-CFBAA17AD778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a43d9b738767f85e277d6ef9cd20e7fc81854ec","datavalue":{"value":{"entity-type":"item","numeric-id":3300809,"id":"Q3300809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32903b6da9c90cdc0d88a6c8adb2fd6a253a580","datavalue":{"value":{"amount":"+0.7740892767906189","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":"Q6536330$53B26595-E28F-4B3D-9D64-E845AD8F61AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83586bf05e3f3c63f8b30a4f51024e799a5cde1","datavalue":{"value":{"entity-type":"item","numeric-id":2225474,"id":"Q2225474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac1b7c11aa4302d1415fc34ee6f45636d495f43e","datavalue":{"value":{"amount":"+0.694555401802063","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":"Q6536330$FDBDD6BE-6AC0-403A-940C-EBE953074EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c020f4e830ba582e5d03d27e7de7d8a2ebe79f43","datavalue":{"value":{"entity-type":"item","numeric-id":2359768,"id":"Q2359768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1b180b0b2496d3d841fb47872ecab672720d69","datavalue":{"value":{"amount":"+0.6890952587127686","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":"Q6536330$F3D3243B-AE81-44EE-92F3-9F3ACCEB4337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc24da84f43d8a841980b7391b4bb14542fae28b","datavalue":{"value":{"entity-type":"item","numeric-id":3016398,"id":"Q3016398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513d8ced6c2c1b45c4cb3a54ef1c7d469bb6febe","datavalue":{"value":{"amount":"+0.6685047149658203","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":"Q6536330$505909D3-03DD-4B4F-AB0F-F0E623B91688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536330"}}}}}