{"entities":{"Q2958389":{"pageid":2969108,"ns":120,"title":"Item:Q2958389","lastrevid":85413383,"modified":"2026-06-03T08:07:56Z","type":"item","id":"Q2958389","labels":{"en":{"language":"en","value":"Unification modulo nonnested recursion schemes via anchored semi-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679829"}},"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":"Q2958389$18AFF18C-236D-408C-A86C-467994503DF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"068f3f1e7d8beeb12c1aafc99e7945e2791311a8","datavalue":{"value":"1356.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958389$30FD2371-AE7E-48DF-B3E1-3B1F0B441310","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958389$25F0F257-7E41-46D6-9A0F-47FFCCF267F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d02d5dcc1a607541ce3d6686693e2efa1b2ed41","datavalue":{"value":{"entity-type":"item","numeric-id":2945648,"id":"Q2945648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958389$99125DE6-73C1-4862-BF5B-77646FDBA7EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958389$98997F9C-6165-45B6-829F-DF03B5D01587","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958389$6AF85509-BCA3-4985-88B1-C0BEE3AACB06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c231dada61df8128c8fd166622cbd82d73fae19c","datavalue":{"value":"6679829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958389$FDE7BEE4-5FC6-4693-9A0E-DF6343A584DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e1b10ce39bfce710d3a1d1c36e1ea4ab25cf78","datavalue":{"value":"recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958389$778444C7-DDD5-4CD7-9080-02FE9C53A41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0086f482dc0b62f859c14a0c4ebace3e23acdb","datavalue":{"value":"semi-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958389$F411A69C-3CC4-4378-B790-6E44CD5F97D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958389$651BBA11-27F8-4B79-A827-00664F0DB860","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":"Q2958389$C14B8154-EEDD-4CC9-8A03-022AA244127E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6415f8c68a29fd30b1fc280bb45aa461473f4c1f","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2013/4067/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958389$00EC38D2-002B-4188-BB4D-38E327FF234B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cd9380b1f729a8a0df90ece60dcb2cefd36410f","datavalue":{"value":"W2276567692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958389$A5F32EE8-3BEE-4B72-B46F-B0A463323C56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a991654fadec7d375f7f889cc6b70074faf8cab","datavalue":{"value":{"text":"Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958389$DCA6D45C-47B8-482C-9BFA-91B177FE648E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"162d94d3f9323ea4b87dd56a8e251aee4a366d3a","datavalue":{"value":"10.4230/LIPICS.RTA.2013.271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958389$96E7AD28-A722-46DC-8633-3C3500AA4927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f1c24fc18247147d1212af21efe683e6efa0e0","datavalue":{"value":{"entity-type":"item","numeric-id":808713,"id":"Q808713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278c589d46968c134038e4fb2003c4e4fae54579","datavalue":{"value":{"amount":"+0.72524094581604","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":"Q2958389$47C2B44F-37F3-49C0-82A6-259D90B060A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e0c9d7eb391dc19d080e6ba053dcab2f39fdaa","datavalue":{"value":{"entity-type":"item","numeric-id":3819992,"id":"Q3819992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610b122d55b5c6bee77e88bf4c4651ab013c87cf","datavalue":{"value":{"amount":"+0.723574697971344","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":"Q2958389$BB852101-2EC7-44DA-9880-AA339A0EBAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc38cf96173d1fd56a6081c50dbff622604b848","datavalue":{"value":{"entity-type":"item","numeric-id":2643520,"id":"Q2643520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eead25fef9a992a76ec554afe6b9c1d781a47cf","datavalue":{"value":{"amount":"+0.7193300127983093","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":"Q2958389$D3821917-E9F4-4772-8F55-D0772FE145BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a44ec3a25b73c5d8b9fa3fe2cf2ec7046dee8","datavalue":{"value":{"entity-type":"item","numeric-id":3786467,"id":"Q3786467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596320810687fded14fe5a2fbc0fa246445dca9a","datavalue":{"value":{"amount":"+0.6942636966705322","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":"Q2958389$B9DAB92E-1E99-421A-9A0A-4D6089BCC09E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification modulo nonnested recursion schemes via anchored semi-unification","badges":[]}}}}}