{"entities":{"Q1241272":{"pageid":1252022,"ns":120,"title":"Item:Q1241272","lastrevid":68277015,"modified":"2026-04-12T22:38:17Z","type":"item","id":"Q1241272","labels":{"en":{"language":"en","value":"SUBSTAD: for fast substitution in LISP, with an application on unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3569802"}},"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":"Q1241272$0261A694-552F-4F4B-9330-BD79743EC168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fabebe6477bd08fa20ae6965dfd3f27cf30dd651","datavalue":{"value":{"text":"SUBSTAD: for fast substitution in LISP, with an application on unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1241272$1A6DF065-43F7-43D4-BB42-92FF69219BF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f3e657a471b22be79a6b7fb3ab2fb4187cde21c","datavalue":{"value":"0365.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241272$D23E8B22-4FA9-468E-B6F9-B4D06B1C082E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9caacd04e9b078d3e8c0b5a027af3a271684b7c","datavalue":{"value":"10.1016/0020-0190(78)90043-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241272$28882EB7-7E25-4983-9E1D-DFF2FB441FC8","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":"Q1241272$0AD73ECE-609E-40D1-9C3D-38733641E118","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1241272$7AD6D932-000C-4867-AE15-2D22E247C98F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241272$9EA9E42D-6BF9-4A02-A102-D2626C531AFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"861dd05171a40ea9c483b913e9bbe61b133e243e","datavalue":{"value":"3569802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241272$6D642BC6-C6C5-4A00-8823-2389B95042C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7412dddecf2e121f75db696ef086e81734be8fe","datavalue":{"value":{"entity-type":"item","numeric-id":1103416,"id":"Q1103416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241272$ED2D5351-DA96-4C57-9338-89A5F6F746E9","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":"Q1241272$E2E59CF2-CB69-4EC5-A8AB-4C43FBB39B4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60410cbc155b1a4e96a0c45903098123d1cace25","datavalue":{"value":"https://doi.org/10.1016/0020-0190(78)90043-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1241272$B9820A1A-CFCC-4772-B0BE-D5F80B0DCDDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71dd09136314fa55028b364c3dded9862157b9c0","datavalue":{"value":"W1976147100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241272$DE4577C8-9837-4127-9F25-4E90DA965BD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c402460d76fd89a54aaea995289d056ff9d3dbbe","datavalue":{"value":{"entity-type":"item","numeric-id":4105760,"id":"Q4105760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241272$5E6C83EE-C67D-4787-A58D-23F7C8DDDCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638eb3a308c544ec7a423ab31468bc6929fab040","datavalue":{"value":{"entity-type":"item","numeric-id":4055144,"id":"Q4055144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241272$8A456384-E4A8-49DB-9B43-80924B59CD85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SUBSTAD: for fast substitution in LISP, with an application on unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SUBSTAD:_for_fast_substitution_in_LISP,_with_an_application_on_unification"}}}}}