{"entities":{"Q3002201":{"pageid":3012925,"ns":120,"title":"Item:Q3002201","lastrevid":51250406,"modified":"2026-01-17T11:07:22Z","type":"item","id":"Q3002201","labels":{"en":{"language":"en","value":"The theory of timed I/O automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5898237"}},"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":"Q3002201$958F1985-4A44-4393-B19F-E66EF24FBD62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb37c5302d823cefc604e5b40631aa4c5c913905","datavalue":{"value":{"text":"The Theory of Timed I/O Automata, Second Edition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3002201$D31AC0F6-62D6-48DB-8406-6162D9D71425","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63933b8bde4fc73cc5029b8ed3177ddcdbe7f8a0","datavalue":{"value":"1226.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002201$3816BCEB-E17A-460E-BA4D-E878C459797A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60cb691bc3b4e0ac611f772ef562ddac00cc4da2","datavalue":{"value":"10.2200/S00310ED1V01Y201011DCT005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002201$8FB7D01F-C78F-4715-9D7D-3422D0640343","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b3aa02ec81b2b09be8562948bbbdd02d234ad42","datavalue":{"value":{"entity-type":"item","numeric-id":1020555,"id":"Q1020555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002201$A86A0272-67E0-4A4D-837E-F70DB00E3C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9b93e9c4da01bb33a6752e107e968e98464f50","datavalue":{"value":{"entity-type":"item","numeric-id":627126,"id":"Q627126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002201$11EA56F3-1BAC-469E-B189-C3BCFBF52E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c104efc4aabc14c241ca7bc47803e7ee14b98b","datavalue":{"value":{"entity-type":"item","numeric-id":660993,"id":"Q660993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002201$2CEE1901-F89E-44B5-97E5-1AADBD2BD426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002201$A8E4203B-D652-49A9-ACB9-1814CAC1D786","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e06953cc90c618af7f9a453c28d33e0cda4d9de9","datavalue":{"value":{"entity-type":"item","numeric-id":3002200,"id":"Q3002200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002201$72000373-F30A-4B6D-A801-8A1A8012859B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23509de5c7feb3395e8d4ed166a79efee3c6d7bd","datavalue":{"value":{"time":"+2011-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3002201$847C9297-6789-4A89-B11B-FC0C85B3536F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002201$D1423684-DF7E-4B7D-B1E2-3F0FA26F611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002201$81265085-2AAB-42DF-A72B-A231AF08EE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002201$CBB5C1A5-73AC-4C90-8BC7-2C9A9A514FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002201$6B10B3A9-56EA-4D8A-8239-1BCA55F1B3B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e595100738aa2342801a597fb9f25cfd2eaa482","datavalue":{"value":"5898237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002201$F802E4A8-D224-43BA-9648-4FF4A3D06EE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcad3c21edf3015b1dd613e13844c3a3b705000e","datavalue":{"value":"timed computing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002201$75E54421-1E8F-4677-B21E-094A58E7CC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002201$E2E086DC-3617-4D8C-A52F-4F42474703B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b7533ebb25a2d11a1d7da23c49bef8c8566e94","datavalue":{"value":"implementation and simulation relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002201$C10FC320-47DC-44FB-8F5A-EBE4B55A2BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002201$5ED694D0-51C2-4E7F-A848-2141537F18B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f834df67960fcda59eec3226a2f87d144c99c422","datavalue":{"value":"formal modeling and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002201$17828FC2-A7A9-4547-A7D0-49385A1598BC","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":"Q3002201$C62AFEB0-6D33-42BA-89E6-C36023D7B952","rank":"normal"}],"P1643":[{"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":"56c6985ef723a08467547a6ef34be6a55fa42b6d","datavalue":{"value":{"amount":"+0.9092575907707214","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":"Q3002201$420E409E-F932-4862-AB4C-4BAD717CD6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e992dac1bec6dd389398e6ca7adbd355bd13c35","datavalue":{"value":{"entity-type":"item","numeric-id":5897951,"id":"Q5897951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e815ee98d02ed5a0ea815a3620881d3fea850ed7","datavalue":{"value":{"amount":"+0.8692625761032104","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":"Q3002201$519C4052-36B6-4182-BD1F-05FBE71E8BA7","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":"afd5e9e27c3382a034c34e6abe919afc1bddf69f","datavalue":{"value":{"amount":"+0.8041602969169617","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":"Q3002201$CBC85B82-3538-4AE2-867B-4D453D52680C","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":"dbeb21b8831e92ca8038bf7df3cea94b1ad5b755","datavalue":{"value":{"amount":"+0.8024512529373169","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":"Q3002201$E72DF269-1D14-4555-AE9C-5AA35D442472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c939df2f448c9f51b11ae42bd42c1c7054d1c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cfb84853278b74067bd65f7c5c3006f9850d59","datavalue":{"value":{"amount":"+0.7989423274993896","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":"Q3002201$5B9A20BF-D6E4-4A13-B0F2-F121E7901349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3002201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3002201"}}}}}