{"entities":{"Q1656550":{"pageid":1667291,"ns":120,"title":"Item:Q1656550","lastrevid":68251971,"modified":"2026-04-12T22:27:58Z","type":"item","id":"Q1656550","labels":{"en":{"language":"en","value":"Event algebra for transition systems composition application to timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916294"}},"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":"Q1656550$E9E2BCCD-5E0F-45D4-96F4-012CF2C32B60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6c88b920c08e6b5a258fa32f2a6f9059507808b","datavalue":{"value":{"text":"Event algebra for transition systems composition application to timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656550$92D36B09-C788-4F3F-AC5E-F32DD52E1291","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"072ae02fda1ecb4ad598ac0c3d79a44cb6f5636f","datavalue":{"value":"1398.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656550$2B37783E-5E2C-481D-A5B2-26CC96E0C197","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab54b686c20131d28edc0af6053f789e68b66cd","datavalue":{"value":{"entity-type":"item","numeric-id":1656549,"id":"Q1656549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$36A8FF12-F619-425E-9C78-2530EF8D32F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d10cc39a70417a38ac7235c5283a918f9545f5","datavalue":{"value":{"entity-type":"item","numeric-id":239156,"id":"Q239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$0D96056C-E33C-4503-8EB9-B9385FFA0F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924d76138c4a9ca918a0e049d85adde817ca5296","datavalue":{"value":{"entity-type":"item","numeric-id":239157,"id":"Q239157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$F9B04881-7B75-4382-91FA-935F84A0D291","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$55DB025F-2B95-41B6-B867-1C06363F3977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-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":"Q1656550$E9314AEF-36EA-485A-96A6-DBD5D2B38FE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6896b04a22317ae9993d5b2f87e34095def8f0e","datavalue":{"value":"https://oatao.univ-toulouse.fr/22304/1/Fares_22304.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656550$13DF382C-442C-4E3B-8936-21477662C340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656550$9957EEDE-0F8B-44F4-ABAF-C86FFEDF9DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656550$20684E7A-0EBF-4503-92B8-106F32DEE62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656550$BBD1A856-FCD3-4786-A96F-57324AC887CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59d25d106f510dd7b2f6769668d50d17e3b57486","datavalue":{"value":"6916294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656550$D8AA9AD5-1B58-4842-A48C-9B021E4C4DE2","rank":"normal"}],"P1463":[{"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":"Q1656550$1EB836EC-184F-4057-9498-0E2BA565EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a904e7e0f6312a484ac8ae14b477df45c7ed0b19","datavalue":{"value":{"entity-type":"item","numeric-id":19067,"id":"Q19067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$EBB25151-0FEF-42D4-9F03-222406ABC063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$E6396F09-0AFE-4E11-B859-260033DE7CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$3C6E4E4C-96BA-4C86-A338-2FFED9B8CE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$DF5AAF9B-1F78-4E99-BA34-D8D56C654DFD","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":"Q1656550$824F1A32-DCF3-42C9-95E0-155A5E20A4E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c71f6afd953bd56662fbaf5d4b850513860782e","datavalue":{"value":"W2737761969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656550$5BF0F0C0-C8DD-40DC-A2C7-2804A97A06ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$A3EE5776-7DDA-4DE3-9C17-9D0631BED2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8b3ef9b285346a6f4ff99bf21b658dcb2fda8f","datavalue":{"value":{"entity-type":"item","numeric-id":433348,"id":"Q433348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$47349060-BEA5-48A6-AF0E-ABB4B7AFFD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$E8E4CC5C-1539-44FE-8DB7-C12FA5AAD902","rank":"normal"},{"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":"Q1656550$C003C10A-DC64-4F4B-A4D7-57FF29B257C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a65c33cb005617e97f0e29bd4909f3571c3824","datavalue":{"value":{"entity-type":"item","numeric-id":1776573,"id":"Q1776573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$7C4C562E-0B36-4FD5-BB8E-3FDCAC4507BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17149116ff9fe8a378e63db30af57c5412489bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4948010,"id":"Q4948010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$0B8A3FE3-3C7F-4332-903F-85A5284E749C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338cb28dd1c3642a4941ca756896c1df7498392e","datavalue":{"value":{"entity-type":"item","numeric-id":2909731,"id":"Q2909731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$7A5A5915-264A-4EDD-B3CE-1744BFC7EC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$42D5E522-5536-4E05-8E87-32EC26609E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$FADB1E8D-D488-489E-BD22-430C7D1E7694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0020a41a31ca177985d17d3a994d4def480e2eff","datavalue":{"value":{"entity-type":"item","numeric-id":3543301,"id":"Q3543301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$C92FFF96-428C-491B-9074-8573948AAAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$27E8368B-0921-4237-B42A-6CB3417AD2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef53aa7b0910a4a6d21198980e97e56e78b3aafa","datavalue":{"value":{"entity-type":"item","numeric-id":3541041,"id":"Q3541041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$2EF1F729-88D8-4F30-A21C-8A1775ED5A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddda77465f82760794ce0b96b4ef336c19f8a70","datavalue":{"value":{"entity-type":"item","numeric-id":5415605,"id":"Q5415605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$1B24488A-11DA-4EFE-A1DF-239B5DCB121A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b75a0f0c6b38b76fcae521215b443dcc0a84c24","datavalue":{"value":{"entity-type":"item","numeric-id":3184677,"id":"Q3184677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$4CA30A6A-8737-4E2B-87A0-CB4CE47B2301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29df81be396667e1ac225019fdaa141771e4b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3541037,"id":"Q3541037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$AAFC9DE0-0D7D-430E-9C60-A7722F8C6796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aebc1f34b73f52d8f4b23407957830c61b04cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1656550,"id":"Q1656550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$4C59DD4D-473A-4646-BA0E-C61FD13D26D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$C4247C5D-70B8-49AC-BC65-3BC147D7574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cda71ff5ed600ad77742f3d5e6a3f654a27f","datavalue":{"value":{"entity-type":"item","numeric-id":4732449,"id":"Q4732449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$16E27072-7F6C-4238-AFD5-D3DFDD158D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$456EEB75-5EA3-4EE6-BE84-FE77E9C6C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$0F765556-5195-4FDB-A00E-2243C4DC9D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079fb6ac0e5461179065d044f28a53ab399dd5f0","datavalue":{"value":{"entity-type":"item","numeric-id":5717490,"id":"Q5717490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$5F6492F7-B536-48DB-B63E-AAE2A6B13F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569ddc537916e27ee02748157df0c231738e3012","datavalue":{"value":{"entity-type":"item","numeric-id":2895779,"id":"Q2895779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$8E1A2AC3-DBA0-4A2E-8428-942615B41E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656550$D44C87DB-3BBC-4B7B-A298-D2DC81586DD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be8046f3f6051c02c17460d346c72227c5e2155d","datavalue":{"value":"10.1007/S00236-017-0302-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656550$804745F0-924F-4880-BA57-4E9EDED17231","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf1a96475e1c6001d1d7e6337e6db2c58ef8cd5","datavalue":{"value":{"entity-type":"item","numeric-id":674197,"id":"Q674197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857dabe11d13e96758cb6779f2ba8a10386fcc1b","datavalue":{"value":{"amount":"+0.7374926209449768","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":"Q1656550$F3733ED0-42CE-4529-82D6-19F781113966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90612a97ab81c74b209aeb9e658e8e8497935179","datavalue":{"value":{"entity-type":"item","numeric-id":5464477,"id":"Q5464477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b3980cffc4e8a52246c79c4a00e8cfd19f0d80","datavalue":{"value":{"amount":"+0.7279633283615112","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":"Q1656550$9291B206-D65F-4FA3-84B3-429C97A51776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a15b13662c776396d9b29a8ca8b590c170fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":2963874,"id":"Q2963874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115612b2ce4fee2b5948a39c06919c1e17842bf0","datavalue":{"value":{"amount":"+0.7238461971282959","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":"Q1656550$427374EE-0A0D-4145-9ADA-82C5EC71B459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edcaba40c26ba6d8ab33d9c18f107e4f8d976f2","datavalue":{"value":{"entity-type":"item","numeric-id":2909731,"id":"Q2909731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada3e9f66d2e5fc07bdd201b1e3d431e1b58dcfd","datavalue":{"value":{"amount":"+0.7218539118766785","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":"Q1656550$3651A559-E4C9-4564-B382-20345173F502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6520965125b9733f98ea57937d4c074fa1343dfe","datavalue":{"value":{"entity-type":"item","numeric-id":2017761,"id":"Q2017761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cbc3131cca082d8eba1ae2d8f673db251c2f25","datavalue":{"value":{"amount":"+0.7202109694480896","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":"Q1656550$4AF5A537-9D24-485D-B03C-88679691E264","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Event algebra for transition systems composition application to timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Event_algebra_for_transition_systems_composition_application_to_timed_automata"}}}}}