{"entities":{"Q1176104":{"pageid":1186853,"ns":120,"title":"Item:Q1176104","lastrevid":69807771,"modified":"2026-04-13T09:31:51Z","type":"item","id":"Q1176104","labels":{"en":{"language":"en","value":"Learning regular languages from counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13463"}},"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":"Q1176104$52DB82D6-0A4F-49AF-B7D5-B63D135B1689","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b5dd921c409c6ec79df41b879389decd8947804","datavalue":{"value":{"text":"Learning regular languages from counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176104$01470D9C-703D-4021-B8F0-1BB16C9E5D20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb7b895be9359fd2a5460f1c0414a61010dad236","datavalue":{"value":"0769.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176104$0EA9ED08-BACA-46B6-A40B-28F8226DD69C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65b716de2feda82e9967d23b406cee2c7b817330","datavalue":{"value":"10.1016/0022-0000(91)90016-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176104$B75451CB-9D9C-479E-88E5-AC8D99B685AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$2131515C-E925-4832-9CA8-43839B3ED8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff69d199b2e4b3f62f192bd9e307ef835b69b5a","datavalue":{"value":{"entity-type":"item","numeric-id":185445,"id":"Q185445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$7E91EEE5-F705-4610-B328-2AD2C3996884","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$C75DB3E5-E86C-49F1-B7D3-15B35A552462","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176104$33A2BE67-C0B5-4ABC-8A5D-AA7A0F31876B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176104$11A541AA-90C5-4B50-99F7-80BE0C0EE9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176104$7F3D2C7C-2012-46C9-A7E4-8FF949492676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176104$82A998F7-ABA6-4B40-B853-E20020E3407A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36ac79daf2fdbdf3396b67d3235d4af528131bc5","datavalue":{"value":"13463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176104$93F06BE0-286E-4F21-B052-874244437552","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176104$B03A1FD2-76CD-4509-A2E7-3AE269D22F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb99a2c776d2fca3a1d5f7a45ba5140d248b85d5","datavalue":{"value":"pattern languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176104$18B04CAA-66C9-4F82-831B-C0C04EA77477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"addf046f49d999feba6e6e34a05ae01173f260e1","datavalue":{"value":"learnability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176104$60FEBBFE-65EF-45D9-AE08-D6A422A6CFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176104$8B1947B7-1459-4A87-BAC6-7FF8508F706D","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":"Q1176104$11239BD2-8E07-4138-BF4B-6AF9C93AA3E8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"176d0f5d5690f74641dc8afbc810583cc82e1f25","datavalue":{"value":"Q125034679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176104$DB887850-2C52-40F0-8E20-B05DD3A2C605","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6422ef138be173ca7bc1ed6caff5e742dc3bc0f8","datavalue":{"value":{"entity-type":"item","numeric-id":1149795,"id":"Q1149795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$812B5EA2-92F2-42CF-B29E-4B04FFBF4C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf8bea815595c7a2f8823ef01e3fa5b59c45508","datavalue":{"value":{"entity-type":"item","numeric-id":4741718,"id":"Q4741718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$C1031FE2-4A6E-44CE-A340-F2E377D97D12","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":"Q1176104$750AF76E-983F-4447-9E33-E3ED86B7D796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$3D1568DE-A949-43A2-8FBC-5A16B771A690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49195bf74f92d49f0d4742aa594d0474855872db","datavalue":{"value":{"entity-type":"item","numeric-id":1097709,"id":"Q1097709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$B1DBBE0E-DADF-40B6-B812-71C310A887C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308a2c94f432dc67418fe8d58169ef240ee8bb7f","datavalue":{"value":{"entity-type":"item","numeric-id":1186503,"id":"Q1186503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$13A1B073-83B7-4AD6-B76C-AD13EB5B86E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176104$6B8DE028-7138-470F-A8F7-7EB8F20EB629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29ad746e0fdeb38aef56fad55591db78512e2e9","datavalue":{"value":{"entity-type":"item","numeric-id":5945681,"id":"Q5945681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0761d4f9f2f034a7afc29b8a37c13de5ba2533da","datavalue":{"value":{"amount":"+0.9174739","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":"Q1176104$1654A68F-830A-47B1-A76E-D33E1EED47A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bcd031b16e1fb9e128b66b5c70450e7d13a33b","datavalue":{"value":{"entity-type":"item","numeric-id":3602804,"id":"Q3602804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679c27f58b8c352cded81c7112b37e156f0afbcc","datavalue":{"value":{"amount":"+0.9042859","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":"Q1176104$3C2AFA98-736F-47FE-8556-34A4D122E036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9816a073e89dddbef25dc70d73c122c235fc6ea2","datavalue":{"value":{"entity-type":"item","numeric-id":2754000,"id":"Q2754000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5ac8e0d2616b8503dc6d6c3a220a74d8abd1b8","datavalue":{"value":{"amount":"+0.903912","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":"Q1176104$9CC5D549-925A-4BCA-9DD5-32EB7882BD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e4ba6897b428c038c8eb2bff8b6da11d2696d7","datavalue":{"value":{"entity-type":"item","numeric-id":1269920,"id":"Q1269920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891b029535e274f7a4f07253b3ac637f2887ad37","datavalue":{"value":{"amount":"+0.89937645","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":"Q1176104$794D9077-C2E9-4D5E-B8E4-6F188F76B57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5933465566732eb2d28920a890aa7192426ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4473988,"id":"Q4473988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3550965342b5240e90d53e97844aeda82fcc26ee","datavalue":{"value":{"amount":"+0.8977809","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":"Q1176104$465C8C33-CDD6-42F3-9785-13B5DB0DB038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74a3c0bbff84f28b881b76f29ca9cc085c18a3e","datavalue":{"value":{"entity-type":"item","numeric-id":4473564,"id":"Q4473564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34084aef4e9646c09b9b280d30c83ecb507dede5","datavalue":{"value":{"amount":"+0.8962256","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":"Q1176104$2E0792AC-0618-437E-81F6-D2E9506C8D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1659ee40f01490c1b5a5b6f772a2bb94b48dfd5e","datavalue":{"value":{"entity-type":"item","numeric-id":3528408,"id":"Q3528408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406852bc473197c9cfbc5ba86b4b31d384b49462","datavalue":{"value":{"amount":"+0.8918957","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":"Q1176104$CA85AA34-A305-4FBB-A0B9-911595923141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c3aafa09933a7f8fa0b3848dd591b6f0a667c4","datavalue":{"value":{"entity-type":"item","numeric-id":3528435,"id":"Q3528435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba5a40cdcf3af116934f8b2247e8b45eea9aa22","datavalue":{"value":{"amount":"+0.89139056","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":"Q1176104$A20D8EC1-85B0-4C84-BF9F-C1028F75803B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf4d63181c55bbfc98ba4c4ff6e6ab3f446586c","datavalue":{"value":{"entity-type":"item","numeric-id":1426151,"id":"Q1426151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb83b21ba75844be5d3142b50d3e329a69e85b2","datavalue":{"value":{"amount":"+0.88315964","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":"Q1176104$E6D7B61D-FAA4-4493-B0F8-2597FEDEF29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483d6c8b2e45e06bfdbac6317d8caf4fe66a5c8b","datavalue":{"value":{"entity-type":"item","numeric-id":5493026,"id":"Q5493026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2e62395e5e1a064a696fc66ea1d13b4a0d648c","datavalue":{"value":{"amount":"+0.8796257","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":"Q1176104$84D01C30-FADA-4CF4-9D33-795F9610E83C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning regular languages from counterexamples","badges":[]}}}}}