{"entities":{"Q4053617":{"pageid":6083290,"ns":120,"title":"Item:Q4053617","lastrevid":55283410,"modified":"2026-02-05T17:06:00Z","type":"item","id":"Q4053617","labels":{"en":{"language":"en","value":"The \u03bb-calculus is \u03c9-incomplete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3468791"}},"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":"Q4053617$E7B3CBFD-1824-48CB-93F0-ABA8F58F55B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee52f762dca4ee37176b31409f604c0865d8926","datavalue":{"value":{"text":"The \u03bb-calculus is \u03c9-incomplete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4053617$D1C8183D-F92F-4CDA-978C-887B7181920A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00acb9db70d3ea791f1117c0abee8ca8628a0a21","datavalue":{"value":"0299.02029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4053617$1E731D44-1226-41E3-A15E-23B1386F1964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e66b7d42a891cedf6c8fba3157d104c2a14361ff","datavalue":{"value":"10.2307/2272645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4053617$61A68566-30DD-416C-930D-18D649B755C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4053617$AE47BD22-E37B-4274-B902-1F4278E64BC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4053617$BFA4ED3B-9670-41EA-B70E-2A761B2F3ECF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4053617$4628F14F-68A7-4684-ACCC-8A3F9029B24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4053617$92D174BA-7EF9-4E86-BD48-220639348F2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af3347e2efbe84eb2ca5f6c81194ba3d0d427fdc","datavalue":{"value":"3468791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4053617$A9D1A6EF-273B-4B32-8A02-739F3893D2B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4053617$BC573BF3-07A0-418C-A50D-3D1999E70D2B","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":"Q4053617$F9A9751C-829B-4FED-96A1-9E4269230FAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"318991d5cab28c7934e09ede98f29b8bf1cf4645","datavalue":{"value":"https://doi.org/10.2307/2272645","type":"string"},"datatype":"url"},"type":"statement","id":"Q4053617$F3F53830-7E00-404B-AE66-B6B1EF1D8B1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"803f9d7526a8af9f39037c72d22a8b059ad43630","datavalue":{"value":"W1540909559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4053617$7B63C29A-2880-4FBB-8D5D-4C0FE3EEA0BE","rank":"normal"}],"P223":[{"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":"Q4053617$9EB16D22-6716-485D-A4C6-ED8D326C37D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4053617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4053617"}}}}}