{"entities":{"Q1295368":{"pageid":1306118,"ns":120,"title":"Item:Q1295368","lastrevid":70613775,"modified":"2026-04-13T15:45:10Z","type":"item","id":"Q1295368","labels":{"en":{"language":"en","value":"Typing untyped \\(\\lambda\\)-terms, or reducibility strikes again!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308055"}},"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":"Q1295368$BD2833F8-A2A8-4E5A-A3FE-6D6CE024C994","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5609ea1a95068ca43ac5f9a09e12cb0a41405dc0","datavalue":{"value":{"text":"Typing untyped \\(\\lambda\\)-terms, or reducibility strikes again!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295368$7C157BAA-17E4-4D45-B162-49A5667735C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"579faacb52323c584db928b7161ff89a2c02891a","datavalue":{"value":"0930.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295368$89698F58-F066-4339-9F69-09A422BC7406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73329b0ff313bb2988e122666ea6b7b18559d976","datavalue":{"value":"10.1016/S0168-0072(97)00047-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295368$675CA062-1B0C-4565-B456-792DB511A188","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$77D5C9AC-490B-4FFE-AC32-AB14CA87A1D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295368$45147E10-B972-4C7D-8D9D-6317B255875C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295368$C1A5C881-3392-4B0D-A5CF-E26FE4FC1D78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0966300f30663740d66ed760f67e82f31fda9fa9","datavalue":{"value":"1308055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295368$0997941A-2F61-47AF-BF99-B8FFFD624B19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295368$EFE4794F-4C0E-4C5B-9884-C3274AA08D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295368$69176A19-E0D7-4C6C-A4DE-443AB7E357D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4968a5c82dea4ba03e84b8486e0042658d05ebff","datavalue":{"value":"conjunctive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295368$C2C543CF-2AF8-422F-9727-865C50D6E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bddc5be7cd9e58f39b3edf5d0f323da04d3f4b8a","datavalue":{"value":"normalizable terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295368$CAFFA0D6-4917-4457-9EDC-8DFF72305E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaebdf8b0c5e44c98d8df0965fbc63359e420396","datavalue":{"value":"meta-theorems relating properties of \\(\\lambda\\)-terms and their typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295368$D1849D09-B16F-45E9-A2CD-9FD659015F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295368$37D532CF-1573-4C70-9AC9-E327324135E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f0eeff4b24621a3e9e6403d2211bd28f121eee0","datavalue":{"value":"weak head-normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295368$C1706536-ED9A-447D-804B-49418BD0399B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94db03152adac91d334425f367d05de7d8c63fa5","datavalue":{"value":"realizability method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295368$ADC604E7-C963-4B62-8073-1DB1D310BF31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$3A230E63-6F9A-4CD2-BFEE-DDF6497A9010","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":"Q1295368$8660053D-2830-449E-8198-5DCE6BD8C896","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$1F42A35F-F95A-4EDF-B532-CD4DA563FD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$5EC62692-3E56-438B-B7A9-A5C544918D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$7F89112F-5CB1-43ED-A9E6-F23E8BCD7A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8190ca8064383933102de4ee8e9ede219451a4","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$580D94FB-B672-4C56-A077-F219ADB9B75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4b0145e5695de75e43d7417f85a3cdf506a9b","datavalue":{"value":{"entity-type":"item","numeric-id":673628,"id":"Q673628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$94F7248C-51D9-42E4-8FEE-1D68784FEFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$F2304905-4656-499F-AEDC-0E03047BBD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90115fec3c9dd38731bc75a59a44443e7647739","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$59145F70-2244-496E-AEA7-4F1C50998591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa3906478d71e95059766c5ac8c419b28304833","datavalue":{"value":{"entity-type":"item","numeric-id":3707988,"id":"Q3707988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$2462FE60-682C-4C8F-9D59-80D17B6B976C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$FEF307AF-5863-4B32-A830-A8E3F610FC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e40c9c557c135eeb7ecb9f55bce2bdb98ea8b63","datavalue":{"value":{"entity-type":"item","numeric-id":1899911,"id":"Q1899911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$37CAA789-75CC-4316-843A-8AC83ECAC8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$8177B8DC-343A-4F3D-A895-C1DC829ADAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$E820D6B5-91BB-42DA-9AEF-0985D53AD7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295368$005DD632-C363-4237-BCF4-6A5C3C35A84F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19494b65bd846d6bb7f6b360926ab5e1014d81fe","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00047-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295368$A5752CFC-E80F-418E-98BE-DDC0EBDD0427","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e48b55eb242ece9710bc4e10ba629ae479da92b","datavalue":{"value":"W1520157111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295368$4A8DBFC1-C5A5-452B-8802-043D753E953D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b2084a1402edccf625196a0204f27468b9d32a","datavalue":{"value":{"amount":"+0.8254844546318054","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":"Q1295368$B629CAAA-A1C5-4B85-B21E-DD5F134C4D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dced8c87cc932bc56d55b026c9ad533474e7999","datavalue":{"value":{"entity-type":"item","numeric-id":2842839,"id":"Q2842839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7387799ef312d047e6333270bccd845c815520bb","datavalue":{"value":{"amount":"+0.7983005046844482","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":"Q1295368$2B75282D-C6BF-4255-B2D3-8F9F3955CC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8140e4aa1c1a8dc055880ce56e045c53fc6fd956","datavalue":{"value":{"entity-type":"item","numeric-id":4501144,"id":"Q4501144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f93cc1a84af1d08787db6a67462940daf0a824","datavalue":{"value":{"amount":"+0.797245979309082","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":"Q1295368$49B83F6B-E7AF-4CAB-9F61-4116B52C7ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09a1153f17c499ded8a759dfa6a9972e57e1d20","datavalue":{"value":{"entity-type":"item","numeric-id":673628,"id":"Q673628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6602e393d5e3ff58a35acc79d47fad00550c0ad4","datavalue":{"value":{"amount":"+0.793136715888977","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":"Q1295368$88F9FD39-09A9-45E5-A165-070BB2E8E07F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typing untyped \\(\\lambda\\)-terms, or reducibility strikes again!","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typing_untyped_%5C(%5Clambda%5C)-terms,_or_reducibility_strikes_again!"}}}}}