{"entities":{"Q6160915":{"pageid":13295796,"ns":120,"title":"Item:Q6160915","lastrevid":58723341,"modified":"2026-04-06T11:39:54Z","type":"item","id":"Q6160915","labels":{"en":{"language":"en","value":"Active learning of one-clock timed automata using constraint solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691506"}},"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":"Q6160915$9A381FA1-410E-4725-B993-E6395DC214EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c047e344f8857ccd017ba075a8412d287352e4a","datavalue":{"value":{"text":"Active learning of one-clock timed automata using constraint solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160915$77D493A0-AFB7-46AF-BE8E-1CAC33E471CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08f09fd04631ccbbb85dccc63210645cdbc6fd3f","datavalue":{"value":"1522.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160915$805061B1-46FF-4756-8575-7933636A281C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"457a675719abd9de01e7bd8898f818c16a6ad549","datavalue":{"value":"10.1007/978-3-031-19992-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160915$920E832D-B4E6-47C0-A3E3-F41B3BD3FE89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f693f9c76909c2132796cfa428859219cbdb8067","datavalue":{"value":{"entity-type":"item","numeric-id":2055880,"id":"Q2055880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$8BB9F563-1928-4EBE-BCC2-1B9FD613CECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3673c59e41223cb7aff89e32650147e80a2d416a","datavalue":{"value":{"entity-type":"item","numeric-id":2050094,"id":"Q2050094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$00D2D13D-2CDB-47C3-B783-612E9A01AB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d47a0b532fadc119a2da0b4f59e3906ea7d12d94","datavalue":{"value":{"entity-type":"item","numeric-id":258840,"id":"Q258840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$2EA66A5F-0637-44E2-B0AF-F6217899B6B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$F0DB454C-3BE8-4BE0-94DF-A42D3CD53F3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160915$7B9DA3DD-F448-4224-88B7-9E31DA83F44D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2568459573d19112f65e780709cd7c979eda26c5","datavalue":{"value":"https://arxiv.org/abs/2208.00412","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160915$FAF87295-46AA-4185-870E-6DDDEA26E52C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160915$96B577D5-61F1-487F-B839-C3E5F388F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160915$72A18808-584C-450A-A282-BCE0BF1AD12D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1a0dd23ba62866d502f7be8950412c10a65696a","datavalue":{"value":"7691506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160915$9C7817AF-88ED-4C49-B3B2-F8EED1E5C348","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd3f5520afe65917fef71fbdb2e37f6590f2b38","datavalue":{"value":"active learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160915$1ED72244-DFE2-42BE-8CA9-DE4AB0BF426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160915$E3874D41-A8D3-4DB4-AF5A-B4489DA5EC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160915$8D45AEC8-8A37-4AFC-A92A-86DCCC46B50F","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":"Q6160915$4B8AC7BD-B685-44BD-8A38-FD532D1B9519","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0e37593c7f33d7f863e7576f2fc9bc24224aa28","datavalue":{"value":"W4312627204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160915$2033B397-ABA3-4CEF-B6D1-972305B62A79","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":"Q6160915$8B10C6F2-13DB-40E2-85D7-1773AC1614FC","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":"Q6160915$CC24CE6F-60C2-4265-8E13-109B3BA379B1","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":"Q6160915$F3DCA392-A366-427F-B4EC-58B625D2BA21","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":"Q6160915$12242116-E4CA-41C3-BEFF-652572482E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ea4b5e6f1970f1c7d8b2e6a663375a71bea7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2708466,"id":"Q2708466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$756888CD-2C8B-4CF5-9517-9F52C89D3FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310fa0b26265dc62ba64c5201f3feb9dd1ea3182","datavalue":{"value":{"entity-type":"item","numeric-id":3303893,"id":"Q3303893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$A32132D6-B51F-40C9-9967-E37747225FE7","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":"Q6160915$4A8524ED-0249-4110-9B11-8CFEE2CD4414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca9a0c9a28b5b6d8e99ce2601c02f6f127951f6","datavalue":{"value":{"entity-type":"item","numeric-id":5756611,"id":"Q5756611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$9DD0C052-B969-4486-A034-F86D44395FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6957ef7b0f8cfc41a59481890562b8f0d4756a","datavalue":{"value":{"entity-type":"item","numeric-id":1996023,"id":"Q1996023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$5F9888FD-4D99-47A7-AA33-01013265C797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897a433306ba830b588fd540b68b3223eedf1333","datavalue":{"value":{"entity-type":"item","numeric-id":1647700,"id":"Q1647700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$33F161BC-8710-4754-A10C-C081FD801483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf4523d868430bb55780072c2376bb2b99d0ff9","datavalue":{"value":{"entity-type":"item","numeric-id":2176706,"id":"Q2176706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$C6850C50-4616-4FA2-92CE-DA5A9AB0E763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aed76715e58219f507cc12525443fb7df3a822c","datavalue":{"value":{"entity-type":"item","numeric-id":2232274,"id":"Q2232274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$DA0FE692-54C6-43F2-AAE1-C44003A66EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1bf48785e5a23dad1685105699f4a949075e428","datavalue":{"value":{"entity-type":"item","numeric-id":3618628,"id":"Q3618628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$DFE71F7A-1673-4B82-9829-D4EC127EFB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f42ce9cbd4865145df6dbe9b38a648ce2e86f5","datavalue":{"value":{"entity-type":"item","numeric-id":553334,"id":"Q553334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$6F3B6341-583B-4B53-927B-873B54D52623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2c175a34d1d4db540f7eaf0f460077eacb9cc2","datavalue":{"value":{"entity-type":"item","numeric-id":420918,"id":"Q420918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160915$4BBE5A58-0751-419A-BE30-58BF01293D27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1e12db7d7624c49aa6b5402e0c4ba7f4c2a395","datavalue":{"value":{"entity-type":"item","numeric-id":5039523,"id":"Q5039523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4347e31518bc93caf7fe98a19fdb300b14af7fab","datavalue":{"value":{"amount":"+0.9009885787963868","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":"Q6160915$BB15C418-B302-4C2B-9C43-5F746B7B2F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f6697ae3980cdfe4ec6fd40c404a285b263274","datavalue":{"value":{"entity-type":"item","numeric-id":6160914,"id":"Q6160914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6621437739999ccbbc82d1af3436fcb1215296fc","datavalue":{"value":{"amount":"+0.8285081386566162","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":"Q6160915$1FF4C15F-609B-4042-89CB-17101E9C3C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a7e08f454290d1db07b3a8c76dfbc62a6943ef","datavalue":{"value":{"entity-type":"item","numeric-id":5464760,"id":"Q5464760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0ff425a1018cf3186666841a151069221156e1","datavalue":{"value":{"amount":"+0.816672146320343","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":"Q6160915$4685CAA6-1BDB-467A-947F-425AFF1BEED9","rank":"normal"},{"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":"0eb0eb1867e2dbf3e4398df66c20ae9e124edb10","datavalue":{"value":{"amount":"+0.7976446747779846","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":"Q6160915$01F49B74-6B82-43DF-AEE6-29CC5E41CB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2f28fb659811c60d7a76e7605a2e54c1d97a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3618628,"id":"Q3618628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7abda8ee83cc4573abf38843d1579b2e51f1607","datavalue":{"value":{"amount":"+0.7954524755477905","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":"Q6160915$9E366B6E-FFEE-4610-AF1A-74D397C56B6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160915"}}}}}