{"entities":{"Q5111228":{"pageid":7140802,"ns":120,"title":"Item:Q5111228","lastrevid":55955332,"modified":"2026-02-21T12:01:04Z","type":"item","id":"Q5111228","labels":{"en":{"language":"en","value":"Monitor Logics for Quantitative Monitor Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204348"}},"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":"Q5111228$937EF0D1-51E1-4B22-8348-B9BB4C41DE22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4b38fdf47e15a1e8efdacd5a22abe9ecc5c8a40","datavalue":{"value":"1441.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111228$2F45BBD6-C894-4D15-B53C-519E631203D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf26baa60354da89b92af4de65505d534048615e","datavalue":{"value":{"entity-type":"item","numeric-id":2048205,"id":"Q2048205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111228$4296EA19-F14F-44FE-8FC8-F7EAFC6E5ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111228$1B2FF247-9A6F-46AF-9242-6B35AECB7FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111228$686D11CA-FB5A-407A-A96F-28659882FE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111228$2E38ABC9-90FC-4429-8A38-597B1A174DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111228$308B3EED-AF44-44F1-8EA2-3DA5C003014C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0f5bf93b24bca745739c10ea57286705e3eb2ea","datavalue":{"value":"7204348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111228$262877FA-0D9B-4238-8DEC-D2FB80472C19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89f080bbba19cb050456b35f1413b974c25cc389","datavalue":{"value":"quantitative monitor automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111228$382FF0F9-87C5-4C14-B706-BC6C89D817DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adafbc59d371fbb9cb00fa362a76795af6c8ffab","datavalue":{"value":"nested weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111228$37815BC1-8D86-43B2-8AD7-61E26DA654BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36214493e21489d8f22e349084da52faa4b5c4f2","datavalue":{"value":"monitor logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111228$ACB5F93D-4CA5-4E29-9A6A-15E4C897F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d48d42f6cd086240cf9da32aba84bfb51ed475","datavalue":{"value":"weighted logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111228$DAD56E59-D242-4D4C-B0AA-59A63192733F","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":"Q5111228$53BDDAE8-4666-41B2-BCFD-1A328260AF1F","rank":"normal"}],"P223":[{"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":"Q5111228$95254255-8ADB-47EF-9CBE-F5007898C338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338c63ab49a5246244eaa117383a255140b2e447","datavalue":{"value":{"entity-type":"item","numeric-id":3540192,"id":"Q3540192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111228$4D3C6838-3F8F-4782-8B69-27752A7A61F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08323ac5367a00b493be73ba55b2d7f145272ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4635850,"id":"Q4635850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111228$EB0C5280-A015-4AB8-80D4-D88AB7B01687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdefee3ccf8abd85094a2b397cd3691e264822b6","datavalue":{"value":{"entity-type":"item","numeric-id":2946335,"id":"Q2946335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111228$67F94242-0570-41B4-980D-2D15C5B108DD","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":"Q5111228$7129356A-E3C9-4982-807F-A329F4C1D1DE","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":"Q5111228$009CF1B9-28FD-4D01-A8C4-34A4F070997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18e7bc242ffce26626cc444668523c99db13865","datavalue":{"value":{"entity-type":"item","numeric-id":1932173,"id":"Q1932173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111228$B5E5AC09-A386-410F-B5F8-E2DB84DE1C9A","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":"Q5111228$3DA1CD34-2F04-4FC0-A56B-45F68C4EE2B9","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":"Q5111228$97DE846D-74C4-4180-8652-9AB4C4FD8A24","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":"Q5111228$4A709E83-6B0C-4D7A-8F85-FFE4DE5BD314","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":"Q5111228$1CE37D11-4AFC-4B6B-A587-DF7E8394D967","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":"Q5111228$11DAA218-701D-4332-BECA-2F23F381BD9E","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":"Q5111228$855CB94B-5BEF-47F1-B9B3-64B4E265166B","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":"Q5111228$7375AD24-EAF6-4707-8FB2-D84B245D7576","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"871c068ef4ce73c61263a996ce18c83f34970763","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.MFCS.2017.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111228$6E913A56-C808-4A16-A616-86B7824640FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33cfee8112a6eacb164308c1e08e6712df129056","datavalue":{"value":"W2774049247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111228$14DB99F5-0A11-48B2-9BC3-BF06AA9852A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62b286a4aaefdf5fe8e1054dc95e27f764993301","datavalue":{"value":{"text":"Monitor Logics for Quantitative Monitor Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111228$99BD38DC-510D-44DF-BDB5-D9004ABE8DAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"273885ebd73c9a4b6d54eb4412fd529ca8879857","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111228$09A2AEB1-AB38-4412-81E3-65D7DD46BF1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e59679e2b1398f77867a6083964908684f27781","datavalue":{"value":{"entity-type":"item","numeric-id":1664379,"id":"Q1664379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81abc7295a1f8412db55da64064b954f940a9e4e","datavalue":{"value":{"amount":"+0.9332745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$AF67F223-0A65-4212-B5DF-06E94CDDFA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a47e6a816de03fa2bda2bfbbff7929012ecf72","datavalue":{"value":{"entity-type":"item","numeric-id":2811224,"id":"Q2811224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39962f09396825a46f31d9c25b908b6cdf90db2e","datavalue":{"value":{"amount":"+0.87680984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$AD0344D5-D079-48D9-81A8-39A5DDE3ADEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b90563757af266d67128179bd5a6fae771d24d","datavalue":{"value":{"entity-type":"item","numeric-id":2096466,"id":"Q2096466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70800bf80248f07109ba685bbb029d99c1423c91","datavalue":{"value":{"amount":"+0.86793494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$BD045E4A-5E10-4F7C-B33D-A0C2A8830600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fce0ab40ebbe8d49ac7a46994f7c44c5c080c3","datavalue":{"value":{"entity-type":"item","numeric-id":5271046,"id":"Q5271046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"793e965987ceb327708f63758dac2dc884c352a6","datavalue":{"value":{"amount":"+0.8669332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$BAE260B3-7604-463E-86BF-CEDCDD7E8950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5ee11be2ba732e85ca002813ecc7dd0be23b40","datavalue":{"value":{"entity-type":"item","numeric-id":5014049,"id":"Q5014049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e7aba5f7839c02c20ceeec9689de36aa9e105a","datavalue":{"value":{"amount":"+0.8665407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$28603C2E-1C8E-4FFE-A70A-505831E6576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f01043b665ddadba0148fba0205ba9076e86c9","datavalue":{"value":{"entity-type":"item","numeric-id":4647831,"id":"Q4647831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87113b1fdbffa7ac72678bc62e90eddf8cd751b","datavalue":{"value":{"amount":"+0.8623632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$75E21E01-6388-4FB0-A9BE-FA7E364AB8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d818be785314c94abb94bfc5c2fcbf0421656a","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b3aa1d0c9fb122b1430781964cf70f6794fb70","datavalue":{"value":{"amount":"+0.86075133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$2700CE64-0DC2-4B0C-9982-E27DA30963D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc33dc20f9f51ffc4c4e6975ea09acaa073c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":6041276,"id":"Q6041276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7934941c8d7892f947f59494442803bf3194562","datavalue":{"value":{"amount":"+0.85976034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$440F68F5-AB63-4A64-93ED-11F00BEB372B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fc3872488c88524b9e2db44b16001d6c6339a","datavalue":{"value":{"entity-type":"item","numeric-id":2893321,"id":"Q2893321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14baea380d3903eee94ca4b571b62c8504cf31ab","datavalue":{"value":{"amount":"+0.85711527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$768F0A2A-9893-42E7-91E7-7D9283FEFE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbd42af6e37cff45330009871777fc55802c4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4236059,"id":"Q4236059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110c84cfb2c4efa127609342756ee23086915257","datavalue":{"value":{"amount":"+0.8547247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111228$CAC4B7E9-B1ED-479C-9C02-DB37426C966E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111228"}}}}}