{"entities":{"Q5484908":{"pageid":7514468,"ns":120,"title":"Item:Q5484908","lastrevid":49899739,"modified":"2026-01-11T20:29:57Z","type":"item","id":"Q5484908","labels":{"en":{"language":"en","value":"HYBRID SYSTEM VERIFICATION IS NOT A SINECURE \u2014 THE ELECTRONIC THROTTLE CONTROL CASE STUDY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5048168"}},"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":"Q5484908$43328E18-8C33-41EB-B3D9-81097EE00860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10159888204a3539f367e9a57c5bd1c5d6da46b4","datavalue":{"value":{"text":"HYBRID SYSTEM VERIFICATION IS NOT A SINECURE \u2014 THE ELECTRONIC THROTTLE CONTROL CASE STUDY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5484908$F7D0D010-84EC-41F5-95B0-2DEBD37882D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6232b15f3697c6b1fdf4092ea4491e40da65dab","datavalue":{"value":"1096.68670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484908$EA95F690-FAAA-425A-9614-16ED1F4B75F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d2a24785c07328c6eedf831eefdc079bf8d4693","datavalue":{"value":"10.1142/S0129054106004169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484908$E231E747-B0F6-4AAA-88F7-E93A5AF0DD02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97e29302a9b69ebb65b074e03e6fbc253fd9acf6","datavalue":{"value":{"entity-type":"item","numeric-id":2182660,"id":"Q2182660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484908$A82B6ECE-6932-49E8-8F11-CF545B7A9337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484908$AEC37614-3B95-4690-A79D-658D3C048705","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484908$16FDBD33-4AC5-4834-A647-32FC978CD11F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a75cc68bad3bb181567a6c54a319178a2e20902","datavalue":{"value":{"time":"+2006-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5484908$8FD9C658-F99E-46E2-866D-AAE248460333","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484908$0CA11774-0DA7-4D5E-A646-0E56D5F186C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484908$798C600A-0DD6-497C-8443-F3BF47A67C23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13743f42eba8cf3175eaae9be4dbe3709c526d67","datavalue":{"value":"5048168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484908$5A08C872-62E6-4C39-B871-1CD11CB5CF1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484908$5C2E92F4-FFDF-40DF-ADBD-1FBD70D6D1FE","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":"Q5484908$1996B388-BF67-4598-A99E-4A71800B2A29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484908$5D8FE150-A60B-4C68-A8DC-41D21F581CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484908$482ACCCF-019B-47D6-BDB3-380CB1412E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a9e68a711d9b8c8690fa16a127f2323a3d7ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4160779,"id":"Q4160779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484908$2E59F533-804C-46A6-A2B6-455C61608AFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74a7dc992a11d3569aade43dc3016399c6f2f006","datavalue":{"value":"https://doi.org/10.1142/s0129054106004169","type":"string"},"datatype":"url"},"type":"statement","id":"Q5484908$A95C40BF-BA52-4AD5-A65B-D016C3473330","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d4a1b90d32474388798aabae8d4ee7c41f6714a","datavalue":{"value":"W2156272518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484908$7CF55A7A-8ACA-45C0-B1B5-E93DC4954F58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31cfe8f0ab92860b4e70cd4da3c0f944e1393f71","datavalue":{"value":{"entity-type":"item","numeric-id":5394195,"id":"Q5394195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0a3bb829254fc6af1729c41f42f5727c557df5","datavalue":{"value":{"amount":"+0.9976837635040284","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":"Q5484908$54AD0E3F-F85C-4D7F-A6D3-51393D3C3D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ad48f7d3d8a7e6e55b01cdd46e6ccec3bbccdf","datavalue":{"value":{"entity-type":"item","numeric-id":3442635,"id":"Q3442635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faefc5886a416dc6f42de27ee2ad9b3eb013a535","datavalue":{"value":{"amount":"+0.7706158757209778","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":"Q5484908$71265850-B127-4FB6-AB14-7D0CC4275271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5baa1ff0d2a89f74784a86394a5feb60447cb3","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b1a92a76f212fe801e1d3226db50bb8d595407","datavalue":{"value":{"amount":"+0.7702395915985107","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":"Q5484908$0686284B-D607-4A26-964A-24C0ED1E8B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ccecf9d7f8dbdf14466530d248ec9dd6988c64","datavalue":{"value":{"entity-type":"item","numeric-id":2986973,"id":"Q2986973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46829919d7eb8824747e81b317ff6232fff5fba3","datavalue":{"value":{"amount":"+0.7673302292823792","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":"Q5484908$7C4AD44F-77BA-4598-88C4-BFB7B2DE9735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f574c657ff784fd861f445f05b6ad0778f48d99","datavalue":{"value":{"entity-type":"item","numeric-id":1853604,"id":"Q1853604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cecc71bf46b2e84b9333ead5bf316e16d67086","datavalue":{"value":{"amount":"+0.766696572303772","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":"Q5484908$4D14F78E-C84A-4C6D-BFCB-FA104BAA49A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5484908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5484908"}}}}}