{"entities":{"Q5039526":{"pageid":7069103,"ns":120,"title":"Item:Q5039526","lastrevid":41812729,"modified":"2025-05-08T15:39:37Z","type":"item","id":"Q5039526","labels":{"en":{"language":"en","value":"Improving Symbolic Automata Learning with Concolic Execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600840"}},"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":"Q5039526$E578D0F7-C3D7-47DC-90AE-C55327D491B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81eb4332598f28fa8bb24669614478738ad38de0","datavalue":{"value":{"text":"Improving Symbolic Automata Learning with Concolic Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039526$25F2AE7C-9DA0-429C-8C21-0B46287C7D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"062f076fda7c1fa5bc01bcd3c54f12c98e36625d","datavalue":{"value":"10.1007/978-3-030-45234-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039526$CA83717B-DFC0-4152-995A-E2DD8E2D5D1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d802a05d590c5666657ea9ae5f1c5743aec51d90","datavalue":{"value":{"entity-type":"item","numeric-id":5039524,"id":"Q5039524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$D6362057-F1D3-4A8C-949C-0E253CE5A97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afee35c30356aa778d7e8a4ebc984f76ec47963","datavalue":{"value":{"entity-type":"item","numeric-id":5039525,"id":"Q5039525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$3DE0D681-E6F3-492A-B236-CB018B4D8771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f32ac6ce9d24192a0aec3f89a09a2c914321608","datavalue":{"value":{"entity-type":"item","numeric-id":832081,"id":"Q832081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$DB6F413B-5980-4DCB-AD37-1AA6BF348724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04935240de55a949343a0104f6137af940dc941e","datavalue":{"value":{"entity-type":"item","numeric-id":816188,"id":"Q816188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$01A262F3-6B2A-4D6F-AD74-702274398C6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$4A13D6AC-ADCC-4CE9-A4BF-1A70E431F29F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-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":"Q5039526$AC670568-B304-4B53-AB17-12A3E71D335E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039526$A47EA8B5-CD85-4D15-8C47-D3B03D67E9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039526$21445272-6A6E-45B7-BE59-BCACE831DBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039526$16BA834F-A1EA-4FC9-ADFC-117491CE9CF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17b28d41062664397e6315a4d1b065de96148d6f","datavalue":{"value":"7600840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039526$6932DD23-7388-417C-8F04-CC8B7B99E83D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$33CFB449-61DF-4F2C-83DD-D190202285CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$9AB1AAF2-0998-4B98-A8FF-8B76F462FCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed0bf5d6b75788e181baf5a7281b42463e65a5dc","datavalue":{"value":{"entity-type":"item","numeric-id":23824,"id":"Q23824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$A96C6E82-585B-4AFB-B85E-E731C8AE0595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$73432CC6-1A84-40F7-9A1E-ACA1EB26FBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$87C6834D-7379-403F-A9FB-83F5B98A0912","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":"Q5039526$C5E49228-BD9C-4848-96DC-86A8116ADD41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd26493bfca0fccabc886b2fc1a24cead47a738c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45234-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039526$6E031FBF-4C54-4F41-A9FB-7D42122B5921","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37c3a1234896149950c523a592e53bc9635ffe00","datavalue":{"value":"W3020208362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039526$FA3CB087-4944-47C4-A808-9DD8E5667372","rank":"normal"}],"P223":[{"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":"Q5039526$76F33604-C158-47B8-B4BF-C655065780D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$8C3449A4-0BE4-492D-8A2D-92E8DCAE6D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7071b994624b473f568a8aa717c45ae2e5f62ba3","datavalue":{"value":{"entity-type":"item","numeric-id":6045017,"id":"Q6045017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$27A49E5E-9C2D-4082-8112-570E13349B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9913d8c87cd1e113f76ae1e6bb2d932ced378fe8","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$A7F328E8-CB0C-4B24-8140-24468DAE4AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a84872841e456c541578d17e5a87958b215028f","datavalue":{"value":{"entity-type":"item","numeric-id":2151231,"id":"Q2151231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$1C4B8634-BC26-4551-994F-0E16EEC64456","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":"Q5039526$0393F0A8-4880-4FDD-8CAC-EF25EFA0A34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3c05eaa585cdaed97c04d608687122a4b71846","datavalue":{"value":{"entity-type":"item","numeric-id":2835405,"id":"Q2835405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$C0D0BC11-8EED-45FB-A8E2-26651EF12748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32624793e063beb586f0410cfc97118721c7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3404129,"id":"Q3404129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$2FF8D0BE-091B-4D7F-9782-F4D6A6972E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d59bb4561d0e0bbbb65019d830ad4fbb9c0fe5","datavalue":{"value":{"entity-type":"item","numeric-id":3066111,"id":"Q3066111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039526$6F9CB2B6-5F0C-4230-8276-EE921D5B6509","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da6d811e72226fa9b2ed1b8dbffcf837ca924cd","datavalue":{"value":{"entity-type":"item","numeric-id":3303893,"id":"Q3303893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37a790ea62e4cb9535b870b6c2903bb25f57026","datavalue":{"value":{"amount":"+0.9186553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$5722A9CE-DE80-417C-9DCA-02B66AF5539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46680053ab71c842156287f76edacefeaf7c1bab","datavalue":{"value":{"entity-type":"item","numeric-id":6045017,"id":"Q6045017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc6356c72a2231e0beb5ee23e7e3f0b5709596a","datavalue":{"value":{"amount":"+0.91593444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$3543076C-55EB-4773-B895-0D19724021EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1038a90b9f38026bd3b7f7ef955fae4da88a9671","datavalue":{"value":{"entity-type":"item","numeric-id":6488340,"id":"Q6488340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8093f759aa512e9bf0f5d45f9f50893f4b014073","datavalue":{"value":{"amount":"+0.8891318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$9D21CE37-47B0-4E8D-9330-ED3A5FDA0E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce17190128b2fd24a76c30fb3b864959fbf368cc","datavalue":{"value":{"entity-type":"item","numeric-id":6135753,"id":"Q6135753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3b7d8bed7191e98c9178b4af2b2228a02ecc1c","datavalue":{"value":{"amount":"+0.8742031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$327172DE-0B06-4E3F-A9F8-7724BDF96A9C","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":"0431be42ed03704afb9eb8053b3d0e709f5c2a4d","datavalue":{"value":{"amount":"+0.87214506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$9622402A-CF81-4BEE-9F0F-D84D5A925666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0673e77aaaa8048efc20a122616a9c6fccca81fc","datavalue":{"value":{"entity-type":"item","numeric-id":5217302,"id":"Q5217302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1944630802dc51f6b7e5ad5089a9cee3af43ca3e","datavalue":{"value":{"amount":"+0.86823124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$3BBA9437-6B9B-419E-906D-B0BF865EDA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205db388620b02a0097d3564dd71a8f2ea49c2bc","datavalue":{"value":{"entity-type":"item","numeric-id":6165820,"id":"Q6165820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b144fd59e5202538e41964c2a10ed84c9e5faa","datavalue":{"value":{"amount":"+0.86738193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$2E5E0FE2-1716-4AEB-A73D-D67EFC2E62DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72885fa21a6713344124f3e90276a83a0e19c8e1","datavalue":{"value":{"entity-type":"item","numeric-id":3075487,"id":"Q3075487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ac11db036bddf4f8c51518d937b0b7fd20cb30","datavalue":{"value":{"amount":"+0.86074585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$5DEBD6BB-C004-4614-AE97-7B4382E4EEE0","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":"a4dee1b4b965a078ba611e3fc17e609cb6d48f0e","datavalue":{"value":{"amount":"+0.85185313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039526$6C3D1542-24A5-4E29-B127-6F5E56767725","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039526"}}}}}