{"entities":{"Q549202":{"pageid":550969,"ns":120,"title":"Item:Q549202","lastrevid":51286439,"modified":"2026-01-17T14:51:00Z","type":"item","id":"Q549202","labels":{"en":{"language":"en","value":"Metrics for weighted transition systems: axiomatization and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918243"}},"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":"Q549202$C15539E6-423E-4773-AAAB-E277D16ACAC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b28d589513e15a7a4c45c8acfdb131f584ae25d1","datavalue":{"value":{"text":"Metrics for weighted transition systems: axiomatization and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549202$4B8B58CD-1141-4B7A-94B2-5C000D9DCFB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a38646a3ddddbb3eac49aa0cd7f8519d1610969","datavalue":{"value":"1216.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549202$92B5EF9B-F5BC-46B0-83FD-E1399B31D1FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$7010BB2D-0F49-47EF-995D-5F769FD60DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d593a3f17da7d326f296f22b84d634c66abdfa50","datavalue":{"value":{"entity-type":"item","numeric-id":549201,"id":"Q549201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$F6870A1E-3018-44B3-B0E1-A8B140533A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$8F27B815-9703-4695-98BD-74CA5AC66D74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$8D32463C-355B-4508-976A-D0DBA0FAFD52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549202$C0A52889-F25A-4FDB-A3D9-438B7A24DD55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b25aaa4cccdc9bb7f6c13dbfd87f8290ad85677b","datavalue":{"value":"https://hal.inria.fr/hal-01088055/file/tcs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q549202$777E86AE-6F90-466F-BA98-2AC9B2CB9C5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549202$9417E3D7-7E22-4351-A9C3-BB7D521765F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549202$C0F570E9-BD86-4E5E-87C3-B0ED5A97E63C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbb80566e019a02d519dcc36ace1a5862fa445e0","datavalue":{"value":"5918243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549202$64956EB3-AD9D-4FAF-AB7D-54E087C39CBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134daa3659a10cc6945e9cd5656071ac47b34847","datavalue":{"value":"weighted transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q549202$E4193EA7-1568-446A-AB15-4E5713946945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1b0b99a3f753b5f8ac8fd6e7702b02b4f85fe2","datavalue":{"value":"system distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q549202$D001712B-6E5F-41EF-8B38-D46D5F784488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q549202$F848BB9F-592F-4D6C-82D0-7A999742DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q549202$46D79944-28DF-4313-91D2-A325C281CF28","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":"Q549202$2BD0B6A0-CF89-440B-B333-E7E0B499AE3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"635a3859970eae2e82337632a1cba801959d9be9","datavalue":{"value":"W2092216144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549202$4C7D24AC-0A63-454F-918C-E810EA5B1494","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$AEFDE02C-4DAB-4724-B381-967658B6FFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5964ee821a589a1bd8e7ebea46211c9ae2aee2ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584934,"id":"Q3584934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$53009EEE-16C6-44AF-8248-FF63F23FF9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc619965c66a74b47a0342a5a69ac646fa9335ec","datavalue":{"value":{"entity-type":"item","numeric-id":1187025,"id":"Q1187025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$B47ADC3E-C41D-4288-BF17-39ED79A0FFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702c441c720b9a969dc2355d5781065319902823","datavalue":{"value":{"entity-type":"item","numeric-id":4943548,"id":"Q4943548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$CDDC77B3-E658-4723-974E-DAA1E5703E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$1135D950-7852-462B-9D75-EC4173A12252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7ce139f0a66352d43c1745632611b09377b14c","datavalue":{"value":{"entity-type":"item","numeric-id":2970258,"id":"Q2970258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$3728EF05-5C7C-42A3-9776-76AD7DB7E389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3242c0d1a266e414c60988f553e4fc8e62c5325a","datavalue":{"value":{"entity-type":"item","numeric-id":549202,"id":"Q549202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$442C181F-A961-49FD-AB40-57106D651875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$FCDA69CC-130C-4EDD-9EB2-FFE9188615E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162ad88a2aef39b6356dfc2373b4f5d2f1931126","datavalue":{"value":{"entity-type":"item","numeric-id":1978482,"id":"Q1978482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$08705045-9B42-4F17-B79B-7C9D4229BEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$2751B9D5-4CCD-479A-9B44-F006DF64C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$A5BD85F1-0322-4612-9CDD-C4EBD971534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$96D826FF-C1B5-46EA-BA71-284CDEED46FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39485e068db83ea87e9e8e4f1bcd905244f225d2","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$85AF1D1E-5150-4654-AFA1-252CF559623D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017b4f06ae22ea03f6f9eef6a68341ae4af54451","datavalue":{"value":{"entity-type":"item","numeric-id":4373413,"id":"Q4373413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$32C682FC-ECA9-4C6A-8441-7A41BC9AF3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$77DB423A-3401-41F5-93DD-09580CC04892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad92bc68ef2b5b87a0ce4a66fe217bd86a163d0","datavalue":{"value":{"entity-type":"item","numeric-id":2956669,"id":"Q2956669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549202$01B46139-25E1-4B99-8F2C-4DD7984AE8D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddd0cee8b5a8a6846ccc53bf1924d5b3f0d86d83","datavalue":{"value":"10.1016/J.TCS.2011.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549202$DA03F7B8-55AA-4E6F-9993-83FB6275AE96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271fdb95fb59db752b2013c5d25683f13f18c2a5","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45eaf5465d811c739e108e4b828df966b01cfb27","datavalue":{"value":{"amount":"+0.8487960696220398","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":"Q549202$BA658132-7A5B-477C-8665-41612C083744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8d5c0920b4ade56f7ede7bfe2e51c0bcd7df8c","datavalue":{"value":{"entity-type":"item","numeric-id":764284,"id":"Q764284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1489dca236e154d8b0f206eb89997d732276c3","datavalue":{"value":{"amount":"+0.824222981929779","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":"Q549202$977E9BAE-BCDC-454C-BA5E-08473269985A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fed3de8853f1fab1b629295a11383a9cca00b09","datavalue":{"value":{"entity-type":"item","numeric-id":3584934,"id":"Q3584934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa379f00cd201e169e808d061630af0b78fe28f8","datavalue":{"value":{"amount":"+0.8229546546936035","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":"Q549202$B265F537-2D1F-4480-8213-D60A3FDE29A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f3b6eb92d048405e7a5111c42f9af2bdc80f68","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237663c490c1c92b67cab88c8cbc3f471a9de8b8","datavalue":{"value":{"amount":"+0.8141179084777832","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":"Q549202$E070FC57-D0E1-4BCF-BBFE-0FD1324EFDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbbca736c4e7ae4a8bd9e47a4faf6f0bf0ae2db","datavalue":{"value":{"entity-type":"item","numeric-id":4965817,"id":"Q4965817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aece1b45471bb50731572961834f4959f94be9c","datavalue":{"value":{"amount":"+0.8133327960968018","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":"Q549202$52923363-33BA-46A5-ADBD-28DA0CACCACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:549202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:549202"}}}}}