{"entities":{"Q678762":{"pageid":680611,"ns":120,"title":"Item:Q678762","lastrevid":78555308,"modified":"2026-05-06T11:52:30Z","type":"item","id":"Q678762","labels":{"en":{"language":"en","value":"Equational theories for inductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004149"}},"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":"Q678762$CFACCDF8-2175-4865-8230-B6E9BC532606","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47c8f1817e5b86cb0653144c5371a21bedad5878","datavalue":{"value":{"text":"Equational theories for inductive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678762$6FD40CFC-47C6-41E9-A4EF-B106C64E127E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4c34d3c4793de4aa95e45a6eaebc45630c87d86","datavalue":{"value":"0873.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678762$4E953702-2EDD-4391-96C9-E490649B243B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7b2ba490c4984fa62e5d44e5c90f90f150769b1","datavalue":{"value":"10.1016/S0168-0072(96)00021-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678762$14325CBB-FF29-431A-8923-238EB2DEC16D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861a5405ec33998d1809a09154253803fde2b702","datavalue":{"value":{"entity-type":"item","numeric-id":678761,"id":"Q678761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$941129D3-69D5-4322-BFA7-4E2F0B28DC2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$63966A22-30F7-4050-AA36-3870AE2F62F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412f7a31e42853d129270920f950562a85c36f4d","datavalue":{"value":{"time":"+1997-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678762$C1CE2D36-1E77-4732-95D0-96C8C6ABA430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678762$0C1D255E-5388-436D-8F62-5AC4D9E50118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678762$964D52E5-A767-4E6C-B3D8-FF4B56CB1E88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06adf0c02583426f792f187a18abd13d6a0b3c23","datavalue":{"value":"1004149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678762$E41A881C-C4DF-4E89-B653-A3D8608ABDDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q678762$481CBC5D-7709-4B8E-97C7-6D97522C2DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56fc2e57aec74ec0c9a5b334614055a8dfa6319","datavalue":{"value":"PER model","type":"string"},"datatype":"string"},"type":"statement","id":"Q678762$53CD7B71-3B80-4CA4-A30C-C442861D999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q678762$4A939DD9-96DA-46A2-8DCE-62F93E821667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q678762$20A14F9F-A14C-4623-B1C2-C44265BDC59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q678762$D25A181E-FB2D-4C73-A5E8-75BC9B515101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4581b4616075965f753f695b91dff2b4291d390d","datavalue":{"value":"domain model","type":"string"},"datatype":"string"},"type":"statement","id":"Q678762$56DB1CB0-6A94-4176-BE89-45E2DCFB021C","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":"Q678762$79D21BCE-CE0B-4B5C-8AE4-0825364CE867","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$85CCBE9E-34B3-49EF-A91B-C10081269F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3319f248092bb0f68b64ff1019d98d12cacb759","datavalue":{"value":{"entity-type":"item","numeric-id":1210138,"id":"Q1210138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$2C87A50F-72C9-4E1E-ADF6-7B88CCB5F9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2c8292e83c6a8dd597f45e964fcbaf4ccb4d69","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$7EED8EBD-D7B3-4FA7-BAD0-3E5E1E3673A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$546745DA-A0CD-4620-BB3A-C98AF4450B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cc03aa1088b0656346f312f7efa53dc2ba977e","datavalue":{"value":{"entity-type":"item","numeric-id":5567860,"id":"Q5567860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$373A81E3-005A-4E08-9E84-E681633CA6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409b6ce22fe251cf783a47b46cd4c3212bc8bef2","datavalue":{"value":{"entity-type":"item","numeric-id":1337495,"id":"Q1337495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$FE5B4581-3DB4-40C8-B45E-A4FB66861704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267e1f017df2707a9357cb1f3eb68fd631bc7aea","datavalue":{"value":{"entity-type":"item","numeric-id":4883281,"id":"Q4883281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$678C5882-9926-4180-AC74-040FF795AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a91b42d0abf471d5779088ab76257caef8bd226","datavalue":{"value":{"entity-type":"item","numeric-id":1374674,"id":"Q1374674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$C89748E1-4EE6-4560-A0C5-712CF681907A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$C567BD7B-F8CA-49E4-945C-4919514B03C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$DF5F9569-4B0E-4293-A203-7D0819226644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$77741526-C535-4D98-8EDB-C0505062AD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df236345f891889a483c60bd0a6e60c9f72c1317","datavalue":{"value":{"entity-type":"item","numeric-id":4694213,"id":"Q4694213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$C6A9FAC3-9FA2-44FB-9706-180A8488CB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$9A1CDC73-DE6F-44B7-B66E-8B3E0380A353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$D77785BA-B412-4C00-B151-4B47C5768279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$397482EE-5C02-4C18-BCD9-6987D8E1AC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$C55A5BCC-5AB1-4B8C-AF7E-A42482DB5D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678762$FC857CA1-CED0-40B0-8FE3-B3D413AAB547","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e476bb396b35a4d09f8bb7046c57895eb2d68f5c","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00021-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q678762$ED3BEFA6-B40A-4907-8508-9C51D787F2D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0660d977eb9e8012f950822b0d7a76b93778b8c","datavalue":{"value":"W2097508095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678762$FC19E19B-0D2F-43FF-960F-76AB7E4DE302","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47c81d5d895c6268fdbf094a460d0fcf408f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3142162,"id":"Q3142162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c084344b631a2fe485b5c0f971e696846856713","datavalue":{"value":{"amount":"+0.7550950050354004","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":"Q678762$667B99FB-3D9E-4614-B775-6B8767961623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fba82f0dcec115429cd4d57c9e84093b7eb89c4","datavalue":{"value":{"entity-type":"item","numeric-id":4263807,"id":"Q4263807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36758e65bbfe6ffc287772be12c94e26eee3e1b5","datavalue":{"value":{"amount":"+0.7407408952713013","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":"Q678762$9D1CE0D1-7EC9-468A-8B4D-B0116CC0B695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623065ff08437486ed50597a174c726e37e50f76","datavalue":{"value":{"entity-type":"item","numeric-id":4299858,"id":"Q4299858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb1eac2fe3f1ea2b3465208f6801ae771459ae6","datavalue":{"value":{"amount":"+0.7375267148017883","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":"Q678762$9C9247D9-F1E4-4B35-9C01-F273A888F0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428876480d4d0bd90efd6fdbbd37cb229708b638","datavalue":{"value":{"entity-type":"item","numeric-id":1854334,"id":"Q1854334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da880e35592e5a6dcf68bccb56769d03ce518f6","datavalue":{"value":{"amount":"+0.7360510230064392","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":"Q678762$50F7A23C-99A9-4534-A5BA-2555EE65DFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578b7f8b2c157f6c0d1b12ced8224cb58b562607","datavalue":{"value":{"entity-type":"item","numeric-id":5710412,"id":"Q5710412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d031628e7e72d97faad2e42006cee9162384d65","datavalue":{"value":{"amount":"+0.7326808571815491","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":"Q678762$20907994-808A-4598-A054-16B1FF315673","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational theories for inductive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_theories_for_inductive_types"}}}}}