{"entities":{"Q2985870":{"pageid":2996595,"ns":120,"title":"Item:Q2985870","lastrevid":52799651,"modified":"2026-01-23T13:04:17Z","type":"item","id":"Q2985870","labels":{"en":{"language":"en","value":"Timed I/O automata: a complete specification theory for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713992"}},"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":"Q2985870$DE777652-F415-48C7-B564-57914B80C6A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eee66480e7dc48fdcd5abac3014a4bb4eafa1658","datavalue":{"value":{"text":"Timed I/O automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985870$2665F1FD-63A4-41DE-BA06-B71952FF1ADB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b05ea9e2c8b5ae0c6ff110db00c0b8804eb4775","datavalue":{"value":"1361.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985870$952CF44B-0072-49DE-9BD1-B9D544FB43B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"975751cda4b2f71fea93ee0b6bc1ed4d81a07730","datavalue":{"value":"10.1145/1755952.1755967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985870$FAF5CFFC-6B08-44D6-88FA-B02D4CC253BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2472f24de3f200b8d9fd7690c3d07a5f6f3b2a7a","datavalue":{"value":{"entity-type":"item","numeric-id":633288,"id":"Q633288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$16A64181-7A9C-43ED-B613-D03E3CA367E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$A2D7A1B1-D4D4-4737-A8CD-1797C8E9D632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9871e2d43710340f622e8fd158b0d4e95fc9a63","datavalue":{"value":{"entity-type":"item","numeric-id":2169110,"id":"Q2169110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$F957C85F-178E-4EA1-995F-FB3DCF9F79F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d53e9570d442a569b789880085f203ff32389ae","datavalue":{"value":{"entity-type":"item","numeric-id":338616,"id":"Q338616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$D20EA057-9B56-4165-ADC0-211AA6AD886B","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":"Q2985870$34058848-59E9-4F25-85AE-990FBF1070F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0830b461b2628d60d78b1ee4b6f9ab7534bcf7ef","datavalue":{"value":{"entity-type":"item","numeric-id":2985856,"id":"Q2985856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$3935722D-7E5A-41D2-BA64-211C18D6D4BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985870$B5A52427-416D-4FFD-B873-0C40C402202A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985870$C7C27962-22AC-4F86-970B-5B4155303BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985870$017D1F45-7CF9-43FC-A879-74EBC7AFFAEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd94a5efcee0d975dbf66436e43ceb3a49bd4335","datavalue":{"value":"6713992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985870$5473222E-9FDA-49D8-BD3D-5D265B45B505","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80d68e3c12b442d5c3fd8c97262c92d38404795","datavalue":{"value":"interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985870$B49F8DB6-E5B3-46C2-ACB8-E55FE7031B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985870$A974A6F5-7AC7-480B-8723-D2C0AD327D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985870$B346138B-F0ED-4B87-988A-8BFAB99A583D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4914568f4a47d4488b4e0b32faffb9bb206afa58","datavalue":{"value":"specification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985870$1E250EA1-A7F4-4AF3-AA1F-297A73E596FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7395df5e599e4960127347ec97559dd71a5ddcf4","datavalue":{"value":"timed I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985870$58F3977E-14AC-4D7E-ABC7-4DFC195ECBD3","rank":"normal"}],"P1463":[{"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":"Q2985870$8C8B7CBF-E289-427B-B9E4-BD1C2C88F2B5","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":"Q2985870$D3E5CEA3-8A34-45A3-8038-9CD58333225F","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":"Q2985870$851E0ECF-8DCF-470A-AC68-B98DAA1AFC4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d8f0e6234ab377e4a0c6796701d4a00d3085df2","datavalue":{"value":"https://doi.org/10.1145/1755952.1755967","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985870$478F9369-991D-4752-9EA9-4CBC6F5297C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8721608ce2c07e9b558f7bfc6a12ed6825a321da","datavalue":{"value":"W2156314014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985870$AA077C21-0E04-4EC0-8002-5B84F17DF02D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"287044077b582e9a462122d8a37c632519d945ea","datavalue":{"value":{"entity-type":"item","numeric-id":5307451,"id":"Q5307451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$E0FB3846-DC24-4506-907F-B3DEF2B0BCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93fc1426a3a32f66268bd57c530edc65aec126a","datavalue":{"value":{"entity-type":"item","numeric-id":5703956,"id":"Q5703956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$AF3ACBF6-4EB2-4DB8-AFD7-F6D3724F5D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$2B0263FB-B010-4F70-BECD-E2E82DBFBD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$1AEFFE3B-CBBD-4C10-975B-6DDC12CFFE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a376a655e2451a7e6e0d1c6f7ac4717841b2bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":3624569,"id":"Q3624569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$7CDAEEC9-C2E0-47A3-8BCF-08A05731ADEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$6EC2A22D-0682-4642-9260-030B26CFC402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$8CD57119-09D9-45EB-A739-10A080D37A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$A5DF9183-E7CB-4A35-9F28-098F0A8A3824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60f8c18f194bf33652be2dc20af60bb528fda07","datavalue":{"value":{"entity-type":"item","numeric-id":1960531,"id":"Q1960531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$6B335C68-0DEC-4B3A-B1B0-07F0D4FC7642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$47650DB2-32D9-4561-808C-5421A5AD567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6484148434bb6bf09207722b95c9d690bb339110","datavalue":{"value":{"entity-type":"item","numeric-id":5273868,"id":"Q5273868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985870$D905DAF2-F544-463D-A8BF-6B8E62D151EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bcd3d288a988851d139847ccce4b193b5fdb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4649387,"id":"Q4649387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d381ba305d49d652330dc623b07ad6a8434cdb6","datavalue":{"value":{"amount":"+0.8653475642204285","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":"Q2985870$D6FABA49-6AE9-4F40-A37C-C27CC739B770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c13fe6058aa2ce7ab6fd8b2efb1a3eabd87e18c","datavalue":{"value":{"entity-type":"item","numeric-id":3066127,"id":"Q3066127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2f66df0b1ed7079e868437ad26c879174af66c","datavalue":{"value":{"amount":"+0.8487710356712341","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":"Q2985870$51C8D615-809D-4FF6-8436-8F746C5391E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b80c8fa301c38650fe3e6cd3bea0ec4c2c25e9","datavalue":{"value":{"entity-type":"item","numeric-id":3172848,"id":"Q3172848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b208ab0b4d9b8b260c803e0189af4883b973f8","datavalue":{"value":{"amount":"+0.8191524744033813","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":"Q2985870$C37D6DA8-9D3E-4831-8572-DE8D2682D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7d8a33f394e86773f3891a98f7a9eec9fae4ce","datavalue":{"value":{"entity-type":"item","numeric-id":3006716,"id":"Q3006716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352aa1984c549e55bf8f1c85181179e0bd7c0ba5","datavalue":{"value":{"amount":"+0.8141418099403381","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":"Q2985870$1EBFC07E-BA3A-4AD5-9EC1-A3602C373B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe065525bfc4ee2a2c7ff8a421b0b9909ebe1823","datavalue":{"value":{"entity-type":"item","numeric-id":3002201,"id":"Q3002201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982ed742c6137691e20717e3859557b0d11f6edf","datavalue":{"value":{"amount":"+0.8039904236793518","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":"Q2985870$7C3B9C80-AEA4-4516-8153-B5ABC3DB745E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985870"}}}}}