{"entities":{"Q4247079":{"pageid":6276680,"ns":120,"title":"Item:Q4247079","lastrevid":46824291,"modified":"2025-12-25T16:18:20Z","type":"item","id":"Q4247079","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301856"}},"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":"Q4247079$77CDB2FD-4840-4FF1-8DEE-0F399909F2F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99df1bb9ac0f99b2bb2d65f8deca974316b51b72","datavalue":{"value":"0927.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247079$848EFC4D-4283-4836-9653-E16AF56CA537","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9ce3e80bb1a16307d22ed97af34d804e7fedd0c","datavalue":{"value":{"entity-type":"item","numeric-id":639670,"id":"Q639670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247079$FFB00331-61F0-4234-A840-385EE8CB2B8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247079$8AA9DC93-805D-414B-9F75-AE02B3E2F7AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247079$322DB2BD-D055-4D4A-8B08-0826526FF264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247079$D5F8FC06-2902-47FE-90BD-F15843D03B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247079$EE755FBB-6D16-46AD-A4DA-B620914648F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247079$E5D65691-451C-43E2-A413-686D7638119E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05da46e515b1ca6c5ed3b0f1081c987eb728af2d","datavalue":{"value":"1301856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247079$EB33EA43-7C8E-4769-ABAE-D6643F99D6DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247079$8B31DA67-5314-4C44-BCF6-C587F065D838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247079$1026D3B0-B9A3-4379-86EE-49133155F426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69020b90f2a295125077d4c830cfc6ef19605b9f","datavalue":{"value":"free variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247079$B2A5C339-845A-4F2E-AFFB-8E6056A2FE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1011d18502006ece39729500674976110d05c580","datavalue":{"value":"subexpressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247079$BA70AD1D-18FC-46BC-B230-1FCE75E15D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247079$66533EBB-815A-4526-A184-6E291AD4782A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1313f407bf30b92421affaa4d9581a813aab8bb3","datavalue":{"value":"higher-order term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247079$E4D758CA-8143-4EE4-8947-FEB8EC530939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2ffb2ae3d186f2630529c3207bca238dd52b0","datavalue":{"value":"meta-level representation of subterms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247079$B006373D-04FB-4805-85D4-6324BDBEBA55","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":"Q4247079$9D29BAFE-0CEE-4606-B027-B3BDE8A83BDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fca800231fdfbf0d3882eb3a3818d981838372","datavalue":{"value":{"amount":"+0.8122486472129822","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":"Q4247079$374EB083-71C9-4320-810A-1F609E11E1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972e1849735b3ee97a440d4c3331f466397a3c38","datavalue":{"value":{"entity-type":"item","numeric-id":2767057,"id":"Q2767057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c65543a65caa9dcb966688191c443f47ca6f91","datavalue":{"value":{"amount":"+0.7677918076515198","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":"Q4247079$BEB68698-0977-43DC-B3A0-546F0C67F400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c581e669ae9408182aff3af608d0ce1c9f3579f4","datavalue":{"value":{"entity-type":"item","numeric-id":5747671,"id":"Q5747671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07c73f2f13ba78321b176b3de5dba865ce46a1a","datavalue":{"value":{"amount":"+0.7665146589279175","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":"Q4247079$F227D4D1-844D-47A7-9EC4-610E08D59DAC","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":"a5721112425be161c9e6c9e3cc42e53501b4171b","datavalue":{"value":{"amount":"+0.7412055730819702","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":"Q4247079$68919FC1-DB09-49AF-819B-7D2C922459F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247079"}}}}}