{"entities":{"Q3400913":{"pageid":3411616,"ns":120,"title":"Item:Q3400913","lastrevid":50889923,"modified":"2026-01-15T14:45:23Z","type":"item","id":"Q3400913","labels":{"en":{"language":"en","value":"Verification, performance analysis and controller synthesis for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663804"}},"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":"Q3400913$D75849B2-2CDE-4849-B2DB-7B84930BC8DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfba395949b531fe8ba117be4bb3c8978efd2abc","datavalue":{"value":{"text":"Verification, Performance Analysis and Controller Synthesis for Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400913$0BC7DCAA-C00D-4DCC-92E0-5DE2AA87EBF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c656cfa7dd400350d23db99f9bd96d020fdd97e6","datavalue":{"value":"1274.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400913$45873A7D-2093-43BB-A593-F67BA3B4D13C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea187efd37b53404226310e9148f6a3973765d2b","datavalue":{"value":"10.1007/978-3-642-11623-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400913$C94B7A85-3ED0-4F18-B307-4823EC1B4E1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400913$DC941A44-BD62-4695-9FC0-9FCB8D397B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d593a3f17da7d326f296f22b84d634c66abdfa50","datavalue":{"value":{"entity-type":"item","numeric-id":549201,"id":"Q549201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400913$99224C35-1715-4069-A992-01B6488AD5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400913$938B778D-2B48-4C22-ABC6-173B9E96E11E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400913$6D420C20-5218-483E-95D4-BF01C82D4C45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400913$DA4B3D88-ED9A-4C83-A50A-EF950BC9552C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400913$E7189A1A-5FD6-48E4-B95D-52C5074F6D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400913$9AA67E37-0467-4A78-B802-2173EA851361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400913$2985C210-608D-4FB6-9718-C70734857F73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb9fdd817cf84a2b431da16c0bd05b5bcb3db4e0","datavalue":{"value":"5663804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400913$09752903-2BD9-46D2-BDA9-0D67FC269A95","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"948bffdf09bb87223be7b943c58162673c13816b","datavalue":{"value":{"entity-type":"item","numeric-id":16335,"id":"Q16335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400913$02ABA448-FE65-46F2-A237-98B133E12E95","rank":"normal"},{"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":"Q3400913$11534764-3DDE-4AA6-8CEB-4980772B543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400913$A09DB115-87BD-4342-A19C-CC002FF3147E","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":"Q3400913$8E90CF5C-6819-4126-8CA2-F86E349DE5DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cce2cb9c54851d8f99c6ffe4a2d7f474c49dac88","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11623-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400913$66316EBF-D606-4021-AC99-6A0337B3BE5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f37d41a05eb534dae1ebd622d1a4a098aa1adfdc","datavalue":{"value":"W1548878183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400913$4132AABC-D528-43C2-9A3F-C636C9B849E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eae3263cf97ac54a37c33745518d4b7eef300fc","datavalue":{"value":{"entity-type":"item","numeric-id":2948229,"id":"Q2948229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ad5b312728b3833f983d12080b81efffdc6828","datavalue":{"value":{"amount":"+0.9548291563987732","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":"Q3400913$13A1F96D-9513-41A8-9202-90B487252784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a8c9353404ab4aeeee78c6b8bc592907a571cd","datavalue":{"value":{"amount":"+0.8354551196098328","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":"Q3400913$F42D3AA5-47D1-49D0-AE02-575040B1C7AD","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":"0102090305ff3a9b78dff1c755e3b24aedb89919","datavalue":{"value":{"amount":"+0.833935558795929","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":"Q3400913$30B2FEC2-FFFD-4759-BA8A-2A6E3D494B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52029856dd4271764038e50991106679c269cc80","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c068be47a1db2c2e1f1bbca9ce687ae2d8fc00d","datavalue":{"value":{"amount":"+0.8170974850654602","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":"Q3400913$AFFDD0C1-AB56-413B-8830-30C04487BB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc682ff07520da7b67b68f77cdb981de922990e","datavalue":{"value":{"entity-type":"item","numeric-id":3176387,"id":"Q3176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709e60222eef490318a159f725ae339a3f105ac0","datavalue":{"value":{"amount":"+0.8153082132339478","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":"Q3400913$0BB1ECB3-1458-435B-A574-7897CB9B1CA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400913"}}}}}