{"entities":{"Q5249247":{"pageid":7278815,"ns":120,"title":"Item:Q5249247","lastrevid":52253585,"modified":"2026-01-21T06:40:11Z","type":"item","id":"Q5249247","labels":{"en":{"language":"en","value":"Martin-L\u00f6f's type theory as an open-ended framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432477"}},"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":"Q5249247$FFBA0F93-5374-476C-BC7D-6851BBF43561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b0a194ae536d3f46ff37bea02a3e73320ca4434","datavalue":{"value":{"text":"MARTIN-L\u00d6F'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249247$51704251-0EFE-4EE9-B075-786D839567A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f11cfee7d362afc5d73ab0c63dfb392038480025","datavalue":{"value":"1320.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249247$BEC3195E-1479-4D99-AF37-1992787B7543","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ffc028e1460cf4ba0f5a1edbaa9fbd133f4b509","datavalue":{"value":"10.1142/S0129054101000400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249247$79801FFA-2065-458B-95E4-434F30B85D32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6909ca69b8bdf6deffac400466a5ea680bc58a5e","datavalue":{"value":{"entity-type":"item","numeric-id":504211,"id":"Q504211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$8D8990D7-368A-4EDB-AE92-409A123CFBCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$6A0E4C69-749A-4741-A530-B1AFF1199F77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22703aaabf2a7c3eda53a43e7dac0317268998e3","datavalue":{"value":{"time":"+2015-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5249247$36651D08-6DE3-47A0-87E1-B9CA2C5D7322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249247$6E8628DA-F581-449E-89AC-5BC19060E4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249247$26191395-D324-4033-8F2C-55A03AF857EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249247$9013E917-2A48-46C6-9DC5-72EEBB01729D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"710124491db8393bb8ed350c9d28835398a26fae","datavalue":{"value":"6432477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249247$791BA16C-BB23-4453-A175-65B4D362A445","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249247$0B1A5FB6-D318-4B2A-93A9-0421A30BF470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed2d26bda2a040d43b444e704bd521e8665a1316","datavalue":{"value":"open-endedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249247$E67B7866-554E-4DF4-A828-A2AC2D6BBC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc3aba87b7c20b159c7474259c8441a686ec0ae","datavalue":{"value":"structured lazy evaluation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249247$0EAF40B1-7E06-4A6A-9194-59B7C4405D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4811b1526aa16eb76a6d8564023eab9278416ac","datavalue":{"value":"inductively defined types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249247$9547793F-47D4-4858-868C-236259F4ADE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5d144037d7a7394b2c4d081b3da66175e122fe","datavalue":{"value":"bisimulation-like equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249247$F8A34EA0-E54A-44FA-B295-8466F6C81927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a70123e3939e6fbc904ae7f6a00f83c4e19e7ca","datavalue":{"value":"partial equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249247$95B1384D-304C-4065-9772-B69AF77D7A48","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":"Q5249247$8EDE8563-69B5-41F3-AC22-BEF75607A720","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7931dc29f3e5a2a167917b66423fa0388ae2206f","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$FFBB5223-C93C-4E70-926F-259E6C62CAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$9274C409-0990-4E67-B94C-757BE9C458DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebca66772d138dcb1b6ad2d0c3612f116db46e2","datavalue":{"value":{"entity-type":"item","numeric-id":1192333,"id":"Q1192333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$29383EEE-8A57-45AF-BB8A-6857087EE972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$AFD04395-D56B-43A6-AD3E-A349A0A15B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b66f052bec5769cab40665ba402d5af52cc82d","datavalue":{"value":{"entity-type":"item","numeric-id":1199709,"id":"Q1199709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$623ED3D2-ED50-4F90-BC12-BCC7E7AA702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59e91c4ab5c8580af82ef4952239050060420c6","datavalue":{"value":{"entity-type":"item","numeric-id":4853337,"id":"Q4853337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$772F992F-61B5-4326-A8FA-567612CB0C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$397CF120-15B5-4C3C-BD38-1B19B798CDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d859a3daf0aa0a19a0db3038c4a1d85aaa13c1","datavalue":{"value":{"entity-type":"item","numeric-id":4853338,"id":"Q4853338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$21A91AFB-74F8-493A-81E9-FF2E13CC37FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73814e6b9a402cff7c35d98076c7b11e86d6c931","datavalue":{"value":{"entity-type":"item","numeric-id":1331920,"id":"Q1331920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$7A8F2663-BFA0-456D-91DA-6953065ADD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3baa6976193c02fa5b9e9b2b5014c119e0b15b","datavalue":{"value":{"entity-type":"item","numeric-id":678762,"id":"Q678762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$3B785775-D3DA-447D-8875-6EC6583DCC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d68f57b282d1f28f1eb37b1f5abc951e25cae5","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$61824E99-8F15-49B1-9ED8-62A7823EAB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04102d719d2f6444879aecf1fabe960f36873b5","datavalue":{"value":{"entity-type":"item","numeric-id":4853339,"id":"Q4853339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$93FCCCA3-468F-4CD9-9292-510282DC7D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915f87320163f06405d0792379d4f57080bfc002","datavalue":{"value":{"entity-type":"item","numeric-id":4340420,"id":"Q4340420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249247$F47DC697-DAF6-4648-B998-4277B6756838","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b83d5c01551c8452a01afa862120934b53fb819","datavalue":{"value":{"amount":"+0.7526999115943909","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":"Q5249247$24D3CB18-C294-4BE0-A24D-D11DEAF75750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9393fd31e559d4ad4320e9460aa44a1579060bb4","datavalue":{"value":{"amount":"+0.7458274960517883","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":"Q5249247$2131A3D6-F08A-4E18-AE98-7C4752B611D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35b8a8fa2c66bdffdc4f4627cbac691634a6136","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3562af0f1cba9cd7097c03dcfef7ab22ba3f5e0d","datavalue":{"value":{"amount":"+0.7456216812133789","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":"Q5249247$1C4F6E5D-D9B4-4CA5-B680-D7B163E6A779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392c129b7f21c370b84fc2af79a657c412cde237","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ba19334d88619eafc445431c8af32892ab669a","datavalue":{"value":{"amount":"+0.7433234453201294","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":"Q5249247$F2DE44BF-906C-45F9-8E4A-8ADCB7E373E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e8de574ae3ba9bb228dd28e5437898f834eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":3360175,"id":"Q3360175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f604cab722a83b31ae196c8f79820abf329adb8","datavalue":{"value":{"amount":"+0.7417033910751343","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":"Q5249247$95FEB517-AD19-4ED6-916E-6F664F997BC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5249247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5249247"}}}}}