{"entities":{"Q6854401":{"pageid":20623048,"ns":120,"title":"Item:Q6854401","lastrevid":84263090,"modified":"2026-05-14T09:00:45Z","type":"item","id":"Q6854401","labels":{"en":{"language":"en","value":"The difference \\(\\lambda\\)-calculus: a language for difference categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8163144"}},"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":"Q6854401$5B565A08-1650-4922-8A69-D7A7E6DD6D80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9df753a2f02c73903f4361551c7619fd4934da8","datavalue":{"value":{"text":"The difference \\(\\lambda\\)-calculus: a language for difference categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6854401$FAE47694-C67A-40DD-BC1B-1F76B66C1CDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a724565b99666619f398efdfac53641ff7e7b00f","datavalue":{"value":"10.4230/LIPICS.FSCD.2020.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854401$88E18289-AAF8-4D59-92C4-EFB2C79F5E1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20273253902fdea4a71e4d16baf8012b541ac563","datavalue":{"value":{"entity-type":"item","numeric-id":2200812,"id":"Q2200812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$862CD260-C288-4166-B812-FCF0A7F4DB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"846e42a3e67aa4382b5e65a05a3ef7c4dc047460","datavalue":{"value":{"entity-type":"item","numeric-id":5168914,"id":"Q5168914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$AAA3FAB7-A3E9-41EF-85CA-E931321A5350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23f7bc78d27ce33f5d6c9d48966ef81d2c43df8b","datavalue":{"value":{"time":"+2026-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":"Q6854401$BBBF2580-D730-436B-A243-B0A0BECE8A7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854401$557D5F86-6A3D-4862-B3B6-132B90460B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854401$2C594A4F-7B16-4E86-8F65-47BC0F9ADF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854401$7222085E-B324-4B79-BF43-A39E258D829F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59d3aabf3b1717290be568c2ae26913bab74145a","datavalue":{"value":"8163144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854401$7547818E-40A8-4DE2-BFCC-717518C93259","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$C249BF6E-8585-420B-B967-C3546260C3D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc0e01e9eddbf854b16eaedf3f666c56896fedf","datavalue":{"value":"Cartesian difference categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854401$FB9348A4-8F73-40D4-A25A-7B0B3C702C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcbcef588f63fc8e693b98ba9ee8639d80cf4a2","datavalue":{"value":"Cartesian differential categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854401$488C23F7-3969-4355-B323-E637E9832D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a9c0d3f28f457c761c0f37298bd37add8cec4e","datavalue":{"value":"change actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854401$5D3C3689-F82E-439C-B510-61A6B015581F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad6d49f2182ebcc1bd131270b8e4da89bcd1f6","datavalue":{"value":"differential lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854401$26551278-49C3-4DB1-9B47-5CA5345D11BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fd70979586823b5766cdcfd0a5113ddd0c6b7f2","datavalue":{"value":"difference lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854401$7C2B404F-1C0B-4B91-9C1D-835E5CD9CDE7","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":"Q6854401$B1D2D436-A307-47B5-AFFA-6B2DA9B80D5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c5707886a3eca23aea478a8a1c5a4df211fb78","datavalue":{"value":{"entity-type":"item","numeric-id":2289062,"id":"Q2289062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$F3F18C47-83C2-4943-9727-E5AB339C1F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4f020a51168a828551c25efe2435d5943ef4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3522006,"id":"Q3522006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$5FE0D2AB-72C9-4C62-9725-223FE9C29B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7520886353f5e0a1141de4556eaf36cbf0f841","datavalue":{"value":{"entity-type":"item","numeric-id":2849867,"id":"Q2849867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$22E19ACF-9DD2-4937-9518-D9727CA30E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa0a722f872a3c74374b748635c0ff52a893539","datavalue":{"value":{"entity-type":"item","numeric-id":3552029,"id":"Q3552029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$ED2FC596-F062-4195-B644-017E750400D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee35326208938388d3b1f535614e5567866e336","datavalue":{"value":{"entity-type":"item","numeric-id":3178254,"id":"Q3178254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$50C9C0FA-68EC-4A69-B229-70EBFF865121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc957ffec8d3c97cc006543dccf1dc86d36e4208","datavalue":{"value":{"entity-type":"item","numeric-id":4611199,"id":"Q4611199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$5AC93CE4-F01F-466B-B9BA-4B65184347E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340939432c5a5d06e884c51fa8fa92ea5f231196","datavalue":{"value":{"entity-type":"item","numeric-id":4577980,"id":"Q4577980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$CC7B8A62-8A36-43F8-97C5-6C009BCA2C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$F6E9744D-F507-43F9-9D20-7F0E2BD2B569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$9FDA2F9E-963D-45B2-825B-BA13C107B2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb081088460f94d532a7de5adda0040c9d334ee","datavalue":{"value":{"entity-type":"item","numeric-id":2888856,"id":"Q2888856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$34570769-83C9-4A9C-A6C3-C14936547555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854401$CAC148EF-3A81-4DBD-91DD-01768DB52B32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The difference \\(\\lambda\\)-calculus: a language for difference categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_difference_%5C(%5Clambda%5C)-calculus:_a_language_for_difference_categories"}}}}}