{"entities":{"Q1839243":{"pageid":1849985,"ns":120,"title":"Item:Q1839243","lastrevid":71421135,"modified":"2026-04-13T22:09:40Z","type":"item","id":"Q1839243","labels":{"en":{"language":"en","value":"Curry's type-rules are complete with respect to the F-semantics too"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3807587"}},"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":"Q1839243$8A72CD85-FE4A-4C48-8340-09938EEC344D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bafc77a5fee47cb6ac482828dcb9911cf148221a","datavalue":{"value":{"text":"Curry's type-rules are complete with respect to the F-semantics too","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1839243$714C8987-029E-45EA-8594-B7D29B381B8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d57ed624c63fd7d93dd5cf45e6e73c24219d0f5e","datavalue":{"value":"0512.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839243$63AC7866-86C2-48E5-A9FB-08FA7C667CEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e7e92fea916329bc16bfd0ca5bd92664b41e5e1","datavalue":{"value":"10.1016/0304-3975(83)90141-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839243$2C233550-8F75-4277-A6F9-1D21F84D3DCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b94e5145912d87d2d80056670122ccbbb4d420","datavalue":{"value":{"entity-type":"item","numeric-id":1839241,"id":"Q1839241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839243$BEC96867-F757-487D-B93B-2EC6DF93D07D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839243$4E80D2F4-CE16-4C03-9789-862A2B91F139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1839243$F51EF3F8-31F0-4072-B160-0A3C4543CC82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839243$E5BB180A-6B76-40A0-A373-70221DC02695","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f05b816a6bfa096670ee1f3a18495f8f9f913ea","datavalue":{"value":"3807587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839243$0B61BAAE-BA01-4CE8-83BC-84E8E1560014","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1839243$436AC2A3-AFA0-46E2-A74C-FBF568FADEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1839243$4F779C68-FE8A-4C0D-8F04-3931B00A693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1839243$C622CB2B-E36C-4BD5-8281-C98D77B250FA","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":"Q1839243$EE0B3EE4-64A1-4AA4-B66E-3CA893F7C701","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839243$AE30F925-E234-4333-9973-E0627CC03B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839243$7BAB328D-0E5D-4C7A-92F9-EE4A2DD5D319","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e792b87e066b21f274f79c68fae7e3283558fc8","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90141-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1839243$1BE3CCE7-66F5-4003-B52A-4C52CEA6F341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d95e7d54d581d25a067ad95f204f1086563846af","datavalue":{"value":"W2083844489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839243$75D46BEE-380D-4B05-85A9-45B57927D809","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Curry's type-rules are complete with respect to the F-semantics too","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Curry%27s_type-rules_are_complete_with_respect_to_the_F-semantics_too"}}}}}