{"entities":{"Q3617730":{"pageid":5647636,"ns":120,"title":"Item:Q3617730","lastrevid":50618864,"modified":"2026-01-14T14:24:08Z","type":"item","id":"Q3617730","labels":{"en":{"language":"en","value":"Interrupt Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535595"}},"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":"Q3617730$56E757DE-CBC2-4E0A-9796-7753C6513827","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de83837de056603230227376baa059fc7414c60a","datavalue":{"value":{"text":"Interrupt Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617730$1997AC6C-C4C1-4948-8FCD-B72EB9F8C75B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b746a9c8f8a0e2ccccf11181b40ce55435d3779","datavalue":{"value":"1234.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617730$548B5E95-1734-4DD7-8DBF-15C09C4F9678","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35903b2f25feca16d90004dcc9e94559a45b6394","datavalue":{"value":"10.1007/978-3-642-00596-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617730$44659851-DE76-4704-97A1-62302FBDD415","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$EA3972EB-90B7-4AE6-8FB5-9B99D8986D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$38B2BDF5-85B3-4BB1-A99C-EB73CD8B42AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$F1D902C3-4E13-4A54-BE88-8A8EA664F2B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617730$F8762A1A-8A10-4067-9724-2C0997D8E169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617730$99D146CB-0E89-4051-80BF-4CA90D426720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617730$93A93FE3-F689-4BF5-B7B4-8DA302675164","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"962d647e90d307de2aa230de58cc5fe4ea5e1a9a","datavalue":{"value":"5535595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617730$DDF11145-8096-4B2F-B2A2-E0DFF37AFA93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617730$04BA7D01-028A-4E7A-AC20-AC8197FFE574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617730$3444AD4E-2241-434F-8417-0D3881BEEE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8418daf3dc6193903c4157910df71942971cf746","datavalue":{"value":"multi-task systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617730$474114EE-6655-4A15-AB79-4A2F49A06200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea8801ecbccfec2e41eae6981cc5a667c941b10","datavalue":{"value":"interruptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617730$C80C64BB-DB4B-4E5A-A9D6-BE83139CC091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a2a672bd79bef5f202f48e43e1b9005bccff75","datavalue":{"value":"decidability of reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617730$F37C0F0E-6CEF-4D3D-8915-189BABD398A3","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":"Q3617730$C3842DC5-8DFC-486D-BB37-82341F122585","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d939ac594ae50b5b77e48cb3f52ad940e4ea7e2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00596-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617730$1568325C-E0CC-4516-B8C0-2E97F89DBA76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33c10c3f05b31be8b5e1e6d360080384cc783fa6","datavalue":{"value":"W1731343872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617730$58DCB471-215E-46AF-89B1-73AFEB5205A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$15ACC5B7-5D64-45E7-B014-1645EDD6CB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$9C7D503C-B3F7-4D7B-8FDC-4BA1A1747AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c513eee7e8e9d99927625689914a5a47854ef2cf","datavalue":{"value":{"entity-type":"item","numeric-id":1367528,"id":"Q1367528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$54F6C9B4-43CF-4275-8DB0-E02AD126997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cc70c83f75abc13d8a182ae446346994db159","datavalue":{"value":{"entity-type":"item","numeric-id":2373713,"id":"Q2373713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$C7755CFE-262E-48B2-A76B-493D796969B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$E1BE4EA6-B730-4179-A04B-FA441856B81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$F9066A83-18D9-4572-A3FD-D80D8B6F4D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7086d42a3026d8c0b740b2a1629e424efd42f0","datavalue":{"value":{"entity-type":"item","numeric-id":2492187,"id":"Q2492187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$37E8C1A9-3DAF-4814-989D-1157A2BE3B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$A37057D7-4586-40D0-A652-D97575A231AC","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":"Q3617730$BD9FC021-AD99-4F95-BD74-228CB9694091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be4a8100f6c1d999f8610e55b712c8ecf757568","datavalue":{"value":{"entity-type":"item","numeric-id":1854273,"id":"Q1854273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$C4162F4C-41CF-4062-8C71-CC70521D418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ef8fa59cd5d1da98c2f800c01383734c4999e6","datavalue":{"value":{"entity-type":"item","numeric-id":4249569,"id":"Q4249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$CF1A714D-7A4F-4B8F-8C1C-B0AFDA3613DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$9FAD9BB9-4FC1-4613-8939-2C8CDA07E8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8725e208cda391fc2edbec00cb1dde4aaee29aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4339096,"id":"Q4339096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617730$1CAD4D72-9A2D-4E63-BC40-E901E456CE29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de9230e193984f68b5a0812b6e79e0933c55bb","datavalue":{"value":{"entity-type":"item","numeric-id":453513,"id":"Q453513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dca810ff52edb58196a8055fea78f3e3c93ce64","datavalue":{"value":{"amount":"+0.9532507061958312","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":"Q3617730$C8C533A5-F458-4FC6-88BB-BF89374B86F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490f4da68df334f13245bfd0c9b300048f888ea6","datavalue":{"value":{"entity-type":"item","numeric-id":2968523,"id":"Q2968523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1538fb92cdea905f8bbe91791d6858f72ced0089","datavalue":{"value":{"amount":"+0.8743147253990173","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":"Q3617730$A1EA4CAE-EB34-467A-A318-BB53DA9526C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3532287316667fc709de3bc9c82ecafff80124","datavalue":{"value":{"entity-type":"item","numeric-id":1675144,"id":"Q1675144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ad4e7c4d9f933f4404e7c5da55d846b3f1f742","datavalue":{"value":{"amount":"+0.8697580695152283","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":"Q3617730$0F693C6E-FE35-456D-B767-9F69A5E678B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8418f7e16677ba6686a18c23183599926839d6dc","datavalue":{"value":{"entity-type":"item","numeric-id":2662502,"id":"Q2662502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3750c1ace0f3bc0ff82d35c01e8e9739b25d85","datavalue":{"value":{"amount":"+0.856385350227356","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":"Q3617730$361CBDF4-0AA6-418F-83B9-6F1C86E78B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157c666dbe98815191534cbab444683d04ce1172","datavalue":{"value":{"entity-type":"item","numeric-id":2059890,"id":"Q2059890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494b865a53d297ea84bb89b2d74a241bd980c743","datavalue":{"value":{"amount":"+0.8409100770950317","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":"Q3617730$DE57B0C4-548B-4237-9489-1F345591CAEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617730"}}}}}