{"entities":{"Q4797367":{"pageid":6826947,"ns":120,"title":"Item:Q4797367","lastrevid":48064939,"modified":"2026-01-03T12:54:18Z","type":"item","id":"Q4797367","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1882004"}},"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":"Q4797367$E60F311E-FCEA-42AA-8DA8-35D7757794E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45336752bac223a7519bc985c6f7a4296d375b62","datavalue":{"value":"1021.93003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797367$F2AAAF24-6B6D-44BC-89DF-88ACAF91B666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63df33e55e1559ed2f4fda270a5a73cb6166bf68","datavalue":{"value":{"entity-type":"item","numeric-id":700835,"id":"Q700835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4797367$91874482-4FDE-479B-8232-3AC361A814B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eddd6fbb20a3cc65941bf9614847fed07b4cda03","datavalue":{"value":{"entity-type":"item","numeric-id":1843168,"id":"Q1843168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4797367$2ECA065C-16D3-4AD4-8B43-AAF3804A9174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcd45a4a11a18ec79b2f91ff2c2aaa69dc855b8b","datavalue":{"value":{"entity-type":"item","numeric-id":1229707,"id":"Q1229707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4797367$D7417329-70E2-47AF-B612-CF73C809D617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e6cc3e4141cf0cc05f97755fabd194f52aee80","datavalue":{"value":{"entity-type":"item","numeric-id":2703753,"id":"Q2703753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4797367$63A1E0FF-81CF-4286-844C-873E354A164A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf2a7572d221c060b809074fd5fbc2776761f64a","datavalue":{"value":{"entity-type":"item","numeric-id":4797366,"id":"Q4797366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4797367$62F16318-F455-4078-B0E8-63945172E652","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20484d5d05d35091295b43d15d842c3e6e3b69fe","datavalue":{"value":{"time":"+2003-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4797367$37CC43B1-52C6-485A-B20F-96DF4CDF2FDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797367$462D7886-AE0A-4B7B-AC4A-002AB9DAF28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797367$E0723ED7-6469-49C5-81E8-BC77868CA01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797367$359C7503-3B85-4A92-8971-B2B40FDC6138","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8cf5c301c76ba91087a97473cab99204cbeb246","datavalue":{"value":"1882004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797367$F9BA1C12-95B7-4AE2-80D9-9A49CE6A23CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3bcf80322be0482b1e51d1dbb7b33db0eb8c780","datavalue":{"value":"formal representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797367$5DD4DE80-BA76-424A-B5DD-57630943FF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950d59caed224e2efb494a76141343b050e5c03c","datavalue":{"value":"autonomous realtime systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797367$11CCA386-6256-4B96-825E-98293CB9B4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67d81a25ebd6039de758c8750caad574fdf7188","datavalue":{"value":"timed temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797367$30D741B6-128C-4295-9457-D1F116D9652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce95099161a75236256472d4270a800e57ba239","datavalue":{"value":"software oriented formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797367$E551F868-04ED-4B0C-B3A3-2D2A38C7A1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17863471b0ab59053570765e2d1dfeff9b231f7a","datavalue":{"value":"lateral control system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797367$1DEE511B-ECE9-4942-A6D6-74D24850BD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5564e7f66fcd00d111a2346c9ae5b8a90fb3d9","datavalue":{"value":"intelligent vehicle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797367$EE05FEFC-455F-4A49-BBF2-D9BD7B827CAF","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":"Q4797367$58F13363-EEA3-4E17-9B7F-004CB81FF585","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263a854c5a5de15991d5d3c650bb40400fa9b6cf","datavalue":{"value":{"entity-type":"item","numeric-id":5900383,"id":"Q5900383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc35b2dc4e87e4ab5e2ae5d7f49e74b7ed15675d","datavalue":{"value":{"amount":"+0.7321503758430481","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":"Q4797367$ED36D8B5-C598-4082-A7C8-224F2CEC77C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf03d8284d33ea7ab99641e55c9ec5a3cb5eec","datavalue":{"value":{"entity-type":"item","numeric-id":2764146,"id":"Q2764146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4668f99be78e58f051632c9911d878a760237f5f","datavalue":{"value":{"amount":"+0.7293252348899841","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":"Q4797367$FB4EA57C-8543-44F8-9C5B-5A20AE5A89CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4d10ec9a3bee74182b215f9b9d76577589ec19","datavalue":{"value":{"entity-type":"item","numeric-id":3493236,"id":"Q3493236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ae2e0feafb1b558103617ab81bc32c4ee28bdd","datavalue":{"value":{"amount":"+0.7285849452018738","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":"Q4797367$CAEA0A5E-66F6-457A-83F7-E17438CFE813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42bd1100c59fc96cf015b396a2ffd84fbf37306","datavalue":{"value":{"amount":"+0.7202877998352051","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":"Q4797367$D2619D80-3C7A-4D08-868B-3361739236A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99284f638d97fb7b1208c865010e5657acd53365","datavalue":{"value":{"amount":"+0.7191171646118164","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":"Q4797367$5AFCB031-2298-4CED-B637-1BB7BF3C4454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4797367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4797367"}}}}}