{"entities":{"Q5458842":{"pageid":7488401,"ns":120,"title":"Item:Q5458842","lastrevid":50342471,"modified":"2026-01-13T20:51:59Z","type":"item","id":"Q5458842","labels":{"en":{"language":"en","value":"Automata and Logics for Timed Message Sequence Charts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267232"}},"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":"Q5458842$2C2E599E-DFAD-4115-8AC9-2C0FC577C824","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4bdbc216db3902d7f4d8cbc19b8cfd82c23aad2","datavalue":{"value":{"text":"Automata and Logics for Timed Message Sequence Charts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458842$E3E70A14-57A3-4382-8ABD-69C825E5D26B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7365f7d0385ecf480bfb00f4addb0f511d48f50","datavalue":{"value":"1135.68496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458842$E6763078-5929-40B6-A127-CE5E1C52421A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a743e8a3cb82be28b264bc9e9369a20c54072711","datavalue":{"value":"10.1007/978-3-540-77050-3_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458842$A9B1B250-B8C6-4063-AAD0-4B8916C6B2AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$19EAE256-C907-4237-AF71-6024C5867B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$6377BACF-DD40-4DBA-B4AA-D44F6F74ED02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$96636E07-6DF1-4C36-AF59-3EA431268BEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$D33DA469-94B6-4537-A3C0-E1080519A01D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458842$191E87B2-9C2A-49D3-AAB2-963C1F32279A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458842$30EC6C38-7242-4BF0-9224-05B6EF3BDBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458842$E90B02D3-9AED-4794-A612-A04039C16383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458842$0F56EEA3-2113-426A-B5BD-06D7E6E189E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3499f7146222201c3a769e1d0d12ee4169b56ac0","datavalue":{"value":"5267232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458842$7387EF24-FDF8-44A6-95B2-2A5DD2337C03","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":"Q5458842$8C7E1742-176F-402F-90F1-912B59A9DF89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"484f6713772c701f6d9ffb1ac2e11ba1844ca77b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458842$934A97B9-B357-4D45-847F-496618BE628E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c768226686037a19fed1e0b9b3d57348d5314b2","datavalue":{"value":"W1500730377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458842$89BF39BB-B1E2-4B84-80CC-D543721077E2","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":"Q5458842$B2CEE4E0-BF29-4AB6-A1B3-4D9843C0E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$4B821600-C8D4-441D-9DCE-3FC56BB423EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44215fba535e4838ff9ef2f49cee6494643d177b","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$C2107A57-F070-4179-81D1-B788D22E7855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$C8693471-5203-4168-B60F-F7E28FC37F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$3607AA7E-BF69-4085-83C0-28739B3E592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0bb12ed38887abcabf99a6e60f20ed7a97898c","datavalue":{"value":{"entity-type":"item","numeric-id":3511226,"id":"Q3511226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$A9EA5007-070B-49F7-A657-C86477A62F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4054ee90cb47d36f9dbdf5d9070674c3b097946","datavalue":{"value":{"entity-type":"item","numeric-id":5696929,"id":"Q5696929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$F4FB603D-127E-42F2-A555-35A2AF8FE95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2ad635b0c2e70cd3607fdb43f92ac805e9a373","datavalue":{"value":{"entity-type":"item","numeric-id":4501664,"id":"Q4501664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$CB793678-2AF4-4DA5-BE96-194617E9486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$6C2C3142-0DFD-4654-A420-8000113651C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$D5D20D9D-3129-4F48-95ED-C4CFE8C0E94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d499354eab8502f97a03c838f7e460501f69493","datavalue":{"value":{"entity-type":"item","numeric-id":5756736,"id":"Q5756736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458842$3249C905-C911-4262-A45A-131310D6D7DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c7a2824d74d41d44785de4090c88d7755c2641","datavalue":{"value":{"entity-type":"item","numeric-id":2842583,"id":"Q2842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acca03418d1b3d7e3ffd15133430302fa57ebfda","datavalue":{"value":{"amount":"+0.8319500684738159","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":"Q5458842$5B79F55F-2A80-4F7A-8C1B-7E329A6D8CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110c5be88e5d0a3ee51ebd063404c930a97e602f","datavalue":{"value":{"entity-type":"item","numeric-id":2908850,"id":"Q2908850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74eb816e927f6344d49edc848e187d8e30177177","datavalue":{"value":{"amount":"+0.8203850984573364","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":"Q5458842$A21AF30B-DA7D-4D92-BA1A-2A641AC35054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f278d02a4bc50ec808e1badfecaea2276814a29e","datavalue":{"value":{"entity-type":"item","numeric-id":2248059,"id":"Q2248059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce370628f047fdc2fca65827602a8846af64bec4","datavalue":{"value":{"amount":"+0.8194808959960938","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":"Q5458842$65EB4ABC-11CF-4451-9801-3E08450A2BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a47fb3023f97db33e6b7d5ff395bda83ce45d2","datavalue":{"value":{"entity-type":"item","numeric-id":4536991,"id":"Q4536991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0f2846bac16de7a05f4fc47c4b559443bbdaa3","datavalue":{"value":{"amount":"+0.8100827932357788","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":"Q5458842$5236796C-C74D-48D9-A4EC-FC99AD8024DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e764936511f945e4e027379b43944c10a7fb99e7","datavalue":{"value":{"entity-type":"item","numeric-id":3525637,"id":"Q3525637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a2d5c11dc93fb12e32671ea270d73c5ed9cfd2","datavalue":{"value":{"amount":"+0.803652822971344","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":"Q5458842$E598EF3E-CA7A-4C65-81C3-F2A3DA3501EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458842"}}}}}