{"entities":{"Q3395101":{"pageid":3405804,"ns":120,"title":"Item:Q3395101","lastrevid":50749604,"modified":"2026-01-15T00:56:39Z","type":"item","id":"Q3395101","labels":{"en":{"language":"en","value":"RPO, Second-order Contexts, and Lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597489"}},"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":"Q3395101$A00E6820-E23D-4E20-9FE6-6F6C939E9FA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0ff26bb39f940475640d450adef2bca85d9fb70","datavalue":{"value":{"text":"RPO, Second-order Contexts, and Lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395101$1F8B25EF-75AC-4108-A7B9-2A67F87CEE59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21996512bcd74f238c9da893a630084926bdc359","datavalue":{"value":"1168.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395101$7835AC8C-D6EE-4DDD-84F2-59658A05E6D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67e2376f37e1ae4e2bc80e232a92afb8d89e22a2","datavalue":{"value":"10.2168/LMCS-5(3:6)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395101$F101C101-073A-4F17-B47B-45D514207285","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f97058f80ad0e559576a478b1123296489a1948","datavalue":{"value":{"entity-type":"item","numeric-id":817857,"id":"Q817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395101$97054A18-BD28-42D2-A44F-35C1007CAEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395101$E06F7F16-3F63-49A8-9175-1FD3D5958B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395101$A1938DC3-8699-4EE2-89A9-88341B3AA4E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395101$3752D98C-17E5-4D2F-BB2E-AAD1664A7E02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395101$04A1AFB6-8ADC-4452-9889-21632AC7194D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395101$32654906-94D2-4F32-85EC-AC2E96887DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395101$EE98D7CE-D06F-45FF-978E-D0AD4AF59BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395101$9ADADD8F-447F-495E-973C-9E661BA7ADE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb5576de73bdb38650a5212ae784aaa766cf7199","datavalue":{"value":"5597489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395101$FD027267-0652-40F4-BC95-260038821E17","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":"Q3395101$A64B46BD-3867-4FC8-9A95-58B33BC3C2B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31d0d3bb0b531bb7df7ea133c816859099a5a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5458369,"id":"Q5458369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d013fee5e52811b245ab677d399f09431ec0437a","datavalue":{"value":{"amount":"+0.9783780574798584","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":"Q3395101$541B75A6-15E8-4956-92BA-79936DCF92D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da9379e2837c3062d6deaeee1be9ad7fd2cbed","datavalue":{"value":{"entity-type":"item","numeric-id":3584942,"id":"Q3584942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23effd44fe753995eceec0f43eae3a75cb655ab","datavalue":{"value":{"amount":"+0.7649956345558167","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":"Q3395101$66557FF3-76B5-4CCB-BF7C-A9FA50EA0F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3fbf4f48520b4e6c8270d30298a4563960d7950","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d757a56565c2ec006c4b84e52ce2a2c702abca8d","datavalue":{"value":{"amount":"+0.7588530778884888","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":"Q3395101$E5C38198-5301-45D3-B8C6-CDD2D8B3074C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce39759c8e4d7b0271dd5b4559ceb7e6b0f7171c","datavalue":{"value":{"entity-type":"item","numeric-id":2851329,"id":"Q2851329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2ea26fca93d376ccae0ef89ec56011067d5b13","datavalue":{"value":{"amount":"+0.7485950589179993","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":"Q3395101$A89296DE-1BA8-4CE6-88ED-87D29E75DC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805fd498e975befd0874b632c720fefda73835f8","datavalue":{"value":{"entity-type":"item","numeric-id":2842606,"id":"Q2842606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d728bdd3469cced5b23c0088980fca94d36f272","datavalue":{"value":{"amount":"+0.7336618900299072","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":"Q3395101$81BFFE98-7032-42F3-B445-02549A8006F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395101"}}}}}