{"entities":{"Q4286532":{"pageid":6316133,"ns":120,"title":"Item:Q4286532","lastrevid":81638267,"modified":"2026-05-06T18:59:47Z","type":"item","id":"Q4286532","labels":{"en":{"language":"en","value":"A universality theorem for PCF with recursive types, parallel-or and \u2203"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 541154"}},"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":"Q4286532$CC8F9026-0D30-40C0-BE25-A4D891BB4EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cea24a2be9285609c8a2dcd12c342b2fb475fd65","datavalue":{"value":{"text":"A universality theorem for PCF with recursive types, parallel-or and \u2203","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4286532$C0673538-84DE-4971-8078-7C7012215A73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d9556cba6b6970564b6506cd55502f9a5cbe6b","datavalue":{"value":"0802.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286532$FCF49F63-82BC-4747-9D7B-C04518AA3360","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"591c92535421f235cca3d9b51485c245f388d55a","datavalue":{"value":"10.1017/S0960129500000384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286532$A5A89109-6CD6-49C6-A6A4-0040D1D35908","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286532$5442615A-079E-44EB-86FE-93DF9FC2815B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286532$37DC0F89-7249-42BB-B4D2-C1EA9C348D22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10b8be3aaae04a8b6e1fb062263f34380fce1ca5","datavalue":{"value":{"time":"+1994-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4286532$909A185B-FBD1-4AED-83D9-834131863040","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286532$584763C7-E0D6-4884-917E-F124DB2CD748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286532$D88F835D-8CE2-43D5-8FB1-8D7CD928BEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286532$BF6C6E95-24E3-48B0-B6BE-8E0A6E393C5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27a9f1f9307a4b45c7401f93f6f618b08af5932a","datavalue":{"value":"541154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286532$F8261DE3-CD67-4955-BE2B-B5FF6D902D3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286532$EC0D3C48-AC93-418F-B680-D659AB192397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e431c81bfb66f1485b7659a82bc68cc2984db4","datavalue":{"value":"universal programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286532$3FC27A72-57E8-4427-914E-C18FBF856238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286532$8F38FB33-94B8-454D-BFBE-69D00F590924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a24e2160960efec7054ab5951fd3667812127d9","datavalue":{"value":"minimal fixpoint operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286532$4884F8C9-97D8-4E8E-B82B-F65334C59E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286532$D49C83D2-F3E9-4D54-9B8C-1FCEF70687F3","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":"Q4286532$11FE5A75-0227-4457-A03D-F3EDC2CFA5C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286532$E97E4637-1535-4B95-80F1-7889C2965629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286532$AB19BD7F-AF55-4FD3-8CBC-C1016FBE30E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa1f1e22d14a969b6d4920214406059e190ad35","datavalue":{"value":{"entity-type":"item","numeric-id":599804,"id":"Q599804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286532$9C76D066-C761-48C0-9547-8539CAFBA947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1805687b2a7566b511c6afb8449c7ec4c441583e","datavalue":{"value":{"entity-type":"item","numeric-id":4422741,"id":"Q4422741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaae9758f95a6c97a8576a7a0efcdeecec21a394","datavalue":{"value":{"amount":"+0.7497736811637878","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":"Q4286532$B25B046A-CC32-46BD-810F-A5ECDCD683A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149acfe731e69f7ec56a480870adff42533ba246","datavalue":{"value":{"entity-type":"item","numeric-id":5096215,"id":"Q5096215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaae9758f95a6c97a8576a7a0efcdeecec21a394","datavalue":{"value":{"amount":"+0.7497736811637878","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":"Q4286532$3862A15D-1150-450D-832B-56A50CFB022D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395a3be3ec7a1b2fef13f4186bc303ac5b1d182c","datavalue":{"value":{"entity-type":"item","numeric-id":3972839,"id":"Q3972839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e165204b6df5ecbcf750324f1ba45f5b31f7d8b5","datavalue":{"value":{"amount":"+0.7389312982559204","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":"Q4286532$FF76809C-2FD2-4E72-9C53-95FFAE4C8F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ef2a43b6053055e5fe036f9c47acd43b6d57d","datavalue":{"value":{"entity-type":"item","numeric-id":4511324,"id":"Q4511324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f027fe043911d0cad9acc524642f50138b4e5cef","datavalue":{"value":{"amount":"+0.7348540425300598","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":"Q4286532$2B742DC0-FB9D-4EBB-8977-6F0C63B953D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64c5850cfed7715bc475fb05041c1751cc376f7","datavalue":{"value":{"entity-type":"item","numeric-id":4237906,"id":"Q4237906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab65c8a3ad75127918536e2c705c313edbdb2163","datavalue":{"value":{"amount":"+0.7314762473106384","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":"Q4286532$011289CF-E628-42D9-B412-6DC24356AD7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A universality theorem for PCF with recursive types, parallel-or and \u2203","badges":[]}}}}}