{"entities":{"Q6149946":{"pageid":13284253,"ns":120,"title":"Item:Q6149946","lastrevid":93913673,"modified":"2026-06-05T05:25:48Z","type":"item","id":"Q6149946","labels":{"en":{"language":"en","value":"A (machine-oriented) logic based on pattern matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813362"}},"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":"Q6149946$DFF4205E-9E08-4933-86FA-A7EFEB789543","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c053e7f4ba232477fc4fc3ffcaf8590dced64565","datavalue":{"value":{"text":"A (machine-oriented) logic based on pattern matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149946$0B7172BC-DF81-4CB3-BBB9-0592B8982477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20de743254475bd7d88e3aef7138328e469450dd","datavalue":{"value":{"entity-type":"item","numeric-id":3382815,"id":"Q3382815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$4E157B2F-12D8-4C2B-9E2D-C28F3DDAD30E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$EF6DAA36-52D4-4E4D-86A2-B0301BD543F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149946$C27F7D1E-0F6A-42D6-91E0-CC5ACC371C0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149946$F28F9E2B-8137-4A94-9598-8F43525F028B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c91c6feec07989ac3eb925c0914c3efddfd3bfbe","datavalue":{"value":"7813362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149946$42304E6D-BB1D-4CDC-803C-8A22B34BDD7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149946$76759BD2-D227-4B2C-ABCE-8D0686E61ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149946$4A98A608-5B87-4B09-B28D-BB5116BD18AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659bb8879fdc0319bd5c16763d4231270b7b686","datavalue":{"value":"condensed detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149946$7E4564B1-534C-436F-B586-CAF13BD33F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b617518de0fe07cd6b2eacf7ca8fcc56d8879437","datavalue":{"value":"principal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149946$B72F03C9-1C70-4B39-BC36-A47F79AAEBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149946$8C04EB71-FE2F-4545-A569-912AA0CD023A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a38a881dab58c6d40239e7d1f21098eb17399e0","datavalue":{"value":"Fool's model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149946$B9A37F27-B21B-4B86-8C92-434F229AABCF","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":"Q6149946$511AF9BE-FD23-44B5-A2DA-E559F35B99C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ab8537c9f7d0dd009f6f3d89b895052b882d80b","datavalue":{"value":"https://doi.org/10.1017/s0960129523000191","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149946$C19DEC79-C937-4EEA-B1F4-0D3BB1F82441","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d98cb82fca1ecbd0b03f3293b9076ad17851ac6","datavalue":{"value":"W4383224289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149946$98F2D4B4-E800-457C-A2AE-BFF9B37AF180","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79acf9b17435b27c12ac696235662f5ee3cce84b","datavalue":{"value":{"entity-type":"item","numeric-id":1903086,"id":"Q1903086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$EB97FF42-5CF2-4A25-A573-947304115F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$5FB83720-E8EA-446F-A044-BCA832E76578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$7E5C30C5-B79D-42F7-9A63-EEA5BC7D1595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9843c8ee14c0643e458996a068684041675ad668","datavalue":{"value":{"entity-type":"item","numeric-id":1060210,"id":"Q1060210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$7485C75B-44BE-4D14-BD01-D7C3B543402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a36780cb372ebe85c36f61a428142fe662be788","datavalue":{"value":{"entity-type":"item","numeric-id":3833654,"id":"Q3833654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$FB31AA9B-93A7-459D-9866-1D6DC05AB5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c995625a3d6ef326eb2c5f18f7cd9368736ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1237711,"id":"Q1237711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$6755AB80-B57E-46AC-8F48-C0F796F3DD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1106d6067ed3eea0ed3a40f4bc54e1d7eb18d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":1181718,"id":"Q1181718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$AF0D8F18-8F5D-4E2B-A4F8-CF40282E8F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871eeb072064268812d71252bf2535d5e9ad8d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1242700,"id":"Q1242700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$75D097D6-5446-43B1-836E-3D168B37AE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$BA693E4B-DEF6-4E80-9545-027E76D12595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f4ac2c4d2314fae83403dbcb7eab5f78434cd","datavalue":{"value":{"entity-type":"item","numeric-id":3864488,"id":"Q3864488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149946$0D0543E4-5B8A-4773-9C13-50BCDC7B2FF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8208504c089132166fc13bfaffa542e4d5287dfd","datavalue":{"value":"10.1017/S0960129523000191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149946$CE575BB8-5463-4CDE-9E6F-F1F12C1D8433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A (machine-oriented) logic based on pattern matching","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_(machine-oriented)_logic_based_on_pattern_matching"}}}}}