{"entities":{"Q6488340":{"pageid":14067109,"ns":120,"title":"Item:Q6488340","lastrevid":47838622,"modified":"2026-01-02T20:27:06Z","type":"item","id":"Q6488340","labels":{"en":{"language":"en","value":"A Context-Free Symbiosis of Runtime Verification and Automata Learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7674443"}},"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":"Q6488340$CABEB6BE-26D9-42E3-9AC6-354FEB56ABA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"def43522ac28a11a772f5bcef5aabbbe974ed5dc","datavalue":{"value":{"text":"A Context-Free Symbiosis of Runtime Verification and Automata Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488340$29390B03-351B-429F-A81B-D5B1D18870B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e84401be3f51e8eb5cfde94afafadf13cebf7877","datavalue":{"value":"1520.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488340$93CBBF20-AD70-426C-960C-FB5839B6B641","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4026089e10fd68d9fabdf39a6329a6b3f2481a1d","datavalue":{"value":"10.1007/978-3-030-87348-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488340$9B715C64-0005-4B5D-9F24-FB74E2F5302A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c42d093bddea2ecb2051b99ed660367f8f05e6ce","datavalue":{"value":{"entity-type":"item","numeric-id":6045030,"id":"Q6045030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$53491B1E-EC70-4350-AA35-801ACD5B2148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$9ABD0173-B9CD-4C19-8D0A-0A968302F304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fe119e7a2efc816c0e18eebfb796f86711512c6","datavalue":{"value":{"time":"+2023-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488340$8F234A37-16D1-423C-A554-654FB1230D94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488340$D11EA941-2D3B-442B-BF56-F8A96649E290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488340$4AD663AE-CFAD-4B9C-9DF4-B13B6BA6955F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488340$6233A49B-A7AD-429C-8D13-69CFDBF0578D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4abdf0b36472b088c01f340651a96334a39b5bf2","datavalue":{"value":"7674443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488340$5CD1EEC6-6CA6-462D-9C20-7A8C5BFBC654","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":"Q6488340$032626E6-391F-490D-B462-852F56CFEE2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcd371e7841a8a731c5d381daf4f1a52abde9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2787422,"id":"Q2787422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$99D2E10C-D747-4B7B-B842-7F60CE32DE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$3A250521-0AE0-41C0-A6E6-4C92F1BAA0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c778ca8a917ef8b30172fcca5a7a1b9cccdc3853","datavalue":{"value":{"entity-type":"item","numeric-id":4551151,"id":"Q4551151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$5DC04EBE-C837-4BD7-97FD-70BC1E8CFF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81063e0001135f36876aa04e7b3df8c47842cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5716856,"id":"Q5716856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$FCADDD11-EBE0-47A6-B89C-A796CCBDAC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$3C871D59-EF5C-4AEF-B749-03352E820DBA","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":"Q6488340$073BC074-3A18-4899-BE81-1E8748A0A853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5e7ba960ad3d2f37b1d49078179f4e830d1428","datavalue":{"value":{"entity-type":"item","numeric-id":4647831,"id":"Q4647831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$24F75D2D-1215-4EC3-AA0E-90438EC6EA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6a1e50026573492245724da8b61af9814edbb8","datavalue":{"value":{"entity-type":"item","numeric-id":5316435,"id":"Q5316435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$9A283F69-87C9-4257-A95A-4B51CF7C8206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1605cb1307902b06dd6b8d99940e60d534f4d74","datavalue":{"value":{"entity-type":"item","numeric-id":5300834,"id":"Q5300834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$891460E7-571B-4F35-BBBF-01D2A169273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$A9B378EE-8E34-4F4A-AB9D-D2FCCE1A57E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$BA459A14-6038-4003-B1CA-BDA4132EA9B1","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":"Q6488340$2FF47713-DDF0-4D32-8D5E-6237432C6E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be264cc48577b8cf055bb1a3047caad91bffa5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4738314,"id":"Q4738314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$C71DA9F1-9B42-4F1A-A817-00CD29F18194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$38576538-6C85-46F2-860C-03DE4C0C3046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6083a2e311142d60282a5f47002f1b9dbb870852","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$98B94133-8134-4DE0-B000-ADA8053F08C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3be06013d791d4dcb2db32e6bc4cbe1d0fbe3b","datavalue":{"value":{"entity-type":"item","numeric-id":2891417,"id":"Q2891417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$1E8BBAEC-6C7D-412D-B454-D1CE16D09952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933dab23b208a01ce2a8fcaa827c3b86326879c7","datavalue":{"value":{"entity-type":"item","numeric-id":3075487,"id":"Q3075487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$296BA394-683F-465E-A524-D475481969F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc28dddf049d43cbc4ed2b070e02de10dd49d06","datavalue":{"value":{"entity-type":"item","numeric-id":5900687,"id":"Q5900687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$68765E12-71F7-493A-B847-88BBA19C7B63","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":"Q6488340$7D77E957-44E3-42CE-9137-DEEB5800A68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23227ff9aa4dd1ea34046d3e4564bf94ef23f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5756620,"id":"Q5756620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$46528F75-48E5-43FC-A87A-97A097A7B0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08353f64bee56a663ab8a98982684a8b6497fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488340$A576CF4F-B56C-4002-B633-C89657956A57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4073c56fa2e2ee5018e8998fb90178b7d2632adf","datavalue":{"value":{"entity-type":"item","numeric-id":6045031,"id":"Q6045031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b77b2c3e39a75e20fbfeba8a860a867e48b8e22","datavalue":{"value":{"amount":"+0.7983081340789795","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":"Q6488340$61ACE220-3FD2-4E26-ABC2-29C316CD93FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d1a53edfb6d86da19c8924bc4865cf314f1edb","datavalue":{"value":{"entity-type":"item","numeric-id":1689574,"id":"Q1689574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc818bee0982893851c177d2769bf79698c54e8","datavalue":{"value":{"amount":"+0.7016463279724121","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":"Q6488340$EF15999C-CDE3-44C2-A5C3-3524CF85EF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0762c8e0fb65e0b1c61a8c60096ad4bcf629fceb","datavalue":{"value":{"entity-type":"item","numeric-id":4647827,"id":"Q4647827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fded4aca48840b77080caf22be03e29a4d29c028","datavalue":{"value":{"amount":"+0.6755390763282776","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":"Q6488340$89EE5B19-9833-47E4-ACE6-5F2C057C2B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fd6c46ec879b8f3c4c5362a60636285c2e3ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3525110,"id":"Q3525110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062b2645ffe27a19f8f62f2de51e9d218a744db0","datavalue":{"value":{"amount":"+0.6667287349700928","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":"Q6488340$22AB940B-51A7-4263-A42A-6ADBA0805CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf70a90999b3fb1450f24430082d8a3d25625110","datavalue":{"value":{"entity-type":"item","numeric-id":3172942,"id":"Q3172942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2466400881ce548de9ae0ff10a55f8e227cb150f","datavalue":{"value":{"amount":"+0.6658490300178528","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":"Q6488340$04FC3E4A-24E9-43FE-936E-ECD902E6E4B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488340"}}}}}