{"entities":{"Q840767":{"pageid":842615,"ns":120,"title":"Item:Q840767","lastrevid":64736391,"modified":"2026-04-11T21:53:07Z","type":"item","id":"Q840767","labels":{"en":{"language":"en","value":"Weighted automata and weighted logics with discounting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603649"}},"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":"Q840767$2F95A17D-4B2B-49C7-89E7-167069C24A6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"325c17688ad3cb9ecf47f1f085098eb8123aa6ab","datavalue":{"value":{"text":"Weighted automata and weighted logics with discounting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840767$27818118-0E06-4E99-B24F-8368576F6363","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9eb20f1e197cafccf71218be0d60dbba28d48dc3","datavalue":{"value":"1191.68382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840767$6B5C38BE-0D8E-42B9-B7BA-475D83559D07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$288481E5-0BC3-40A9-B8ED-47BBF754073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d79224a0bb7d47cd94834d7448415ebd971105d8","datavalue":{"value":{"entity-type":"item","numeric-id":551197,"id":"Q551197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$58D09F75-35CD-4F77-B0BA-2AFB588A218C","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":"Q840767$85901922-A7D0-4621-94B0-0F297C58C9F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da6f74ec6337139bbc2c0c55bd8fb986e578b38","datavalue":{"value":{"time":"+2009-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840767$2D87E4B2-7CDC-4960-BBD8-522DDD726FA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840767$9EDD07E9-C9C7-41E0-9E6F-47839E69C397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c286fe43f1f96b40f3a6a8869d55297695ab1e2","datavalue":{"value":"5603649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840767$102E50B6-B5DE-4AA7-B7F1-6292B5BE21C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q840767$8FDBC8EB-89EF-4CF9-AD1B-0CA5BCA97A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23952327941760359ce0aeee30d647d24314a3aa","datavalue":{"value":"weighted B\u00fcchi and Muller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q840767$47B674D2-DDF9-4276-B7C3-3F40E037C305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q840767$1FF55FA4-A240-4B08-8FE5-1B03BD2D4DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"987c6f511a1dc3da2567dcd55564824ccdfdfd22","datavalue":{"value":"weighted MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q840767$D9629EA4-9177-48E7-9597-799C61A6FE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a99c658905e5cf11d3464c908605f4500185621","datavalue":{"value":"discounting","type":"string"},"datatype":"string"},"type":"statement","id":"Q840767$892800FF-3E21-4B11-A664-6DF09102CE9F","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":"Q840767$6E2D0F55-1217-4F74-B65E-0CC79D3F756A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"879e2240c153b8eee4b1e2d2c82391aaa4ca8818","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.03.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q840767$B08B935B-F3F8-49AA-8D5B-294983FB499A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90500a4d6c142695670ceebb8fd49844e7d19a10","datavalue":{"value":"W2119375992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840767$9CB53029-A456-4B85-82F3-98133A9B58BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$556635B1-3C61-4DAD-8F3E-4C19BFC51B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$82ECBEC3-F6A4-4C29-9375-33B4FD44DD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$C3F76A10-C974-42C9-9EFF-1CF03D96489E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123f5e06466310d3f5c71ee2db285a537d74e964","datavalue":{"value":{"entity-type":"item","numeric-id":5434498,"id":"Q5434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$8E3C8C6F-BB50-47DD-9BEF-4ED758114CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3612f9b7872d4fe9b00cd76f3782e192adcab1","datavalue":{"value":{"entity-type":"item","numeric-id":2706122,"id":"Q2706122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$216C4C06-F18E-4F17-A94D-8794B1820B39","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":"Q840767$4A5540F0-F244-4D45-B809-52937088B726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$48303F9A-EBD2-4773-9853-20EFE31309AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bb8deb4105caa9442c9e3609243ec168605dfd","datavalue":{"value":{"entity-type":"item","numeric-id":4305358,"id":"Q4305358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$3069DB35-233B-4298-8537-26BDEAA3B44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$9B784464-E07F-40EA-8220-44F4145EDFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$097F6510-4D33-442D-B5B6-6A2945382BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ecf0e7c74ad29fb23509b3a28a532ae7d4d82d","datavalue":{"value":{"entity-type":"item","numeric-id":927397,"id":"Q927397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$A94DD161-4371-4EDA-8278-2D3830517DEA","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":"Q840767$A25C48FA-09C6-4B0C-85C3-80424674EC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b5f6a812551a19aafa5350df09b6baeeae700f","datavalue":{"value":{"entity-type":"item","numeric-id":860889,"id":"Q860889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$2EC74A14-8F0C-4A3F-AA26-8C04FC6454B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6266ee40a107930ddb6e141994034f47f831c556","datavalue":{"value":{"entity-type":"item","numeric-id":3617045,"id":"Q3617045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$3AC9C3EA-807F-4B2B-8CB6-F59C401BDCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04affc1f26ba464db952e6838fed20ce621f9c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3503896,"id":"Q3503896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$F07D95C3-91AF-4D44-A238-E1370DE2CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50107b4ed25b6e996b6926a6f80a096d372ee21f","datavalue":{"value":{"entity-type":"item","numeric-id":963467,"id":"Q963467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$2CC119B6-9614-49B8-9DA3-78ADEC48A3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6034459693441a1328a028647928f4d5eec6fc1c","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$F907582B-3609-4CEF-936D-2609E4DA2707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af53cad56838a221d1ec96c534dc8d447ac33b19","datavalue":{"value":{"entity-type":"item","numeric-id":2429720,"id":"Q2429720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$88103F91-0000-438A-90A6-79B712EEF906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$74E1F9BC-FC8B-4117-BBCA-C32ADF667AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$BCECDCD2-0D88-404C-9045-2E8F748A41D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b173c8f26a3c9eaf0d364be27435c435277355b","datavalue":{"value":{"entity-type":"item","numeric-id":3431478,"id":"Q3431478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$C2597F04-DD13-49BF-8BDC-2052F7575160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf974818a62e9192b1f9ab686210be9a7940362","datavalue":{"value":{"entity-type":"item","numeric-id":3431479,"id":"Q3431479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$35DBECAB-6221-4928-88C7-7C0708E3B38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49dc506e8ef0be80c3e9ef436058d212d0d160b6","datavalue":{"value":{"entity-type":"item","numeric-id":2429722,"id":"Q2429722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$C0DF70AD-AC8A-4C17-941B-1D570BFDBDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5142ee1d620d0b4118f77836a47316b18c6d1122","datavalue":{"value":{"entity-type":"item","numeric-id":4382287,"id":"Q4382287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$26FEE76C-696A-4EBD-9C8E-C533C0278543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1cac3d64e1a21d80cbd72fab20dc6a501dd158","datavalue":{"value":{"entity-type":"item","numeric-id":2766855,"id":"Q2766855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$DA213A6C-C167-4652-A286-F63454A885D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4864c48578bc17fdc12bcc55684bf742669ee818","datavalue":{"value":{"entity-type":"item","numeric-id":5936849,"id":"Q5936849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$992A8260-0DF7-4E54-8B90-94C92F534313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f4d37d53db2925f92864a11c01a61286cd723c","datavalue":{"value":{"entity-type":"item","numeric-id":4316608,"id":"Q4316608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$EC5B0517-66FF-4B3B-ADA5-70516692DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$4BA70185-0FA1-4CF5-A53B-579A9E337170","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":"Q840767$CDBCC318-A628-44A0-AFDE-45350A296D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$DA84D1D2-7042-4EFC-B9B8-AEB2671DEBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802fa16dd849b709f8453e66818db125cb4f0db7","datavalue":{"value":{"entity-type":"item","numeric-id":5428243,"id":"Q5428243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$21F19474-8BCC-4EA1-99E6-4580F6FBF562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aec100dd463a14d7c0590bcfcb94ababf6d061c","datavalue":{"value":{"entity-type":"item","numeric-id":3519504,"id":"Q3519504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$1C27062F-6117-420D-9A1E-19872D36C01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144c0cfcbd8bc511c61a64ee1d288413a2061931","datavalue":{"value":{"entity-type":"item","numeric-id":5449809,"id":"Q5449809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$BF093F9F-A19D-428A-8C33-9DA5FCBCD893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$08D3F0DB-E620-4E46-8F73-38821DABF989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5286393ee0506c8fbc6acd503aebffbdede40555","datavalue":{"value":{"entity-type":"item","numeric-id":3434698,"id":"Q3434698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$9FB832B1-63AF-46D1-BD93-0B359D192E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e32077cca6f0b53f1fcdf52baac91b02a9179d1","datavalue":{"value":{"entity-type":"item","numeric-id":1575905,"id":"Q1575905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$F0FE7BBD-2F23-46ED-B311-5B757CAFCC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$FDCF16A5-1EDC-447D-9AE7-A215DA841096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d0f30748fd8a3bbebd86505be43529eb35243a","datavalue":{"value":{"entity-type":"item","numeric-id":3515223,"id":"Q3515223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$D5907C95-736C-42CF-9062-B2D6DDCA1D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$49F21EDF-6CCC-4A95-8399-6E0701FC974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$CECF27BE-0687-4CED-A6D0-809085BDC20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e0e65bc0258e3fb24301d38f9385a7e4dd4333","datavalue":{"value":{"entity-type":"item","numeric-id":5820908,"id":"Q5820908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$733D44F3-BCD7-4566-BE39-E4F1DAF4DB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$99DE57BF-4923-4512-B3E7-4B2D83D78ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3d72d6f067eeebf02882fdf0a5f1edb3452f80","datavalue":{"value":{"entity-type":"item","numeric-id":1155513,"id":"Q1155513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840767$D84BCDFA-9C23-4250-A8C4-70FE6A6023C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"babdc8b21ba3ad53235bf8b24897bc0027f2df4f","datavalue":{"value":"10.1016/J.TCS.2009.03.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840767$CB84DD46-8B2B-4F62-9EBC-59EAC14BD3D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482d6c9e9392f4679a550639d84c476cc959b03b","datavalue":{"value":{"entity-type":"item","numeric-id":3503896,"id":"Q3503896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c099f3192ce200bd1d086ea6f8c00fc8fb5af21c","datavalue":{"value":{"amount":"+0.9992239475250244","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":"Q840767$DCF0B468-1C93-40B0-97CF-98DF72015302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fbf3784cc550e3c17dd38be772becfe0dd8d47","datavalue":{"value":{"entity-type":"item","numeric-id":2914725,"id":"Q2914725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab7f6a852b48de84192b151c52cf9878492c537","datavalue":{"value":{"amount":"+0.8975076675415039","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":"Q840767$3BBA77A9-3161-4025-B387-AA560E823219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be70a393a9f5af8d445a9a8b0c9ec5686c46b8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2453983,"id":"Q2453983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44e27594d6278ea2def536b515c96c977dffd5a","datavalue":{"value":{"amount":"+0.8918408751487732","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":"Q840767$0A8CC108-BD8D-48BC-B116-6AB458C0E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947c7699810353d85656b3ffe476c0649a9413ee","datavalue":{"value":{"entity-type":"item","numeric-id":963467,"id":"Q963467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf2390583d10308fdf3bc45e4a96e6da2d25af1","datavalue":{"value":{"amount":"+0.8830831050872803","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":"Q840767$AB3FAA56-29E1-454D-9811-87C16C7BEFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db26bab9085c46609d78683548c62c9454cf4da","datavalue":{"value":{"entity-type":"item","numeric-id":3077193,"id":"Q3077193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880c53e887ebf09d86b64e592a57a76eb8410348","datavalue":{"value":{"amount":"+0.8698577284812927","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":"Q840767$EBA582CE-7BFB-4D60-ADFD-8957EC4219EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weighted automata and weighted logics with discounting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weighted_automata_and_weighted_logics_with_discounting"}}}}}