{"entities":{"Q2003999":{"pageid":2014741,"ns":120,"title":"Item:Q2003999","lastrevid":72290580,"modified":"2026-04-14T03:54:55Z","type":"item","id":"Q2003999","labels":{"en":{"language":"en","value":"Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7260168"}},"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":"Q2003999$E9AF373A-74F3-499D-BC30-57DC874B820B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d059cebadf7ab6f9bd29fdb4bc205db32055efef","datavalue":{"value":{"text":"Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2003999$CAA74318-6639-4086-A882-486A0386458C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfbd0a5651efcc61f0b357e7e5981fd08af25317","datavalue":{"value":"1460.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$3EF34A29-DAA8-4371-94E9-6CB42C9C3760","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e450ddf2dfe5254524d4a86e5c98d204c3ffdf","datavalue":{"value":{"entity-type":"item","numeric-id":2003998,"id":"Q2003998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$0961E4CC-93EF-4BFC-81C4-E7B00B4552FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4e29a6551ed654b95caa163f18d6589ab9dd41e","datavalue":{"value":{"entity-type":"item","numeric-id":654909,"id":"Q654909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$396429F5-B8F0-4CE2-97EF-C57BEBA2EB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a599e83bf2192330511b0bd8a934a4a4bc4b163","datavalue":{"value":{"entity-type":"item","numeric-id":654908,"id":"Q654908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$D98D07AA-AD77-4944-934E-DA9BCB70BDF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$5E5FAA10-792C-4231-84EF-B2AD62F3AB8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06ba241737eceee8015c39bc333cc8c0528022ee","datavalue":{"value":{"time":"+2020-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":"Q2003999$08730272-60E1-49DB-9FEB-4F81845973A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$F3751D3A-B9C8-4C0D-A0A6-758A3BFCD5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$05ED626A-210A-43E7-A173-6E5895DDC271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$68409968-2BD8-4EDF-9E83-9E11993F335A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$ED8FAF85-A491-40E2-8546-36B9BBDA660C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$F23C8220-AFE2-4AFC-BC64-39B693443E43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35fc8fabe932e5f30cf263babed62bd84e50a4d1","datavalue":{"value":"7260168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$864436D9-AEA6-4CC1-88D4-157B2D4A5868","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c12a0f2d254363e548ae821c44b3d78510f4c0","datavalue":{"value":"grammatical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003999$DFE3E9D5-9245-4748-9228-BF1321A7CC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003999$FA789600-21B4-49A8-BF33-DBEC13D40CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003999$D228EF57-3809-4A13-923F-B8263D72A899","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$06403452-F9B5-450A-80CF-881ED5310690","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":"Q2003999$D1276B5F-76E3-4444-8D9C-AF8B8A5C1FA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7353cacad21fa56470983467e4e63b07cd9c85b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.08.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2003999$726858A5-C775-4443-9BA9-757FC4ABE862","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e92252374cf663f1305556aa8539c6dde4659b61","datavalue":{"value":"W3084255207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$7A607FD9-E670-4FC9-B33E-A1B019EDD217","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a38dac07103552f13f542fdd10a279aa54213f","datavalue":{"value":{"entity-type":"item","numeric-id":5327375,"id":"Q5327375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$506037BA-E710-4ECD-AAC2-66397CD18445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$DEF9A842-447B-40A8-A110-943142488313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298934f9707d1d60e0f4fa5f8d16104d306009e4","datavalue":{"value":{"entity-type":"item","numeric-id":4599182,"id":"Q4599182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$C089BD98-4E49-4E27-907B-D89F765E1091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$DB1038DE-EC05-4E59-B36B-A7EB613247E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1534c1dfa1a793990d9927f6cf9cc3a54f6ec4be","datavalue":{"value":{"entity-type":"item","numeric-id":2485087,"id":"Q2485087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$4BB2B1ED-C04E-4BC3-ACEA-2C3838158FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dad49b3d509f9608e4bcda0535dbd88ccc7b45","datavalue":{"value":{"entity-type":"item","numeric-id":465248,"id":"Q465248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$0BC72C89-0F69-4743-BBEA-3CB6D41A4269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77f517f1bafb336e28d853f463c6f274ab993c7","datavalue":{"value":{"entity-type":"item","numeric-id":5945683,"id":"Q5945683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$14693CC6-484B-4665-A203-648796CCBC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff9251a1b15b9fdcdc46878fd7f45ac3b5ea667","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$37D2C973-1DAB-46DC-A5C8-BA70C0E77ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c57ca2087934f4c9823c12f3ca23f7e004dafb3","datavalue":{"value":{"entity-type":"item","numeric-id":2799212,"id":"Q2799212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$470F211F-DAD2-4A88-A891-B240561BF9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877baf0a8dce97e867cd9d1be54c730c70ea7f35","datavalue":{"value":{"entity-type":"item","numeric-id":2278273,"id":"Q2278273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$8F770917-8330-40BB-9113-21D57D85B81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fca81e01ed836010e2f48d1a6dbcfcf03d4fdf","datavalue":{"value":{"entity-type":"item","numeric-id":3384892,"id":"Q3384892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$F85033B3-32E9-45DC-94BC-D4CB050F9E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed92876ff0476d2108875815f54cf7323927135","datavalue":{"value":{"entity-type":"item","numeric-id":2285664,"id":"Q2285664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$0C8D079A-A14B-4D5E-85D5-2BB505FE8294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6df75fbad8ba97995c44152965aa00b0c2cf00","datavalue":{"value":{"entity-type":"item","numeric-id":5387835,"id":"Q5387835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$CA05FE87-5BC0-4324-8291-307F92D57064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a826c3a90ebd8e97e2f9a26cef97a50c6f793e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2921121,"id":"Q2921121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$90557C0A-39E8-47BC-9543-842829BF2E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$B5765C79-2ECF-4A82-B591-1E4F22F14415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad166e86d1e54f0e710b77a4f36bd961295192d","datavalue":{"value":{"entity-type":"item","numeric-id":1681308,"id":"Q1681308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$8147E1BC-208C-4FBB-8694-42962F2B7A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcc64509a3b4ae8497ef3a4b4c9f3c08241c8d4","datavalue":{"value":{"entity-type":"item","numeric-id":687090,"id":"Q687090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$23CCDAA7-8ACD-459E-BC08-FE7D406D6058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6406e727d0781b9ba01e3cad4798afb93cc94f","datavalue":{"value":{"entity-type":"item","numeric-id":1799125,"id":"Q1799125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$61C8F4C0-4AA0-4A6F-988F-6F77C2418385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$FF379EC5-9F67-480F-B5A2-FB92AB83A896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$940A87C4-0964-4335-BF05-CB463496D4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003999$5B67196C-C225-4F70-AEC9-6AD24314724A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b533fc8728dc83cbc6d8e39ca51139b2ed0d746b","datavalue":{"value":"10.1016/J.TCS.2020.08.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003999$BFDEC027-F668-48A8-8E7B-A072B0C41DAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6162a3affdcb6a2062ad036c477b9c57f466fad6","datavalue":{"value":{"entity-type":"item","numeric-id":2285664,"id":"Q2285664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09aed03a11ab927b515324ac74e860657a60b4a8","datavalue":{"value":{"amount":"+0.8960037231445312","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":"Q2003999$36453D0F-573D-4502-AA7E-6438357FE38A","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":"1c625ff16b9c901aa5ef26e168cf8a4cb59a526d","datavalue":{"value":{"amount":"+0.684725284576416","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":"Q2003999$4F3A751A-3035-4034-8DC6-34894C72A436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035a131370e2878ca1ca20803d88c7e3d3d1603c","datavalue":{"value":{"entity-type":"item","numeric-id":636279,"id":"Q636279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6116f16a1c6b0879028184df1e71b5706c7fa44c","datavalue":{"value":{"amount":"+0.6618446111679077","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":"Q2003999$28177F9E-EDE5-41AA-89B6-704B79A7FAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434edee8c84d4945591b00c8cb2a9d41aeee39bb","datavalue":{"value":{"entity-type":"item","numeric-id":5434515,"id":"Q5434515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0d7790435de10d22d451c16795a794f8aecad1","datavalue":{"value":{"amount":"+0.6573324799537659","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":"Q2003999$15A91A3C-DE94-4B94-80E8-B85D7D44944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063470da879cd356ac1d191604fcda747cc3e800","datavalue":{"value":{"entity-type":"item","numeric-id":5436997,"id":"Q5436997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63fe382c8cbc658950f4d565f48b3e7d54721cf","datavalue":{"value":{"amount":"+0.6568631529808044","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":"Q2003999$10A41EFF-5813-41EB-9DC2-E6BB04D1D71D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_quantifier-free_DNF_sentences_from_inconsistent_samples_of_strings_with_EF_games_and_SAT"}}}}}