{"entities":{"Q845080":{"pageid":846928,"ns":120,"title":"Item:Q845080","lastrevid":50896703,"modified":"2026-01-15T15:36:36Z","type":"item","id":"Q845080","labels":{"en":{"language":"en","value":"Weighted automata and weighted logics on infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666478"}},"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":"Q845080$EEDF42C7-ADFB-469D-B188-55482F4EB1FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd4fc52817cd1e18c95cf36f85a6de8b9c93153d","datavalue":{"value":{"text":"Weighted automata and weighted logics on infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845080$91FE8729-6848-40D6-B33E-5BD15DCA85A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41769019197fdc03f82b191faa2f972fd4c2baf6","datavalue":{"value":"1184.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845080$DD659F8A-F76A-4595-863E-3142E2C19F7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e28fb0d0c39941231dc6ad0a8190fd0bf7617c5a","datavalue":{"value":"10.3103/S1066369X10010044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845080$BDF1B4B4-4402-4E62-BB59-E5078D8815C0","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":"Q845080$5967E7D7-D3E3-4313-9E60-37E2DC260766","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":"Q845080$DCEA2155-DBF2-41DE-B5B6-23FB347B1AE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845080$3CF669B3-DFE1-4901-991B-DB3498A31C89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845080$A06DFF61-AB8C-4B32-906C-F113F645CD81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845080$B7200AAA-27C5-4DAA-9B48-97CB52F472F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed886257397d24bd6486b188201c4870aba91bc9","datavalue":{"value":"5666478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845080$D2312E78-67EE-49C1-8569-6B90C0DB6253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d48d42f6cd086240cf9da32aba84bfb51ed475","datavalue":{"value":"weighted logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q845080$A02E733D-2709-44F4-BBEC-1202DB6F05C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3301f415e49503c5a28097ef0c2c8fe3e3677443","datavalue":{"value":"weighted Muller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q845080$BA1C548B-2696-499C-A162-BF1ED4C06156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e468455f86e63a9ceb557b29c093e7b1c5678b7f","datavalue":{"value":"infinitary formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q845080$2D0D51C2-5DF8-4E84-8D15-6E477A366678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73119f79f3565e4e97e44a16202ef761da44acc4","datavalue":{"value":"weighted B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q845080$D174F6F1-8F5D-4A55-B3DC-41260A5F8071","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":"Q845080$6986EDE5-0F90-4ED9-838A-C556EBFCA6E2","rank":"normal"}],"P223":[{"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":"Q845080$80A3FC60-E41C-43FB-8FE7-0AF97871171C","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":"Q845080$59091001-44D2-448E-A3B7-21CA3E47215D","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":"Q845080$01FB39AB-4155-4333-BDB5-A820FD1C534E","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":"Q845080$94AB9AD1-EFBD-4E13-9F96-D7B129042C0A","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":"Q845080$CC2F8E75-D503-4805-A703-D90E985C21CE","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":"Q845080$0A3235F8-B2B5-4EF8-89C3-B3DEDAB7A2F1","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":"Q845080$A67BEE99-E039-4C77-A38A-73E9515C99B7","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":"Q845080$B046A008-DAE6-47A1-9C7E-B04911816402","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":"Q845080$316A4D10-C351-4A19-935A-1A75B86F4632","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":"Q845080$920B77F8-0371-4BBE-983F-FABFEBA09547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e549244c01e4ba650b2621e6a3a0b407f33cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5297785,"id":"Q5297785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845080$9AD341F9-49F0-45E8-9C0D-74BEAEE30883","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":"Q845080$5B844F71-A630-4B31-B3FA-42B27644577C","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":"Q845080$3BDF7E06-0998-4411-9A24-38643D95033A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f4d348114b6679bbbbe9c004d46b8a1f1fa708","datavalue":{"value":{"entity-type":"item","numeric-id":1602551,"id":"Q1602551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845080$52F1E453-7897-4232-B40C-CE64363C6F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfc5ff6e08dc028858fb5222ce7371056a9f4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2493980,"id":"Q2493980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845080$22FF4CE9-41B4-4DF3-B138-A731AF8F539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260b5cf349ced6f34e67ff61532ea26b6aa54aed","datavalue":{"value":{"entity-type":"item","numeric-id":2386263,"id":"Q2386263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845080$2C1FB012-5917-4B73-A8A6-B118CB98FC4C","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":"Q845080$BA0301FE-E2E7-44A8-80FF-A581259F2FE0","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":"Q845080$F3EF0E07-14AA-481A-919F-A4AC6C1E2864","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":"Q845080$E2FA2B02-03CB-4EA3-A637-E2406AE3B079","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":"Q845080$1C05ABC5-4D0F-4CE1-AC89-BEFC158D5A65","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":"Q845080$555BB824-6A02-4D79-80C6-225A45204EBE","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":"Q845080$598ED3F0-5BD5-4E16-ACD0-E48A17355154","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":"Q845080$E2404BAA-B2D4-4AAD-8A2A-A2CE1AD78DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a5ece79440aa74c216eefb92d76c0b60c79be8","datavalue":{"value":{"entity-type":"item","numeric-id":2460063,"id":"Q2460063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845080$6796EF09-197E-4DA5-B614-4E0CCAB1082F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fba2e556a03bdf963c21c496d6c1c146f3924ad","datavalue":{"value":{"entity-type":"item","numeric-id":3617045,"id":"Q3617045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a999bc7e3bc9b89cd2e48f379fb6e817e4a64a62","datavalue":{"value":{"amount":"+0.9999995231628418","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":"Q845080$BE8B3188-7078-433B-A617-BC1F276A9ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe0adc001938032a878879ef75ace6a3d70ea12","datavalue":{"value":{"entity-type":"item","numeric-id":3515223,"id":"Q3515223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5247502aa251b0d911b77f5a6a69c6b3946e68","datavalue":{"value":{"amount":"+0.9096726179122924","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":"Q845080$0ADEB414-4E14-4AAE-9F89-F9D815A54E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0846ae175b69334926f31411bab53894b7241f7","datavalue":{"value":{"entity-type":"item","numeric-id":5072547,"id":"Q5072547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7033ff5405c5d28545525683589242c41f7e8e76","datavalue":{"value":{"amount":"+0.8711450099945068","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":"Q845080$5C5FEAB8-EF40-43F9-B4DF-2E34A85F109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30be0e5fb5bbe361f75d65775348cf04f57219","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74411340e3ff4e3274f3b4a6aa538a8c9fc02bb1","datavalue":{"value":{"amount":"+0.866773247718811","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":"Q845080$BF089AA6-BB3B-4D67-87DE-D1CD8375C598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981b4743b60667d5b5ce5443a9c69e5cfef058b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716802,"id":"Q5716802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abaaa1f9e99c1d381d17d42f4a3fb97251d1e02b","datavalue":{"value":{"amount":"+0.8667269349098206","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":"Q845080$EFD79DA1-40FF-44AA-B12A-2F5FC0C71979","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:845080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:845080"}}}}}