{"entities":{"Q4989704":{"pageid":7019281,"ns":120,"title":"Item:Q4989704","lastrevid":41537711,"modified":"2025-05-05T14:43:20Z","type":"item","id":"Q4989704","labels":{"en":{"language":"en","value":"Finding All Minimum-Size DFA Consistent with\u00a0Given Examples: SAT-Based Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351239"}},"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":"Q4989704$0A267068-A7DC-40DB-B875-2685746B6286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef9c3c74ce174ac607baf973045684b18db2933","datavalue":{"value":{"text":"Finding All Minimum-Size DFA Consistent with\u00a0Given Examples: SAT-Based Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989704$50B43A5F-E449-41E8-8413-E10A47F1BE76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25b26f0c0f3ca8941454167285dc4857628c5e5c","datavalue":{"value":"1461.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989704$C5D54DFB-F647-455D-8ADB-02F0126A894B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"400de144cff59c6eb3c8bd2daa292860c9417a3b","datavalue":{"value":"10.1007/978-3-319-74781-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989704$E973466C-518E-4CE2-B6E1-60CE32A59156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a3ab5437ccbf0bd12b85b2725de54625aadc15","datavalue":{"value":{"entity-type":"item","numeric-id":2278271,"id":"Q2278271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989704$A016EF5D-54DD-431B-86D5-099892EAAE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"942979086c40b169c33f194a6d8e2f461459ec9b","datavalue":{"value":{"entity-type":"item","numeric-id":2799211,"id":"Q2799211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989704$BD8F0C18-1315-4576-B819-7D89C4F300FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a105cf4700f14c8988d41268ccddc4fa650adfe","datavalue":{"value":{"entity-type":"item","numeric-id":2278272,"id":"Q2278272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989704$6FEC662A-7F1C-4B74-9351-D972B66BCC3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989704$CB10C772-A844-4E76-B0F0-B003E36CFC59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6c7ff8c150409ee8b57e6f339d646c7d730856","datavalue":{"value":{"time":"+2021-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989704$9758ADEC-2ABF-4B13-8EC3-88E9680AD425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989704$644DE4BF-7DD2-496F-A488-17AA7AD23C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989704$4A787C80-87F3-462F-9B5C-B694D902D012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fbb58cdf946c9fc6105bb1bb6af26d5c3a2a024","datavalue":{"value":"7351239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989704$E46CF949-8CEE-428A-8E66-8EBC8FC2E4D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c12a0f2d254363e548ae821c44b3d78510f4c0","datavalue":{"value":"grammatical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989704$107CF91D-9285-4B32-A64E-059F484DFD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afc7d642ec905af28336a73a42b26c2b933485f4","datavalue":{"value":"automata identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989704$E09AE3C1-410D-49BA-97AB-10476D9C90A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989704$7ABFEC45-7617-448C-BE64-0316066DA7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989704$5610D277-F414-49CE-90BC-938A97428388","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":"Q4989704$5BCF06BB-E02C-468E-819A-AEBA2ABE9E0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5329da5f6ae71d9eb0526303d1643bb56482ea3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-74781-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989704$48FCFC79-79FE-438E-807F-09498E78D4C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee27bad4f4befff522ea02c090341fc0cf3defbe","datavalue":{"value":"W2786305034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989704$9CC8AE4E-353B-4C41-B547-CD7FD1DAFDA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c3dba23e4dc383cac6b9fbeaed0af11263eac7","datavalue":{"value":{"entity-type":"item","numeric-id":5945683,"id":"Q5945683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33b5e0f4be54f3c8ff5430b8919052f8f385667","datavalue":{"value":{"amount":"+0.8502102","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":"Q4989704$D7EE9B2D-D8D9-4B52-B958-14C556BE1313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a4dae046f7af5d736416c2d03905873c402c91","datavalue":{"value":{"entity-type":"item","numeric-id":2182675,"id":"Q2182675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26b728ed2f7a9f0ee2a966840fdf88fc1c47b30","datavalue":{"value":{"amount":"+0.84937656","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":"Q4989704$FD336E0D-32BF-4C46-9B54-8350349B5651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf5c65a28b0263af422e970c546855a9a10b98f","datavalue":{"value":{"entity-type":"item","numeric-id":4649308,"id":"Q4649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d85630756fb32dd6374e77f644b67a163622a9","datavalue":{"value":{"amount":"+0.8415587","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":"Q4989704$C162BEE9-BC39-4D69-9170-D40D51519B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14e7830d9ce6132f9c75b380e0ee0eea8d97500","datavalue":{"value":{"entity-type":"item","numeric-id":306711,"id":"Q306711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ebf630b9b5a43ad7d695456d41801f24f34935","datavalue":{"value":{"amount":"+0.8396891","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":"Q4989704$9B3C2285-E1D7-4E71-92DE-4B7B621ED81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111a9852563a3d243e7014ac063b6785f81a7fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09afafcb7416d9f8451235ec61a97adfcf22f527","datavalue":{"value":{"amount":"+0.83274585","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":"Q4989704$EDF4E3B9-A635-49FD-A2CB-DEA6321ED778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bf7b0af19682526ee3b76641e473398a24c67b","datavalue":{"value":{"entity-type":"item","numeric-id":3460042,"id":"Q3460042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acff34a0949cc5e74f7ed9565e53b2b05e25a03","datavalue":{"value":{"amount":"+0.8311287","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":"Q4989704$AA483370-845C-4D36-A157-7C5F9813D0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e7d4c8277958dc066faafe7d24c61c09ef6303","datavalue":{"value":{"entity-type":"item","numeric-id":5739001,"id":"Q5739001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f3a6c6a04914d24ef7aff18a2013fc8434fd00","datavalue":{"value":{"amount":"+0.83104867","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":"Q4989704$2060355A-464C-423E-8E90-B2BB5AEC79C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21ecad1dafcc897389866df405f2d45e81f28ca","datavalue":{"value":{"entity-type":"item","numeric-id":963396,"id":"Q963396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c474d9a2d55c09039fe2331f96c8eddb3f301a8","datavalue":{"value":{"amount":"+0.8282847","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":"Q4989704$175112E3-933B-4081-9443-16DDA6E7B163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8f9ce675f88e34a62288dfce1759953ebf5162","datavalue":{"value":{"entity-type":"item","numeric-id":4910757,"id":"Q4910757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98622ad2c403ed07d085c32e00b6ac3040bf2d6e","datavalue":{"value":{"amount":"+0.8274827","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":"Q4989704$EE33B055-B040-4264-B087-856F17449010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a779bf8187a1d6827ddab8994e1341bf9ddd7ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2282132,"id":"Q2282132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46074f44a1be46287349c4046a1fa4b6b2137a7","datavalue":{"value":{"amount":"+0.82499063","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":"Q4989704$D1DB176F-366D-4077-8521-D5EAD0470F1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989704"}}}}}