{"entities":{"Q3132075":{"pageid":3142791,"ns":120,"title":"Item:Q3132075","lastrevid":53004965,"modified":"2026-01-24T00:33:39Z","type":"item","id":"Q3132075","labels":{"en":{"language":"en","value":"Safety verification of trajectory planning for multiple robots"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6831522"}},"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":"Q3132075$6988204B-7852-4133-B30F-F640420A1DCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3acf3c07f0b132e00b23d0cec70448ab0d992bc","datavalue":{"value":"1389.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132075$B86200A4-8E01-4F4A-BE83-D04788756DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03b99fbec3401de11af03fdd231164d8b4e42cd6","datavalue":{"value":{"entity-type":"item","numeric-id":398376,"id":"Q398376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132075$D70F220D-F75B-45FB-8B1C-1B219490960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132075$45CE0788-AE43-473D-BCF5-756EA27F1605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132075$5442F6B0-69C3-4429-8FBC-E61E94F3B58B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1fdde4a6b7c393bd7e7511d176d020130b90b6","datavalue":{"value":{"time":"+2018-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3132075$5DD23941-5C17-460E-8078-7D7F9C8B872E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132075$850C75EC-75DF-4ECE-871D-ACAD0B313020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132075$6047AFA7-9B31-43AF-AA97-9441D0CF328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132075$AD4E28CC-0D2C-491B-9A9D-29DB62EB4A62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdd6c61328cb563f5ff4e23684c4fd20ae950ea2","datavalue":{"value":"6831522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132075$EECE91FF-43B9-45E4-93D9-0B4DFCCE94EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132075$9716025E-9FE9-48B9-8068-B8D762F65899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6dd3b966f2c41fb59fe2959bbf19800704f516e","datavalue":{"value":"robot","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132075$2892719E-1843-4168-92A2-9D362F4F7A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f5e7d55db8d1f95f090f62e2e93d36c93f3d3d6","datavalue":{"value":"hybrid communicating sequential process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132075$A411E251-8BE7-4E2D-BEA5-9F9409DB9368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1637059600dda27f3a7d7eb32818e6afe98a8","datavalue":{"value":"hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132075$2F37606A-04E1-495B-A7C2-A23A9A400874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132075$55E4D611-7440-4E92-919C-144C60A97B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132075$AA3DBFE8-C627-4661-AFEF-D981B246D530","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4923a3c51bfc57301e3b9eb15ac4a6fc0906514c","datavalue":{"value":{"entity-type":"item","numeric-id":15116,"id":"Q15116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132075$812B1471-4540-4269-8EB3-D9F0E1B0DFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"396bdf82a53dbbb0f6a4782c44937970789bf2d4","datavalue":{"value":{"entity-type":"item","numeric-id":36340,"id":"Q36340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132075$0E141E03-6CD0-474D-B266-EA4B169B3A32","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":"Q3132075$3850F1ED-B41E-4C4B-86AC-9EFC6BC28E4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"040876fb5eefd0cb285ebe72885237ee9a96b671","datavalue":{"value":"10.13328/J.CNKI.JOS.005207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132075$2AD83365-E4FB-49EE-B17E-A00E8D511DE1","rank":"normal"}],"P1643":[{"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":"7e6cf2f77dbbd555a1b4e6265e3e4a58770d0d8b","datavalue":{"value":{"amount":"+0.7154306769371033","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":"Q3132075$564F9DFD-0F34-497F-93D8-52655FC3A193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f1f425876189b2a7791438f77bc68de9e0b4b1","datavalue":{"value":{"entity-type":"item","numeric-id":6109583,"id":"Q6109583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fe0ed63b0423f8ef87fb40ac50322f30104f2e","datavalue":{"value":{"amount":"+0.6954691410064697","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":"Q3132075$B356731B-B2C1-43D7-94A7-B2704E68A456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6011ea9e73c8517b74c57598a33e03c402116b","datavalue":{"value":{"entity-type":"item","numeric-id":439866,"id":"Q439866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf451bba2f1ab7fb92676d4f1e1ac66f0ad25d5","datavalue":{"value":{"amount":"+0.6671877503395081","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":"Q3132075$CE5425E1-45A5-4D7E-A465-BD727927B173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17c2aecc7b0416cf295eb991cb2e816a392aa277","datavalue":{"value":{"entity-type":"item","numeric-id":5311300,"id":"Q5311300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59ebe9e61d28b0fc22024ad0f9776161cef2073","datavalue":{"value":{"amount":"+0.6623188853263855","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":"Q3132075$2844E257-AFD4-471D-AB6B-FA25D93248E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7b577435a318b330959733d2733684f0084b0f","datavalue":{"value":{"entity-type":"item","numeric-id":2964462,"id":"Q2964462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0397da0ba20f039e25f6e2b61cff7c75e5fc5c2d","datavalue":{"value":{"amount":"+0.6580621600151062","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":"Q3132075$A8E5357C-C954-4E47-87A6-D98CB7E192EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3132075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3132075"}}}}}