{"entities":{"Q3384892":{"pageid":3395595,"ns":120,"title":"Item:Q3384892","lastrevid":88077332,"modified":"2026-06-04T13:34:55Z","type":"item","id":"Q3384892","labels":{"en":{"language":"en","value":"On finding a first-order sentence consistent with a sample of strings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447745"}},"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":"Q3384892$8C8060EA-AD16-4A3F-B2DC-36AFB4218FE7","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":"Q3384892$1C309FD0-C8C3-463A-9CD3-0688C26F929B","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":"Q3384892$6350BAB1-9B3E-4923-8472-69894C745F56","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":"Q3384892$D411A71A-C9E8-4194-A45F-B6973372A613","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384892$A84902D3-97F4-4679-BB27-838C510609B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8458d962dab5dc46024d1ce2dcc4e595180699b","datavalue":{"value":"https://arxiv.org/abs/1809.03106","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384892$3AB8BCBC-2D6D-4822-8260-2065DDFF16A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"12a8555f62ac26f205a24bab622ea92014e81620","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384892$231582CC-DCE1-47C5-87A9-4AFFC65C192A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384892$5814253A-C201-4F9D-BA01-661598657A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384892$8C438A6B-017C-43A4-A8E5-5109CC8E0292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384892$D2689834-0F89-4F60-83AE-C2CB43854B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4df6e6edbfbdc3ad6c787a3f4b656570fca13c40","datavalue":{"value":"7447745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384892$0A6B6F6B-DDC5-46F3-B84B-71B5A5F711DA","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":"Q3384892$B17EDADA-1BA4-461C-A79A-823C9219AAFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384892$2520E236-6AC5-4112-990C-1C94BCEEBEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97521ed5b163803421dfe914042f953ef76464c6","datavalue":{"value":{"entity-type":"item","numeric-id":3514981,"id":"Q3514981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384892$A2A67C12-0F94-468B-B617-AC5C85DEB28D","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":"Q3384892$90E26AF9-5217-4714-96FA-E2574910AEB6","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":"Q3384892$DF221076-BD1B-471C-99D5-C9A9E501001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34c393b45723e300a865c0ee8df4539f1a2498b","datavalue":{"value":{"entity-type":"item","numeric-id":4645660,"id":"Q4645660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384892$6D8891B4-9812-442E-BE17-28FF6E6C014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b77368b68f0509b8ddbb2a0f948ea4b7c881944","datavalue":{"value":{"entity-type":"item","numeric-id":5144626,"id":"Q5144626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384892$C41887D0-6AA6-448B-B513-54940BEA9176","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":"Q3384892$5C5594D3-E695-4633-AC28-0B3C967E9097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7f7b41cbf8e7677b95d005680bc21b9f8ae86d","datavalue":{"value":{"entity-type":"item","numeric-id":5326462,"id":"Q5326462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384892$CC411497-BABB-4746-9854-C9CEDDF19BFC","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":"Q3384892$13CB775B-82B5-471D-A0D4-22B6DEE4FB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5b9224fe9eaf6f3e17d33e77d59d90fc27a313","datavalue":{"value":{"entity-type":"item","numeric-id":5895240,"id":"Q5895240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384892$C5DDA06D-CB42-4B19-95A4-05BBFBC51557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8b856e2ddeae1c698dea0f17d7cf364c9743bb","datavalue":{"value":{"entity-type":"item","numeric-id":4263796,"id":"Q4263796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384892$805B858B-3A3F-4133-8A76-B5E6B0192CA9","rank":"normal"},{"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":"Q3384892$50658B51-1A51-4786-B199-80F5CF07EBFD","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":"Q3384892$88E4E297-2571-4EA9-AF82-741683D8B165","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":"Q3384892$449AC919-F09A-469B-A579-3238D3ABEF46","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":"446f6362cf18e619dda652151ef0fe4bd4f3b602","datavalue":{"value":{"amount":"+0.7560834884643555","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":"Q3384892$489D3D90-3244-442E-8495-265DF61368C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bfb5fd574e10af908e5be33c49edb34ad1b24","datavalue":{"value":{"entity-type":"item","numeric-id":2333677,"id":"Q2333677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738cd3e2899165f65b8f7d7fa31f5d6bdcb522b1","datavalue":{"value":{"amount":"+0.745698094367981","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":"Q3384892$0CB47D25-2857-4D78-BB6D-7573FBA89FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a4f3c5ccc3253db27e1860a0c6023c2d0dc0c4","datavalue":{"value":{"entity-type":"item","numeric-id":2003999,"id":"Q2003999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bd199dcc4bd4ecc1952a44e0ffc947f6b16b8b","datavalue":{"value":{"amount":"+0.7446390390396118","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":"Q3384892$627619A5-60BF-43EC-B0AC-DCE9CD45B791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3c3ebb5375b01547dd0657276419686249e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":3605528,"id":"Q3605528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3442a9dca49316a257d6997ed2503682d10bf1d6","datavalue":{"value":{"amount":"+0.7050530314445496","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":"Q3384892$AEB4ADF4-8EC0-4203-AE8A-1F8C8033AFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc60baf3086fdc77e4090236dfc54407365ddf0b","datavalue":{"value":{"entity-type":"item","numeric-id":1772275,"id":"Q1772275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fd44eb003e9c5c41fd5a64485b463508e90f71","datavalue":{"value":{"amount":"+0.6762688755989075","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":"Q3384892$D0B7B5CD-BAE0-4BAB-AE71-E7CE409BA23A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finding a first-order sentence consistent with a sample of strings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finding_a_first-order_sentence_consistent_with_a_sample_of_strings"}}}}}