{"entities":{"Q5958292":{"pageid":8135094,"ns":120,"title":"Item:Q5958292","lastrevid":47755024,"modified":"2026-01-02T14:52:27Z","type":"item","id":"Q5958292","labels":{"en":{"language":"en","value":"Inductive-data-type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715293"}},"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":"Q5958292$9A80905F-2C35-4389-AA2A-A157B0724448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffc2fc0158886944c73b58af7d4222e9968f8864","datavalue":{"value":{"text":"Inductive-data-type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958292$4C6E1021-3D1B-43E6-B85D-9959AE5D3D66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ec7e51c4efd3887cf4e95a5ef49559c216d82f0","datavalue":{"value":"0992.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958292$DDD9023E-4751-4FB8-925E-9A47F72D0FDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f16d0c4d7830d88bfe73803cbb97cb118ed83f6e","datavalue":{"value":"10.1016/S0304-3975(00)00347-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958292$33C119E8-F231-42C6-B8FD-AF2C91168B1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$3735134B-2E67-4A42-9E6F-67E9A632C7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$9F484BA4-84AE-434F-A61F-0F462A3D5A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$5459BBB3-8A5A-4C10-92B2-24A5EBF25586","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$F8F4A1E7-2FD1-4179-BDDC-C89CE0D7966F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-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":"Q5958292$7D4B2E38-A3D6-4F05-A208-A0603A9657A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958292$9020B308-332D-45D3-8807-C86050DBA7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958292$76AB85C6-8126-4536-BDCB-F52BA4B4E5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958292$82B03228-22B5-475F-835C-886702CFB041","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7a0a0344224f27c329b55951acafc0991438ded","datavalue":{"value":"1715293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958292$5FE4BCB2-A61B-4351-9B0E-4E015C78E1A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958292$F8435E19-A5FA-4B95-A958-F2FEDC3A5B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958292$D3DFADD3-F229-4AA4-B3A8-9F2EC37F55D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958292$E38C65AC-9B19-4081-A2C1-8B1A5E806FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958292$C57F6C45-0AC1-4FF4-8D11-07489CE0A73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958292$8ED5EDBE-B4E8-4410-94B4-4109EA8305E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$B391F6AE-0F34-4BE6-8168-D154E6EAEEAE","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":"Q5958292$9EB98B73-0938-4FB4-8BD5-D69D8A9E732C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7acd96e1fee7bf04d18a9612e6988f2281607e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4281465,"id":"Q4281465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$8FAD6A6B-EA7C-4068-B5DD-D8B4029D7021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3bd3ba10b0a8db4c435a1f311674675f6385e0","datavalue":{"value":{"entity-type":"item","numeric-id":4234771,"id":"Q4234771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$629BBD21-3344-4EE1-A180-49358E7FB461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$A284E74C-9D54-48E5-813B-AE803F011A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b21e5a5186c3d39ea689c9c82bfc2c17a0b611","datavalue":{"value":{"entity-type":"item","numeric-id":2723890,"id":"Q2723890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$037FD297-67E9-40F7-B8AD-4484C2F71726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14408ce3bc4d32d31c1f710f161db7f09add187","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$E5C1A2E5-A633-491B-BF15-B543CFFC8F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$3F63A165-9C11-40F0-95CD-20F8FA71B7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32e072b62ae8a8febbed4970d6ec11bdb2a4f40","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$24F790D1-5229-46BA-95C1-EF5BEED85958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$A8A3E4BB-C80A-46A9-9C11-9C80067B7CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$510742A1-1EA0-44F4-8F90-85C7735E9E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$796E62D6-383F-4F3F-8AA6-A54C44F44886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$1E0CFB47-7DB9-44F5-9122-A13A167A77A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$CBDB28EA-001C-454F-837D-494165872181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$693CC2CC-3B31-49AE-8C07-FE4A5AF4D108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2a73cce9c4f8ef22ec17ccc31acff7fc597204","datavalue":{"value":{"entity-type":"item","numeric-id":1391729,"id":"Q1391729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$6FA046FA-FE7C-4DF3-8349-938B28C6C1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$BB56CBFC-233E-4454-8BF9-277EB81F49CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$9D6DD00D-2206-4320-A6E7-1B7929DBA2A7","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":"Q5958292$769146EC-7521-4531-98B6-64DC8A91BC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$7E0E6314-9818-4339-802D-14BCECB9C0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$30AB8946-4339-40E1-B8A6-D9510202568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00008b4232b38610c91158c514082f3892081a12","datavalue":{"value":{"entity-type":"item","numeric-id":4704206,"id":"Q4704206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$5A3D6CCE-1C66-4AF4-BD5A-22320A124BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059c9ac31cbc0bf78207fb28eb9dadf727c7fc12","datavalue":{"value":{"entity-type":"item","numeric-id":4229811,"id":"Q4229811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$9A0CD005-8762-4B5A-9E3E-C59CE9B1C404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ff1b1b2acb9048cb1a6bab022cee0521c66786","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$1575E575-B25D-4C29-AEA3-031E5158F872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5751b45cbfb1649dca4cccb063f8ab1d3aa550","datavalue":{"value":{"entity-type":"item","numeric-id":4312490,"id":"Q4312490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$F38F7CC2-92DB-4109-B60B-959AD97DC115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$AE824007-DF83-4399-B852-F6C0290462FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958292$4576C54C-58C0-4CEB-87CF-12294B09AD0B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c2c2ff58ef3fff07ab92fa553b388b429d1e2c4","datavalue":{"value":"Q127972148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958292$A9DAA3CE-F24F-448A-B9A4-6277ADEDEFC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397a914e3a525f72ecf30b78c201850868282859","datavalue":{"value":{"entity-type":"item","numeric-id":2309415,"id":"Q2309415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43cd8cf053be600781149070ee605ee4c02b269","datavalue":{"value":{"amount":"+0.937215268611908","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":"Q5958292$C1F43603-3229-4217-A925-6469D6702AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd9e6b27fca9821b67a1b1c62b57ce00f712ead","datavalue":{"value":{"entity-type":"item","numeric-id":1391729,"id":"Q1391729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e8185cfc3d1594cc9dc350642464d6da49dbae","datavalue":{"value":{"amount":"+0.8149398565292358","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":"Q5958292$5D4B3408-964A-46FF-B0FF-52DDC7FE5A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387cce94216297b66f69d2aa4feef49d02d8cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":4681362,"id":"Q4681362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc558911b2bbee9e958bfd8366f7329a21e46bf","datavalue":{"value":{"amount":"+0.7832854986190796","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":"Q5958292$06F5C9DC-DE65-410A-AAAF-D39177F57AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8377e506182330634e2c485af866ac2976d484","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b302bfcda36ee39446e57ee1bab2061cc531e14d","datavalue":{"value":{"amount":"+0.7730512619018555","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":"Q5958292$4095054E-2204-4F71-8255-B0A551730A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72f2a162eba2ac5ea055270ebca6875ee47d582","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44db16b12a701d84841b681fdf066aa87657a9f","datavalue":{"value":{"amount":"+0.7721312046051025","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":"Q5958292$8A04D0D8-16D5-4068-B518-56ABFEDB3764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958292"}}}}}