{"entities":{"Q4260702":{"pageid":6290303,"ns":120,"title":"Item:Q4260702","lastrevid":41852411,"modified":"2025-05-09T02:00:53Z","type":"item","id":"Q4260702","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330132"}},"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":"Q4260702$2BBE5706-AF05-415F-AB4D-F0BBBE09E51C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a930ccacd658a2a105b75dcc7db3ca4d2190c251","datavalue":{"value":"0932.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260702$92649877-9EB2-4536-9DFE-B43D46D0EE3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260702$3939D722-C79E-4AC0-A6D7-AB4D2C037161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b22f0234058b897ad308815846be004cdc7f94b2","datavalue":{"value":{"time":"+2000-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4260702$58FEB4C0-F8AE-4A78-8340-0C8B2F356BD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260702$761862E6-8A75-4003-A1B6-8AC09BF48B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260702$BF174AA8-C477-40E9-BD09-88FA1D78D887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eadf2ac6ed75248dac2c4d261190a8d72e7a3309","datavalue":{"value":"1330132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260702$184E4C69-0D60-4AE6-AD39-6CAA1267D27F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f5cfaa0a37dfd165e3775e76cf860629d1f3ee","datavalue":{"value":"lambda-cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260702$FC226AA5-CDEA-4AE5-BCCD-875C5FFE071A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcf9dc9e404547e952718f1e79566dc333de051","datavalue":{"value":"algebraic reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260702$9A0F077D-3526-430B-936D-CAE490A35854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260702$43937D4F-EFE0-41F3-B3C4-92CCE881A8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf19479f6250e0407abe305612f7dcaf16da804","datavalue":{"value":"strong normalization of \\(\\beta\\)-reduction+\\(\\eta\\)-expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260702$73495C3B-47F1-4F83-81D5-B953AA92A8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260702$3EFF56A6-49CE-4910-9101-EB80E9C686C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2c159c9ff2be392d6f2fa1b69bdf503afd5c6b","datavalue":{"value":"first-order term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260702$43D22663-ECF7-4210-B9DA-8B9E5EB6F4F3","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":"Q4260702$FB44191A-FEE4-4EE2-B3B8-D3B0104E7CD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72bcb62d1ebba33f02ed286497a8979e5fbbc294","datavalue":{"value":{"entity-type":"item","numeric-id":3602864,"id":"Q3602864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77862961b2e9d6642690c1ef6bad8dfeb95e013a","datavalue":{"value":{"amount":"+0.8520149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4260702$D03BA659-D9BB-4FDC-A974-6EBF0D0C4DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd99d50f19130c8d1866740178858f629e3b8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5383010,"id":"Q5383010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca31dd841eed479fd19299c093f67e37feb7249","datavalue":{"value":{"amount":"+0.8459755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4260702$B665DE61-AD28-49B4-8AC7-FDE1B99AD2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7940c2501f33c2dfda3a69b81935376b62727f27","datavalue":{"value":{"entity-type":"item","numeric-id":4785222,"id":"Q4785222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13e7606f9f853cb52918c5158e1936ba32cd5c7","datavalue":{"value":{"amount":"+0.83109885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4260702$C2A3068B-049A-409D-A574-B233B78F9BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905f9c2aebd2336c3737957befb46c101cd21e6b","datavalue":{"value":{"entity-type":"item","numeric-id":2761123,"id":"Q2761123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2a887ee735233f711ae8da25415fd6ed36871c","datavalue":{"value":{"amount":"+0.82976216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4260702$623B0305-12DF-4AB4-A753-F9F6EA534B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024b305f40f88728a3cdba606e7cfa908b41efca","datavalue":{"value":{"entity-type":"item","numeric-id":2740919,"id":"Q2740919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2a887ee735233f711ae8da25415fd6ed36871c","datavalue":{"value":{"amount":"+0.82976216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4260702$424A2A74-44E0-4723-88B8-A062C6BD96AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e33f7dba5834521d53884da0c1aba4182a7b94","datavalue":{"value":{"entity-type":"item","numeric-id":3421938,"id":"Q3421938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe0b7bac04e8282f23c12fa8179fd399e943b6b","datavalue":{"value":{"amount":"+0.82696164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4260702$8C5C9193-DB7C-41C1-B2C8-2E31DE249B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490483d22b7c5000003d5808205b4b0887207fc9","datavalue":{"value":{"entity-type":"item","numeric-id":2936729,"id":"Q2936729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7a1e8aefce60cf35a37aa21d5b90fa3105da7e","datavalue":{"value":{"amount":"+0.825329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4260702$4CE62819-CDE9-45FB-ABB5-DB82AE4D03E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4260702","badges":[]}}}}}