{"entities":{"Q5306172":{"pageid":7335746,"ns":120,"title":"Item:Q5306172","lastrevid":50949869,"modified":"2026-01-15T21:53:36Z","type":"item","id":"Q5306172","labels":{"en":{"language":"en","value":"Alphabetical satisfiability problem for trace equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5691261"}},"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":"Q5306172$466919B6-8F60-46F1-B71C-56F3C3493267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f18a732a473a1aa0a1a184e52ff18e9fbd91ada","datavalue":{"value":"1199.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5306172$103C8729-C69A-4850-A923-27C4696185EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c27d77efdb9538bc0419055bbb1a88e866cda8a","datavalue":{"value":{"entity-type":"item","numeric-id":383724,"id":"Q383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5306172$7957D05B-4FA3-4229-A851-5260120A6129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"921ef8225a113382e2c3b0c1a5478b76849a9cce","datavalue":{"value":{"entity-type":"item","numeric-id":1758225,"id":"Q1758225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5306172$A1FAC57A-B0B9-464F-B61D-D5D026892620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"765d69378dc5e63e1ac7347f6754dda6bdd6b8ba","datavalue":{"value":{"entity-type":"item","numeric-id":305763,"id":"Q305763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5306172$7D69418C-3695-4E7F-9FFD-2998A40FC0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a2a6aa52f309a3eb5fdf219849c665e44471751","datavalue":{"value":{"entity-type":"item","numeric-id":1137651,"id":"Q1137651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5306172$3A03225A-780B-4332-B760-08A8339824D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d97353d9d5ceeee1d588f15c1326d45f6636916","datavalue":{"value":{"time":"+2010-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5306172$C1E8D4A4-235D-42B7-B293-CDB968BD639C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5306172$3951FD58-B28F-456C-B6C5-F55792C09EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5306172$A0EFC1A2-5238-4D71-AD5A-F6FC094F3036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5306172$5497A686-E408-4F36-B2F9-285D626BFCA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c90228d572af94582fbe327d647a4b18b46d4ba9","datavalue":{"value":"5691261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5306172$EE03DA10-096F-463F-AEE4-A46CF735C51F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17e9efccf80d0dddb7e99616ac28a0706679bc76","datavalue":{"value":"free partially commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5306172$D9DCAFF1-0CE6-4134-90A0-E95335D5211D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"808cc9ba34abb8069ef22a39e62904e39c12267f","datavalue":{"value":"trace equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5306172$DD8FB6B6-05CA-487D-81F8-CCDADB8F0105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dc5a1d041f9e444212e60e5236dde69d229f7d","datavalue":{"value":"NP-complete problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5306172$0BCBF17B-6F27-4B11-AD1B-F98505E5814E","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":"Q5306172$165463FE-A0A7-48DD-AA7E-84BF2BFA8171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fb5a816e3144b040cf466f1a5c5f5fb5a1d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":1960424,"id":"Q1960424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56bfc487b2a7342b7ae91a83f3367769cca4124","datavalue":{"value":{"amount":"+0.8419340252876282","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":"Q5306172$5E4AEC47-22A8-447C-9BC5-E2650612082A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450ed9274d256cfc10801e47a0539442d9b7b3c3","datavalue":{"value":{"entity-type":"item","numeric-id":4598269,"id":"Q4598269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6541a23e9e0aad245d3404817aaf5a3fd7fa0202","datavalue":{"value":{"amount":"+0.8203410506248474","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":"Q5306172$D979B43D-BB94-45A0-838F-14B7354B27F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b432a781b499b3d754b71e84ebb11226c75d54ae","datavalue":{"value":{"entity-type":"item","numeric-id":4779171,"id":"Q4779171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7332ff5d89b8c64dee94c54d37140aa6eedd3e7","datavalue":{"value":{"amount":"+0.8105555772781372","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":"Q5306172$5A187C4F-CB94-44EB-AE56-08EB91A5FF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e9a72e15978a43c2d763fe4c730a3e698d10a6","datavalue":{"value":{"entity-type":"item","numeric-id":3191967,"id":"Q3191967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7332ff5d89b8c64dee94c54d37140aa6eedd3e7","datavalue":{"value":{"amount":"+0.8105555772781372","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":"Q5306172$FDEDC6B7-690E-4FDA-8BDD-6E7ABAA6DB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be3246609477f9e5525c11d142222209a4436f5","datavalue":{"value":{"entity-type":"item","numeric-id":4535046,"id":"Q4535046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52448b4bf941623c9dffc300e5541fa4e48d68a9","datavalue":{"value":{"amount":"+0.8005568981170654","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":"Q5306172$2333CD13-D908-433A-A27B-463F3BFB7B7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5306172","badges":[]}}}}}