{"entities":{"Q599804":{"pageid":601580,"ns":120,"title":"Item:Q599804","lastrevid":42598317,"modified":"2025-07-04T12:16:34Z","type":"item","id":"Q599804","labels":{"en":{"language":"en","value":"Expressibility of functionals in D. Scott's LCF language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3645051"}},"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":"Q599804$F8150372-7203-4B20-8A25-7227C41C246E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cc268d8063f9b3c6a6285aab1c185806c644397","datavalue":{"value":{"text":"Expressibility of functionals in D. Scott's LCF language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q599804$926B37E1-ABAD-4C71-9C2B-27C72B202B87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eaec309c13481ab65eaadde1d45c33cc453b953","datavalue":{"value":"0415.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599804$9154D3FC-80E1-415B-B38B-19B085E9E3CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"162c85358b14741fa85da6c9af2a7e6a52a9a17b","datavalue":{"value":"10.1007/BF01876321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599804$F9744D8E-562A-49B4-A792-C2EF93BE81BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599804$B270C13D-6BBE-4653-9991-013741D583F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q599804$DA17B8E4-7B33-4C63-B89A-366B91D885B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb30117745e1192606bae1d4f024cbbc7b158df2","datavalue":{"value":"https://eudml.org/doc/186928","type":"string"},"datatype":"url"},"type":"statement","id":"Q599804$FDD32D8F-9818-492F-BAC3-0F7567F94BC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599804$AB15646A-D305-4E70-9742-B49B3AE9E868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca9bbffe34e7b0cb151f84d1cae749fd2f13194e","datavalue":{"value":"3645051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599804$1A6BE869-9367-4AA4-92FB-60A7E8D8C97B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fec41959728ba239d9bcdcef846b7a044ae870","datavalue":{"value":"representable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q599804$102AAC7F-1F77-489E-AF41-80446FAE5E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd66c6804f085090e4a1ee73c1840fd14890d61","datavalue":{"value":"effectively sequential functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q599804$D5D68E39-BC24-4D6E-97B2-F103B468D277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q599804$57255C3B-EF0B-437C-82E4-6A303D77FC7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f97442067587f34561e1b330380ce554ed3a639e","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599804$DE6F4AA4-A768-4845-880C-D85A83049CC3","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":"Q599804$FF5EEFF5-7F2F-459B-A2BA-937202FC90C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a142d3b13c7855b5b21e14144b2bf4b59e63a3","datavalue":{"value":{"entity-type":"item","numeric-id":4096924,"id":"Q4096924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599804$B78F2296-ED0D-4D8E-96BD-1BA3F868D6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599804$E5A81D76-C24B-44EC-8FC3-BA7CC18C20BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dafd8c18c926d44a49321f5aa598cd3d6aef54","datavalue":{"value":{"entity-type":"item","numeric-id":4083398,"id":"Q4083398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599804$A0218FE7-5F4C-4276-B7DB-47C20EFBDD08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:599804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:599804"}}}}}