{"entities":{"Q2447758":{"pageid":2458501,"ns":120,"title":"Item:Q2447758","lastrevid":51988262,"modified":"2026-01-20T16:56:38Z","type":"item","id":"Q2447758","labels":{"en":{"language":"en","value":"Bisimulations for weighted automata over an additively idempotent semiring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6289927"}},"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":"Q2447758$09FB5D0D-E3D9-461E-AB4E-409DCBD94467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65dc59666d269b71a54dfa6af6d210b7b4d0ad1f","datavalue":{"value":{"text":"Bisimulations for weighted automata over an additively idempotent semiring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2447758$E7F64DD1-7D12-4792-A521-A9EC5E567F30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd83f0a99038453724fc6b5fef1fb6fde49d61c4","datavalue":{"value":"1359.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447758$6D23A658-D298-4ACC-9439-81DFBCA62E85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff044cfdd9c78d999a540e76f740291c170129b5","datavalue":{"value":{"entity-type":"item","numeric-id":423145,"id":"Q423145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$A0448A1F-4EAE-4E62-9A44-2E9DCA3775D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c60bd938898689adab68c7f7e96b549b46942","datavalue":{"value":{"entity-type":"item","numeric-id":202019,"id":"Q202019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$80FCD972-47C6-4FDA-90CF-05F7FD2122DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9dbd12835b91871f4a94dc70c67c6b779fe435","datavalue":{"value":{"entity-type":"item","numeric-id":277557,"id":"Q277557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$23C11ABB-9593-4DA6-B7CC-106E1DAFA944","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":"Q2447758$F048305C-1B26-4956-A5A4-05AEF1E939B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23041ad0e28c684647ee3157226d262337ca2ff1","datavalue":{"value":{"time":"+2014-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2447758$A70328CD-DEA9-4BE3-BB39-C358B45725B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447758$B7C6FE10-B5C0-4275-9E53-09D6ED09E51D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"215fca9d76fba020bb3a3c6446f6bcacd5cb1adc","datavalue":{"value":"6289927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447758$2F6FAD29-F88C-4788-894D-F453E313B74E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0bb41d8362ed9653d7f982793705be2f306716","datavalue":{"value":"weighted automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447758$CF14C817-1E2F-40FD-8BE7-FA92D16022FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c576ca83a9d335310a85096107b05fd602b391","datavalue":{"value":"additively idempotent semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447758$3AD566E4-DF4C-441F-8E34-A53C09CC0586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916087346d4b315aeb9bc2de87629d129d38983","datavalue":{"value":"Boolean matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447758$0E7A3F06-B865-4EFB-98B1-C179D13B16CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447758$FE3AD2F2-7A01-457D-A107-998800892B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447758$6B94E7C3-4388-4CF9-9915-4EB62AC9DAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16c489664a300b5b5ceb4bebf9b64a57664e118","datavalue":{"value":"factor weighted automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447758$B7E0AAF8-4790-4081-B941-10A7AEAA5A46","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":"Q2447758$6FB0F9DA-9EBE-48DA-9EBA-3FAE682704E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9202fd36cf29388d6a1e028984a735ccaa571de7","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.02.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2447758$5B0B8B2F-42A6-4AD4-AA31-C2C264617C19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"820d365e201040ac5552be7013ebf9bc2154aa45","datavalue":{"value":"W2053718620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447758$531DCDB7-5F2B-4C15-AD90-C2B8DFF968CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$D4DD438E-03E9-4D33-B9C7-0304E02FDDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3581cf3750093453bfeab4e45a7e007e450d20","datavalue":{"value":{"entity-type":"item","numeric-id":2841524,"id":"Q2841524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$A80439C9-6E0E-410B-BF17-7F5DC6EBAD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32948d3ff372c19a8bcb951a15d46cff7f662184","datavalue":{"value":{"entity-type":"item","numeric-id":5716792,"id":"Q5716792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$8DDB4C91-52ED-4ACD-A4D8-A5D52D194C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ddf410bd8bbe965ffc31aea58a5407e7f6f9a9","datavalue":{"value":{"entity-type":"item","numeric-id":3434682,"id":"Q3434682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$13402DCF-BA18-43C0-9131-B71D9DA10BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09abea514e4ffebfee25f25ea21e16e103e40e50","datavalue":{"value":{"entity-type":"item","numeric-id":3452513,"id":"Q3452513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$FDB83C3E-BF30-4076-8D2C-277C1F87EA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c03585c919f775834ab90532fb82457b0178d4e","datavalue":{"value":{"entity-type":"item","numeric-id":1882811,"id":"Q1882811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$4A6A71A2-FFE6-4637-9241-4A40F97699C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$F9773ACA-E8DC-441B-8493-EFB002954A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8fefdfc5327f359c07a5c31793a16b0e7624632","datavalue":{"value":{"entity-type":"item","numeric-id":3114391,"id":"Q3114391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$1A624FFB-4A48-45C5-BEE0-9C458323C938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c247f88e748ca6686c1f48da5b88e2108de6441c","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$5AEE8713-CFE0-41A2-B047-36F623B097EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521baf9e9649c571d09269c7bc0a9e1db3eec213","datavalue":{"value":{"entity-type":"item","numeric-id":3565227,"id":"Q3565227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$5785FC1C-FB75-42E0-B774-8B468160565B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e61608843263b288fbc00a557c547c88994eba1","datavalue":{"value":{"entity-type":"item","numeric-id":903611,"id":"Q903611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$D5ED54CD-C41F-4B61-9274-1357E2012F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d424d1b8235e35618b4dcd0cb8b5cd6fa299c0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1037925,"id":"Q1037925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$E2098958-0F60-4426-8318-CF8BB206C17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c320676ff7c8523622205382f81dcba257d033d","datavalue":{"value":{"entity-type":"item","numeric-id":423147,"id":"Q423147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$C83D56A0-9F3A-4DE1-BFAD-03A15702F3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a09165dd7f9afd347e879ee619c80d9e25db3d","datavalue":{"value":{"entity-type":"item","numeric-id":690916,"id":"Q690916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$87420094-0854-4CFC-AC67-88493433A52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$68B3117D-D373-46E1-A1CA-42E9AAF28514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78ee78ca29e24a803ef6c263b643ea87f81dd7c2","datavalue":{"value":{"entity-type":"item","numeric-id":5053726,"id":"Q5053726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$05E28331-87DD-4004-BCF9-FA6DAE9AC706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6fa1fb8b18d93b9c2ae8e4f7f4b34a862ea3f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2372262,"id":"Q2372262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$4D9D85EC-6D1F-4EE3-B51E-AD1B02CD81A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa0defc28f2aa03c7cac34bf35e27c08ffec9a9","datavalue":{"value":{"entity-type":"item","numeric-id":2455350,"id":"Q2455350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$935A2A71-A833-4766-808D-C7D540848039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$66B95367-FF61-4D04-90D4-2FB6796BF3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9518b9a84143dc5e1d4574d5c93d79d037f805","datavalue":{"value":{"entity-type":"item","numeric-id":4337616,"id":"Q4337616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$85857BF2-62AC-40A9-9CBC-D0DECDECDC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$27D18726-33C2-44C7-839A-3CED6C35B468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b333d6a006acbe0d0ad3eb5e95552416428b612","datavalue":{"value":{"entity-type":"item","numeric-id":1770384,"id":"Q1770384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$E18C2A0F-5254-4A5F-A64E-6305EA9F4A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$B030A622-4C1B-4708-BA51-ABEFECDF1C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a235074156493779c1c25991becd1505519b2","datavalue":{"value":{"entity-type":"item","numeric-id":4807826,"id":"Q4807826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$688D0BB1-2FA1-43B7-8408-6590ABE3F47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$01F00B91-695C-4218-9759-2CD8EAF9E119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447758$2A820B6B-7A7E-4A47-A83A-0C490806F8C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd96a1cd3c600435bffad32023a0e1a5bb05d6b5","datavalue":{"value":"10.1016/J.TCS.2014.02.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447758$ADE76B72-CDB9-48B2-B043-C12E22713403","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45605a2ba20cb33455364ee133f2033f9726d517","datavalue":{"value":{"entity-type":"item","numeric-id":3184672,"id":"Q3184672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6bb8fa7001976a1aa7d530153783c901f95786f","datavalue":{"value":{"amount":"+0.8447957038879395","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":"Q2447758$BCE0E40F-AFF6-4780-9C32-4127EC7426DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f4df0a08558ede48cbb57a054c6f31a4e59552","datavalue":{"value":{"entity-type":"item","numeric-id":4449536,"id":"Q4449536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81ccd38a9a9d6ac1fe8e51e864a093a38583746","datavalue":{"value":{"amount":"+0.843901515007019","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":"Q2447758$C85527F6-8BA0-468F-B78A-3D4C5EC42239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f806186475bb06dc887be39aac804abaf6b6444","datavalue":{"value":{"entity-type":"item","numeric-id":3224952,"id":"Q3224952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e54c1bd0f1c397d8d20b46b49ab2251282f5def","datavalue":{"value":{"amount":"+0.8412157893180847","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":"Q2447758$356ABBF6-9080-4172-B00C-67BAD2394F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5f8b36b499447f7a52c44d089bbc1077666394","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6209bbf98d239c9f2e0c181fbb2752c5deed324","datavalue":{"value":{"amount":"+0.8391444683074951","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":"Q2447758$3EAB4D53-167C-4C8F-9960-51D079A51015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2dc8e742ab90dee15bdd6d3b2a480ff999d0f5b","datavalue":{"value":{"entity-type":"item","numeric-id":3073652,"id":"Q3073652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7831745ebfbf382f9d54d9bab044e93ec5368a16","datavalue":{"value":{"amount":"+0.8354121446609497","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":"Q2447758$530C931F-D325-40BA-A2FB-EE0D3EDE4D3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2447758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2447758"}}}}}