{"entities":{"Q1369235":{"pageid":1379975,"ns":120,"title":"Item:Q1369235","lastrevid":68564301,"modified":"2026-04-13T00:35:17Z","type":"item","id":"Q1369235","labels":{"en":{"language":"en","value":"Full abstraction for the second order subset of an Algol-like language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1075625"}},"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":"Q1369235$0A425A53-DC61-4015-A1A5-84B904CFFBDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ee0afd85bec50e4471489dcbb1cab97e858c4c1","datavalue":{"value":{"text":"Full abstraction for the second order subset of an Algol-like language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1369235$B6BA55FD-AAA9-4364-A2EC-9D78D8E39FB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03bed94d4311c6a75c927731e34da59758895bd8","datavalue":{"value":"0888.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369235$5D3F28DE-C8BF-4B13-B819-5D21EE0A34E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64a8929ea58e888d6c35ad5e874a16dd494da12a","datavalue":{"value":"10.1016/S0304-3975(96)00066-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369235$4F3EEC57-CB56-41DE-856C-1D0F8D3A825C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7d37f0392c674045664e3347ef231fa0fae8b1","datavalue":{"value":{"entity-type":"item","numeric-id":1369234,"id":"Q1369234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$1F29D599-0B01-4C78-9B96-EF61EC24F7FD","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":"Q1369235$95FAC651-3885-4E31-9D41-231C2DF3DF74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c4bbc1ffd4ac3c02bfe23ce3ee5bf6cda40b3ee","datavalue":{"value":{"time":"+1997-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1369235$2152977F-B278-44C4-BA06-271C9C8B801D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369235$98D1DC3F-CA5E-43BB-96FD-3906DBD67A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369235$DA48E0F8-5D2F-4209-B7F9-F94A59F633D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b19a666912d89b018da64be01b251b83bbc67e5c","datavalue":{"value":"1075625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369235$5C4B2452-D7CB-42A8-82A8-BB9A237314CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1369235$266A5627-085F-48FE-8516-D90B5350AE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c96c157d80124a3a9d681af17bbc4684cdd7fc","datavalue":{"value":"ALGOL-like language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1369235$E56B930D-945D-4434-BEF0-F39EC6984D64","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$E92A4B57-8611-4E00-B508-08A8F3EC8552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$3416D60B-0222-4480-A782-F419AEBE31E7","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":"Q1369235$06CCE42B-712E-4152-A5FD-3AD77D8B1D99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$BD184D36-3AFC-4AD5-B02D-7F7DAE13D72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$ED94C1FE-C214-4CA3-A5B9-AA3BDF1C5631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d75f5a3e1354ae2fd8ae553df8cd8ed47767bf","datavalue":{"value":{"entity-type":"item","numeric-id":3860813,"id":"Q3860813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$8AD0286F-0611-49F6-8B30-99C9B0CA10B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$52363594-E441-4AF2-B6C5-0399AA5DE4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383583a52e7d15ede11883886a23c6659e358592","datavalue":{"value":{"entity-type":"item","numeric-id":4281476,"id":"Q4281476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$A2BEF0F2-6AA6-49F6-AFD9-70A73E9611EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$8BD8A35B-361E-4CB8-B952-1EFF8B924254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43ee2c0680d9f15e7841f5f39651f053961522e","datavalue":{"value":{"entity-type":"item","numeric-id":4428885,"id":"Q4428885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$6E81871F-F7B5-466D-96FB-A2783CB77D87","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":"Q1369235$5CF75041-02CC-4630-8519-B7AC8E0AAE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74236444b9405abe628a3c6e2a1cbab41fc3b506","datavalue":{"value":{"entity-type":"item","numeric-id":4385534,"id":"Q4385534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$C124BDEB-CF8C-4377-95EA-2E71375EED5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b58947cb7a079bac0db1d082fc9f925471e0be3","datavalue":{"value":{"entity-type":"item","numeric-id":4023828,"id":"Q4023828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$7757FE84-770B-493F-B2B2-20E49D9FC08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a44e53117e2b5122cf3411e07466ea55fcf7f2","datavalue":{"value":{"entity-type":"item","numeric-id":1898483,"id":"Q1898483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$2118F236-71A0-4FFC-87CA-B7C4CC092831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70942afe338cfaeabf37590d23945eca62151c21","datavalue":{"value":{"entity-type":"item","numeric-id":3138545,"id":"Q3138545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$5EA8128C-BFD7-4DA2-AC7A-6979ECFB33A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3683459034a240002f90c09e2ba2fe76d0cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4369880,"id":"Q4369880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$1DC8CCC6-2791-43BB-B262-EEE7C923BC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$CE8FE5B1-9FB4-4A17-A162-00C1E8B99E09","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":"Q1369235$C674B6CA-BE6B-4BD4-BE1A-903553C1277D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$7A864A37-CE63-4685-B25A-E43A4CB86E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$E548EBEE-0559-469E-98D5-DB7669DBE007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$22806A9C-F7C7-465E-9D91-A8A82EC3651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"026c0d8fb7aab59b36247209d98d3d1e9cc3a1bd","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$779ACAE6-ADF6-45FC-A09E-C15F727616A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531abc143c539bf5980f3593b87d7cc25d9d1318","datavalue":{"value":{"entity-type":"item","numeric-id":3138547,"id":"Q3138547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$2098CE6C-98FC-44C8-99AB-3F1E2985A6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669c7030686a92cb7c1289371e5e8dd3ada190df","datavalue":{"value":{"entity-type":"item","numeric-id":5890057,"id":"Q5890057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$400BFC56-D0D9-429C-826B-4D6F74E72490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b459c3ae29ae68093eaf6d16ea43862ec5501b3","datavalue":{"value":{"entity-type":"item","numeric-id":913527,"id":"Q913527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$11888B8E-78D8-426D-8691-CFD767888856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$576B8B70-11E2-449B-A4D1-63BBFD3401E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc467f48030b0157b5bb9ac0001e6a6d79c1d345","datavalue":{"value":{"entity-type":"item","numeric-id":3347263,"id":"Q3347263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$D4F758DC-75AF-4171-A64A-475A5FE1FB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369235$5F552DD1-3E45-432D-9F81-AB02F426C0DA","rank":"normal"}],"P1643":[{"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":"783c1dd6c1597bc2b2bd6e36d7765384e3404f13","datavalue":{"value":{"amount":"+0.7930186986923218","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":"Q1369235$9E796FEE-BD75-4D05-AB9D-5CF5D14CFC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69905c3ebc8026b048ae24500122267cd00064a","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8cbb670c85e7f93ccdab211eff31501bc5737eb","datavalue":{"value":{"amount":"+0.7888583540916443","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":"Q1369235$1D03AC0A-0911-481D-88FB-8E9501EFC545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e411a357f33546a3bb1e1f7ed9a2d48a8da97b97","datavalue":{"value":{"entity-type":"item","numeric-id":3761675,"id":"Q3761675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bb41b5607ca00978ad971e5587a5eb6b3d8c7d","datavalue":{"value":{"amount":"+0.7877300977706909","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":"Q1369235$AD3C1A53-7A39-4C2A-89D6-4F22B06733DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72f25d8e553386ddd610c17daccac41a1c4bad4","datavalue":{"value":{"entity-type":"item","numeric-id":3347263,"id":"Q3347263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223b886bf260ac3b440e235339d51150d5ae52f1","datavalue":{"value":{"amount":"+0.7734981179237366","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":"Q1369235$3F8433DE-F771-45FE-92F0-EF5ED123930D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea412605d5c6d8074df56c64607561cf0be092","datavalue":{"value":{"entity-type":"item","numeric-id":4353361,"id":"Q4353361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad02cc3907e6c231df1e19dcc08474794104d5e","datavalue":{"value":{"amount":"+0.7639370560646057","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":"Q1369235$7500A251-B593-4074-B3DD-9CD9152D3E7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full abstraction for the second order subset of an Algol-like language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Full_abstraction_for_the_second_order_subset_of_an_Algol-like_language"}}}}}