{"entities":{"Q548692":{"pageid":550459,"ns":120,"title":"Item:Q548692","lastrevid":51281852,"modified":"2026-01-17T14:22:31Z","type":"item","id":"Q548692","labels":{"en":{"language":"en","value":"MSO logics for weighted timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5915219"}},"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":"Q548692$9F25F34B-07AB-4952-A44C-8ABFE353CC20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ac530bdfbed7a20f257487cd018560846374219","datavalue":{"value":{"text":"MSO logics for weighted timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q548692$ED511D00-CCF9-43D0-83AD-2C9215954940","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a14034317c7dc191df59d43050ae399d3a582ca3","datavalue":{"value":"1258.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548692$F219AF1A-EB42-4900-B214-58156E939A02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$998AF33F-7FF5-496A-857C-C4046E2D0B37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$558E41B2-E551-4469-BE66-EDFFEFC4C900","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a120db9f973c25ec9f4d7fedafc327b72241f3","datavalue":{"value":{"time":"+2011-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q548692$1A4AA41B-6C3C-4264-8CAF-E8A07DBE6F1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548692$7E0E8F1B-E227-40A8-8486-AE9BC4D7976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548692$BC78DED5-0824-47C1-91C1-0595E73D04E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba8a1679999202c8ad8cf1e25f530245b487fa7","datavalue":{"value":"5915219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548692$AAAF01FE-4E5F-4351-8EDA-88F3E682C8BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1830611f60e73ba6d127e5cba1326aed2487f131","datavalue":{"value":"weighted timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q548692$EF0DF2F7-A08F-43A1-A329-1804F5272FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"987c6f511a1dc3da2567dcd55564824ccdfdfd22","datavalue":{"value":"weighted MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q548692$DF958B4E-F219-4B85-B91A-2FB5C3B23D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q548692$347B3F5A-D60C-423A-98B1-60E9D18BC018","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":"Q548692$C1789FA2-8508-422E-85CE-C3E952E2E95C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45ebd26c37b7ed63bb081c2978414791992f5a62","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0112-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q548692$FA7074CD-C7DA-42C5-ACC9-FE893FA177FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d7f8247314a83684724f53e8c7ba3541578b7af","datavalue":{"value":"W2052631269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548692$D45AE4DC-CE2F-483C-A5B3-54811700AF6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$8C2CCAD5-AA19-408E-AC49-D0FA96F3DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180c1b351f9da5c5a2f546f21a2fc2fef81c16ea","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$C19CA146-BB64-4461-83FF-4576EE00A735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$166230A0-3A21-491C-A1B4-B3672F1F0552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$EA14C0F1-C678-4F93-807C-16B14119E6D8","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":"Q548692$AB5E5663-7F5F-4B97-9175-C14149B7EE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdf01c69f7501607279007f3e30fa33ad7afa90","datavalue":{"value":{"entity-type":"item","numeric-id":2385195,"id":"Q2385195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$43C91FE1-F26F-4A30-BBBF-7167036DEDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b510edf59a7fcfd0982ca5637cd8b0703312929","datavalue":{"value":{"entity-type":"item","numeric-id":844195,"id":"Q844195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$83D5AE0E-5AF6-4CA5-BB85-D6527025D430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6dc5e3285bf389a62bd58850bec0b7d69476c","datavalue":{"value":{"entity-type":"item","numeric-id":3518285,"id":"Q3518285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$2876F5BF-AD57-4616-B627-AEC6A50604F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3a2c4949c4804b77c9fc2ec3dbaf04e38af6a3","datavalue":{"value":{"entity-type":"item","numeric-id":3510834,"id":"Q3510834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$CCF7A31A-AFB2-4699-A8BA-BD7B7D31266C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38965cbc23657da83bd865e515bdb49b67008d16","datavalue":{"value":{"entity-type":"item","numeric-id":3648825,"id":"Q3648825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$EE2549CC-E315-4BE2-8265-66DA393616DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1225aa5705457015a24ba7b5fdafcaa0cbc0925b","datavalue":{"value":{"entity-type":"item","numeric-id":5458356,"id":"Q5458356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$0A2421A9-22C6-4F7A-BDE9-B1ED6731F8FC","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":"Q548692$D28CDA16-3B91-41EB-906C-B189DC8FA533","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":"Q548692$0BA44252-15E2-4C2A-AF68-732132CDA09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4054ee90cb47d36f9dbdf5d9070674c3b097946","datavalue":{"value":{"entity-type":"item","numeric-id":5696929,"id":"Q5696929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$D53034B2-FC00-42BC-B232-DC23B05F3B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e90036bc697e70004b6f19aa18b73868ca56a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3543293,"id":"Q3543293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$4C50E8A9-BFD5-49C4-8C77-DFB54F62BDF3","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":"Q548692$AC348F64-81BB-4FB8-BFE7-1DE8CA3EA246","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":"Q548692$09923FA8-28CB-40EC-B1E3-4E56CEFE00EC","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":"Q548692$49F59354-AAFB-4BAB-BD97-6B209E80CE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3ea9c596ffadafd480b0353105f443a116489d","datavalue":{"value":{"entity-type":"item","numeric-id":3637244,"id":"Q3637244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548692$95887C0F-13B9-4809-8327-A12798B96E0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61947dae9d3b51fca6b9d5963214ad78564c9515","datavalue":{"value":"10.1007/S10703-011-0112-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548692$CD21DB19-F675-45E5-A459-86F318863A41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2050444750b3d8ae0d2e87a14f87f9e7710cff","datavalue":{"value":{"entity-type":"item","numeric-id":3637244,"id":"Q3637244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43de8b1793a96f4504aeebdd0012aaf5f4f7ae34","datavalue":{"value":{"amount":"+0.9608017206192015","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":"Q548692$4B2224C4-3858-457F-8EDF-C6AB25E6935E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a252667062555b7ba19efdd00b53da09782d64","datavalue":{"value":{"entity-type":"item","numeric-id":3574978,"id":"Q3574978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e27e519fb4c2bb36abc721eda17e95a99cac0cf","datavalue":{"value":{"amount":"+0.8359476923942566","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":"Q548692$1C19A085-00CE-426C-A7F2-C719166E0FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c743a02e83fe9482eb1a697b14746a25285bfed8","datavalue":{"value":{"entity-type":"item","numeric-id":5167836,"id":"Q5167836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e7bbd4ebb3a0c0996fcd7d6855bebf68bec64b","datavalue":{"value":{"amount":"+0.8312031030654907","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":"Q548692$52BBA6E4-DBA4-4897-8151-1203F68B0E45","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":"a99a01462244e11a7e1bc3bf12d955498274c2f8","datavalue":{"value":{"amount":"+0.8264793157577515","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":"Q548692$679BE0D6-E010-49E8-BAFD-1ADB14B3E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19bc80134745b1843dbeee966ff87d377074aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2947171,"id":"Q2947171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76b030cb78d52e40a0f4f95589b714cc991c0b7","datavalue":{"value":{"amount":"+0.8208502531051636","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":"Q548692$0631C19D-A0D4-4DD1-990D-E5C6CC0AA7CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:548692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:548692"}}}}}