{"entities":{"Q1179710":{"pageid":1190459,"ns":120,"title":"Item:Q1179710","lastrevid":69837111,"modified":"2026-04-13T10:40:51Z","type":"item","id":"Q1179710","labels":{"en":{"language":"en","value":"Rapid construction of algebraic axioms from samples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25199"}},"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":"Q1179710$FE09E048-B9A4-424E-B624-AC6768855CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37ac26bfff5ae916ec74888c7cdd13dcd7b1d277","datavalue":{"value":{"text":"Rapid construction of algebraic axioms from samples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179710$814EAF8A-1652-4E1E-ADC3-550B9F56D340","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d599009361d317f937706221485eed0222bb1d4b","datavalue":{"value":"0738.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179710$01469891-BAB4-463C-9089-7F50FAF2B03F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b0b3420c43956397d1df0ad0931c2eac07006f3","datavalue":{"value":"10.1016/0304-3975(91)90307-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179710$1FAFFBEB-F7E9-4588-A076-3017EA7C12C1","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":"Q1179710$62444A18-31A0-42EC-804C-EC252B3AF0DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-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":"Q1179710$D1FC5EF3-CF7B-4E31-AC3B-7A76C55841DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b7f7a982deebfc29b58b0ede77fe5e4d26eb187","datavalue":{"value":"The authors consider the problem of finding a correct rule of generation of a given sequence of elements of an enumerable domain set \\(\\mathcal N\\). The idea is based on finding separate local regularities in a given sample of the sequence. Such local regularities can be described by algebraic axioms which are equalities of two terms. The basic question now is: can such axioms be found sufficiently fast, i.e. without an exhaustive search? A positive answer (in a sense) is given.   An algebra \\(A\\) of finite signature \\(\\Sigma\\) over \\(\\mathcal N\\) is considered. A sample of \\(A\\) is a finite set \\(P\\) of elementary equations of \\(A\\). \\({\\mathcal N}_ p\\) denotes the domain of \\(P\\). Given \\(\\langle a_ 1,\\ldots,a_ k\\rangle\\in{\\mathcal N}^ k_ P\\), \\(a_ i\\neq a_ j\\) if \\(i\\neq j\\), and \\(b\\in{\\mathcal N}^ k_ P\\), by \\(A_{P,(\\langle a_ 1,\\ldots,a_ k\\rangle,b),l}\\) is denoted the set of all open terms which satisfy the pair \\((\\langle a_ 1,\\ldots,a_ k\\rangle,b)\\) in \\(P\\) and which have level no more than \\(l\\), \\(l>0\\) being a natural number. The authors obtain then the following two main results:   {(1) } (Theorem 1) There exists an algorithm which enumerates all axioms which satisfy a given pair \\((\\langle a_ 1,\\ldots,a_ k\\rangle,b)\\); these axioms are of the form \\(t_ i=t_ j\\) where \\(t_ i,t_ j\\in A_{P,(\\langle a_ 1,\\ldots,a_ k\\rangle,b),l}\\).   {(2) } (Theorem 2) Common regularities can be enumerated quite fast, i.e. without enumerating all regularities of all considered pairs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179710$8F243282-25C5-4CE1-BD59-D9AF81D64A78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179710$A3A4F85B-C129-4AC7-8507-66BD03B50FDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76670655c51872ec427dce84b417f34d7f9b5ed4","datavalue":{"value":"25199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179710$8EB2B391-FC26-43B1-9F89-798273AC1D1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe7c97b4200e697f5e6f8faf8f499af23d6653f","datavalue":{"value":"easily inferred sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179710$CAA8FB37-1397-4C6A-B1DB-E10C6AE56982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31245ee705cf4fd5a08ec468bffef3869bd172fa","datavalue":{"value":"algebraic axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179710$1308C4B5-5128-428F-B978-352DA7A9C45B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeec17a9231769d154ed29c673ef43a669a61a1f","datavalue":{"value":{"entity-type":"item","numeric-id":1235147,"id":"Q1235147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179710$2BF42D07-C22E-4CE0-BF84-85E082166E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f622f9bc1445c025c8779e4456b1569ca80d7691","datavalue":{"value":{"entity-type":"item","numeric-id":1091110,"id":"Q1091110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179710$8D7EAEF4-8E02-4464-A771-1497CF9DC882","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6157837de11f2e28fe479554c99ef4c02d4ee00e","datavalue":{"value":{"entity-type":"item","numeric-id":172108,"id":"Q172108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179710$2A28A427-2BDA-46DC-A852-6B354E613CB2","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":"Q1179710$DEBDFBF5-E073-4C1C-8A44-9B6D4AA22D1D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fd1daebd1ba8fdad1e0361c8ec99d6fb9676fc1e","datavalue":{"value":"Q114683723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179710$67A24507-270D-449C-9FA4-FA7B4D7AA71E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b6557c25352985549a471ee8e5fe489c25ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":1202053,"id":"Q1202053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179710$93DE226E-5B16-4D17-BB67-68574830EA12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ddbc79783369bd128fa945c6ebd1b6f7d0925ac","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90307-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q1179710$14327F48-3C85-48E3-A723-ED0DE4C842E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"228b87f6f38b0129d88807adbb10f083f64d2ace","datavalue":{"value":"W2018609235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179710$E1E485FB-38DF-4417-9B70-5223C8FCD27C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8317bd306a7f89aa19c3a2ed3e602161b96bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4412246,"id":"Q4412246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d9ac1f2ca1de12cff4d6b47c63cafb7832d81b","datavalue":{"value":{"amount":"+0.7201446294784546","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":"Q1179710$D901CD53-21E3-4C0F-8EF5-07E353523CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e69dccae1ae1084c3cd80a90a474e067dc1acf4","datavalue":{"value":{"entity-type":"item","numeric-id":3746878,"id":"Q3746878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf1c8568d7c4df5cc1f666699bb9c84ee5c1160","datavalue":{"value":{"amount":"+0.6983729004859924","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":"Q1179710$AC8BAE08-6617-44EE-92D7-B39CCFCAE3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd4e16ca1cb0cf967baab16095777ff595e9eba","datavalue":{"value":{"entity-type":"item","numeric-id":5186757,"id":"Q5186757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d271ad9559787d88227a142625563c8ba47a623","datavalue":{"value":{"amount":"+0.6912932395935059","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":"Q1179710$C3E227EE-4824-47D6-996A-0F544C65349D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b284bfdb1b0355e9c5d1322763cdd7d5c44d97","datavalue":{"value":{"entity-type":"item","numeric-id":2725955,"id":"Q2725955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c95d8d00b9906baa82858302b4b958da50ab50","datavalue":{"value":{"amount":"+0.6875234842300415","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":"Q1179710$8F754B43-FFFD-4EE7-9182-E7D9E5E7AD81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rapid construction of algebraic axioms from samples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rapid_construction_of_algebraic_axioms_from_samples"}}}}}