{"entities":{"Q5887519":{"pageid":7917069,"ns":120,"title":"Item:Q5887519","lastrevid":97490561,"modified":"2026-06-05T14:53:22Z","type":"item","id":"Q5887519","labels":{"en":{"language":"en","value":"Equationally fully abstract models of PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7673905"}},"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":"Q5887519$A790F9B6-4772-415A-9BEA-091C91937719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b066da19d3da6b37a55f90a2eee21010d1cec1e6","datavalue":{"value":{"text":"Equationally fully abstract models of PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5887519$FEB36A81-263C-49B4-9FFB-C11F36DCDCF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ec4eb20363ca1d2880ef243ef8c9baf60be3272","datavalue":{"value":{"entity-type":"item","numeric-id":1106189,"id":"Q1106189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887519$9114DDD4-EB1C-4376-A596-6F4A10513B15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887519$3FEF3593-D520-43D7-A851-F58C70E2D2FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b4034943b182da069de8768d6fd2310f3e13487","datavalue":{"value":{"time":"+2023-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5887519$A4D02F18-F7C1-4AF2-B422-41E90FCCCA43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887519$4782C2F5-813A-4864-97D2-C47A763C9769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887519$1C81528E-FAE7-4E7A-BFA8-F5620EC10EF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0e1787bd23abe5a3e6c919a369242ac914f9a24","datavalue":{"value":"7673905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887519$DB3304A7-CDDA-4260-A069-15857C30549F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a16c017f93071cc3bd5a63897b0714d3c70e0a7","datavalue":{"value":"abstract model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887519$FDBAC010-E4AE-4F2F-8208-800DA2CEA99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7a32dbb35eb7d80a9144317dc6d5efaa4ccb57","datavalue":{"value":"stable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887519$1322E25E-5071-43DD-BCE1-CD286FD4AA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1908578b90d2dd1632b635ae55888b88881006f","datavalue":{"value":"continuous homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887519$42BDAA58-972F-4F4C-8E4B-026BD26C3501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46a001233045a77e5a926c28dae0b7dbd4ba4c26","datavalue":{"value":"unique morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887519$D38C3117-BAAF-411C-B6CF-67D6A914CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770329cbe5a6bf91367d40f26115cbfcf013d30e","datavalue":{"value":"terminal object","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887519$DF2CCAAD-914D-4A36-8686-C2B48F9AFF57","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":"Q5887519$EAC509C2-3651-4D8A-885A-902875C96A92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b212b4a1640b35242275507b5321b0fc9113acca","datavalue":{"value":"https://doi.org/10.1007/bfb0040262","type":"string"},"datatype":"url"},"type":"statement","id":"Q5887519$632BD4C5-E8CC-43C9-97A4-0BBB0E7ED453","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e792ae4758588f4b802419d346e5d6d29b440dcc","datavalue":{"value":"W1530627266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887519$11CE906D-B616-4869-A1EE-066E49F039E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d357a0359359f800317bcc63c36bf1381fbc16","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887519$0236CB21-C3DB-48CD-A9E2-3925C92AD92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887519$801FC49E-8848-4132-85A9-3A5B2DB81ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887519$6262C456-0905-47D3-9021-F2B7C69B8621","rank":"normal"},{"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":"Q5887519$20D34C44-9F71-4F65-AE75-021CC9A76DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b767ec68ccc42fd52f2f3a7c69dce1ccd9b8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887519$BF73F982-C700-4009-B1C6-6AE746A0993E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7117a70450cceae40292d9474834241cb10eed81","datavalue":{"value":"10.1007/BFB0040262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887519$2A3FB641-4E00-43AC-BDCF-1155D357DE45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equationally fully abstract models of PCF","badges":[]}}}}}