{"entities":{"Q287056":{"pageid":288823,"ns":120,"title":"Item:Q287056","lastrevid":60665679,"modified":"2026-04-10T18:23:03Z","type":"item","id":"Q287056","labels":{"en":{"language":"en","value":"Unification for infinite sets of equations between finite terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585409"}},"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":"Q287056$53C100A3-1AFD-4F4A-B041-781EA6A2A224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a392a132fb92ef382498ce72b35c9af2e552df37","datavalue":{"value":{"text":"Unification for infinite sets of equations between finite terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287056$417BB164-1B85-4A01-907B-B72B2501E416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"869ac3a34eb88d80c8ec00a6d6bde1368675fc8c","datavalue":{"value":"1337.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287056$F4CA747C-B155-4BC3-9F61-EBD21B2C6939","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88c39756a1cb6c562b71a664f7ef325db2d3a455","datavalue":{"value":"10.1016/S0020-0190(97)00063-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287056$07F690BB-E3F0-4EC1-9AA5-870507A9F3A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$D7412E68-9F54-446C-BABE-5C4E045C5B08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287056$E778D639-3EBB-453B-BCF9-EB7BDA2B4261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287056$3545BB90-3162-41C8-B55A-811C43D693F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2a8b2222bdccdaba08c0a66d9f8c0ed52b643ea","datavalue":{"value":"6585409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287056$2DE0ADEC-3D8D-4EFF-9F22-E6DFD33011C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412a222163a6a7d77238f6f19798a25e2c5d456c","datavalue":{"value":"most general unifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q287056$A0F4D37D-EB0F-42E9-85EA-FC61E7D5EBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878133f3596ea43590a3ed5242fb7b3f3fdeef6a","datavalue":{"value":"infinite sets of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q287056$BC940005-EA31-49EF-9FB5-2E8BE6D7002E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$2F48E73A-0463-48D6-91B2-5EA239D3FB99","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":"Q287056$FEE0F4CB-DC1E-4B2F-B200-4A03324578BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e3cc676e4dabc1544eb68647a51c5ff1ec3938","datavalue":{"value":{"entity-type":"item","numeric-id":4868062,"id":"Q4868062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$0791F805-C24B-4E96-869D-368A03167169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$30FE8413-689C-46B5-9DD2-B4458D1545EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8cb5bff1fa165a39a952c997ad4baac1897177","datavalue":{"value":{"entity-type":"item","numeric-id":1322773,"id":"Q1322773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$DD693B9D-74A0-4CA7-A19F-7220171B2FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$5D7075E7-9E68-4E03-914D-8D86C05D6DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$F9770747-2A80-4A06-BC2E-04FFA761D46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$A8F27F70-6DD5-4907-A428-1464AF87B4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc03a086df4043f7b8b95c2edf393c92f5b32eae","datavalue":{"value":{"entity-type":"item","numeric-id":3849389,"id":"Q3849389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$CB42A380-109D-4744-BBE6-9C419FF951AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$6F7BEB87-B1D0-436A-8827-83DEF5789FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$5CBCB137-893C-43AB-B498-E446E484ABA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$775092F9-5EF3-4540-A4AE-9B299979AAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287056$55C1984F-59B9-4AD4-9C42-95116CEAF389","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cf08c012d7fd2468b275fd8b578e1e2f31e162","datavalue":{"value":{"entity-type":"item","numeric-id":4315958,"id":"Q4315958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38311a176853528af03ad78dc2883cae7907443d","datavalue":{"value":{"amount":"+0.80450439453125","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":"Q287056$B2BF9D8B-FFF2-4D81-9003-39A3DD5C694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f891d19f81da48f3edd8bc961fe56e79eb3c2723","datavalue":{"value":{"entity-type":"item","numeric-id":2563693,"id":"Q2563693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05af6a1d07415515453d4dd1bc7b2586458869a","datavalue":{"value":{"amount":"+0.7986468076705933","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":"Q287056$BFE98ABC-DBBB-4043-AA4D-AEED9CBE80C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c46329da26eedd9a61f56824b6829971ae44cf","datavalue":{"value":{"entity-type":"item","numeric-id":1322773,"id":"Q1322773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e3271aaf476931f87a6431853f00786f335a89","datavalue":{"value":{"amount":"+0.7972872853279114","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":"Q287056$CD3C9B84-5EF9-41AC-9F33-92B976ECAF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05555a6148d4605be5593a25aa174e0c87a0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":1094131,"id":"Q1094131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38066fa251a9abbd1fffff53636df68578d45bac","datavalue":{"value":{"amount":"+0.7905734777450562","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":"Q287056$2B745A59-DA10-40B6-A8E0-1C587A9E7049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f92d4adfe10bfad229fbcff76efc664da12a18","datavalue":{"value":{"entity-type":"item","numeric-id":4723704,"id":"Q4723704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c76adcda6ad39cbed2c909d128111d030bb4e6","datavalue":{"value":{"amount":"+0.789191722869873","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":"Q287056$E81DCBED-AFB0-4DF7-9ABB-403CFA16DD0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification for infinite sets of equations between finite terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_for_infinite_sets_of_equations_between_finite_terms"}}}}}