{"entities":{"Q4546958":{"pageid":6576550,"ns":120,"title":"Item:Q4546958","lastrevid":97312856,"modified":"2026-06-05T13:56:22Z","type":"item","id":"Q4546958","labels":{"en":{"language":"en","value":"Task level specification and formal verification of robotics control systems: State of the art and case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1785210"}},"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":"Q4546958$9DC7FCED-C7E1-4B36-B3F7-94ED8EC40B02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1366d0ed734324aaa39ef7f68a6e46379638c552","datavalue":{"value":{"text":"Task level specification and formal verification of robotics control systems: State of the art and case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4546958$1774C11F-3335-49DF-90BD-89D081432FB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18b5fbfa293071a1cd70f27fc1e6cb8efade837a","datavalue":{"value":"1015.93534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546958$D4804FDD-2ADC-482A-B194-F47F6EA90604","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7723705c7858be6a80d3a5875f6bd5a9a1f83e8d","datavalue":{"value":"10.1080/002077299291697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546958$2C5FFA83-1BE6-4259-9303-B401BD52674C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e51bd21826af75eacea1454cc73c79283c7b8115","datavalue":{"value":{"time":"+2003-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4546958$C87FC6B7-C0C5-45B9-979E-0B2AFB2100A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546958$925D3B45-7E7F-4FF6-BDE7-6DF6696CF802","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a106e898bc8a128b2814613af753c852145df0c","datavalue":{"value":"1785210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546958$F639BC54-A317-4AF4-ACA3-BCBD8AA08380","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4546958$E45DF008-CD5C-445D-BF70-40EF9D373146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b33115856aa5e6840a782dd17b6926f51dbf6","datavalue":{"value":{"entity-type":"item","numeric-id":19489,"id":"Q19489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4546958$525A3293-6183-4BC0-9D0F-9E821E696684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4546958$FF86F65D-94A9-44CC-A8E7-6CCC3A1B760D","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":"Q4546958$8E8A6104-CB61-4694-B4BE-7070A00E5C14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ec8a36f24d4df7389e30e5680d2f2635cc8a618","datavalue":{"value":"https://doi.org/10.1080/002077299291697","type":"string"},"datatype":"url"},"type":"statement","id":"Q4546958$AE75B2DA-49C5-47E5-8B78-7014AF554B3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ebcd42d965f1885eaa55f04f1b922c7e880f4a2","datavalue":{"value":"W2041859735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546958$D23D54B3-73D2-4FD8-87AB-435DDADC7D05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d28953bd0f0c2d8508713f8e55254124cfc990d","datavalue":{"value":{"entity-type":"item","numeric-id":6544798,"id":"Q6544798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4546958$35ACD539-0774-4A74-AF9D-43140FD702FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc71288bc152c8b66c4e360ece91d01118d8b11","datavalue":{"value":{"entity-type":"item","numeric-id":5045474,"id":"Q5045474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7724a2accf9c6572b695aee39ffbf450835c1b64","datavalue":{"value":{"amount":"+0.7889291048049927","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":"Q4546958$21AF7D1F-DE9D-4368-A3A1-76EBA8A78294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4a5e811b912f210d0e5220ef81ba26c37c0253","datavalue":{"value":{"entity-type":"item","numeric-id":4560620,"id":"Q4560620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57890cabdf08e1076673c7b1dd90162ae6d5124a","datavalue":{"value":{"amount":"+0.785178542137146","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":"Q4546958$2AEFE1B0-AEC6-4D4D-850B-82A9DF5544E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f1f1363753b641cb509752c4a571b1a431d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3624588,"id":"Q3624588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e810483b928c4560a02a5c07497d894c0790d2bd","datavalue":{"value":{"amount":"+0.7261073589324951","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":"Q4546958$F82153DD-C6B5-4949-BCFC-936690718FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cf78114efcde97ad6f0ae2df230948c409c52f","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a093a787393eeabd2ca60813cc8f5ed9eb5b98c9","datavalue":{"value":{"amount":"+0.71892249584198","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":"Q4546958$57233367-65D2-474A-989A-4BFD65333F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf451fe5a9a21a85e65d5ccb534cf4e2bf3375b","datavalue":{"value":{"entity-type":"item","numeric-id":4554783,"id":"Q4554783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c7ac4539dcf8c6869ee6ae11d6fff97f300cd2","datavalue":{"value":{"amount":"+0.7176336050033569","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":"Q4546958$C79E704A-99E9-4B56-89DD-911C9616020C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Task level specification and formal verification of robotics control systems: State of the art and case study","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Task_level_specification_and_formal_verification_of_robotics_control_systems:_State_of_the_art_and_case_study"}}}}}