{"entities":{"Q5953452":{"pageid":8130254,"ns":120,"title":"Item:Q5953452","lastrevid":47728237,"modified":"2026-01-02T13:24:06Z","type":"item","id":"Q5953452","labels":{"en":{"language":"en","value":"Formal design and analysis of a gear controller"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694306"}},"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":"Q5953452$6F7ABE63-0237-410F-82BC-C2C8AD5B830D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"251444977191b366e6a137ae8390527b64948724","datavalue":{"value":{"text":"Formal design and analysis of a gear controller","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5953452$28896092-1983-45BA-961B-55EDA95D1E1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61c6a38dc4514872c109d40211d9d977c400d2f9","datavalue":{"value":"0993.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953452$4360D7CF-407D-491C-A2B1-B29615C583CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b3f387ad2c1becf9d6088f499b667b0b1af67bd","datavalue":{"value":{"entity-type":"item","numeric-id":225079,"id":"Q225079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953452$497F2523-165F-49A8-883C-7BFC88658CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7f66814d7b0aeacba32338c67c404e47976f82","datavalue":{"value":{"entity-type":"item","numeric-id":225080,"id":"Q225080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953452$D0DBE348-6340-4439-9C6D-D5BFA4ED2FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953452$DD4D5BF7-37AA-4A79-97EA-2C0FFAF41BD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953452$CA177D9B-6362-4CBB-8250-71F4430BE64F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5fbc16e366ffb1f12a89d1e74ac2844b6efae70","datavalue":{"value":{"time":"+2002-09-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":"Q5953452$353B40FE-82C4-4C6E-823A-71CC244552C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953452$D7982CBF-C326-4B71-B85B-B089AEB1F956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1ffe3e213d9b2694926b4eb1178995078edefd4","datavalue":{"value":"1694306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953452$1AE975B4-B439-4AA0-ABC0-237F7DB5567F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953452$B3BE557C-E511-4093-B4CA-2B69758DE45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc85bae11a31fd457cd4c048f448c7257323e4","datavalue":{"value":"design","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953452$4F35D0FF-7432-4CCA-B3D8-D5525694B7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953452$38E26256-7C19-45BB-8378-2FFE9AAAC815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953452$BBA4075F-2EEB-4C6C-A431-69EDC4DBBEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc47c880637497f8bf1a4c34ea7f0f02532900ee","datavalue":{"value":"automotive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953452$ED785799-7D5B-4208-B406-39177E942E50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953452$D992F55F-F2A1-4F3F-9390-A08227D0C19C","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":"Q5953452$4CCF9D76-4CA6-4C4B-9D49-86B45E57C355","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdfd7b0e84c64f4cf1eae4f6f2415942a0e3eb60","datavalue":{"value":"https://doi.org/10.1007/s100090100048","type":"string"},"datatype":"url"},"type":"statement","id":"Q5953452$C0920C60-1BB0-4BD6-A288-DAF2588EBDE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3acb4762ed4ceabdaa7d6b48d2d65e641e04028","datavalue":{"value":"W1538672397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953452$656E1BB8-AD4C-4C32-A2E1-56AD870CF70A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bea285c477928d93625363110e58075dbb670c3f","datavalue":{"value":"Q126568145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953452$C9CE764D-2806-48B1-ABBA-AB554EC05361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87d0568afff70977b5071991bcf6cf88e1fd7ec0","datavalue":{"value":"10.1007/S100090100048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953452$30F8B637-2E01-4D45-8536-30D40C4B3CA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d268add763ecbb41f2db6207f0c8e409265eec6f","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad5fc70f9f59416d43946a4961bdac6fffc651a","datavalue":{"value":{"amount":"+0.7613888382911682","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":"Q5953452$8B683045-0CC9-4A54-B372-47542FDFC78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d347909db590246446ba31d5dddc3be87dc7ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4532077,"id":"Q4532077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8396baf75530840c70d93ad28489c53acec0d6ac","datavalue":{"value":{"amount":"+0.7589883208274841","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":"Q5953452$B928C295-9A07-4EF6-A0F8-CA266C9B74F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b03ee6b09bc8f83bb34603b636d0c0b4e53ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536754,"id":"Q4536754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8396baf75530840c70d93ad28489c53acec0d6ac","datavalue":{"value":{"amount":"+0.7589883208274841","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":"Q5953452$42E6D7AD-7B84-4E60-9BCE-0576E9DCD9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1372bdb69ffda7f6288354b2e25e1c88d3694f","datavalue":{"value":{"entity-type":"item","numeric-id":2766550,"id":"Q2766550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b007658896dbd1f698f18fdcb99453e123dea39a","datavalue":{"value":{"amount":"+0.7323774695396423","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":"Q5953452$7262F846-3381-4B78-882D-42F5A0917159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7cb30e50f6226db30adc829991bc734fc1c87d","datavalue":{"value":{"entity-type":"item","numeric-id":5757088,"id":"Q5757088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9bd0f1fb3d9e4260d062e60291a8c7633659bf","datavalue":{"value":{"amount":"+0.723615288734436","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":"Q5953452$B1AD97E9-AF1A-4B31-9809-364B431666A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5953452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5953452"}}}}}