{"entities":{"Q2576580":{"pageid":2587323,"ns":120,"title":"Item:Q2576580","lastrevid":48612031,"modified":"2026-01-05T09:30:00Z","type":"item","id":"Q2576580","labels":{"en":{"language":"en","value":"A refinement-based process algebra for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238123"}},"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":"Q2576580$39F0498D-5FAF-4EA9-B8D3-88A22C6D8C94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c6658e93b65f126799beb81227d7c3a06995c41","datavalue":{"value":{"text":"A refinement-based process algebra for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576580$79717AC2-71E3-4ECB-9AE5-A94684159A2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77a42fb11ec3e54324a4d1d8d132c9fec101a156","datavalue":{"value":"1101.68694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576580$7DA29418-D493-4A17-A9E9-D7A5632C7BCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85290da27c522907c743a2a78d0020a2651f5609","datavalue":{"value":{"entity-type":"item","numeric-id":2576579,"id":"Q2576579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576580$18BEB39D-D305-48B8-BDDB-046F5EFC0A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576580$600EFFB3-B5BF-488E-A3AA-0C3323C6C7DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576580$C34385C0-F1B8-44B2-BCDE-3BBECF7A30C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872b3ec3e8824551f65a9a9d299f4b9d6894a9ac","datavalue":{"value":{"time":"+2005-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576580$4E420BE4-0AA9-4810-BFE3-FEC9030ECB42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576580$0749E691-5AF6-4E53-8616-D3FD66F9F368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b7c682811251f0d021d209c6fe2521d0eb1de9","datavalue":{"value":"2238123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576580$EE11CA20-0814-42FD-990F-62AE1B4B0D90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e306b0186d4b4c2cc9814a389419c317c5e1e0eb","datavalue":{"value":"discrete trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576580$C41245E0-05BC-45DE-A298-FA9E4C880371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f830fd5bb668245e8764f90d6b0cabf1a6e52f","datavalue":{"value":"failures semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576580$0EF4076A-FD62-4A85-B83C-310A0B2002CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576580$B46BDC95-A5CF-4057-BFA1-9C095C6BEF3E","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":"Q2576580$A70FA219-5B65-491F-9958-219EA52C7412","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56f209dfbec597806430975fdbf0fe840c776fd2","datavalue":{"value":"https://doi.org/10.1007/s00165-005-0064-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576580$7DA97798-A307-49B0-BAF5-376191CD28C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"014a91bf06c3d0f89bd04a9298833c7777a076ed","datavalue":{"value":"W2040558780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576580$033DDCEA-B066-4F58-8F00-80B9F4F7B514","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62bb75e138314f5a1202ae16b51ce05355fe0ae4","datavalue":{"value":"10.1007/S00165-005-0064-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576580$2184BDD3-5421-484C-A428-0D24DB23AD56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781dcbe6737294de95dfe2e28ccf1ab07c8f110f","datavalue":{"value":{"entity-type":"item","numeric-id":2844829,"id":"Q2844829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b3ba2cbc84814e8d570ae2d5df4ad36b42f82c","datavalue":{"value":{"amount":"+0.8260021805763245","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":"Q2576580$FAE8488C-B06F-4CCD-A706-6C9FE2F7F02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186198c48f284aef81d014d32b15ba83e7ea6e68","datavalue":{"value":{"entity-type":"item","numeric-id":4550809,"id":"Q4550809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a660acdc25819ad1fd5e8722403d9d7adf0971af","datavalue":{"value":{"amount":"+0.8187194466590881","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":"Q2576580$94D24DC3-9A93-4470-A85E-EFA3A3C6FF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3944cdeb91080ea26c2459a3c718cb299a94e16e","datavalue":{"value":{"entity-type":"item","numeric-id":676846,"id":"Q676846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea27dbd3482ee73b19f0915200308b2add711ec","datavalue":{"value":{"amount":"+0.8159130215644836","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":"Q2576580$E5E76541-3E69-4B4D-9AE1-628B99CB35C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317ecfc49be59afa8f00e3daaee351230a1cd2b7","datavalue":{"value":{"entity-type":"item","numeric-id":5890047,"id":"Q5890047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4886866ebacf3ceeabf9df366bd0a5ad3638e0fa","datavalue":{"value":{"amount":"+0.8135353922843933","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":"Q2576580$74BBA21C-E7B2-402D-825D-C5734F3B6FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be6a93009a71836c81c4c429a9dcfc4072ac561","datavalue":{"value":{"amount":"+0.8055179119110107","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":"Q2576580$205BDF65-0FC3-422F-A21B-04DFE3F998A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576580"}}}}}