{"entities":{"Q5890055":{"pageid":7919605,"ns":120,"title":"Item:Q5890055","lastrevid":93281888,"modified":"2026-06-05T04:08:09Z","type":"item","id":"Q5890055","labels":{"en":{"language":"en","value":"Sequential functions on indexed domains and full abstraction for a sub-language of PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680647"}},"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":"Q5890055$3F0C197A-68B0-4BA8-B92D-B136B5D2F3A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d26ae415095607e6e46afb54958935913801521","datavalue":{"value":{"text":"Sequential functions on indexed domains and full abstraction for a sub-language of PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890055$886C0FA7-508E-47A7-8A7A-ACC9E758F5F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9e2b79235bd1491ea4e697d254b98c459055bec","datavalue":{"value":"10.1007/3-540-58027-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890055$8CFB91E3-9591-4034-BAB9-DEB500B5DBC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890055$59E96C45-330C-48C8-A81F-B04B5C9F719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a702e570ecf8aed98e72e89942a73416ef524c04","datavalue":{"value":{"entity-type":"item","numeric-id":1194325,"id":"Q1194325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890055$D5A56735-D130-4AC8-A8D9-2A3B1142492A","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":"Q5890055$EC9F8B2A-44E2-4193-ABA5-2419F8EFE946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890055$7EB340BE-FD41-49EE-BB67-9EE4FA08EBE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890055$E852C93C-489B-4319-9379-71056E70FA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890055$E7BF6B73-008F-4C7F-B801-011DACDE9D2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93274a4be0d204a801b9dc3b8e50031f85b5a806","datavalue":{"value":"7680647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890055$183771C9-E141-43F5-961D-9C1A90156964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e066a7b5e34c7201c9dd9d39ca87b5455046f56","datavalue":{"value":"index structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890055$3DEF167F-E69F-4B8A-8322-89947F83ADBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7a32dbb35eb7d80a9144317dc6d5efaa4ccb57","datavalue":{"value":"stable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890055$68B894B3-E343-46D1-932E-539CFAB6FDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36468f783923e0d7ad0762069e6d469ee0d1536","datavalue":{"value":"sequential function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890055$A5592D12-DAD7-4EC2-AA02-67E6CF94CCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f2a5ad0f471827b1c1e189cba55646d4d8912c","datavalue":{"value":"ground type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890055$81182141-8C52-49B4-B297-1E092E141FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf26eaeed4b1a88be13e67333ce95f6cb79ed336","datavalue":{"value":"type context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890055$12ACA3B1-97D4-4E7B-AB89-EE438F87BBDB","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":"Q5890055$DFFC12A7-C92E-4534-B1D7-775201CB07E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9fddff7dfbfeb7c81c7f45e49b5dc681ff2923d","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890055$45D02E93-5DE1-4C48-85D8-9E9E2B390618","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87f7f181073fbac03ddd8f0831cbd58bb52b4831","datavalue":{"value":"W1786545132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890055$D2B0C131-10BA-485C-9DAA-5C82B0CC1EDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91e65f1361da728c4984b4e5cc0f45065012e4","datavalue":{"value":{"entity-type":"item","numeric-id":1170880,"id":"Q1170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890055$D6739FEF-4F57-4B38-AF28-0A5893EB322D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc323deec64bbcfc41477049dec1c23c2c0b598","datavalue":{"value":{"entity-type":"item","numeric-id":3756499,"id":"Q3756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890055$B15CE4B7-FB26-4487-B5D5-0C9066D63A50","rank":"normal"},{"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":"Q5890055$B7C4708B-3866-4E92-8893-8B4E97DFA4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890055$136B9463-DE9E-48DD-9D7F-9AAE23F66857","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":"Q5890055$A90A5CF4-40FA-4633-82AC-1F2CE7C118C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890055$EB4CC9AC-156D-4164-BD69-F20D9E4E89F1","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":"Q5890055$B1EB9DEA-35C3-4227-975D-BC5446829616","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":"Q5890055$EDAAB485-4FBB-43C0-825D-314B7C8D05E9","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":"Q5890055$6E2AC130-60C8-4D13-90AD-EEF420139962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f08428aa5ff5cff206c04eafd38aae6ff6337d0","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890055$F251568E-B20A-413D-B91B-AC3698DA1C9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6268706f54479d0447e20898a25422fdbbefa565","datavalue":{"value":{"entity-type":"item","numeric-id":3138547,"id":"Q3138547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e17a2bf6b77bc2c1ea5ced4458b0939fcc63d22","datavalue":{"value":{"amount":"+0.8487191200256348","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":"Q5890055$980761A2-ACBA-4E69-8B67-BD8B48C6249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52a975864c2db44de2dce921c710209b4edb5e7","datavalue":{"value":{"entity-type":"item","numeric-id":5481593,"id":"Q5481593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9d02a676780af45a95336307cc4377a0c75d20","datavalue":{"value":{"amount":"+0.8478712439537048","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":"Q5890055$D2F24D04-32B8-4E8A-8ABF-C9456DC4679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d196914325f6cad9e7122e6cf266368ee8161f","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e149a7b98e2501b687a1095092ce4e0ad09335e6","datavalue":{"value":{"amount":"+0.8451152443885803","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":"Q5890055$1BC27E7C-F8D4-49B0-804D-F9178FE42A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e239b10eaa6658a00ef4cae0cf45f19aa3af3","datavalue":{"value":{"entity-type":"item","numeric-id":1327380,"id":"Q1327380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11810e518c4b2996188c6957e038926d1dd84b56","datavalue":{"value":{"amount":"+0.8410981297492981","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":"Q5890055$817AF258-CF20-4A8E-B052-5E62C97C9C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d611f5de6d5e9d255fb9bb24ede24c174506bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4523165,"id":"Q4523165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68af65cf5fe48cee91611d67a572a70f8bc504af","datavalue":{"value":{"amount":"+0.8186962008476257","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":"Q5890055$0DE4E167-427B-4DE6-B6FF-501854F55EA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequential functions on indexed domains and full abstraction for a sub-language of PCF","badges":[]}}}}}