{"entities":{"Q4463991":{"pageid":6493590,"ns":120,"title":"Item:Q4463991","lastrevid":48273439,"modified":"2026-01-04T04:53:28Z","type":"item","id":"Q4463991","labels":{"en":{"language":"en","value":"Type-based termination of recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067087"}},"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":"Q4463991$0AE05229-7C73-4CB4-B128-2740ADFC0939","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46de6d7b5787de3f66f6f7085c0b5cc61bbece28","datavalue":{"value":{"text":"Type-based termination of recursive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4463991$A1D9E4DF-41B4-4E11-AC31-5F6861159B4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f19dfd2b01ad31f22b1810d667ec1a04b865891","datavalue":{"value":"1054.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$288B1640-7C1C-4056-82C1-5EFE51DD05F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f9d75810f78b9b713679de13ce97784cff1c393","datavalue":{"value":"10.1017/S0960129503004122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$D8CD2D1A-6B27-4227-AA79-3E239178FB88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4463991$AD5C1CFE-B58D-4CBC-9219-93CEFB7BBA35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-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":"Q4463991$2FCAF21F-C395-46CF-BABF-3A9A040F7B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$1AE68DD1-7555-4DDD-99E6-BFBBD75F0FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$1D312DD7-F8CE-4975-B878-7E0A6233311B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$CF340610-E45C-45F0-AFE4-3606C12EE899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$079A9DE4-2BD8-465F-A877-AFD0F0367B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$ADB11404-073F-4C04-80D3-B58169208187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$EE3F8D21-783B-4BCB-BCBF-E97D4EF68084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$74A76D15-817C-4FE9-A9EE-6B432EDD4E8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04ba2c3f1a55b26814c1b045914f7881259e43fe","datavalue":{"value":"2067087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463991$B360530C-0886-4CD4-B608-7CF0C9705EA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463991$7130A3EF-14E6-4AAA-B9ED-77CE67C63510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43cfd3c95a876c75908ef5e2dda9dda431811175","datavalue":{"value":"(co)inductive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463991$720B4202-4D2B-4FD1-B875-519BC7B8E6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae4dd935486d737bbbc1593a68ecaabda7cae41d","datavalue":{"value":"(co)recursive function definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463991$A74C60DD-FA4C-4B3A-BB23-1410A3075A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba07c154912fa005fc2b429d6b6c98a2e7f68ea2","datavalue":{"value":"type-based proof assistant systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463991$7885BAFC-C0B9-435B-9BCA-30AA6ECDEAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b416e566abf482f0ca54479c1b1197714a5381","datavalue":{"value":"COQ system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463991$D2723B9E-698E-44F6-B49F-B73B372CDD88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4463991$E2117EDA-3930-4AA0-8FB8-2CAFD2870D60","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":"Q4463991$A7CE4CF1-B025-49A6-9EAB-CCA2910272C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0503abb6bd0008b433cf5d77598473609f227dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42fde06b9bb7cdb20d2d63d474682dc690b57c0","datavalue":{"value":{"amount":"+0.8152669072151184","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":"Q4463991$3604CAF9-C2DE-4922-9D54-A74C559F3AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e653ab9ed0ff7b3ffd9b36f177ae4962a3d979","datavalue":{"value":{"entity-type":"item","numeric-id":5191089,"id":"Q5191089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29be7f10b1865c26c7691b73fb999b6f46d9e0e","datavalue":{"value":{"amount":"+0.8133558034896851","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":"Q4463991$019EFB3B-E178-4FE4-BEA2-1CC7C031152E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00109cef22270c88ccf8bc2c1b955849380f930","datavalue":{"value":{"entity-type":"item","numeric-id":5704030,"id":"Q5704030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f615c62696f275605c8c32de4991b9214b7026a7","datavalue":{"value":{"amount":"+0.8112621903419495","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":"Q4463991$A95934B3-0E91-4C84-851A-96B4FED4B257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34be2662826ba3932304951a0b3c661047bbf58b","datavalue":{"value":{"entity-type":"item","numeric-id":4659886,"id":"Q4659886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b64bf4808ac46dfe60402fd90f0760c7627d02","datavalue":{"value":{"amount":"+0.798656165599823","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":"Q4463991$8610657B-87D9-43F4-89D7-1400864B76E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541e68a6f314c069be7c658f925b039484ec628d","datavalue":{"value":{"entity-type":"item","numeric-id":4933315,"id":"Q4933315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b83792b50f31757fcd7fcef13960201699976b","datavalue":{"value":{"amount":"+0.7973514199256897","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":"Q4463991$878278E0-DDBD-4BB7-AB83-69AE72DB2AF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4463991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4463991"}}}}}