{"entities":{"Q6831475":{"pageid":15518010,"ns":120,"title":"Item:Q6831475","lastrevid":104059787,"modified":"2026-06-06T08:46:57Z","type":"item","id":"Q6831475","labels":{"en":{"language":"en","value":"A complete \\(\\mathcal{V}\\)-equational system for graded \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183014"}},"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":"Q6831475$2C98EEDA-A3BE-419F-B2DF-3BDDF4122FC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8184af7bbbf53b2da7e57842526855985a9f3ba","datavalue":{"value":{"text":"A complete \\(\\mathcal{V}\\)-equational system for graded \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831475$1EE929FC-EB1C-492A-A088-129596FA54A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2ad2ea899467eb6f5ffb3ffb0024c8bb021dc83","datavalue":{"value":"10.46298/ENTICS.12299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831475$E7AE2F39-3135-4E99-8DA2-F41ABDA0DBE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fda21a604a1f1183f6508ba31d02f715ce23f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1623127,"id":"Q1623127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$B1B02A3C-4A8D-4C65-BB9C-F8652011970D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c4dc930638fdc7f7582e64e1732a369265c010e","datavalue":{"value":{"entity-type":"item","numeric-id":1786566,"id":"Q1786566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$9C0B3BEB-6C9A-4AB5-81C8-0884868541A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831475$A00D93FF-FD77-459A-8B02-B49436CCDE95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831475$8C687F53-F5C1-4DBF-872F-3BFE500CEB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831475$349030B5-FB7D-4C9A-A70B-DDA55F780891","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73e27baee1c1a3cf81d751c96516841f636e5bea","datavalue":{"value":"8183014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831475$8AD3E1CF-6C9B-42C2-A32D-3FDA41AB088E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$4E749A6C-BFC8-4991-90D2-B417C0967C4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831475$68D1FF3E-A71E-4F1F-A57C-742CC2B221B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535b416dbe702fecf87c4b644dd483f3dd42a551","datavalue":{"value":"graded modal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831475$33CAAD2A-3370-4404-BC8D-D7D819BFA9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb50bb7ebbc4ff810c8bbd7f322d34ffc152e60","datavalue":{"value":"quantitative equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831475$9B18F65E-E65E-45C5-B11F-DCCD72AB3A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4562f0fd995d557f4751e6f3c5888fc0f4f4d672","datavalue":{"value":"enriched category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831475$9CFEBC95-9E7F-4AFC-876E-136F6A66B955","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":"Q6831475$D5F15C12-C84B-42C9-81A3-E404ACBB48EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc21af6188e32f57200034ce59ea479c19d9ecca","datavalue":{"value":{"entity-type":"item","numeric-id":5068206,"id":"Q5068206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$AF472CB2-AE18-4639-A143-C7BBB452556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f0f7cbef65efa8a6df891fe524b60e7fbf52d2","datavalue":{"value":{"entity-type":"item","numeric-id":4625693,"id":"Q4625693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$5BC3BDFD-EEC1-4C48-99E2-4C14DC3607E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$31EC1C9E-6ACD-412C-8D56-123508EB7EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462fcb52b924020348225febee36daef91bd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$0C7142B6-6845-4C2A-B8FA-1D810437F60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51bcf0a477914e543c911c09d887540d8fd0ccc6","datavalue":{"value":{"entity-type":"item","numeric-id":5320733,"id":"Q5320733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$094AB0D9-6872-44FC-BC94-0449B47818F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47a68d3004d147e7b0dbf4db2d3d3b9527e1665","datavalue":{"value":{"entity-type":"item","numeric-id":4635842,"id":"Q4635842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$9E409EFB-8EEF-426B-BE70-E4BD58934779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0b4b83a8f3411743c9b6e6bf6fa47950093e79","datavalue":{"value":{"entity-type":"item","numeric-id":2988646,"id":"Q2988646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$A746B266-4474-4CCE-B4FC-13DBA5C1FEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec57b1c60603be8e71cd9448a73a78981020c46","datavalue":{"value":{"entity-type":"item","numeric-id":6649445,"id":"Q6649445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$848659DA-D529-4D4F-B5DF-88E7FE63CAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a34a23b2d5f8f1a32e1a07461d9a652f5146f3","datavalue":{"value":{"entity-type":"item","numeric-id":6124947,"id":"Q6124947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$100BE106-2D50-41C8-B249-5F87B9404887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b746ff7695e203d510f019d0c136ce59ed84361e","datavalue":{"value":{"entity-type":"item","numeric-id":5150945,"id":"Q5150945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$3CC1F0EF-FE28-4F0D-8A14-720EDD87625B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47fa0cee7f6cc2b30958b212c080a96c4f6b62fc","datavalue":{"value":{"entity-type":"item","numeric-id":1139868,"id":"Q1139868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$52B5A35B-D197-4E7D-A111-87032D6E295E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1306cf5971ea6ae481c5f8330b5b35e143e8527f","datavalue":{"value":{"entity-type":"item","numeric-id":2811361,"id":"Q2811361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$8C51EE6E-D970-459C-AC56-B3844250E064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75e3d52810814c579c973630d54a8096a771faa","datavalue":{"value":{"entity-type":"item","numeric-id":2985796,"id":"Q2985796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$0CA6DACE-3507-4848-9F09-C87A467FFA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c5be0178f4fbcce9b9a39729c1bf5508121de6","datavalue":{"value":{"entity-type":"item","numeric-id":5145320,"id":"Q5145320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$CDA639B2-FC6D-4BBD-A78F-0BAC9A0AA1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$82FE7FAD-87D5-43AD-BAF1-6E724DE5A055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$5EBBB3CE-4198-4024-9A88-206BFFDEF1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45102944ad39d27cf4ed4a690eb00c4b7dd76c23","datavalue":{"value":{"entity-type":"item","numeric-id":2037951,"id":"Q2037951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$554C2FE2-32A0-48A9-A3CD-F077728A8CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$9A670A0B-652A-442A-B25C-B851712F8D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb94e327ce05a7e48547aafac5c5b072633ed2d","datavalue":{"value":{"entity-type":"item","numeric-id":1570232,"id":"Q1570232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$B2E05A24-9B72-44B7-8AED-917B93C0E958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea765a6489b2407e3be71898a2fa694ff68b6b10","datavalue":{"value":{"entity-type":"item","numeric-id":2024924,"id":"Q2024924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$A7550895-6E7C-4411-9041-23A00D7F8597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89c10a72c79005e0722f9d781a389b51314a58d","datavalue":{"value":{"entity-type":"item","numeric-id":4794126,"id":"Q4794126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$7756E9AC-BF25-45F0-BD3D-837B929CCB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1bb18d3b822c9e12aa8c5ea6a6b880b7e378bb","datavalue":{"value":{"entity-type":"item","numeric-id":1652971,"id":"Q1652971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$D854817B-0372-495E-A2C5-DEC13064748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6d6ffeba9664a115afdccbe01fb0dfea5aba9b","datavalue":{"value":{"entity-type":"item","numeric-id":6397728,"id":"Q6397728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$95FC1BC4-16E4-472E-B804-EFA2EE446356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$0BFBD1BF-87E8-444E-9EA3-3A60FF98D88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$49F7702C-9476-4CE4-96AC-E4DF8B27B4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$DE92CEB7-9598-49D6-B45A-47976E6F343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb0dffb4f53d966bd71a12fcad1413ceb580454","datavalue":{"value":{"entity-type":"item","numeric-id":4635933,"id":"Q4635933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$7B5B56E9-FE3F-4703-B656-B6DAFF59AF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c51063c89fb6f6f605b9054f86c8f2491eb788","datavalue":{"value":{"entity-type":"item","numeric-id":5144649,"id":"Q5144649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$273124F4-649E-4DF3-8C51-E388CF418C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e212be46e3723768e59f24b825f2b63d7c08c1","datavalue":{"value":{"entity-type":"item","numeric-id":4577986,"id":"Q4577986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$8902A7E7-BBE5-4ACB-9601-32917A5C7131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0dd98707b6eaad19f68a7dc4719e12007f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3067742,"id":"Q3067742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$FBC6FD5D-F2CE-48DE-8968-1FA80B9F25F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecd85fac6a91f87d421a94407c81aa413d02af3","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$6763E661-9BC1-4A92-8910-676C7CC39BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61d58b58f6bf354ad3ad36e74a8136d4beaf6b3","datavalue":{"value":{"entity-type":"item","numeric-id":5076388,"id":"Q5076388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$EA8E2727-B9A7-4508-89E5-6A36DDB16049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2c12d8a5cdb0a5877c1ab7dcb4a54e594f4431","datavalue":{"value":{"entity-type":"item","numeric-id":277336,"id":"Q277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831475$EBEFCD94-B9CF-41AB-AB16-6ADBC035903C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6831475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6831475"}}}}}