{"entities":{"Q5875411":{"pageid":7904962,"ns":120,"title":"Item:Q5875411","lastrevid":39654616,"modified":"2024-12-30T16:43:26Z","type":"item","id":"Q5875411","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649955"}},"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":"Q5875411$41AFBC69-5B7E-49AC-A206-08E5BB4F9DDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875411$0B9FEFA4-2D9B-4EF0-95E3-78A9E6D97EDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875411$F98A5713-D6F3-4738-918A-0B3D00E19EC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d522d0261689c563ad3626f8857ef86be934aca8","datavalue":{"value":"7649955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875411$D9BA518E-D670-469F-BDD3-230AA6881A0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875411$5A5A904E-14FF-4DFA-B4E6-70D9ED6245E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d06529958ba5629e39f8457a47687d180bc0b5c","datavalue":{"value":"polynomial functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875411$72B99A3F-C608-49DA-9B0C-451E5453F974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875411$DDB743B5-1392-4A79-ABE0-8157AE6CD8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875411$0ABD3E90-E86E-4572-9ED7-8E3398D8E3FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c16bcc2a523bb7e68436e2f13725598b97d9a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$0E71FFD5-664C-42F3-BFF4-100226FE2A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$E28D3EE2-BE40-41E2-A76C-BF1150C4BDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$AE700C24-04D8-45DD-AB50-B02CB8CED7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae4173d13b960594f2bf5bfd22402fc0202f2b76","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$F5BAC5F1-693E-4C1C-864D-004D0774036B","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":"Q5875411$430025AB-B605-4213-9E4F-ED8D039E8B01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$F10E4D01-6E18-4584-A918-739ADD5EAB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe57f40b91445b48cc0ac177273aa7ab35cbb307","datavalue":{"value":{"entity-type":"item","numeric-id":5313096,"id":"Q5313096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$281D851A-546D-4A23-963F-876972BFB49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$22A4628E-73FA-4E4B-B588-DBA9E0A5E034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$70189C0D-F44D-4527-8FED-1CF301843B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515c51a0b47d119ec197c99d4b26c96be6b3ac90","datavalue":{"value":{"entity-type":"item","numeric-id":1884936,"id":"Q1884936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$ACCA80CF-18F4-495D-AB30-ECE6F2DD8E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$B623E877-1EC1-41F9-A88C-E8FC61226F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$54E8214C-831D-46D6-9A36-7B602ED36FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$D1D5ACBB-F48E-4419-B4B5-E4BD2DDE7F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54eca7749b2d2687a84631dae6f937808f481496","datavalue":{"value":{"entity-type":"item","numeric-id":5014439,"id":"Q5014439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$EA2768A9-8B58-4D67-97F9-1647AEC8B85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8b75f0e49d9cef046d4a84d906b1de8953a19f","datavalue":{"value":{"entity-type":"item","numeric-id":4635888,"id":"Q4635888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$FFE8F131-8F83-4FA2-B3FD-2444C657C1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db61eae6405ea4040df4fc3178f4852033f053c3","datavalue":{"value":{"entity-type":"item","numeric-id":1687535,"id":"Q1687535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$11105429-B3B6-4AD8-AFB6-3CDBACCEF65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af564deade6f382327dd892208b67d4051da26","datavalue":{"value":{"entity-type":"item","numeric-id":2988636,"id":"Q2988636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$485CD576-7710-4D63-9CA6-4ACE7B7F0842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$8F4B928F-B464-47F8-8ACA-754FEF845F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd8291ba5c6a4998751398a7b8e0aca800ee1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5144617,"id":"Q5144617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$DAC1BE8F-A722-4B9E-8087-FADA1A3A3717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10fa1752d092d6c6c5a3de919f27cff0565dc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5327346,"id":"Q5327346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$110D42E9-A97C-4941-811B-F144B5DEA100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$F6355239-53E6-4D27-968B-47E6A0BD7221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$11C4C495-8DE5-41D9-A261-F98DE090A0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704483807dac671463b66bab5b6b4a067be5f4e2","datavalue":{"value":{"entity-type":"item","numeric-id":6083895,"id":"Q6083895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$5F72A889-69DA-429C-BC8A-610D8B179754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f777006e5f537f4eaad05391a3bba8b29d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3024837,"id":"Q3024837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$9A7FBB6E-A6A2-42FF-8861-9FFCDF6047E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bfb4cfac567a097f2a651df3bdc8285a6e2cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2945633,"id":"Q2945633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$50C14E5A-0754-4801-AFCC-7B98F24BECB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c55f09c39173f168f9ee166ab49eb8e620c679","datavalue":{"value":{"entity-type":"item","numeric-id":5477651,"id":"Q5477651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$4B9B67E1-C49B-4FF6-8C7C-6465004C634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$4F00617A-B53C-4BC5-9B3D-E13D3F570A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25439c32c8c851aa59683b8b203347c13af02bb6","datavalue":{"value":{"entity-type":"item","numeric-id":299182,"id":"Q299182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$F4339DF0-69A0-40A5-A40E-4CA3F9C6E984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$D4589FA5-42E8-4AF4-9100-7510BB038EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$FE45070E-EE79-42E7-B62D-2D9E40A83539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ecf77721553e717b7e8c38ae17e8422685bb33","datavalue":{"value":{"entity-type":"item","numeric-id":4222961,"id":"Q4222961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$9FB1CB7C-BA3C-46C6-8063-18F17B7EED9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$D97C590A-110A-41D3-84F7-0F8D96AFBC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3e611a36b291dd416ad91849bd17c2255fefb2","datavalue":{"value":{"entity-type":"item","numeric-id":2888487,"id":"Q2888487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$E151E6F6-AC9D-4D42-973E-330E8642FDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$D31DAB02-8132-4200-8DF2-2182F9AD9DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6bf9de9e2014e93e277e777180ed630b8cc1b3","datavalue":{"value":{"entity-type":"item","numeric-id":5875441,"id":"Q5875441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875411$E8E6081E-3116-41C0-A064-F6E566C1C768","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddc8e73450fd4225147b11ae243e29d437c35e7e","datavalue":{"value":"10.4230/LIPICS.ITP.2019.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875411$9647D974-7671-4C20-8736-DA44687DD1BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875411","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875411"}}}}}