{"entities":{"Q1343395":{"pageid":1354134,"ns":120,"title":"Item:Q1343395","lastrevid":67659990,"modified":"2026-04-12T19:12:18Z","type":"item","id":"Q1343395","labels":{"en":{"language":"en","value":"Automated reasoning and exhaustive search: Quasigroup existence problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 718814"}},"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":"Q1343395$77060792-A83A-44F3-AD52-D91EF83BD7FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b10a3cf3ebbb025673ee00b799a19322fffefc66","datavalue":{"value":{"text":"Automated reasoning and exhaustive search: Quasigroup existence problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1343395$9F0FB263-EA8C-4AE2-A989-54A671AC9841","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c9264b38c3358975d3f72b292f6c3f18202854e","datavalue":{"value":"0827.20083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$A094C719-6C78-44CA-AF2E-63CB0C506EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e846f7bafceb6b753db3e9b802935cfdf499c322","datavalue":{"value":"10.1016/0898-1221(94)00219-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$0F423432-CD12-4C45-87F5-050111C283F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$7E5A78A4-943B-4440-9283-FCE92D34686E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825562d8f2afae6a37dc432bafc88c050ff424bd","datavalue":{"value":{"time":"+1995-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1343395$EFA475D6-FF07-4BD2-A1E6-B04AB7E40D04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6075c3b12e18ffd6f8bb0e67d379579212d7a9ff","datavalue":{"value":"The authors investigate the existence of some finite quasigroups using three different automated reasoning programs: DDPP, FINDER and MGTP. Their attention is concentrated on some \\((i,j,k)\\)-conjugate orthogonal idempotent Latin squares of order \\(v\\) (COILS(\\(v\\))) and quasigroups satisfying one of the identities: \\(ab.ba=a\\), \\(ab.ba=b\\), \\((ba.b)b=a\\), \\(ab.b=a.ab\\), \\(a.ba=ba.b\\), where the order is some \\(v \\geq 8\\). The existence or nonexistence is proved by experimental evidence. The computations of such hard problems are very complicated. The programs DDPP, FINDER and MGTP are described, and in several cases the authors give their search times for comparison.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343395$D26E1BA3-6D96-4174-A619-2A616D87F13C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$6C565819-06FB-444D-9A88-8CC4B302BD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$49A1D671-D5EA-49FE-A552-84B2279CC1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0fb5c2b5135b23a64eead86c75bb584d8442d720","datavalue":{"value":"05B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$968A2734-A9F1-4ED2-A4FA-5683CB55048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$4D52FFF5-6200-4A4F-8AF8-F7D22872D491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$97527342-751F-45E2-B38D-08FF56400D88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"119e8e213e245e8b822c42268068d22e40b67ce4","datavalue":{"value":"718814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$58C77078-A8AA-42BA-9237-77AE1803D8F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"242a813acee33f8fec113070456e8247fa1352d4","datavalue":{"value":"finite quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343395$33DA8FEC-F1F3-49BB-906F-F6BD90E24127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98dd4989bb6586493e8f4a93f8bacdcc8868a28c","datavalue":{"value":"automated reasoning programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343395$11288DCD-A44A-4AD9-9415-1EEA1226BA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20153f58c53b38bfd036fadff2ea7620c7848c59","datavalue":{"value":"orthogonal idempotent Latin squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343395$A8AD70AF-B6DD-4E03-B4B7-E416E59AA965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343395$6250FF65-9EEA-4B8B-A08A-68262B98F0A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17db65d494add44a16912e342a084e6032a962b0","datavalue":{"value":{"entity-type":"item","numeric-id":588194,"id":"Q588194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$0821E607-6E28-4B5C-BF3C-EE19F3493F6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$C0103008-5C84-45CB-87A4-08DC07FDA8D8","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":"Q1343395$72750BAD-DC09-477B-82F2-F4B9ED66CD48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54187141810914ba3bb0fbb2ad1d3c1983e1858","datavalue":{"value":{"entity-type":"item","numeric-id":4026145,"id":"Q4026145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$7DFCFB95-EAD8-4595-A545-5B50C5C98E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66a2271dc159cc3bb571c32254a47471a182987","datavalue":{"value":{"entity-type":"item","numeric-id":3816253,"id":"Q3816253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$B260DB43-8C72-4F9A-8165-D33289E7EF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa685ed3b95b1fdfed1ff66bfedbefb2a5bb0e1","datavalue":{"value":{"entity-type":"item","numeric-id":1252351,"id":"Q1252351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$37925140-E0F7-4B77-B948-F88178897324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3e79906981202bf98a8079cc14f0f26c605fd","datavalue":{"value":{"entity-type":"item","numeric-id":5587083,"id":"Q5587083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$8A19EC91-A34B-4BF1-8589-C5C5D0034221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c941b74861b584bf0f0f92ce9703fa134645dd4f","datavalue":{"value":{"entity-type":"item","numeric-id":1181707,"id":"Q1181707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$9FEA2464-8887-4B40-80E8-DDAD7A160468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9703c24b151b9b38b497672ae809a670e20ec2e","datavalue":{"value":{"entity-type":"item","numeric-id":1103421,"id":"Q1103421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$B12C5E9C-4668-41ED-A492-DF6945BA6690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ef08898f45bcf2443d0408b94cd72e3f7d8cba","datavalue":{"value":{"entity-type":"item","numeric-id":4934645,"id":"Q4934645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$0F4738C5-B95B-4B38-8A89-93C08F8CB3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9aef4fbedf029eac47e645d862d10e10dc704b","datavalue":{"value":{"entity-type":"item","numeric-id":1328393,"id":"Q1328393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$7CC3E516-70A3-46B7-A092-87DDDFCC0B7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adbca18fdd752d984d6ba1e7ab6566285891d673","datavalue":{"value":"https://doi.org/10.1016/0898-1221(94)00219-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1343395$A6449838-3A47-44F1-B489-8F9CFE85C7CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7954f6569782740bb3e01b4491c3fccc0aa9949","datavalue":{"value":"W2082167089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343395$E95FF313-8348-429D-8392-AC2EE7263EF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343395$ACCEFBCE-4DBC-4FEE-A00D-063B9195A989","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde185a37d2ea1070be8da647641f67c181ed492","datavalue":{"value":{"entity-type":"item","numeric-id":3568233,"id":"Q3568233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeae8e30e67426acb8ddf72be790fe5284d218d1","datavalue":{"value":{"amount":"+0.7471479177474976","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":"Q1343395$A3168751-7F5A-4771-B794-F1E03289FABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02531c5b52cad040b9c057a8dc71403c1c9f421","datavalue":{"value":{"entity-type":"item","numeric-id":3598008,"id":"Q3598008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e3e981cf4851f4deb5daa3b0f3a4e22afd1209","datavalue":{"value":{"amount":"+0.7305929064750671","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":"Q1343395$D067B43B-6C14-4F04-B9CD-51777575E65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7339ee79e14d354d8209530e4ebcf73f8495dbf9","datavalue":{"value":{"entity-type":"item","numeric-id":3568690,"id":"Q3568690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfdb727e9bd44486474b7bef57c4c62f38be7fd","datavalue":{"value":{"amount":"+0.7295738458633423","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":"Q1343395$8C243A5D-75B2-48B5-8018-2F901FB80BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6180d49ba8bdc544d235cb8ecf92dde94c4c6ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4383487,"id":"Q4383487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be5d6e378ffb74b425c3864e1f07cf06aa18e76","datavalue":{"value":{"amount":"+0.7227423191070557","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":"Q1343395$1BDCED55-6FA6-421B-A7EC-98A07D8BA70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f30b32a33a06320ae89834ff453e9b43896f9f7","datavalue":{"value":{"entity-type":"item","numeric-id":5453674,"id":"Q5453674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00540d0446eba8ed925f6279b5bebcd3a5ef684","datavalue":{"value":{"amount":"+0.7185023427009583","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":"Q1343395$1709F194-569D-4E2E-89BF-C2D1216DE4FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning and exhaustive search: Quasigroup existence problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reasoning_and_exhaustive_search:_Quasigroup_existence_problems"}}}}}