{"entities":{"Q674747":{"pageid":676596,"ns":120,"title":"Item:Q674747","lastrevid":63487971,"modified":"2026-04-11T13:30:07Z","type":"item","id":"Q674747","labels":{"en":{"language":"en","value":"Decidability of unification in the theory of one-sided distributivity and a multiplicative unit"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 987583"}},"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":"Q674747$302F39A3-915E-4835-AAED-E33B1571401F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"913688ddb9ea51daed1b16837d3d157fd200e800","datavalue":{"value":{"text":"Decidability of unification in the theory of one-sided distributivity and a multiplicative unit","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674747$E5AB1AF0-E1D9-4D4A-B74F-E3744B10BB4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"243180eed9b799c26dfa681698319750d23de08e","datavalue":{"value":"0865.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674747$2457D675-FF22-4164-B003-FA93A7EF8E90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674747$23D4832F-EC2D-4169-827C-B15BF4349D73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb21a1c0989eb39ea024bc553a264711f2dc5f4","datavalue":{"value":{"time":"+1997-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674747$1E189E45-8443-4168-B4D0-6F9955B2440B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674747$16A15851-3CE4-4777-8633-F94D67E408EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18d8a5d95ce6499df83df18b5414f91cfd4a6ba2","datavalue":{"value":"987583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674747$FC20D520-66D0-4024-8C5F-556B25D43341","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44a1a3c2a66d229deed75104f784f4fc9da9f976","datavalue":{"value":"one-sided distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q674747$55562637-E793-41B7-BD3F-E03B19CD3408","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674747$8A1CE3DD-ED62-4C80-9B38-26C5E6C5094A","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":"Q674747$49BCBBD9-8B05-41ED-A77D-5460E421E139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"303a4f30ee55249da94de4cee27060397afd9e3f","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0054","type":"string"},"datatype":"url"},"type":"statement","id":"Q674747$DDB68F57-21B0-429A-88D5-49D5FD4CEEFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b91bd5bcff0357c5b49a4943fb8e678e791b513e","datavalue":{"value":"W2165268511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674747$4948D9B8-BCAB-47E4-827B-5DCA015D3A7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f8665d8cbd1571211a34e9bd2f810605ab8f4cf","datavalue":{"value":"10.1006/JSCO.1996.0054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674747$E04FF21C-C0BF-468B-B6EC-BF0D2AEEEA67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97395ded66542729cc7e1ed9223b23019cc591c4","datavalue":{"value":{"entity-type":"item","numeric-id":4282529,"id":"Q4282529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a46f1c02c4057f8659dbe7a7fac91b23ddbab4","datavalue":{"value":{"amount":"+0.928931713104248","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":"Q674747$1F802E73-15AE-4BAD-A6B3-D4B3A33BFEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce7f3ac921c8d836253d8bb64c9a6e7ec23075d","datavalue":{"value":{"entity-type":"item","numeric-id":3696499,"id":"Q3696499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63b48bbb7fd70d59e0a796d43b474b5c6042b34","datavalue":{"value":{"amount":"+0.882272481918335","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":"Q674747$24654509-3C65-4E56-993D-4D7C6EA29D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9400a58fbc504e6dfd7a75f10d28377c6eecdee2","datavalue":{"value":{"entity-type":"item","numeric-id":1099650,"id":"Q1099650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087f852c0d48bbdb0e341a0cf9c4428a232260bd","datavalue":{"value":{"amount":"+0.8738564848899841","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":"Q674747$844A4701-B280-46B8-8AA4-C2579277700B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e37e2c734bdc45b8c3b7789a6eff3d5ec1c0c53","datavalue":{"value":{"entity-type":"item","numeric-id":2908511,"id":"Q2908511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b62c3be192021d7702a06aa8544fc350ec6db5","datavalue":{"value":{"amount":"+0.8395912051200867","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":"Q674747$C5617CB7-D1DF-47F2-86F3-29628A437B31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of unification in the theory of one-sided distributivity and a multiplicative unit","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_unification_in_the_theory_of_one-sided_distributivity_and_a_multiplicative_unit"}}}}}