{"entities":{"Q2904625":{"pageid":2915350,"ns":120,"title":"Item:Q2904625","lastrevid":84999551,"modified":"2026-06-03T05:29:57Z","type":"item","id":"Q2904625","labels":{"en":{"language":"en","value":"Isomorphisms of types in the presence of higher-order references"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066150"}},"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":"Q2904625$FA81919E-5E29-4840-A182-B622D37BCE0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eee8a4125324f48e0079bba99c7a54006f79b842","datavalue":{"value":"1256.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904625$76A20E55-594C-4325-9170-00E7F8015071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92e7dbbc88b63d3f6b5d4d0fb8896ebf2652dc5b","datavalue":{"value":"10.2168/LMCS-8(3:8)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904625$6DE5AAA8-C647-40CA-8878-FB18924BE9B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6ed2d9d88301ad27573c1eaced6d353e375ed8","datavalue":{"value":{"entity-type":"item","numeric-id":265793,"id":"Q265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904625$B081491A-50B2-4F69-A89C-B6D4086B0021","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904625$69D07564-ADC3-40E1-93BC-7F3AAFF4E7F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d6e2cc55c86aeaf01079a3703218502664deb6","datavalue":{"value":{"time":"+2012-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904625$1979915B-8477-4CBF-9171-100CD7DC16F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4dd4f2edcfa7099f5ff34d1daa4d0a48ce55ed1","datavalue":{"value":"https://arxiv.org/abs/1112.3198","type":"string"},"datatype":"url"},"type":"statement","id":"Q2904625$E31F0E61-6C6E-4974-BB3B-64B501A0D103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904625$0052AD92-B3A1-4D0C-8BC6-AD5BF5C351D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904625$9CAE5245-8F7B-445B-BE01-0319E89686DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904625$41E7BC45-7159-4509-8465-714A7EDA93B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904625$7D6D908B-3C2C-48F5-97D1-8159B37C8D3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"266c8b6bbfbc81461626b1f493480c51e63ee1d1","datavalue":{"value":"6066150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904625$3C4AD08F-505E-4537-906C-E8EC00D03BFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f9bc693291116a12d2c2c06e48a40bdee84ba8f","datavalue":{"value":"isomorphisms of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904625$2F7BE068-1E6D-4250-A32D-6BABDE0D2FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"799f24a8b398ee89dd8c49b13ad67986f3cb3f2e","datavalue":{"value":"general references","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904625$2CD8E0EF-6967-4D1F-95B6-0CA58AE44CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904625$1407A9BA-E56E-46A1-A212-7FBC09C7C3B9","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":"Q2904625$62E60303-CBC6-420E-93CB-9121877A6470","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a329a57bc3a4a56d8b4500292b468df07b61b635","datavalue":{"value":"W2031775786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904625$291AA3A2-674B-46FF-BA12-A260E8FC91CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f1cdae41b1cc3dbbb3fc4b776847b99a38e723","datavalue":{"value":{"entity-type":"item","numeric-id":2769425,"id":"Q2769425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fe25863ced3a5f71d9e8a0bc76fc17d465a244","datavalue":{"value":{"amount":"+0.9029553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$8E59A19C-C766-451F-B665-1C2168C6E383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e358532b076d3c4c7bcc86a5f82150aab23d78d0","datavalue":{"value":{"entity-type":"item","numeric-id":2946613,"id":"Q2946613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555b7acec528ca03f4a34f7d5d1737eb823e8309","datavalue":{"value":{"amount":"+0.90103114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$CF15774C-465D-4ECF-B75F-06C88455FA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e324c09dae048cf69fd55bf4e676d247d7e736","datavalue":{"value":{"entity-type":"item","numeric-id":3540197,"id":"Q3540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555b7acec528ca03f4a34f7d5d1737eb823e8309","datavalue":{"value":{"amount":"+0.90103114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$8D0DA48D-FF8F-457A-8AAB-37C49BC0FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58670239119ebcc87012c052b3b7ae67a9b5bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f2fa577b5cf35ebef90548c16aba338c006829","datavalue":{"value":{"amount":"+0.89957577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$B020EEBB-E4FD-46F0-A7DB-FB554551D207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea413672625755c9c9757f92329ae718555a8657","datavalue":{"value":{"entity-type":"item","numeric-id":3372685,"id":"Q3372685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b24f08b5a7a8437d625eec3324fd0da8a20e057","datavalue":{"value":{"amount":"+0.89576304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$E0720CFB-3646-47CE-BC55-CCD55EBD0561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453503a6db4f937c2783c29fa8740b67f8cf50d8","datavalue":{"value":{"entity-type":"item","numeric-id":3313855,"id":"Q3313855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6107dc59c8996013365fed9f56227c3a36bfdd0","datavalue":{"value":{"amount":"+0.89491326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$59AB9E7B-4599-47C1-8775-E347152F724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e759ab42122c74af84ac02704168cd9d37baf6","datavalue":{"value":{"entity-type":"item","numeric-id":3337461,"id":"Q3337461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6107dc59c8996013365fed9f56227c3a36bfdd0","datavalue":{"value":{"amount":"+0.89491326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$34EF992C-7A70-42AC-956C-590AD770B175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e901229051bd041f2730b01584832bd3077de3","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493165fde8d5ac951d92b430bcfcf0754421be9f","datavalue":{"value":{"amount":"+0.89155287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$882088CA-20ED-49D7-BE4C-2C441735A586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5f75b5508f5014b85bd53f056b87a27daea50d","datavalue":{"value":{"entity-type":"item","numeric-id":4924549,"id":"Q4924549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f99ec07733ffc175c336d4ee800a3938fd1188b","datavalue":{"value":{"amount":"+0.8811594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$5632B17A-817C-4EE4-9C76-80F284D82BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f844ee0812e747e2c9f90c05b33a4ecf8c51ddab","datavalue":{"value":{"entity-type":"item","numeric-id":5313100,"id":"Q5313100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65b34a55de721e567406fd6a718159429b82ff9","datavalue":{"value":{"amount":"+0.88055265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904625$DEA76E11-B1D3-4254-94C7-A50356C320B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6b4c5542a4c70be45f332ce4f65b3ff5a938068","datavalue":{"value":{"text":"Isomorphisms of types in the presence of higher-order references","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904625$18803306-A74E-4667-8837-42335AB04D1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isomorphisms of types in the presence of higher-order references","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isomorphisms_of_types_in_the_presence_of_higher-order_references"}}}}}