{"entities":{"Q1383152":{"pageid":1393892,"ns":120,"title":"Item:Q1383152","lastrevid":68591484,"modified":"2026-04-13T00:46:56Z","type":"item","id":"Q1383152","labels":{"en":{"language":"en","value":"The simply typed theory of \\(\\beta\\)-conversion has no maximum extension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138498"}},"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":"Q1383152$5C427A0D-2035-4F53-BFD3-F820BA680935","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0454a9097fd9933ffa24240667ebc1ca67bb08a3","datavalue":{"value":{"text":"The simply typed theory of \\(\\beta\\)-conversion has no maximum extension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383152$E95A3F65-FA9F-4EBD-AEA3-152F0A07853A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d0ecd5d47a9059c1a8440e5462ba3634dcc82bb","datavalue":{"value":"0892.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383152$F12260ED-6C31-44FF-AD88-54BF9A9974A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383152$E0A8AD34-7F63-4A78-BB66-4B3B24F9448B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383152$7C099ABB-B4DF-4A27-BA06-06F3377EAE49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383152$D446AE9C-81DF-4067-9793-E37F5A7F0600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4de95bc96b4e2e5082861c521f5e9db542e1cc66","datavalue":{"value":{"time":"+1998-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383152$E099FD44-36AA-489C-9F0A-5205CE605EA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383152$B43A1049-AFAD-4786-A8B3-11FA9EBE1B8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91e86086229db8e8b51b0d21c434876b0e988ace","datavalue":{"value":"1138498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383152$24F870FB-9343-4A79-A395-60B990236C08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019c6a857d817d329eb611636ccbfb3f29157da3","datavalue":{"value":"\\(\\beta\\)-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383152$E38E477E-77E5-41FA-9099-7D7106DFE706","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":"Q1383152$AE0673C7-6F99-4E6E-9FF7-73E53FBCDCF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"208f721f3e9f2e6a41c098b368096d1a02c63098","datavalue":{"value":"https://doi.org/10.1006/inco.1997.2663","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383152$6D25DCAF-C6F0-4F79-B116-6172E3AFC6AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f7138b967d819124a07b0848479357c205a8eba","datavalue":{"value":"W1995854452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383152$C7226449-0529-4007-B3C6-180922F785CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383152$1CC32452-C03E-4CC9-A62B-D2CA7A0DCF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383152$B1809557-416B-4FC2-8F48-D4A7E75463EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c574cdbc02c00eaa6f7739bb7322eef4af25c71","datavalue":{"value":"10.1006/INCO.1997.2663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383152$6112EEF5-4592-47F8-B35F-81A0D2C80401","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The simply typed theory of \\(\\beta\\)-conversion has no maximum extension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_simply_typed_theory_of_%5C(%5Cbeta%5C)-conversion_has_no_maximum_extension"}}}}}