{"entities":{"Q3422416":{"pageid":3433119,"ns":120,"title":"Item:Q3422416","lastrevid":80882603,"modified":"2026-05-06T17:13:03Z","type":"item","id":"Q3422416","labels":{"en":{"language":"en","value":"Set unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5125634"}},"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":"Q3422416$5D6B764C-D825-4A06-8525-C2A6D6E51AEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"313286e44956e2f6242c7ec9bb874026a27e239d","datavalue":{"value":{"text":"Set unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3422416$E3669D0F-2156-4A8B-87D8-989453DDC409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47459c094ca182bd7614a77771a19bd842ab15a1","datavalue":{"value":"1108.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422416$30112FFB-8512-42E0-9BA8-633887115E60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62fa7e63ad17bc8a0d41662c3fe557c5d7ba0e24","datavalue":{"value":"10.1017/S1471068406002730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422416$2AC9484C-BE17-4BE3-9914-EB4496FDAE23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ee95eed4ca024e7da7af55e9d7b99b24c7e015","datavalue":{"value":{"entity-type":"item","numeric-id":206864,"id":"Q206864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3422416$6D589549-FA34-46C9-A26E-2368AD6BAEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51981e552a27139a0fa909d29b61875f9cf710ae","datavalue":{"value":{"entity-type":"item","numeric-id":206865,"id":"Q206865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3422416$F9F58FD8-4AB5-449D-8E1D-398255617615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4721b9bf7d65faf5816017392281660320d608","datavalue":{"value":{"entity-type":"item","numeric-id":206866,"id":"Q206866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3422416$C16F6244-960C-4CE7-8159-A9DA09FBD042","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3422416$FC2454E0-7D8E-458F-BF5E-AC69CC954033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6774d6ab22787c63fbf9dfb9bb080cedf0202a59","datavalue":{"value":{"time":"+2007-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3422416$490B541D-3D48-47CE-B0D3-F233EE6889BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422416$2CFA121D-BDA0-4419-8163-1E047EC352FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422416$913F63A0-3E53-456F-80FF-C3D972FBC304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51e9cc7801e85da5875835a7d7dc1a5b3df33e07","datavalue":{"value":"5125634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422416$9669D269-498F-4CA2-89F5-4F35D43094C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21912421dc807b5573ed38e7d462c49a5afbf152","datavalue":{"value":"Unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3422416$BA9DAAC1-FB05-4037-8B99-81A3E4A55E63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99c10a3cc37dbb250a49816b3c0acd51e8440fd2","datavalue":{"value":"Q57840347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422416$6A839432-05A3-42DE-B6B4-EDA9168EB3E8","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":"Q3422416$11741E77-641B-4705-8660-13682E0A362A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef6a3e9bd8ec989ec179e902f667040fd83f8ab9","datavalue":{"value":"https://doi.org/10.1017/s1471068406002730","type":"string"},"datatype":"url"},"type":"statement","id":"Q3422416$B1E31796-FC26-4693-95B9-419B635BD972","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56b9b1dfcd1c4314b167aa4dc421530831074c10","datavalue":{"value":"W2913519671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422416$8ECF9C8D-582B-4944-BCDE-73F52F391829","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3f2e06389113c395d896a3afe27ab222e84ef94b","datavalue":{"value":"journals/tplp/DovierPR06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422416$4B08BCBF-E6B4-4388-880C-2D462A7AAFC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506e754b1cdea091a8dc02f053bc968effe7ca95","datavalue":{"value":{"entity-type":"item","numeric-id":1285862,"id":"Q1285862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e02ad59d118951d811b79818e866637bcf78a8d","datavalue":{"value":{"amount":"+0.8529505133628845","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":"Q3422416$82C4B0FF-9047-4C09-947B-533B71954A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7a85de369a018f61660f9b5d7e31a14e6ea8af","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a56aaa7a0530c92b7b645da5420c37d636b8d98","datavalue":{"value":{"amount":"+0.8351994156837463","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":"Q3422416$681E1B7D-3641-4F4B-943C-F9877EBBAEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0461c0e66a96871fb02a0c5cdfe620f13c256b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4259955,"id":"Q4259955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07350570178af562522bd2440ac334e9ff4b92b","datavalue":{"value":{"amount":"+0.8068678379058838","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":"Q3422416$8EDF2939-55D7-4258-B7C4-061713F54D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b6797f7baa429db18ac3c6b731d6c25f813396","datavalue":{"value":{"entity-type":"item","numeric-id":4506398,"id":"Q4506398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a886ab5ef0b080577e46ae5003d222b479202993","datavalue":{"value":{"amount":"+0.7993515133857727","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":"Q3422416$B99E1BD1-F556-418F-8AD0-1901E4FF09B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7913433f44e2a9c01500474b33479b53d6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7467381173263d460e2478c00dce18e9eb633c","datavalue":{"value":{"amount":"+0.7919986844062805","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":"Q3422416$352D0D2F-9F81-43C0-9CA3-170052FAD607","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_unification"}}}}}