{"entities":{"Q1285665":{"pageid":1296415,"ns":120,"title":"Item:Q1285665","lastrevid":70584021,"modified":"2026-04-13T15:35:17Z","type":"item","id":"Q1285665","labels":{"en":{"language":"en","value":"Decidability of behavioural equivalence in unary PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281132"}},"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":"Q1285665$8FEABED3-1535-4A3E-ADCD-10F2FDE716E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a57e18a5b2f9c4f95502f95fe61d8e37d1bb253","datavalue":{"value":{"text":"Decidability of behavioural equivalence in unary PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285665$A3821CB9-E290-4A72-9EEF-AD1FFF936DAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd1d70ef09bcb3dbc91ee4cad0959631bc42d505","datavalue":{"value":"0914.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285665$FD88DE37-6C57-40FB-8333-61DA9DAD53F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a8bff2e261eb4ad532e0c438c443ac4ef9cab77","datavalue":{"value":"10.1016/S0304-3975(98)00024-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285665$38400F25-93B3-4D69-B0AC-22F2C04455EA","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":"Q1285665$33E57A9E-02BD-417E-8DD4-71C818DDB9FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-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":"Q1285665$38DB0C00-30F7-49E1-A6FF-2C12613AF7A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285665$59F4E209-EF89-4515-97BE-CA0B357DD168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285665$31A38ACD-F90A-4A2C-9270-9F0C6D80F927","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76f7efb0cecfe81b1958a534883498eeb911a9ad","datavalue":{"value":"1281132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285665$057BFCE5-1119-4C6B-9FEC-53B61F2AA8B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285665$FEF176BF-6D67-46A9-B593-B54902DEFE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285665$B60AB01E-C609-475B-8B91-340C9011889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285665$02EA3637-DAC4-4D7E-9901-183ECF432C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285665$4D1F1622-13D3-4FFF-8B02-6D24CA9CF759","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$3790B012-6525-4309-B1FD-BE000985B61B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05baa008279707c7da99c115a13748fd52e678a7","datavalue":{"value":{"entity-type":"item","numeric-id":33985,"id":"Q33985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$F3B62929-D163-4B59-B3C7-77666F9CF295","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":"Q1285665$E700C5DB-19A9-4C7A-BDF5-5881FEAFCD4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$A9BD41DB-2360-4A2D-BA36-66A85A211D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$A4BF7C69-C2FE-4A7A-B2C3-207624275BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$5859A09E-94B7-4BF5-ABEC-C54F7242778F","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":"Q1285665$61DDDE10-2949-4F52-AB6A-B105F975F39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$643772AC-7160-4715-83F7-CF2247AA0256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5b5fb3ffa2fb3482d86dcc086f96e2a3826549","datavalue":{"value":{"entity-type":"item","numeric-id":4887022,"id":"Q4887022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$4962C377-CAB3-4F4E-AF37-279B7DADB37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a2688c4f9444f4596962720b8437ba0a3089e0","datavalue":{"value":{"entity-type":"item","numeric-id":4645807,"id":"Q4645807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$EDF29CA3-9F44-4BD0-AFDC-0BD075A299E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d61fd0251775ecc89999c54c5093919d359a307","datavalue":{"value":{"entity-type":"item","numeric-id":5958762,"id":"Q5958762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$E1353B1F-6905-4AC1-94E5-24BC8C76A308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d309ffdca87afa8241150d47dbf4da857bf5c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1274980,"id":"Q1274980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$8B25E6E8-18A6-4E5A-8DFD-7FEF37D9F405","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":"Q1285665$AA1ED30F-96B0-4C53-BBF1-E0CA8ABA7161","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":"Q1285665$1D5CB7C0-0FDD-4A55-9D81-7D842E469249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$2659FD87-EC81-449A-9CE4-316E820AC3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285665$3B2C20EE-178C-4850-B782-2EBF4819AA80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3fb1c2531b8f2599e97521ee4f9aa7daa9b400e","datavalue":{"value":{"entity-type":"item","numeric-id":1274980,"id":"Q1274980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf5fe55909c275cba21ef35c62b331fab063fa4","datavalue":{"value":{"amount":"+0.90003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$350991A0-1A3E-40B9-96E3-A9B2224AE64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff3e9d47b4998a80945f7b604e1447625228f15","datavalue":{"value":{"entity-type":"item","numeric-id":2456577,"id":"Q2456577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229678956d10747636d272305cb8b8cbaa64af6f","datavalue":{"value":{"amount":"+0.8661536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$B14B587B-BB35-4598-8A01-2D636E1B8DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378905a4e763ddc542c0601e8ca673be62d7c10","datavalue":{"value":{"entity-type":"item","numeric-id":4411845,"id":"Q4411845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229678956d10747636d272305cb8b8cbaa64af6f","datavalue":{"value":{"amount":"+0.8661536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$76D6D898-2483-4EFD-97A9-DD3BAA915367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a897a37451d142433329de8f075e1422643ba95","datavalue":{"value":{"entity-type":"item","numeric-id":1085191,"id":"Q1085191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668056a6814edd2075d416a933ab7cb54510b8f2","datavalue":{"value":{"amount":"+0.86197555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$05BB5943-D29F-4A8D-8DF6-EB385898EEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b9aa8d7da33b06729c056855713549db3458a6","datavalue":{"value":{"amount":"+0.8594584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$F1BDF7AC-8F73-430F-A8AD-8D8F9737D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f18916452c4c885afe89926ed0eac40b951ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4457450,"id":"Q4457450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13aa17a1869e8f84f7b93b3c2e5e441e5745f9e9","datavalue":{"value":{"amount":"+0.85929585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$43336AC3-0645-4F50-9CF5-216EED81E1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e339e7b585026668beb26e95b634ac19810f508a","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ddae3762136361e50e6d2f99d19685e5523779","datavalue":{"value":{"amount":"+0.85829794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$ACD04805-19DD-442F-B908-BDC982CE03C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91f28f5a9b14448eb4231f83f949c54854c1771","datavalue":{"value":{"entity-type":"item","numeric-id":4251052,"id":"Q4251052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b824f04470d612b50284e4bf8b8a1a5b8fa14a","datavalue":{"value":{"amount":"+0.8581563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$78214206-1033-43A4-9E2A-553F5BF09A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cc330b504843753019bebf9ccb98ac9dd029c4","datavalue":{"value":{"entity-type":"item","numeric-id":3984411,"id":"Q3984411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76bf94636af7ca112bf4642fa408e998ca7863f","datavalue":{"value":{"amount":"+0.8492424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285665$6403E9EC-DF47-4031-AE0A-A25A830E7264","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of behavioural equivalence in unary PCF","badges":[]}}}}}