{"entities":{"Q4992511":{"pageid":7022088,"ns":120,"title":"Item:Q4992511","lastrevid":91061591,"modified":"2026-06-04T22:09:34Z","type":"item","id":"Q4992511","labels":{"en":{"language":"en","value":"Weighted automata and monadic second order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356856"}},"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":"Q4992511$24D0CD8B-0775-4A1E-82D5-260983CA8A64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02360777a6fc898542eb6d13afe224081cb75dce","datavalue":{"value":"1464.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992511$CAB27626-FBE9-442A-BF90-24AD80EB5EBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ee1793bfef27b918e6fb9ee83f5e8b0d9a12b6","datavalue":{"value":{"entity-type":"item","numeric-id":782575,"id":"Q782575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992511$552BDAFF-A15B-420F-A175-4F20FC5601DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992511$030C2CFB-8F27-45A1-B192-F0B116796336","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77b5c623a3a71eb9e2cd375aecfe8a36962b32c7","datavalue":{"value":{"time":"+2021-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992511$7DCA65D8-2D59-4F1C-9058-15F80F1860B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c22e096b48900d1d21f62628e76289512a2044f","datavalue":{"value":"https://arxiv.org/abs/1307.4472","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992511$3A559D4F-1B20-42D5-B48C-B17E217E8AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef770f9e9c402e240b0d73cc68e4260266426946","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2013.12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992511$017063C3-E307-481B-A5E3-49FE172D4F84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992511$E5483E41-9E78-4B6A-A79C-6F48D3944DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992511$EBEB20CD-7061-4690-A6FA-770014DBC771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6bc9755cbea8a820aa2e3e818c2609a3f132ca9","datavalue":{"value":"7356856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992511$8B0685D5-B046-4F6C-8776-BA1AF68F1304","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":"Q4992511$4455554B-8AB5-4809-8313-E942EDF7BDBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b035386239cfd5fbc2fbbebd44d0d89b58911d63","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c236509f31bbdbd9ebaf97de8993f50d14a0ff","datavalue":{"value":{"amount":"+0.8317786455154419","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":"Q4992511$F4F1257E-22F8-4BEA-8E0F-2384C80381F7","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":"0643f509123bf3c7fb42edfc2d7ca738bb3f16b5","datavalue":{"value":{"amount":"+0.8262777924537659","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":"Q4992511$7573190E-DF97-4248-90F7-279B1065D98D","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":"26764d9749c084ae78a8dd3d513d6af7b1e89baf","datavalue":{"value":{"amount":"+0.8253579139709473","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":"Q4992511$C8EFF53A-17D0-421F-97BE-1956E1816189","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":"03a772210c0b0d20fb01e3e7f9764b0af012b369","datavalue":{"value":{"amount":"+0.8195431232452393","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":"Q4992511$A8274426-5748-42EE-AD30-26ECA43949E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a23548465a144333ab9a1bd5d22435d09073f32","datavalue":{"value":{"entity-type":"item","numeric-id":5046590,"id":"Q5046590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed4416adfbd3b3650e2c91ae0727313319b129e","datavalue":{"value":{"amount":"+0.8130878210067749","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":"Q4992511$602DCB9B-61BB-4BD6-87DA-CF0D43946E65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weighted automata and monadic second order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weighted_automata_and_monadic_second_order_logic"}}}}}