{"entities":{"Q1917102":{"pageid":1927844,"ns":120,"title":"Item:Q1917102","lastrevid":46457349,"modified":"2025-12-24T19:59:42Z","type":"item","id":"Q1917102","labels":{"en":{"language":"en","value":"Combining decision algorithms for matching in the union of disjoint equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896656"}},"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":"Q1917102$30B03094-A4AF-4D6F-A461-3B8DB3938AB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2daf027ef8803bfc3d95e9436722e76bec311fb4","datavalue":{"value":{"text":"Combining decision algorithms for matching in the union of disjoint equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917102$6B9A2C49-4AF9-454A-8D59-4558F90A094C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c010c7960fbe55cfc03549011405c36276f85ec","datavalue":{"value":"0853.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917102$4B1E3994-9BC0-4AB5-A7AF-B8D845471C8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917102$0CDDFDA3-705A-4B5A-A144-2F2DAD5BB983","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917102$F2190721-A325-40B5-B95A-670F5E49A9B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60672cb90115032e64b2f57d0fe6f55b5ecc447d","datavalue":{"value":{"time":"+1997-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917102$498E8702-48BC-491B-BE8E-D8C426DCBEF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aa4cd0a062fade95caf46ddba8a7a5eb0dc5528","datavalue":{"value":"https://semanticscholar.org/paper/6c9bad690d3a72660c446c663e46e566e0e826b1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917102$06D43674-D38E-4DDB-A890-8047720680D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917102$E05F2612-D450-4A80-9799-A3C4EEB7C4E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"903da5c640f6fa4aee9c89cdf7a3b8d3817da4d8","datavalue":{"value":"896656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917102$7E7EE96E-695B-4D3A-A5EC-0605F414C313","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d197cd588068c00e4c95496375d464dc9b33535e","datavalue":{"value":"matching algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917102$0328AF7D-D1DC-4D3D-A7CA-B8A2DB757715","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":"Q1917102$20171FC3-9EB9-4AFD-97AB-28F2E8B0417B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7c737fa82e7c04b70938b64a45d6d5fb46df01e","datavalue":{"value":"W1995881795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917102$9A734DA1-BE19-44FF-A032-2EC2EF8A451D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c97d323d91caec7b6be00859cf37e0bce370a4fd","datavalue":{"value":"10.1006/INCO.1996.0042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917102$4E4158ED-46C4-4FA6-B632-BB6A0B977973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041d7249cdf536188d8f7a01a6503904baafca35","datavalue":{"value":{"entity-type":"item","numeric-id":5055731,"id":"Q5055731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c335ce805a3c5ac7c7a62561c2374778edec74","datavalue":{"value":{"amount":"+0.9186797738075256","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":"Q1917102$963A509B-E71D-44C0-8B94-B53C2D237BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e466e99271b8d7e142eaba6795a8b07f2b2b793","datavalue":{"value":{"entity-type":"item","numeric-id":5900720,"id":"Q5900720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da3fce3ac235fda14151aada6d1a26c1c51a307","datavalue":{"value":{"amount":"+0.8986220359802246","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":"Q1917102$816F7997-5313-4730-89D4-46B6B3A09974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df786a5f9b1a51f2533cf53d5a6f7166edd2872","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e450f170af36b2c89a92c9b0150615464e746f8d","datavalue":{"value":{"amount":"+0.865159809589386","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":"Q1917102$7C5C8644-F25C-472A-BEC4-CA5BF8B5CB2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1917102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1917102"}}}}}