{"entities":{"Q5019020":{"pageid":7048597,"ns":120,"title":"Item:Q5019020","lastrevid":57221370,"modified":"2026-03-27T12:44:54Z","type":"item","id":"Q5019020","labels":{"en":{"language":"en","value":"Extensional equality preservation and verified generic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450855"}},"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":"Q5019020$F1BEEE3C-2937-48AE-AB50-F78B0C9E932F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62b446bd4ea3246b41b68c03218159bf908452e2","datavalue":{"value":{"text":"Extensional equality preservation and verified generic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5019020$05BAECB3-0991-41CC-919E-942BE3CFAF4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"108646c57e1c133f5dfc68608406332907ce53c3","datavalue":{"value":"10.1017/S0956796821000204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019020$AEEE6B3C-DD9B-46A1-B29A-299828B3913A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"004819638e34f81a6bdc9c3dc6df8775cc4de227","datavalue":{"value":{"entity-type":"item","numeric-id":5019019,"id":"Q5019019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$0A22FFB8-9BDE-422A-8141-2E923B857FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6b49a79ddd8f1eec318f733110278cbf98781e","datavalue":{"value":{"entity-type":"item","numeric-id":1347991,"id":"Q1347991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$D079B713-BC51-4E5B-B51F-C7EDB1343FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26cc6bb86bc903dd81c8f770a3ded3cb7f1650f2","datavalue":{"value":{"entity-type":"item","numeric-id":1610960,"id":"Q1610960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$971BAFB7-F480-45F2-A9C9-20E422F8115B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3b7971e76b9bbcd4b2023e65b5b7f87f8eba88b","datavalue":{"value":{"entity-type":"item","numeric-id":1900121,"id":"Q1900121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$B35396A2-8389-499A-9A9D-34EA43F202B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$AC4DB0DC-2993-4F12-8E95-B5253D89B542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e280b55b5616e58d755c5121c3b03bd5f8690da1","datavalue":{"value":{"time":"+2021-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5019020$A6DB5F04-BEC2-4E5F-AFE2-9E4081DD8724","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14a183bb91c3b643f819a3ceb9b660715a87276f","datavalue":{"value":"https://arxiv.org/abs/2008.02123","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019020$84A23E1D-1C65-4529-A98C-934F1A5C2E82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019020$2DE8739C-11DE-4DD3-ADC9-9DA1F3C6431E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f66798b3a9830bbda8e97fce8b69b33e7f62d117","datavalue":{"value":"7450855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019020$A9D2B9D9-7945-4D88-8B86-DB122E0BA007","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":"Q5019020$E5C640DF-2998-4B8E-8BB6-9A43EF227CAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f475c101fb02e684524e5e0592a6ff50f4d03f5","datavalue":{"value":{"entity-type":"item","numeric-id":2151278,"id":"Q2151278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$37E38026-AFD8-48FD-985D-0F13750DC507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$11297C92-2105-403E-84AF-57D1D6CD6DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$8FF32068-AE28-4232-9D25-BA27E975B0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$3541FC1C-F44C-40D0-A147-3B60A55319AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d318e8fdf4dbc7e0b6c1b7fea0ff91feb5fe3a","datavalue":{"value":{"entity-type":"item","numeric-id":4577808,"id":"Q4577808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$3E46EC01-B3C1-466F-8181-504160D155B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4c14b52865210f26d11cf3ae4b4d5252ad9bf5","datavalue":{"value":{"entity-type":"item","numeric-id":5019023,"id":"Q5019023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$BA3808F0-1235-4E03-83A5-7FA0D32E6AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1360012a3991351541d7683ae0eebb5cc3017e9a","datavalue":{"value":{"entity-type":"item","numeric-id":5495928,"id":"Q5495928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$8B47789B-DDD4-4D85-B434-E36804E0FEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$1282E52F-BC31-459D-A64F-F66CA2E95EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$51AE9B9F-5D90-494E-8016-B0B5DB252898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ccf1cc6e42011cee7ec323b31c8dd286cde50b0","datavalue":{"value":{"entity-type":"item","numeric-id":5717305,"id":"Q5717305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$4C2DB444-E448-4451-824D-9058C0870125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$75E1C508-1251-4CCC-B578-1C29C27D254D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89e6b739e377f860fec3e9a5ac6ebc79bad4cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3926375,"id":"Q3926375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$77890F6B-A00D-4BAA-B50A-323665BDB3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834121d29b36509b2be524c4a974286166d532fb","datavalue":{"value":{"entity-type":"item","numeric-id":1347992,"id":"Q1347992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$AE8EA621-A90A-4107-BF30-E8C26632050D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e7977b8177123eb3babb98bd9a4e03a10c4f37","datavalue":{"value":{"entity-type":"item","numeric-id":1269730,"id":"Q1269730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$17C71C92-8AB1-44F4-BABC-0E4D6C1C8A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$1B051466-0D8F-4A5A-AF60-577038B52355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$5EBFAB7A-F26E-4BC8-AF7A-F77A11BB1279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84acc216b46a16d3a5b1ae053e7c59afca67c6","datavalue":{"value":{"entity-type":"item","numeric-id":5437031,"id":"Q5437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$709AF196-9BB7-43C9-9A85-8F7C14C074A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bdd715b1026d1cb98b08aebff75dd42a415013","datavalue":{"value":{"entity-type":"item","numeric-id":3644935,"id":"Q3644935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$A233E79D-53D5-4DD0-B65C-680F590493AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$9E0FB465-6414-4CD4-8F22-965EAA36871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6611ed6de8858c0611fd34fe4122695cc82d9e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4023244,"id":"Q4023244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$7A4996BB-C248-460F-B7E4-FE7451D045AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc734969332adab85b3154962e23089626b98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$2306AEB8-AF79-4B14-A7AF-0C31D0A7EED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$2C6BD8A3-5B36-40A1-B142-44538B1AB6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$1225BDC9-08E5-49DB-BF2B-619A26FF1B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbbe15d022eb0f715525fc153b38bd21e01f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$4B3A07AC-9666-4E3D-ADFE-8AECE110E3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5f53558094971eedddd142bdcc30146e674a48","datavalue":{"value":{"entity-type":"item","numeric-id":4555336,"id":"Q4555336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019020$5EDE6E42-5D0E-475F-B39A-E34E680E7642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e29ac9998e08550dea7f1b991e020e4186fc2fee","datavalue":{"value":"W3211048084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019020$EE08519D-6554-4C95-8FA2-5A651E09B813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8884224721b9a402d4698e2e38e301198f4671f","datavalue":{"value":{"entity-type":"item","numeric-id":4910422,"id":"Q4910422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f248c8567a4562ce8f8c01fee14a9786a4098c0","datavalue":{"value":{"amount":"+0.6848326921463013","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":"Q5019020$155858FB-7F53-423D-8CD1-9897BC45D8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0b077a05f43e46ebb20a054225d3119e45453e","datavalue":{"value":{"entity-type":"item","numeric-id":5168878,"id":"Q5168878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03911cca31f344119508f58b361629a28dca8b54","datavalue":{"value":{"amount":"+0.6788365244865417","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":"Q5019020$1467570D-7958-4A04-92F5-4A10991DB1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad474bf542af9c01dfa65c603f910307ce18a91","datavalue":{"value":{"entity-type":"item","numeric-id":5308710,"id":"Q5308710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ffa267586695eb8cb1ab0ab856d47cbade824d","datavalue":{"value":{"amount":"+0.6734986305236816","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":"Q5019020$8A253D0B-53D3-440D-B91C-6132D252F00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642a1c6a77f80152485eac1b6631782559ac7e3e","datavalue":{"value":{"entity-type":"item","numeric-id":3070767,"id":"Q3070767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521cbee594840ad63be65550aecf2ecc38a6b190","datavalue":{"value":{"amount":"+0.6733724474906921","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":"Q5019020$EDA7484E-BC48-4050-B348-0C66507030F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01626b106d59b5cbcb33fdd24721802e88287238","datavalue":{"value":{"entity-type":"item","numeric-id":3564921,"id":"Q3564921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a656af718487bf5f5116f4e7252519c03b65c2c","datavalue":{"value":{"amount":"+0.6730376482009888","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":"Q5019020$0611F4BF-725F-4657-9E06-9F8F4CF5349B","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":"Q5019020$5DF6AA95-C199-45FA-AAB5-EF00EDCEB6B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5019020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5019020"}}}}}