{"entities":{"Q2096449":{"pageid":2107192,"ns":120,"title":"Item:Q2096449","lastrevid":55426984,"modified":"2026-02-17T16:09:08Z","type":"item","id":"Q2096449","labels":{"en":{"language":"en","value":"Politeness for the theory of algebraic datatypes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614516"}},"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":"Q2096449$0AA7D3EA-640C-4F07-953F-1AD8447E9B68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a813584088bbb5e2576612a931bfd065da04ac44","datavalue":{"value":{"text":"Politeness for the theory of algebraic datatypes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096449$026D4D60-F7F8-4B69-A5D3-DB915E5BF014","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f2e7e3b0c443e9aeb9812a28cd3125e7b3ae97e","datavalue":{"value":"10.1007/978-3-030-51074-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096449$4A15DB6C-1EDF-4DEA-BD14-8F9A1CB6DF7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb41f2af775ffc8d4180ac4cc8391c284b7ceb65","datavalue":{"value":{"entity-type":"item","numeric-id":528430,"id":"Q528430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$6518A208-169C-4E2B-B6D7-1CF7CAD31401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$CA667E68-EA96-46FE-AA83-28F6A4C94FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$CA4F73C2-ACE5-4C9F-9F7A-7229CC05B6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd42b359a1f28911c13076babedb061fa037fab4","datavalue":{"value":{"entity-type":"item","numeric-id":2090129,"id":"Q2090129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$39005466-8F02-469B-8474-1316C3B34BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d182828bb3dd01cff9766a0bb3efe1eeb4424b","datavalue":{"value":{"entity-type":"item","numeric-id":436375,"id":"Q436375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$47399957-0C4C-4463-80E1-8C3EE3E16EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$F7305AD6-2930-44CB-96BB-E6FDCEC3BFC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096449$8EB6B6D9-5D4D-489B-878E-F8472742BAD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096449$BFE1F705-E8A1-4410-8262-B0AB9F197C76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c51b9fc0e8475f12f61af2a22bcdc14b8c418269","datavalue":{"value":"7614516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096449$E2CFD845-4A9A-4D9D-A201-3C462826FF5C","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":"Q2096449$14F26C33-BDF0-4524-BB14-C43BCA11F15B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fc9c8fbf66d8c258686fb4a9916cb208c628ecb","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096449$95AF3A67-2759-4C7E-8DF2-B18BE048E22B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4df10381bcd245deedf67f3f47e778cfb45184c","datavalue":{"value":"W3043890163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096449$30E5FF99-6444-45AF-9CBD-36D995E6D0FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$24B46FF6-10CD-42B5-9BA1-6F877769B990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6820d466f20a132975882100c6125897eef0f140","datavalue":{"value":{"entity-type":"item","numeric-id":5309032,"id":"Q5309032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$F8BC8085-D77B-4B84-AB51-A06E30B1B7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe638b8906f8f43ecb88c7284ff6ff2706007295","datavalue":{"value":{"entity-type":"item","numeric-id":2864524,"id":"Q2864524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$98E96960-DF73-481A-B919-FE4F5DAEBF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b89f95e856482d87c1eee104a58dbb5392af66","datavalue":{"value":{"entity-type":"item","numeric-id":2185458,"id":"Q2185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$7B76ED7A-12A4-45A5-B974-37903F50B5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45283f2292d97505b407a0eb913d558c728c34a3","datavalue":{"value":{"entity-type":"item","numeric-id":682380,"id":"Q682380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$3DBAA4ED-7EC0-433B-9087-5EBD8367B7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231ebacf8251b12a92546d1b1d1797e6e82d3559","datavalue":{"value":{"entity-type":"item","numeric-id":2303236,"id":"Q2303236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$4CF9B49E-A8B6-4D7D-9BD9-FC015A0FC36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$5C3281B9-03E3-48BE-A9B7-19AC525FE603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c3c1d2d8bd223898d76726cee233eaf79c3109","datavalue":{"value":{"entity-type":"item","numeric-id":3655205,"id":"Q3655205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$A98E8057-392D-42F0-80A7-D1CB8FE0916F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1044d5f4cea8d7152ff96e2d9b2f5abac3714224","datavalue":{"value":{"entity-type":"item","numeric-id":1671164,"id":"Q1671164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$162BDDB9-B420-49C1-A806-A25C734A02B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28d1219e29c4a80580daac11ef44292c3abd11a","datavalue":{"value":{"entity-type":"item","numeric-id":4933320,"id":"Q4933320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$B86279B7-3553-415B-9989-DC20AD0085C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07ab1b34cf5cbc8b0d382033f0fddc7c499217a","datavalue":{"value":{"entity-type":"item","numeric-id":5370860,"id":"Q5370860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$677EB02E-18B7-4546-B014-F5ACBF477029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0aa6f30c5adcb6d4e6f2acdb35a9d6b66a77f07","datavalue":{"value":{"entity-type":"item","numeric-id":2486580,"id":"Q2486580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$697C4B7F-902C-4866-A955-C11B5E699033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd85db4cf8f5ea1fa0825bfe703e47067145f53","datavalue":{"value":{"entity-type":"item","numeric-id":5758134,"id":"Q5758134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$9EFE67C3-4A50-40BC-BF61-EF89FA22A9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cd3d0ab7baf861d4f18d631f83f4f2c47afc7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$511570CF-E93E-4FD9-8119-9A38E0518473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f23c9c5867b878ba232ab7625fac32ef8d9d28","datavalue":{"value":{"entity-type":"item","numeric-id":4686604,"id":"Q4686604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$FA78BF59-BA70-4CCF-A51B-C57F345F04BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$70DD4ED7-38E6-4076-817E-0113DFE69049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55234d08de3fc0bb2ef7aa7f9a37f83d6ee9b9e7","datavalue":{"value":{"entity-type":"item","numeric-id":5491892,"id":"Q5491892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$DD86DBDC-02B5-4A56-910A-94BAD2B42B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158804901ce4a3df33f83b0a81f6873c98841fc9","datavalue":{"value":{"entity-type":"item","numeric-id":2360873,"id":"Q2360873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$AE9FDF9F-0CAC-4A2A-B785-5291C72C11AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bb4d2c252d1eb3d8da28eeb3b753da471cd740","datavalue":{"value":{"entity-type":"item","numeric-id":1799121,"id":"Q1799121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$97CA9FDC-EE2E-408C-9B26-3710B79ACD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$95DDF165-C182-41C1-A131-8C737FE3847D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041f425d2424dea3c24ef7c01081663e6200bc4b","datavalue":{"value":{"entity-type":"item","numeric-id":5191097,"id":"Q5191097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$D6C82F9F-10F8-4CAB-BB8C-2B850EC8F023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28039a446a03faca9d112ce464bbb91b9adbe1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394160,"id":"Q5394160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$6BBA51C7-74B8-4AD3-B436-6FAE7FAAE832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096449$111F6E84-DC91-4062-AC68-36DEA928ED97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d8cd550e04d466dfd3c38f289b3a39acff49e2","datavalue":{"value":{"entity-type":"item","numeric-id":2090130,"id":"Q2090130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570f4b6322a2d83b29e3c0fff60919620283763c","datavalue":{"value":{"amount":"+0.975516140460968","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":"Q2096449$5A831FD3-F973-4C04-BBB5-7291C75E15DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9427e51f2461ff1144741b786b8cb2c8b102c3","datavalue":{"value":{"entity-type":"item","numeric-id":4933320,"id":"Q4933320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c15737b367985bad4cf614dde731a7b28369c0c","datavalue":{"value":{"amount":"+0.7240678071975708","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":"Q2096449$7F347555-EE8B-4FC6-BC9F-BA0A190F170E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1734539f185b588a6dc63233d5be8e98210d2","datavalue":{"value":{"entity-type":"item","numeric-id":5758134,"id":"Q5758134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d287ee60bee3d977bc7ad7a9f6c8b3299aea11e","datavalue":{"value":{"amount":"+0.7101364135742188","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":"Q2096449$D33FD81F-3A5D-4339-9AC2-40D5C8819D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de5f3b9bf4efc5b6b655aa30dcc8f116343a7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2055852,"id":"Q2055852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9eab35efec7851a6ec4cb3acec648eae51fb7c5","datavalue":{"value":{"amount":"+0.7100311517715454","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":"Q2096449$F1BAA8B9-C5C1-4E85-93C2-78093E59E280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6e21c5a8cd0259b6f92ef6724c36bf6e6585a3","datavalue":{"value":{"entity-type":"item","numeric-id":2303236,"id":"Q2303236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6286d34f052390e7d65b23cd7d93d9cb0d12c4","datavalue":{"value":{"amount":"+0.707197368144989","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":"Q2096449$8B04A51F-77DD-4BBF-8E9F-C4DDA486F59B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096449"}}}}}