{"entities":{"Q1272101":{"pageid":1282851,"ns":120,"title":"Item:Q1272101","lastrevid":68423514,"modified":"2026-04-12T23:36:45Z","type":"item","id":"Q1272101","labels":{"en":{"language":"en","value":"On the syntactic algorithm for the word problem of left distributivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226200"}},"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":"Q1272101$D5279FD8-8BF4-4C2D-8643-13ACA73E8231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ce50ff4bd7cb299eeae67966146b0618e2231a0","datavalue":{"value":{"text":"On the syntactic algorithm for the word problem of left distributivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272101$6BF69055-0528-4C27-A2DF-DE23A0FB3F06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7233bd3a3cbe821fb92bacf73d89ce7832e5f81","datavalue":{"value":"0902.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272101$8A0050F5-DCD3-4582-B08F-CA279B444C05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c06aa3c4dc97754b3a90c94fdcbba2fb94420c5","datavalue":{"value":{"entity-type":"item","numeric-id":185419,"id":"Q185419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272101$89A9F965-3D52-48E0-ABFE-1BDDDC5DDBBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272101$84B94E34-4C9E-417F-83C3-FD7CF1562659","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272101$66D66FCC-8B2C-475E-A8A3-38979A4524F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272101$8032CEE1-9574-4A5A-810A-4FD85FAB6A85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aefff56daaed419be95cdf59675933db6dc5d745","datavalue":{"value":"1226200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272101$FC9D2CE6-882A-4540-9525-90DB165F477A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558df41b678f27dc73c9f20dfbf09a449f77d160","datavalue":{"value":"syntactic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272101$EDCED956-004C-473C-B97D-3C82D8A8886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272101$033CEC46-C87A-4638-94AD-E5087919BF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529c329e9acadc9db9326e3b4d74cc797400a56c","datavalue":{"value":"left distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272101$7D533674-6981-490B-BE23-38352515CEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2365faac8997579c98a34986281d1809e2299249","datavalue":{"value":"left division","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272101$BD457B32-D59C-4AFF-9DB1-5CAE300879FE","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":"Q1272101$F58802AE-5AB6-4CEC-81FF-82C275E15CCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1f90f8da66125d325e1942615bf4e29caeae4cb","datavalue":{"value":"https://doi.org/10.1007/s000120050013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272101$0E83B9C4-B57F-4087-BDBC-76DECB5AEE41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dce1bb68f820d2e498528fd43c2ea4d99eb7b0ec","datavalue":{"value":"W2083286690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272101$A8F059A2-6CA3-43F0-98F7-216150D022CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02dc113506b72f6ca1238d994a69214b1aa3bc02","datavalue":{"value":"10.1007/S000120050013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272101$62941BB8-2447-4A66-90D2-28BB3CF90540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7c1d1a8dcb3d27c2aa0f62271c448767844e94","datavalue":{"value":{"entity-type":"item","numeric-id":1190471,"id":"Q1190471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83c6c702def733adf8367239d2b982b93d6ea04","datavalue":{"value":{"amount":"+0.8156132102012634","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":"Q1272101$2091BC66-D055-4227-AF21-ECC9D79B63A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5afafd1c88c8a64725b466ac08e3f0b733d68531","datavalue":{"value":{"entity-type":"item","numeric-id":4266520,"id":"Q4266520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6022dd8b47c91db7ad6505dfd3667d9b34ef20db","datavalue":{"value":{"amount":"+0.7738397717475891","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":"Q1272101$B9EAC236-CEF7-4C8F-8559-A2E891B3DFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b7fe8272b994a87dad23c4c6800e0b0d278d32","datavalue":{"value":{"entity-type":"item","numeric-id":5236822,"id":"Q5236822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab8ed22306c3744ff8e2dcbce59d1a32ea2d90e","datavalue":{"value":{"amount":"+0.7608986496925354","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":"Q1272101$081929D8-0F65-43AA-B742-3ED69EEF1404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a668c5f395161a9a6825def213df9df30843cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2440529,"id":"Q2440529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991b51ea7702f1524fdfb96faebc434658d98e88","datavalue":{"value":{"amount":"+0.7593443989753723","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":"Q1272101$519881F3-D976-4587-8F6B-301D65042554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15fc3782a5b6939477ea605c5e356ac1a0bb06d","datavalue":{"value":{"entity-type":"item","numeric-id":4726238,"id":"Q4726238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d96e06d39df3bc44c0a291edf30479926e81c3","datavalue":{"value":{"amount":"+0.7472416758537292","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":"Q1272101$1C46C54E-524E-4208-80E9-3E400EEB221E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the syntactic algorithm for the word problem of left distributivity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_syntactic_algorithm_for_the_word_problem_of_left_distributivity"}}}}}