{"entities":{"Q6536137":{"pageid":14147280,"ns":120,"title":"Item:Q6536137","lastrevid":57344406,"modified":"2026-03-30T14:08:28Z","type":"item","id":"Q6536137","labels":{"en":{"language":"en","value":"Timed automata verification and synthesis via finite automata learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827813"}},"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":"Q6536137$9B50AFEB-CB40-48B7-924E-0944232DF9A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d5a9939e19d55da0f38fa2eb4f2fe9b3952d8da","datavalue":{"value":{"text":"Timed automata verification and synthesis via finite automata learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536137$F8918F70-50E2-4C0E-9D25-18F2C9D4C938","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df18807fbf49815e5d600de3260c4492fb627d7d","datavalue":{"value":"1547.68453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536137$624C98B2-488D-4DA6-82AF-9B18D6C1821B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"900704b9d522d8adee5c0b3687c57e4e7d175e03","datavalue":{"value":"10.1007/978-3-031-30820-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536137$7D9C3E2F-C91E-47D3-9066-54830E7EEFE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$12D1B12B-7B5F-4964-92FA-ED8A02BE5BCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-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":"Q6536137$5F6FDF3C-B23B-485F-AAB8-DA3751B89E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536137$9173217D-85D4-4256-AE25-016386D59EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536137$AAE34F20-00D5-4F9C-BF29-F5CC9441FF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536137$C5E7A6E5-FD3E-4075-B65C-8ED7730401B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"337ee27569fd366a860748e89f8bdda0fdfc8fc4","datavalue":{"value":"7827813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536137$5A8BDB9A-0A76-463E-9EEB-10B74F583756","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":"Q6536137$4ADACCBF-7425-4A9E-895B-08C84BEB02ED","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":"Q6536137$DB45FCF2-03AA-4C6F-ADA9-E5B14A0BE61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2020a9ce51c93f5152b1a41de40d8b45f22ff72","datavalue":{"value":{"entity-type":"item","numeric-id":5082188,"id":"Q5082188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$994D3B43-EB13-40D0-93E6-DB730DCBB681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$E2676E31-2563-4443-835F-1261E6E277E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c513eee7e8e9d99927625689914a5a47854ef2cf","datavalue":{"value":{"entity-type":"item","numeric-id":1367528,"id":"Q1367528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$89A5528D-01A0-44AD-8DC4-383AFD6ABBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$AE5EF10E-65FD-4517-9D3B-FD4D6C53B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a725cda26b531038ae6ae03ce011a37755fd1bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2112098,"id":"Q2112098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$9523578D-4067-4458-A902-9F2CC1480FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326d4fd2005cf6bf275e8595a0f50eb56f6f399d","datavalue":{"value":{"entity-type":"item","numeric-id":5357697,"id":"Q5357697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$9629307D-7F9B-490A-B880-3E8E440AFFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a3e3f431a7f13d9e42ff2a3ccfd1f15fffa62d","datavalue":{"value":{"entity-type":"item","numeric-id":4636592,"id":"Q4636592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$7FC54ABD-C325-4BB3-89BF-AA0350B7BF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$E801E3E0-FB91-41B9-8D39-F5FB715D9B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21793cbba54b76515f61e513f7a3aba8da8e8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4989166,"id":"Q4989166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$A37F19BE-A169-4FE1-8556-BFA970AFA834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61526d41c9e2eb25867c790a13228b1a677160be","datavalue":{"value":{"entity-type":"item","numeric-id":2182731,"id":"Q2182731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$691259E9-7468-41BF-BDB4-1A4D273EB104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$D30D42D3-27EC-4F72-ADD9-CB0A882E2A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$5E0F9DE4-DFC0-4422-A15B-BA868AFCD79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$37DE1839-E793-4FED-905C-B1061043B6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c139d3f34e17ae0b99b18b6e6d86c5eb6ebd190","datavalue":{"value":{"entity-type":"item","numeric-id":436418,"id":"Q436418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$03CCC08A-7CD5-429E-AE68-7D11AAD9385E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38be05e84e56dc19a7b56191a6d43859c948e05","datavalue":{"value":{"entity-type":"item","numeric-id":979079,"id":"Q979079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$02B9433D-19F4-4DD5-AA4E-B9815E8FCAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3176b8f9f33bec50a735e690263fe124617a6aed","datavalue":{"value":{"entity-type":"item","numeric-id":604474,"id":"Q604474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$0A2EAD86-5AFC-412F-BAE2-C1354C8F0DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde43aadb68c83ae4d51574dcef8cc0958b2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$B3988355-292B-4609-83C7-5D22BA4F4FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e76c825528d989c9f71bd0494194b239f5e7ad","datavalue":{"value":{"entity-type":"item","numeric-id":4449227,"id":"Q4449227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$0FF00EE9-59D8-469A-A343-8CCBE6971C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6305be563797c630cc54d96598c96a12e292aeab","datavalue":{"value":{"entity-type":"item","numeric-id":2722062,"id":"Q2722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$C58396D0-6916-4923-920B-29D49C78B505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b490da484560b0cbaeaf1857f80759c57cc3d6","datavalue":{"value":{"entity-type":"item","numeric-id":479461,"id":"Q479461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$1AC5AB1F-D4B3-411D-90AF-411D191FCACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a88480fe65be056db65097d1e9220f806bbeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$79C2C193-4E3C-44C9-A69E-814C4501E154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a032326ebba120a5698bbc1436ae1179382879ec","datavalue":{"value":{"entity-type":"item","numeric-id":3196344,"id":"Q3196344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$3573A40C-AEF4-435C-AFB2-FF8FE901694F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c195a06c0123dd8c5f947cbbd2ab9acf071e3f65","datavalue":{"value":{"entity-type":"item","numeric-id":5217302,"id":"Q5217302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$20E51658-B899-4BEA-8771-272A29B63047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$DBD8637D-A297-43D4-8370-F72A570A8E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ea09b62788a9809193cc9b583118eac7a9bf72","datavalue":{"value":{"entity-type":"item","numeric-id":4647854,"id":"Q4647854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$B7802770-0F4E-419D-B837-A92B73572129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2035307cafcb1709a40ccbbcc0221ce03fbf423","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$1E37E327-E65F-4567-9159-2A339B3D6014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$DAFCFBAF-A094-4328-AB8D-5627E67DF885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b103e7c650cb833c27d77c19b0dea3997ea72e28","datavalue":{"value":{"entity-type":"item","numeric-id":6154573,"id":"Q6154573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$8DA90AED-C979-4DAD-BD25-E72B343CDA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f0163a0e3c370fd57027a169c67ee0417f1407","datavalue":{"value":{"entity-type":"item","numeric-id":3303889,"id":"Q3303889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$EDD136DD-029A-492E-BA70-35A8E0402B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efb349bf22d7bb398c40d07bbe095db8ccbfcb3","datavalue":{"value":{"entity-type":"item","numeric-id":5900676,"id":"Q5900676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$AE1C67EF-26A4-48F8-8D1E-260E2CFE884F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$18D33938-B140-49E3-A9F7-A0D9409744C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2d0a8110617ee9f1ca1a7b5364b4f661056b90","datavalue":{"value":{"entity-type":"item","numeric-id":3457811,"id":"Q3457811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$ED267713-DF58-4DF0-B87C-21540F11C2DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9134799e4c1c3c07b7a56f3388f31164e452bb","datavalue":{"value":{"entity-type":"item","numeric-id":2176706,"id":"Q2176706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7d3cfbc7b68a7edaa0b3e5cd65c5050338a8d7","datavalue":{"value":{"amount":"+0.8023495078086853","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":"Q6536137$050E568B-E0C0-4CF7-965E-C375CBD87CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf8635d8e83844ec523e0c5cfcc4640d2031a35","datavalue":{"value":{"amount":"+0.790041446685791","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":"Q6536137$5F1B1B51-7BFC-457F-B25B-4A6D35CDEB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6261676c97d898dd99ef17ea8b1e16e004249d","datavalue":{"value":{"entity-type":"item","numeric-id":6160915,"id":"Q6160915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150ae25f57c522076dc849b915c1276d8e4b1c12","datavalue":{"value":{"amount":"+0.7856831550598145","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":"Q6536137$78F57F34-9010-4AAA-9E52-DEDF782EB0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7143fdda148faae46a34794a50ca30224442ab5a","datavalue":{"value":{"amount":"+0.7847883105278015","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":"Q6536137$80E9F54B-0F52-4185-941F-86920C2AC389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7a84ec7917a4018e492e723c08c57a8e4930d3","datavalue":{"value":{"amount":"+0.7823753356933594","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":"Q6536137$14B292C2-BCAD-49DB-8257-D01D74DE57B1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536137$CA854BDF-E133-45BE-8937-54068FB4F84F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536137"}}}}}