{"entities":{"Q3371149":{"pageid":3381853,"ns":120,"title":"Item:Q3371149","lastrevid":49790611,"modified":"2026-01-10T18:53:47Z","type":"item","id":"Q3371149","labels":{"en":{"language":"en","value":"Relating Higher-order and First-order Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5008187"}},"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":"Q3371149$3427913D-1B56-44B7-887A-6B9101503E51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c5c80ba336b6767bdfcc5bcf86093e9ab0c1230","datavalue":{"value":{"text":"Relating Higher-order and First-order Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3371149$5E08BDCE-89A0-4181-A3B1-EEF9679BC5C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"024534a6d599a8a3b03afa177c43f3d4c0daa850","datavalue":{"value":"1085.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371149$AED1D92F-55CE-4AD1-B8D4-AB90B5F15F99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32fec076cd784676ce6465fb8cbb84aed2bdec55","datavalue":{"value":{"entity-type":"item","numeric-id":408546,"id":"Q408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371149$455FC77F-D678-4B77-8AE8-62D358F00FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371149$3970FFC9-4A3F-41F4-BF13-6DD62BE77F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371149$3AEADBCC-D13D-41DF-BB68-8767BA98168D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdf62483a5814915194a2a6a1a7736760394c780","datavalue":{"value":{"time":"+2006-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3371149$7A347650-15AA-4B9B-BF24-A77272B380C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371149$3E5D465D-92CC-4BC5-941A-5CA91FEA7422","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c25c40c786cf0996514a86805a00d78a9e72e21","datavalue":{"value":"5008187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371149$6FDAABB6-E10C-4838-A664-E144820DF6E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371149$493AD084-0C13-4E85-BE17-B705ADC305DA","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":"Q3371149$ADC8082C-DEB0-4349-B83E-3E23D685EE6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20c3e9257bbeb5d6b34bafc9b160af1c427c4a6f","datavalue":{"value":"https://doi.org/10.1093/logcom/exi050","type":"string"},"datatype":"url"},"type":"statement","id":"Q3371149$218ABD7C-1FF4-4F6D-BCCA-616F13C0CB1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ccb2bfdbc4fdceafb8b00ff92eeea147dd82366","datavalue":{"value":"W2079273254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371149$FBD437CB-9A84-47FE-BFA8-6803C64E5B0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0fc699d89969189983bf4c72146daaf12aff644","datavalue":{"value":"10.1093/LOGCOM/EXI050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371149$416C7F0B-E26F-476D-B1E1-9E45825F12EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371149$16A775DA-2781-49ED-BB3F-9ADB631672CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18dbe47618768eb312adb549a9ce9f62147f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":5898159,"id":"Q5898159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c7d530f8eaef8d051cc6ae3cf2cfbf91815561","datavalue":{"value":{"amount":"+0.7622313499450684","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":"Q3371149$9C78ACAB-F5B6-48DE-B3CD-BEC5F4433EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54b8853a467d545836de3beb88185d6500b02ce","datavalue":{"value":{"entity-type":"item","numeric-id":4938608,"id":"Q4938608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48673b3893eef3944935a914afc93827019d21c7","datavalue":{"value":{"amount":"+0.7616404891014099","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":"Q3371149$641C0CAA-3EAB-4A43-8B3B-65A1393FFEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c463528397fd96999c11150ea4cda806549a18","datavalue":{"value":{"entity-type":"item","numeric-id":3460411,"id":"Q3460411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48673b3893eef3944935a914afc93827019d21c7","datavalue":{"value":{"amount":"+0.7616404891014099","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":"Q3371149$47F9BC64-5B92-4BA4-B47F-0EEF61B88990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360dbedb9dd24a67268fcb921e9f350f4d5d54a2","datavalue":{"value":{"entity-type":"item","numeric-id":5055746,"id":"Q5055746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7bdcaebc2b3c945f2ae0e5f8cbd87c04e1abe51","datavalue":{"value":{"amount":"+0.7608018517494202","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":"Q3371149$D295913C-87A9-4D90-87AF-B63A87920387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd9e52499b3432a3e90d58155d673c3eb24b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4524793,"id":"Q4524793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97fba03e18424df456a0b8ebc050c1d4e737ec3","datavalue":{"value":{"amount":"+0.7586053013801575","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":"Q3371149$0D33EFA5-310F-4C51-A4AC-8BF72CED6501","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3371149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3371149"}}}}}