{"entities":{"Q673180":{"pageid":675029,"ns":120,"title":"Item:Q673180","lastrevid":63607761,"modified":"2026-04-11T14:19:25Z","type":"item","id":"Q673180","labels":{"en":{"language":"en","value":"Intensional aspects of function definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985428"}},"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":"Q673180$63006B56-B655-4F11-8564-10238AB96BA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dc0836af17714c3b93909e44132b3f45a50b8b8","datavalue":{"value":{"text":"Intensional aspects of function definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673180$7BF1F7C5-90F6-4233-89E4-F80058A5BBCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0139693249c134e63e403179bdfbf0e0b322363","datavalue":{"value":"0872.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673180$4E9AC3EE-95DF-4F2B-BD4C-92FB1ABF0A0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b16cf00edf60644a7380828400e004d86a4532cf","datavalue":{"value":"10.1016/0304-3975(94)00268-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673180$08A6CA0A-3A12-4B5C-A966-E17B72BF4FEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ec8ab70eb64bd081ac5a69252eb61a45f15e880","datavalue":{"value":{"entity-type":"item","numeric-id":671368,"id":"Q671368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673180$F6983838-CFA1-4740-9B9C-9355B648A63C","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":"Q673180$37906BF4-B4EE-465C-841F-3B4FA3D6F3E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673180$93602CD2-97B7-4020-A60E-9D73F41F6A29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673180$45C4DFBE-A7C8-4C23-AB22-97AFD8322FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673180$6B5E5F0E-ED77-45A8-AD87-F8ABE5009C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673180$CF043256-E672-45CA-A0DB-DB3C0B6C8AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673180$15C393A1-EE31-4012-BE85-B0FD014AFCE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b98924cd428252fdad96572d63a4f3b4d9776a3","datavalue":{"value":"985428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673180$E34CD5EB-C38D-4E56-8A30-004853D14D51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e0d05cee133136f67dc500419c73403bf13b530","datavalue":{"value":"generalization of equational definitions of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q673180$085565FA-9BB3-4C5B-B42D-B36D8206849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23502d3429c96e44f7887cc072308f25c32f8ae","datavalue":{"value":"intensional property","type":"string"},"datatype":"string"},"type":"statement","id":"Q673180$F0747318-0BB1-4172-B883-4101111A1FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d18c51f19a1b2b4e71729bebedab3aad0c7cea1","datavalue":{"value":"Herbrand-G\u00f6del-Kleene systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q673180$9E5C344B-4485-470F-AB86-FB9F746E36CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f185f2f5a0833a3e41e8059e777e40a0ca1106b","datavalue":{"value":"primitive recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q673180$397F8F79-F8ED-4A1C-A687-873B01FBF00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8e4c220c6593a38a76152fcdf76f193ee40aa0e","datavalue":{"value":"\\(\\mu\\)-recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q673180$121CC794-1353-4E30-A8B1-71201EC1B758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd38d17e3204d2863894a650cb6dcb8da8f89791","datavalue":{"value":"extensional property","type":"string"},"datatype":"string"},"type":"statement","id":"Q673180$463A182F-F5E7-441A-A8CC-8BFB5C58D3B4","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":"Q673180$3BC57885-ADD7-4267-91DD-B0EC7AC40F49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1977cb92e33e15f4450056c49a1af1c1a1abac34","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00268-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q673180$D94925A4-07C7-4E7E-A6DA-E499AC84CF4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d849ea8844f76803ac1410ea7004e3395172c3f","datavalue":{"value":"W2084548110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673180$90523307-24FF-484D-8957-F2B41D766077","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21573947884c29be3eb0e055c84ae0cd9360a52","datavalue":{"value":{"entity-type":"item","numeric-id":1176246,"id":"Q1176246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673180$526DA514-A84A-4050-972D-4CE521104BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673180$23860DC1-ED94-4C54-931C-54FCC2757235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f404b2aefc7b0bff12249c49c804e47421c5d","datavalue":{"value":{"entity-type":"item","numeric-id":5557923,"id":"Q5557923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673180$6A5F8432-5D1C-4C7A-8CB5-8C0DD2402AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673180$63B057A5-4AD2-4BBA-82CB-92151411ED4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5b813f7d8a3c2627f5c661a61c9efa024187d9","datavalue":{"value":{"entity-type":"item","numeric-id":3734395,"id":"Q3734395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673180$4F531E5D-6C4B-442F-BA8E-9E4240B71371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15053157498b251e1a6b02d4ce25dce9f9b0d451","datavalue":{"value":{"entity-type":"item","numeric-id":3480027,"id":"Q3480027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673180$E3B2AFE1-DC58-40BC-A9A4-296D3F60BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894712ae2b7b84ca1541dce7060397003fb11224","datavalue":{"value":{"entity-type":"item","numeric-id":4710656,"id":"Q4710656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673180$EF75E047-39B0-4480-A0E3-537D01894FB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec3ee38a8d3dcdbf44410c198a3e260972138a2","datavalue":{"value":{"entity-type":"item","numeric-id":4544198,"id":"Q4544198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f0f95142c9f41119cb017f538569bb55f35dd9","datavalue":{"value":{"amount":"+0.7397924065589905","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":"Q673180$69A6F315-117E-4F19-A11E-3D12F7FC7175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1998affc65f6e952121e112fd8e0e90d2cb05bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5249668,"id":"Q5249668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f2f9701592d68a233982b49fad54dc22cc27f1","datavalue":{"value":{"amount":"+0.7282143831253052","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":"Q673180$FBEE6DB7-36FC-4D55-947F-93D2E7D43861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3469f3e5bb650f7d98de513d1221f93db3a0069e","datavalue":{"value":{"entity-type":"item","numeric-id":4513599,"id":"Q4513599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75945eb0e1f7afe4b0098c0f328bc08846d68fa6","datavalue":{"value":{"amount":"+0.7270432114601135","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":"Q673180$0FC77008-DBF6-46B4-883D-504BB6497BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e56c4594813525572fe7b58f60120ae1cde1b5","datavalue":{"value":{"entity-type":"item","numeric-id":689208,"id":"Q689208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45015efdacce0368b78f13e72c63c6b274336f8","datavalue":{"value":{"amount":"+0.7114536762237549","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":"Q673180$CDEC7578-837E-4773-A4BD-C67008873DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf9ca6bef41fbfb24d2c0484f4da267d9b5bd40","datavalue":{"value":{"entity-type":"item","numeric-id":3514635,"id":"Q3514635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531bc825c4ec4896fb760d283848693b23ebcf32","datavalue":{"value":{"amount":"+0.7078707814216614","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":"Q673180$5002A91E-F793-40D3-BCB3-A1EC341B89F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intensional aspects of function definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intensional_aspects_of_function_definitions"}}}}}