{"entities":{"Q688729":{"pageid":690578,"ns":120,"title":"Item:Q688729","lastrevid":63634518,"modified":"2026-04-11T14:30:08Z","type":"item","id":"Q688729","labels":{"en":{"language":"en","value":"Partial inductive definitions as type-systems for \\(\\lambda\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438466"}},"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":"Q688729$91D9B04E-025B-4863-A20D-08CD5541C8F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8d37262b12ddfda0163228b9f3c8db5ff56f611","datavalue":{"value":{"text":"Partial inductive definitions as type-systems for \\(\\lambda\\)-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688729$F7B8F21B-204A-4CBA-B29D-61E35A931EF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"695091df0eeb13bac20a62af0032f42d1a6abbf8","datavalue":{"value":"0786.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688729$77BCC696-16EA-46FD-AA96-79F36258D899","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e828953800c9b55e75a8f474fc137d6475975902","datavalue":{"value":"10.1007/BF01995106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688729$68E2BC49-BEE6-490E-827E-42A4E5089D6F","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":"Q688729$0228C8C3-C60F-4D17-9B04-CEFF730D18CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82700b3a49b414a32d9f1daa104cd619eb8561d7","datavalue":{"value":{"entity-type":"item","numeric-id":688728,"id":"Q688728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688729$3961B121-7A6F-4426-8D31-DCB1AADADB1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688729$F4B82B3E-6713-42B0-AD5C-1A555CE7FC4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4d7b05535bc7692a75fc587d4810a7bdebded5","datavalue":{"value":{"time":"+1994-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688729$4628123A-1066-4303-8107-C09329300DFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688729$2414DC8D-5936-4B54-B7ED-3E4479313058","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31c9841133b54d5e45fd77c83e18697f949e5194","datavalue":{"value":"438466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688729$CAF85387-D90B-46FA-96F4-5244DEFB7E1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b16904777d78defc595ecf3ad09bd3790a2ddd","datavalue":{"value":"partial inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q688729$D46D47A1-B3F3-4D60-AEA0-7B6A4857344E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7047974fa86be02901a3fe85241d3257b6164c17","datavalue":{"value":"natural deduction calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q688729$DA4E2A4A-D396-40F8-BDCA-1FB75AB6DF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q688729$C17A1CEF-9088-49CF-B960-F91C3455F45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q688729$608D8AC2-7EC3-4CC2-9AAA-4E8FB90BA917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a908f76a3b99eb304ae3761cfe9de1a2c01136f","datavalue":{"value":"non-normalizable deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q688729$2E9CCC20-5EA1-41BA-B48D-3ABABA707F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f2e5e407fb74cb0961589765b3f30cb9a76d23","datavalue":{"value":"typed fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q688729$8026ABF3-0279-47C7-ABDA-C383111952EC","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":"Q688729$3A7B2210-B856-4A5F-B3A7-9FA4A69EB18E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688729$F62A2034-2AA2-4FC9-B7D8-6810C4D151D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c8e52f31fd7648d08e55bc61a212b865d7210","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688729$50EA59BA-C451-4F32-8E25-36D1C7A98EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa75a2a9d2bc0be13b915a63219211921806e3","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688729$37A8E3FE-AF3E-4C4D-A073-0150D09EB7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688729$39A77B08-379A-4BB9-A2E1-02AC789A9925","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":"Q688729$53079AFD-CDCF-4ABC-8B9D-3017C085D206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688729$2B9E3CE5-0496-4DD9-8750-AA9687C2ADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688729$659DAEDF-7B1A-4201-888F-B0DD866BEBBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70c82c6c9b2ddf3764c51436ec01bcaaf490474","datavalue":{"value":{"amount":"+0.7819451093673706","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":"Q688729$98EEFB53-7E20-498E-AD9E-B63F306AEF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfef524b5552cf6851b4929998ebb7eff7aaea33","datavalue":{"value":{"entity-type":"item","numeric-id":4281578,"id":"Q4281578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b218540c7ff266a0026378238fd1a738da39b3e","datavalue":{"value":{"amount":"+0.7767157554626465","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":"Q688729$C10EE94D-0240-4BF2-ADEA-942FA0D13627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefdd1f58ff199e8bca039cd98675c2bb0d07477","datavalue":{"value":{"entity-type":"item","numeric-id":4880706,"id":"Q4880706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7822b7cf9e2c2bed83b1e31fe2904dad26ba78af","datavalue":{"value":{"amount":"+0.7765887379646301","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":"Q688729$038168AE-DEC9-4B85-8D8E-EC49E7EF7006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3158e4c24bd53d740ca852ca4858e1891cf953b8","datavalue":{"value":{"entity-type":"item","numeric-id":688731,"id":"Q688731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3beb3335ed6cee114e25e322f3ffe5aa761d026","datavalue":{"value":{"amount":"+0.7680156230926514","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":"Q688729$C6C74B26-57BF-4259-BBAF-8D3CA66E2D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13b86fc5e315f3c929a43bda53b8eb60a63d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3beb3335ed6cee114e25e322f3ffe5aa761d026","datavalue":{"value":{"amount":"+0.7680156230926514","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":"Q688729$6260B22C-177A-40A7-8951-94DB0BF8AA8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial inductive definitions as type-systems for \\(\\lambda\\)-terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_inductive_definitions_as_type-systems_for_%5C(%5Clambda%5C)-terms"}}}}}