{"entities":{"Q3452251":{"pageid":5227912,"ns":120,"title":"Item:Q3452251","lastrevid":52391804,"modified":"2026-01-22T13:10:50Z","type":"item","id":"Q3452251","labels":{"en":{"language":"en","value":"Isomorphisms of generic recursive polynomial types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507257"}},"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":"Q3452251$424AE144-7AB8-4A2F-959E-B596FA0B187B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1421c2df73b4ba40b3eb94818fb1af7315301d8","datavalue":{"value":{"text":"Isomorphisms of generic recursive polynomial types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452251$A8137328-FF34-44A0-83D0-EBD57D91C1E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3723aa05a123691ec1a7fd8196fc20aad29b581e","datavalue":{"value":"1325.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$39B8C47F-7CD8-4EED-9568-5819EC8D91BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fb93359d1def80aa2090bc239de0a6e71f6f19b","datavalue":{"value":"10.1145/964001.964008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$8C84283B-5176-43D0-A1F7-113F39A0F59F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452251$FCD358DE-BB23-4E81-A3D0-EBD61AB24074","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452251$80518F61-4394-4380-AC6A-DFDDA306B9C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$B76ABF6F-2CB2-4AF6-ACFC-B5F9963C435E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$9AAECBA5-62C9-4E20-A44D-A3E42CAFE1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$A6583F00-1CAC-4410-B935-701A02791BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$D308635F-64DB-40C2-B188-D57F166BF3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$ED1C57CE-F839-43A0-9520-1B4C07E840B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$AA2CB2C2-F07C-404C-84B1-9F23F82F9D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$B6B3B4D3-4F14-4753-9458-F5687E288020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89d7183f40541254cd94b6f2febd9a2eca652e0e","datavalue":{"value":"6507257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$BA3F6E8A-7C99-46E3-82AE-9E690425C4E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452251$F9194CC6-0715-465F-AED4-920AD164BD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452251$0DC817A5-C5A0-4437-B623-A69F48643565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452251$BC17E646-540A-4474-985D-C87BE1BEAE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a27bb6706c9ae1a2a0927434742463dc77d17727","datavalue":{"value":"rigs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452251$1C6A23BC-DABE-4562-B365-09460362F836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452251$A943A7AC-DCA1-46AD-8C1A-3C102465F86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c91c7c0e1050145142a02efaff3a9478404799","datavalue":{"value":"type isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452251$50858C27-8C49-49B4-823A-9ABFD0136190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452251$E5A38B56-A77F-427C-839B-E66E88661D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452251$6111D0D2-AA27-4F95-BA25-5FFEFE64255B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452251$F4E85616-C23A-4B5E-ADFB-D75DF6284CAD","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":"Q3452251$3DDC901F-8DE2-49F2-98AB-BF59AA3B3E64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c78f95217db3f9ad00c4b0366981c53a41f1ade6","datavalue":{"value":"https://doi.org/10.1145/964001.964008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452251$22990697-2AA2-451F-A08D-771D40C7C56D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74f250a634e8d12a24da8afbdb323220bb626f47","datavalue":{"value":"W1978523506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452251$C48EFF60-C29A-49C7-A5FB-673FF5CFA197","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57af1a9e6af5f362a1215972de3ae257202f301","datavalue":{"value":{"entity-type":"item","numeric-id":4635638,"id":"Q4635638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91d94e09c3ec6f8e6bcf7368530f5eb37250081","datavalue":{"value":{"amount":"+0.7948335409164429","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":"Q3452251$1A2F0CBF-01B4-4B66-8FE6-BB4646A2E97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac79f3b2c343082efd0018d47de61eeb890a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897364,"id":"Q5897364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874311747860b911896db07d575a37cf7ebe456b","datavalue":{"value":{"amount":"+0.7795947790145874","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":"Q3452251$25C5C2D7-E67B-4BB3-BDB7-8DA31C5F54C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2c40e0dc1b1ad87752182e771da7886f362766","datavalue":{"value":{"entity-type":"item","numeric-id":5892119,"id":"Q5892119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3fff370b79210b5ad546f6dc4fe6ab01da5fb5","datavalue":{"value":{"amount":"+0.7746161222457886","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":"Q3452251$FA41BFDF-4B13-4AA9-A5F5-B5AC2E014979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e0db996c67f7f5d9c226c2014a572fe5790dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5896791,"id":"Q5896791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaab51acd7a000b9b7f9b1153420d34027b30258","datavalue":{"value":{"amount":"+0.7651864886283875","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":"Q3452251$DD58EA92-DFF6-4CCD-8DB2-797177BC9781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbb3792c7294973628dc4cec02b7076e8db03e8","datavalue":{"value":{"entity-type":"item","numeric-id":2771055,"id":"Q2771055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b680779e469f08a1b870f32268c3c977aafcb41","datavalue":{"value":{"amount":"+0.7543936371803284","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":"Q3452251$31703F09-8F3E-4A07-AB08-38BC445DB95E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452251"}}}}}