{"entities":{"Q4884898":{"pageid":6914477,"ns":120,"title":"Item:Q4884898","lastrevid":46432194,"modified":"2025-12-24T18:55:32Z","type":"item","id":"Q4884898","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 897905"}},"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":"Q4884898$E96C4611-FC2C-4152-8D60-BB54C657DB3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a18b8f8e71d3d77cefdd9e760d86a746062fe40","datavalue":{"value":"0856.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884898$E03BDF8D-C236-4731-9A6D-74DC3D56D825","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af8c7e1f886763003a4594dfedac8f97f2a4fae","datavalue":{"value":{"entity-type":"item","numeric-id":1185008,"id":"Q1185008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884898$F05E0DEF-B2F0-4C9A-B1B9-AFA8317186E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d3360b6b943b694e0d876edcc46e387fe24c809","datavalue":{"value":{"time":"+1997-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4884898$B8658657-D25B-450F-B324-5CC805AA4D80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884898$B9D448B1-88A2-45EA-9B76-50FBA53CF170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884898$807016FD-C012-4C9F-AF93-79B2648D4F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884898$77A686B5-CCF9-436E-88EC-0120F1F6FDB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03cea92af9652b449b4037fcc756ace1b3072b97","datavalue":{"value":"897905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884898$FF022A6D-2127-4539-A673-6B86D67259DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884898$F9838505-FFD0-41DB-878D-E21D306596B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9533349160da6c5e1b5a52320647442b1a89791c","datavalue":{"value":"combinatory logic with explicit pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884898$3C38B03E-A1E5-4A4D-BC57-62F57D8FAD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"470883fa78ed86dabd2ed909569c768360a3e061","datavalue":{"value":"extended \\(\\lambda\\)-calculus with explicit pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884898$40850919-D415-41D8-82AB-776D3BAA746F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884898$E1485925-2EA2-4DEF-8C3C-9CABB8302836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21e26fd29c4396a56d36baf2fbdedadd0cf65a8e","datavalue":{"value":"categorical combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884898$7FAC4BBA-1EF4-46C2-95C3-38FA3FA043E0","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":"Q4884898$C118576A-F5F3-4930-A808-A232B190808C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c943241e45854b49b5a5c170bbc096a70e68bc59","datavalue":{"value":{"entity-type":"item","numeric-id":4327834,"id":"Q4327834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc0be94b363681d484301e772eba29abbd53604","datavalue":{"value":{"amount":"+0.8804892301559448","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":"Q4884898$5398C58A-0719-42F0-9249-6D6904532917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25036cb7ecd232d6eb024f82d928c3f01c56d499","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc9c1611dd86583b8e3d1050961a8043e560571","datavalue":{"value":{"amount":"+0.8555972576141357","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":"Q4884898$887290C2-ADD5-4FD1-9602-8714D915B5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40afe598d4dc52ddef56bba72cd0456f986d0201","datavalue":{"value":{"amount":"+0.8302582502365112","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":"Q4884898$0CBBBFBF-651F-4C5E-9498-94C5BE9D0B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2fbfb83d3e8408fa54849faffb5f2878692a3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3782744,"id":"Q3782744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ce155593d833f07e3320d0546fd73fe8b11df4","datavalue":{"value":{"amount":"+0.8133962154388428","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":"Q4884898$37474688-1DFA-46CF-BEC6-F85FD2E67847","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4884898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4884898"}}}}}