{"entities":{"Q3160301":{"pageid":3171017,"ns":120,"title":"Item:Q3160301","lastrevid":80246795,"modified":"2026-05-06T15:45:31Z","type":"item","id":"Q3160301","labels":{"en":{"language":"en","value":"First-order unification by structural recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132435"}},"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":"Q3160301$E2E2F11F-ABBA-402D-A741-3E1CA88F5C01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be5dd2aec7b8ef3999a09f84fdf6b61d810935e8","datavalue":{"value":{"text":"First-order unification by structural recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3160301$8AD1AEDB-1EDA-46AD-BF5D-3ED6EC6261B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5a0a2976dfd16c9342e97c8c89eab04be4330be","datavalue":{"value":"1093.68561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3160301$FC348660-E975-464D-8712-8509331BB1FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b32983b59bb7e0bb3ce1608d0f6cb8c11ed9469","datavalue":{"value":"10.1017/S0956796803004957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3160301$7CDB90BA-E27D-475B-A347-9A9F2B7DA6D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76aea849f9d31d470a57d9a5c902b7b2098fef91","datavalue":{"value":{"entity-type":"item","numeric-id":2392479,"id":"Q2392479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3160301$F515A204-24AF-4778-80AA-25AA6A92FDCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3160301$679F02ED-673C-4642-93D5-FB37D3DEAF83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"831ff43a4969733a7698b320c2210720f63950ea","datavalue":{"value":{"time":"+2005-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3160301$4BCCD8ED-0936-48F3-B882-E0897D612041","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3160301$B12040EA-8E33-4F93-A272-E58E1129A232","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b61df076395227d93d916252967d0709f097eda","datavalue":{"value":"2132435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3160301$75D91735-DD2B-40BD-AB9B-AE0D40CD4D8E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9da1d5afa86bc23f338eb8dfe7cdc1e8c5c4ed73","datavalue":{"value":"Q56092432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3160301$66569FF8-8A15-4021-ABD0-44F5ED71E263","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":"Q3160301$F56B1CC0-47D6-41C3-BB74-2CA17D12CFF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64af20518dc4400064f9b42482be74fd5bb31a08","datavalue":{"value":"https://doi.org/10.1017/s0956796803004957","type":"string"},"datatype":"url"},"type":"statement","id":"Q3160301$31009F95-D319-4D3E-A934-0462F566C59E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a30eaf757e3206f27da50e67a74b991d89bf84aa","datavalue":{"value":"W1986121459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3160301$1A3E3F9D-8CBD-43D5-B305-D8F17771BB0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5893fd4aad7a9197442b7e9e808341c46b70e80a","datavalue":{"value":{"entity-type":"item","numeric-id":5747641,"id":"Q5747641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de02eccb3e7893dc50cc23121e671f1b442bc450","datavalue":{"value":{"amount":"+0.7898390293121338","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":"Q3160301$4CBA1D87-9AEC-4F7E-86CC-2F66151975B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792c036c47bf437e429da255bbadc2f347492852","datavalue":{"value":{"entity-type":"item","numeric-id":4644611,"id":"Q4644611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f5c0693759f4d55becd87bb52d10eaadb46126","datavalue":{"value":{"amount":"+0.778863787651062","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":"Q3160301$FA47176D-0A7F-4B1C-B44C-F4969BACFE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173aee9d2a48e7f455741b1c3b087943876bf963","datavalue":{"value":{"entity-type":"item","numeric-id":1060023,"id":"Q1060023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd92a0ba11a7d62ea13cb5c3efeb8338520bdb0","datavalue":{"value":{"amount":"+0.7715921401977539","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":"Q3160301$3CB0C073-D1B7-4E9F-AABE-5B4AE68D0BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb483c2684f4627d50245224e740d066f55a422","datavalue":{"value":{"entity-type":"item","numeric-id":3326880,"id":"Q3326880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d4170a5e1d96170aea7cfcd1cd5fc1ef8b34ca","datavalue":{"value":{"amount":"+0.7579954266548157","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":"Q3160301$D7947121-D4D8-4E46-A997-B519BE3A6326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94270c777b69360d62a77ecf64e4992a560b5e61","datavalue":{"value":{"entity-type":"item","numeric-id":4931594,"id":"Q4931594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2bdbc51485cedc592da5a5d0f8dba0d087d3fd","datavalue":{"value":{"amount":"+0.7549551725387573","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":"Q3160301$71EEB744-625B-424F-8DC0-CCA182A1C621","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order unification by structural recursion","badges":[]}}}}}