{"entities":{"Q6535626":{"pageid":14146769,"ns":120,"title":"Item:Q6535626","lastrevid":95491763,"modified":"2026-06-05T09:09:00Z","type":"item","id":"Q6535626","labels":{"en":{"language":"en","value":"Learning assumptions for compositional verification of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798056"}},"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":"Q6535626$4B0A11D0-9D8C-401B-B84E-50E51DFC0736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e89e7a93e6be7acebb928d8882dfa1a54e9352b","datavalue":{"value":{"text":"Learning assumptions for compositional verification of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535626$6DCC0EB4-8ED6-4DB1-B6B6-64AE77D41F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b976f0ac77f852bdd15c7d6004b556be841d0a07","datavalue":{"value":"1547.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535626$D0B64CC9-3BA4-4A3D-9C81-C6E018880B2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28bb4e68c15402a2bf83608c69fa5872071d9aa6","datavalue":{"value":"10.1007/978-3-031-37706-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535626$A974CD85-BA7E-41FF-A143-246290B22652","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59fd992dba3941aa8fc078d36d5d9f86749b47b4","datavalue":{"value":{"entity-type":"item","numeric-id":6535623,"id":"Q6535623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$218A3B8B-38EF-4F29-8608-5EE753F0F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b66f945a3a48982f622db0657591c56f81fd7d","datavalue":{"value":{"entity-type":"item","numeric-id":6535624,"id":"Q6535624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$33539162-FBEA-4EBE-910C-34E0F678524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"384676ebb4d87649106ce60efa6723ab9b759806","datavalue":{"value":{"entity-type":"item","numeric-id":1793124,"id":"Q1793124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$B832CC6B-56D1-4B03-9464-5AADB5F8D928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$8E483F33-E7E8-45C9-9DB1-D9E92B38C171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbb6d94b490241db51d15dbcef12d72c4c5d2d64","datavalue":{"value":{"entity-type":"item","numeric-id":6535625,"id":"Q6535625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$F14A5B8A-1C3D-41C8-95B3-B2A05230DBAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535626$F53865BB-14CB-43E3-819D-DC9A3F551DE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535626$DC002E72-E3BE-4DF6-9327-CFDA1A05324A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535626$5AEF39BA-1166-4295-BF56-88777CDB99C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535626$4B6B82F3-57A5-4C1E-BDF7-F07F73A5EE9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb9fc336cb9a39782e6b8da767c581323f6536a9","datavalue":{"value":"7798056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535626$53F97840-F8CF-49EC-A825-E29C1AA1AA39","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":"Q6535626$4A5A8BDB-5642-4247-948B-E090EE81CC78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$FFFB0798-E894-4CE3-9B8A-13C3FACB2C0F","rank":"normal"},{"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":"Q6535626$A2601AE5-2D75-4C39-9C4D-4DA7AF3367E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$293AD84E-7FFF-40B9-9735-5EC1D94356FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$D338F85B-DFC6-457B-907E-875F75DFF03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabcbdc508115aa84f275d1309d55494bc63e27b","datavalue":{"value":{"entity-type":"item","numeric-id":5039523,"id":"Q5039523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$314E9F3F-2498-4A14-8478-12555F5055AD","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":"Q6535626$2B5C4268-4988-4DC7-BD79-87D1FB02BB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$D98115EC-51DB-448B-B5A2-9A5C73773A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$7590A53C-4508-47C2-BD40-FBEDD8918163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f91b8628cae3ade1f244c9153d5ac3ded0de78","datavalue":{"value":{"entity-type":"item","numeric-id":5758115,"id":"Q5758115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$A98A14D5-9B12-4387-BE30-776EFBFD9B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b0055c738699970bbe7f3231dfee16eb3acecc","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$125B3706-2E1D-46DD-BFE0-D961E0B5C341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$C2CCEBB0-324C-4BF4-A1F7-EE3A5E20D25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76c83963daaf9dacc98c1875034105c6dbf9004","datavalue":{"value":{"entity-type":"item","numeric-id":5758116,"id":"Q5758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$C0A9EC15-3905-4BE8-96BE-C37A23DEC2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"746e0bf5d327161a916fc7fbce7f48f0d962b55b","datavalue":{"value":{"entity-type":"item","numeric-id":934701,"id":"Q934701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$1967DBD9-0627-4ACC-90F0-8E2ECA26C8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$ACB8FA32-4B3A-4EA5-8258-400C031A7BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$C791211F-5A0C-48F2-A187-33F84E0D03C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$80079067-45AE-4AB3-BD87-DBBC91EDC9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$4BB71973-8E36-4C56-A740-0B766E932080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$5C24659E-18BD-4B1A-8972-0214E14104E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cb61eb2db4640ee91d5505105b8bfdc06b0071","datavalue":{"value":{"entity-type":"item","numeric-id":3172935,"id":"Q3172935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$3E5492A2-BF59-4CE2-BD8F-F6BEA8E479CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60994b549291f862f1c1c4b1b4a3c60c242247c","datavalue":{"value":{"entity-type":"item","numeric-id":4530804,"id":"Q4530804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$BA9AF0D1-3D52-4BBB-B356-127C4F3DA8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$3435464D-E43D-4335-A4BA-80D416E0FA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$CA1D7EE7-3D78-4251-AF84-6A107E4C5244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3039650558fe70f10e95c644cd1c1cdafff4dbf0","datavalue":{"value":{"entity-type":"item","numeric-id":6536137,"id":"Q6536137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$51E78CB5-0930-4489-8797-872C6C816F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a28e355684deb98556d54d5eb7ec60a91bc7a3","datavalue":{"value":{"entity-type":"item","numeric-id":5429315,"id":"Q5429315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$9A84EECC-96DF-4014-BFF7-22A578E1EB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbaaeafaec726b9880b2867e9d8a2d4208ea24a","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535626$89990FA7-E9C2-4DCE-8876-527B38D43F9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2277e536a691bbdc7d529657cc43d5222f39805b","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89cffc086745c58f24e04605d89338431d4fb4a","datavalue":{"value":{"amount":"+0.8120376467704773","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":"Q6535626$9E329B89-188E-4638-A283-1BE4E3E2180A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7a33700becd4fcda592a4d1d787357b7bce274","datavalue":{"value":{"amount":"+0.7606829404830933","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":"Q6535626$4C071115-23FA-439E-B81F-FC9E3C60A1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf031051df8ee884964d45d6c3b8df687dd817c","datavalue":{"value":{"amount":"+0.7576039433479309","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":"Q6535626$74A44153-6139-4F1B-BF79-E3AB9B224360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e98e9a8c1c8cb2d5abc6a2ca591b07594f66b7e","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628bd9bf65b8e2ff85fa02db16c321e04b9da0e8","datavalue":{"value":{"amount":"+0.7541588544845581","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":"Q6535626$4710C949-361F-4458-9841-399E16B8310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f676604994e5623f9b85982fe438243f2f96ba","datavalue":{"value":{"entity-type":"item","numeric-id":3196346,"id":"Q3196346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5d83dd3ad677f32bde244afd03556ac77f7a12","datavalue":{"value":{"amount":"+0.7534164190292358","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":"Q6535626$C00CFC77-F10B-4573-A8DD-3AE3F4B4A0FC","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":"Q6535626$8E81EA9F-5CF6-42BA-80BC-C480F78881E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning assumptions for compositional verification of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_assumptions_for_compositional_verification_of_timed_automata"}}}}}