{"entities":{"Q4364370":{"pageid":6393969,"ns":120,"title":"Item:Q4364370","lastrevid":46511838,"modified":"2025-12-24T22:50:25Z","type":"item","id":"Q4364370","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088023"}},"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":"Q4364370$F1C0E1F4-78A6-47CE-AE8B-BDDD68472333","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdb6bedf64d35b716fbf2f4b2b2f3653d2f8e60d","datavalue":{"value":"0888.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364370$20CF5DBF-956B-4FFF-83C1-73E63ADB3825","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364370$5BC9FD52-63B4-4403-85A3-DA1550CAD418","rank":"normal"},{"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":"Q4364370$B3CBD463-4964-4EED-91B3-D87C2EFE51C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364370$E8E5EB0C-3A1C-464B-AE76-BCBDF074A018","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364370$A27CA893-6E17-47C1-B2C1-D1432CD484B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364370$509A9A0D-7082-4B93-8D57-D0BF105EBCD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c72b7c17301be134cd3587a006207b626703781","datavalue":{"value":"1088023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364370$3314B389-ED3D-4E88-BB2E-5F5B34B80105","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364370$45392A72-B3C5-485D-B5C9-8C1EFE2F078E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364370$7ECF5487-A6F5-4C21-8AAC-8A736CB0964B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85801e86c5ee0285c2463a1d1ddb94db47a1f7b6","datavalue":{"value":"higher-order \\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364370$C4D15E44-9C2E-413C-B136-BE17A347A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90200d6275680b08dd1574737ccbef35792bd4e","datavalue":{"value":"first-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364370$B158D0F4-F2E6-492A-80EB-F27496ED5E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364370$E9EDDD43-C75D-44F3-9007-EBDA708A36FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092912305bb87784bf644e57ccf41419014dc37a","datavalue":{"value":"rule-based unification procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364370$7E18CA31-A8E5-4D4B-968F-BED3020FE7C2","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":"Q4364370$4B20C253-B1FC-4C04-808D-426E38A83294","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f938600cd78da4b1c1ce3ebd991cc44c96d4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19143161d38fdd315e7e5e139f01b456c034d2a0","datavalue":{"value":{"amount":"+0.889134407043457","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":"Q4364370$9D992132-D93F-46EF-AAE6-A87DDBD8D6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed98c364da768f7151867a2161bfd994bdea7e","datavalue":{"value":{"entity-type":"item","numeric-id":6488561,"id":"Q6488561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc688d30cdfd12d057e567b3ec1a9bb7c0d589f1","datavalue":{"value":{"amount":"+0.8676064014434814","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":"Q4364370$D6DEBA1E-86D7-4B41-8226-07948A7F2075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c06f53546062943063e6ba8de30d0e16d815b29","datavalue":{"value":{"entity-type":"item","numeric-id":673971,"id":"Q673971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4086bfa3efd0a2d10570867e0b878e544a2d3e28","datavalue":{"value":{"amount":"+0.8586946129798889","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":"Q4364370$BA90EEF0-392E-4C8C-847E-B4DE7BE052F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3259deb61cfe2170701e47d67e7bd5ff2a5591b8","datavalue":{"value":{"entity-type":"item","numeric-id":5055760,"id":"Q5055760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cb1e4c9d6a30f45d293983702dccfe84208666","datavalue":{"value":{"amount":"+0.8306329846382141","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":"Q4364370$1CC43535-7AE8-4C1C-8F95-EB8EC52FA6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bbc8a230c9a4e07da2c4f8d5569aab782686d7","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a18ff7415feb1552088695090ec718ef799a007","datavalue":{"value":{"amount":"+0.8207978010177612","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":"Q4364370$23426643-C5C8-4A1C-8DAA-3FC94EED82E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364370"}}}}}