{"entities":{"Q862393":{"pageid":864241,"ns":120,"title":"Item:Q862393","lastrevid":64938966,"modified":"2026-04-11T23:14:05Z","type":"item","id":"Q862393","labels":{"en":{"language":"en","value":"Applying SAT solving in classification of finite algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118119"}},"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":"Q862393$689901B2-53E2-453F-9663-B306893AAEA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66c2d48bd12dd05d1e669909072684f186461171","datavalue":{"value":{"text":"Applying SAT solving in classification of finite algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862393$93DDE5F0-8F52-4FFB-BCEA-83FCDA5F3A5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a372555e2bfccc3d08c7844740b07d74ebe2de55","datavalue":{"value":"1109.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862393$0223CCA8-6D77-47D4-94C7-58B3D6C857FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a8ceece294270cdd3e0740817fe33ec4f8e10a","datavalue":{"value":{"entity-type":"item","numeric-id":862391,"id":"Q862391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$CADB6D2C-EBF1-48B2-8FA1-D710D1E48D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7b209f4f6620b5b1c5d47a6aa15c4f2fbff1de","datavalue":{"value":{"entity-type":"item","numeric-id":862392,"id":"Q862392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$CC797384-6E1B-4D1A-A2DD-ECDB763BF0B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$4BF782CE-2376-44F1-9D53-2706C7DD31D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862393$E5F21385-AD4E-4E89-89ED-291C86B77C5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f3beb640bd6b44c5e4f36a96d61683513469437","datavalue":{"value":"https://research.birmingham.ac.uk/portal/en/publications/applying-sat-solving-in-classification-of-finite-algebras(9c35fdc0-319b-476c-93a9-9ae1f7f983e8).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q862393$1DBAD468-55FB-4C9C-80F0-30A0B25CA02B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862393$710FEA8D-0087-4AE9-86E6-B4AC3189AEC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c358d5f724edf2a33fba85b85ef4aa21dae7117","datavalue":{"value":"5118119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862393$0AA8C270-3021-44F1-8FCB-FBC92879C205","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c21da2cc92d5df17f01ad6a46d114db2985911dc","datavalue":{"value":"bootstrapping algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q862393$B77A35EB-A4C2-43B2-ACC5-83E052CA8D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q862393$81321C87-1ADA-4447-A2D9-2C447B8CA167","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$3ECD4AE5-E0B3-47BC-A6C8-DDB16AF64977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$ADBC3C22-EAAE-4F28-B26C-3206601B862D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$0B1B27C2-7E0B-4459-B361-2623E113D226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bf6b098c4c01159a1cdee4d92fe2d1a9384e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":22353,"id":"Q22353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$58522E3D-094F-44C7-9B7F-016A2E0634D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$C87F37E7-155B-4457-A84C-6E82041819AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$A0ECB5BC-20D5-4BC4-B320-EEEFFD39749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$60FEE54E-4FE4-45CC-82DB-9356B5CF4FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$F94D47E4-20F5-445E-8541-BC8EB5E888A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$F0B08F62-DDBA-4B8C-AFEB-914170990FFD","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":"Q862393$B93D4919-8582-493F-8406-71748ABD9354","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"125a0f2eb645075f63290773471c9b82e6e4ac65","datavalue":{"value":"W1973196146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862393$7922A5FC-06E1-43E3-94B3-4B63C5D12042","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a51682206d507eefa10fca5eab6a2bf98ec271","datavalue":{"value":{"entity-type":"item","numeric-id":1763061,"id":"Q1763061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$3F5A6597-EA1B-426A-98DE-65E607C3B32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ecda8e5a0efcd35f92accb687b5382749064d53","datavalue":{"value":{"entity-type":"item","numeric-id":4808722,"id":"Q4808722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$308EB39B-C7EC-4492-83B4-D2589333CCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$78524AFB-2A3D-4413-98B8-55D1270DF766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0692c23c4e5b1c9e292e92944d68f69611e403f0","datavalue":{"value":{"entity-type":"item","numeric-id":4809066,"id":"Q4809066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$E51D7A40-9B7F-4BA4-B315-3E11270A04B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc42e358b6c3d071d8a6f4832ad8a52e5402644","datavalue":{"value":{"entity-type":"item","numeric-id":5307076,"id":"Q5307076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$EB500C6C-646F-40C2-A0CF-BFBA809CCF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$E44406C0-7826-4C67-886D-A7951F7411AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99293e32a910041c76f1d451ee4b6ce8648f048b","datavalue":{"value":{"entity-type":"item","numeric-id":1977752,"id":"Q1977752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$95309022-5012-4E46-813D-EB2114E0A55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9923efe65d7520df8384f3fd0d5837e98a751443","datavalue":{"value":{"entity-type":"item","numeric-id":688567,"id":"Q688567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$2F9B6FD6-E4CF-4B37-A61A-2CBF6D0C4BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b233c2726927e295d7e844e3ede544e8417db3ee","datavalue":{"value":{"entity-type":"item","numeric-id":1312155,"id":"Q1312155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$1BCF5FC0-7880-4450-ABCB-C0D0A1032207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$2F955A41-DE3A-450F-AAA3-BF9E028C9B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ed6c0af4cd0498c81b91877caaa96c5c0dc8cc","datavalue":{"value":{"entity-type":"item","numeric-id":3998783,"id":"Q3998783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$4CE86FE1-4DC4-4F2B-9F8A-C2C3790DDA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8660c5ba66b97ae18a82fbaa0457964f9317ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1343395,"id":"Q1343395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$B73AFDB3-937B-4103-9844-753B2414AADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$DB3C2853-72E1-4744-ACD2-9B1120518AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e458e86c97f7ccf8f962d3236b3d8fde33bada17","datavalue":{"value":{"entity-type":"item","numeric-id":1613678,"id":"Q1613678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$AEBCEE67-923D-4F87-B058-084EBC4973F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aeafb9ac2f2609d33e0e02fb8c95752a23334d9","datavalue":{"value":{"entity-type":"item","numeric-id":2365127,"id":"Q2365127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862393$2B4263B5-EFF2-4182-9B2D-BC1D319AAB8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa2f9ef71b11f135fa1d7a7dc265da9d26911c46","datavalue":{"value":"10.1007/S10817-005-9003-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862393$7C6F1747-008B-42AA-B769-4614820408BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4d3931939721ddafc5a1666aac2acbcb673a67","datavalue":{"value":{"entity-type":"item","numeric-id":5307076,"id":"Q5307076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083a8d9f7bc367e512fbc66f4b7e3993d79994cb","datavalue":{"value":{"amount":"+0.858201265335083","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":"Q862393$95CD59CB-5A25-4959-8EBF-A8093D53822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457814893bb46a11eaeef4127481b4de596737e8","datavalue":{"value":{"entity-type":"item","numeric-id":3067781,"id":"Q3067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aadfcf11072c6bbb3c712269e27da9599e5a5426","datavalue":{"value":{"amount":"+0.7387683391571045","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":"Q862393$7D015F8E-59F5-48C4-AE4E-1483F46E1D42","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":"b23bbe4ddd26ff83fb836b7ded8193942ba3f8b0","datavalue":{"value":{"amount":"+0.7323698997497559","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":"Q862393$F436C90E-107C-4CE2-B4D8-EB75EE8297D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2876b88e7c18bb32174dac738861328b243454a","datavalue":{"value":{"entity-type":"item","numeric-id":5713743,"id":"Q5713743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d1bdba9d9a3540865815c3acdf8778df5b8cdd6","datavalue":{"value":{"amount":"+0.7311432361602783","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":"Q862393$6D59466C-3A53-4F6A-AD00-FBFE2F90CBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a34b28ff71f39dc8131898ad9c1f7ad70b949c4","datavalue":{"value":{"entity-type":"item","numeric-id":5317171,"id":"Q5317171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a86b350b7dfbdf9dbbaec3ef08f913d962041da","datavalue":{"value":{"amount":"+0.7112627625465393","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":"Q862393$72708EFD-BEFE-40C4-9A3A-45AFCAB022C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applying SAT solving in classification of finite algebras","badges":[]}}}}}