{"entities":{"Q2870768":{"pageid":2881488,"ns":120,"title":"Item:Q2870768","lastrevid":83954351,"modified":"2026-05-07T15:09:22Z","type":"item","id":"Q2870768","labels":{"en":{"language":"en","value":"Symbolic automata for static specification mining"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6248432"}},"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":"Q2870768$3B59F132-FD4D-4FB8-8E68-8A9C87C4F995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426ef2d6703eeef8d34d656d157e7e19290ef766","datavalue":{"value":{"text":"Symbolic Automata for Static Specification Mining","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870768$6FC57F22-C72B-4CB8-92F1-3E8A1D532440","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53193a635db0264fe5819c14247fa3e9e80ccc33","datavalue":{"value":"1344.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870768$955D392C-3206-44BF-82CA-DE7DEE495AC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcf0ca38247c0d3ee99c960ed3265e29b7ff8fdf","datavalue":{"value":"10.1007/978-3-642-38856-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870768$968CB904-3A59-4AFA-A370-5B9EDAD418B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2cf3a1ee288385394eee599a267ab89dc82b450","datavalue":{"value":{"entity-type":"item","numeric-id":300404,"id":"Q300404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870768$955E83A2-0F40-4260-9295-C5922C794A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870768$525ED5DA-F7CE-45DF-8B91-75CFFD6123D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870768$416099CC-FD20-476B-AEB0-C286598CBE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870768$FEEF6EB8-8CB5-4039-8389-7EDBCA521BFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870768$A513B400-0859-4D71-BFAE-38D1DE072729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41a1e4f019ef435c314233e0481265bcc6e79494","datavalue":{"value":{"time":"+2014-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870768$8971E27F-4738-459B-A8EC-8D8127D3A74F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870768$ABB40E40-B099-4BBF-A4FD-2FD3EDC52D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870768$93B5715F-DB88-42A3-B0C6-187353D69775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870768$21CF8C3A-3FFB-4073-B1C5-E3E6EAE1DDA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0eb4a686ced79554aa6226d95c0870dcdd30ac37","datavalue":{"value":"6248432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870768$639103AD-777D-47AD-BDBA-9282DDF38520","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":"Q2870768$1AE9AF99-D330-41C2-B2BD-42E34CD950B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a0c5dae973189fb6a4839f7e354b773e9107f06","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38856-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870768$5F3192B0-E114-4BE4-BAE6-91749715274F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"246094b7c53d383396e369bddfdf593778081ffc","datavalue":{"value":"W202924988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870768$592ACCDA-D3FB-4ED5-8BA7-580BB4FEEF30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50380a1d9ff8f76c09a274983aa4a3362714f50c","datavalue":{"value":{"entity-type":"item","numeric-id":300407,"id":"Q300407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ed44debd7ef8aa4a6bd1732aca5656789a4eb9","datavalue":{"value":{"amount":"+0.7915127277374268","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":"Q2870768$684E89E5-0B62-41E8-8FB6-7C63E9DE3C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1ccc7e86a83a5f27d18b7c8109122b742abd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2220776,"id":"Q2220776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0df3c29b5ace8d3ce002f65ba6ecafe706e6e77","datavalue":{"value":{"amount":"+0.7538250088691711","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":"Q2870768$6D0B5B95-CB3A-4C35-829C-C614E69F966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0414bdc923cc7bd398cb4c0961c0dc9ed04212d","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ae4cda4714ae5a58dd8de2304dd85832d4c61c","datavalue":{"value":{"amount":"+0.7243916988372803","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":"Q2870768$3E9C5E1E-9B9B-4099-BBA2-E250A0BE6BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c22ae1095da5e974b457f3b634f9d88bc766520","datavalue":{"value":{"entity-type":"item","numeric-id":5127190,"id":"Q5127190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa6026527c3963a6a4e5c177aa853318d9a943a","datavalue":{"value":{"amount":"+0.7149406671524048","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":"Q2870768$B5D7BE25-CC66-44CE-B85D-440C56E6AA7B","rank":"normal"},{"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":"67ee03201793fc289382cba80eea4f0b17fe97ae","datavalue":{"value":{"amount":"+0.714644730091095","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":"Q2870768$10B84B3A-2A28-4F6B-855F-2BCC481CCAD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic automata for static specification mining","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_automata_for_static_specification_mining"}}}}}