{"entities":{"Q4647542":{"pageid":6677123,"ns":120,"title":"Item:Q4647542","lastrevid":82241579,"modified":"2026-05-06T20:26:14Z","type":"item","id":"Q4647542","labels":{"en":{"language":"en","value":"Ground resolution with group computations on semantic symmetries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001932"}},"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":"Q4647542$715FDC78-1F73-473F-B3C2-2D699FEA23E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05d9dfa07fc4c1c1f907a6bcdf4980ab1bb71e30","datavalue":{"value":{"text":"Ground resolution with group computations on semantic symmetries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647542$CBE06133-06C7-4CC7-A566-5C4537F210C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3c906769310af16f76da6463ee5c173913b2b71","datavalue":{"value":"1412.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647542$254BDD72-C1C4-4D53-929C-BCA126C15BE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80aed06475835514b2f52a49da4a85f2bde1044f","datavalue":{"value":"10.1007/3-540-61511-3_108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647542$F26985A2-3128-47F7-A2AE-E541B966931D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a7d31a5fa985909a1afa7682bc15a58433895f","datavalue":{"value":{"entity-type":"item","numeric-id":331618,"id":"Q331618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$CF562770-E521-4A49-8216-792097925342","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$2FF0E6FB-EA1D-43A6-8371-42E001A9576E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647542$76ED9EA9-0E9C-4409-902B-FFDBFFEB78C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647542$669A9D38-0068-40F7-924F-2831BB45B6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac1dafab2cb163643c64b3cf5c7678542cb29be","datavalue":{"value":"20B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647542$EABA4430-9656-4599-8FF1-B18B7281B95C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7742f3e859b03937a1d4c96d35e4ac0bf9e49efa","datavalue":{"value":"7001932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647542$C241C50A-F61C-4A56-BE58-0CACEEEE6C39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07f85129e5a74252a21c1c1a16f98e8c7008066e","datavalue":{"value":"permutation group","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647542$180C294A-6079-4C8B-AFBE-6FAEE2BFE841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647542$48039964-483B-4795-8C4E-401044721D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf69a44aee95fb4a352eced0406778475986c32","datavalue":{"value":"ground resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647542$63BFB83A-067A-4276-A7DE-655577E14079","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3b33b729de325c94ebd83ff3a9b6b01e66eb380","datavalue":{"value":{"entity-type":"item","numeric-id":19543,"id":"Q19543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$337D725B-9EC5-4E4D-9155-E1689CB75651","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":"Q4647542$62EA317D-F589-495E-965B-2BAFBFE73203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$F727F64D-10C1-4AA4-94EC-D4FE878F9354","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":"Q4647542$9AF3EECB-3331-4E2F-87F1-7155678460A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"278eb029755a24a20278a9d92eb4c7b3b2b8155a","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_108","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647542$BB7EF83D-3E36-4B1F-9458-FC45DF3A04B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f960260ad89ac76fb185a7888fe6b935aab166b5","datavalue":{"value":"W1836692749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647542$93BCCF23-AC0C-4FA4-954F-694B6BABDDB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83969f6d3b28492352194d15fb4d49ca427d7e98","datavalue":{"value":{"entity-type":"item","numeric-id":4068903,"id":"Q4068903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$D9006478-4957-4537-B2BF-9312A2EAE6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755109124011cd8e3c658ad937263073737abb6f","datavalue":{"value":{"entity-type":"item","numeric-id":1332641,"id":"Q1332641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$9280A694-63CB-4979-B18D-0FBAAE006D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1519b5e6862874de8e92dc40fa2f5effa5340f99","datavalue":{"value":{"entity-type":"item","numeric-id":1202170,"id":"Q1202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$04CC9326-BE24-42F4-A123-61FEFAF3C555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$4DED8F15-9975-41E8-B09D-6EA147819F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$57182CB1-2722-4F44-B3C3-EFEE49E232A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a2bcc1ee95828acd83b6565b57d64477ce1475","datavalue":{"value":{"entity-type":"item","numeric-id":5331572,"id":"Q5331572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$2F966A94-C018-4C62-BD8E-3FAC9153D563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d545d46281c27f7c22d936768292713b57021712","datavalue":{"value":{"entity-type":"item","numeric-id":5617749,"id":"Q5617749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$FDE757B1-7213-4965-9C3D-B16E373DF791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02bcb660c4feed6c66f1667e9a716ec0e97c5e33","datavalue":{"value":{"entity-type":"item","numeric-id":4273617,"id":"Q4273617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647542$3D61E4C7-E899-40A0-A694-7B6181A8DCEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978aaa6bd41dd861db1c8203a087e01f8c2c05af","datavalue":{"value":{"entity-type":"item","numeric-id":4282509,"id":"Q4282509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f686443652481ba6a6493901f85fadfbcee3c03","datavalue":{"value":{"amount":"+0.796921968460083","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":"Q4647542$647ADB69-8580-4107-82EC-EF8865EBAF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9aef774386ccbf6024985cd7c37c9123be9e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4264722,"id":"Q4264722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5187b95a3a7c2f12f1e1824612975c7c3131e101","datavalue":{"value":{"amount":"+0.7655819654464722","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":"Q4647542$75EEFD2A-3640-4ED0-8F43-FF39A768465A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f584b6e7aaa9f9e37c6f1d0079e14e6c14d9a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4418674,"id":"Q4418674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c6e7120bff5a1f6531b2d5ada76cc9dfdd25aa","datavalue":{"value":{"amount":"+0.7647488117218018","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":"Q4647542$8B7E7109-C71E-44E8-A339-39B8B914736C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf6d55f21836e77cdf181a7374cf30bb6d35fa3","datavalue":{"value":{"entity-type":"item","numeric-id":1771316,"id":"Q1771316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874678c34ed762e274902367e0b4a2c3ce181d5b","datavalue":{"value":{"amount":"+0.7643755078315735","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":"Q4647542$FDB87A51-E8D0-4E20-BBAE-E7EBD299F11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72677547aec7bbeed0d7f0c6cab2a8458ecfc71f","datavalue":{"value":{"entity-type":"item","numeric-id":1332641,"id":"Q1332641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d218c159735da9ad5dcf43bb83e154d248d13960","datavalue":{"value":{"amount":"+0.7601803541183472","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":"Q4647542$05842C16-006D-488E-AA2A-C4B43B817A91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ground resolution with group computations on semantic symmetries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ground_resolution_with_group_computations_on_semantic_symmetries"}}}}}