{"entities":{"Q3372683":{"pageid":3383387,"ns":120,"title":"Item:Q3372683","lastrevid":46082920,"modified":"2025-12-22T16:15:18Z","type":"item","id":"Q3372683","labels":{"en":{"language":"en","value":"A short survey of isomorphisms of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5011347"}},"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":"Q3372683$531E2F03-0292-4317-9738-AC944F09091C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fccd51df8b374118054b8e764925df0a0989b759","datavalue":{"value":{"text":"A short survey of isomorphisms of types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3372683$4BABAF2B-C8B5-49BB-93BE-BC82783E5BAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d6ebf73a49d2e99256a3f3e14c0ecbe98e49132","datavalue":{"value":"1092.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$C5E1A951-AC0C-455B-98B0-9352209D4ADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d486301416d9e43d5cca3e2e79b496a8312bd97","datavalue":{"value":"10.1017/S0960129505004871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$4F90C404-AE04-49C9-AF5B-6AF1F9A4227C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372683$EF3B66A0-D466-4CA7-A348-FF2B08850B35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372683$3F4FEDCA-5F60-4F39-A398-56504679D454","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a3046a81801d144778e3b4f51aa6e3edc0fa6e2","datavalue":{"value":{"time":"+2006-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3372683$42BA7579-ACA2-4FCE-8309-DAF308CF6ABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$FCB1D873-966B-4DFF-AD2D-B949F8E2B7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$143DC8D0-D79C-46E1-ABF3-E6DD3B7D84A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$CAB9FEB3-661D-4983-8CF7-364A599A1F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$E8E1BF12-AE23-4AC1-849E-8D8CD7AD2D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$7D6D64F6-C46E-4710-8DCA-4F0F2ED5931C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55b5a5d5526041a329e2e3671d418d8f60f54726","datavalue":{"value":"5011347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$C2E8537C-1D10-4AF6-ABD8-F2F6BDED2FC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f9bc693291116a12d2c2c06e48a40bdee84ba8f","datavalue":{"value":"isomorphisms of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372683$FB1386C3-0FF8-49F4-B786-324B802AC572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372683$B3347B08-C45A-4495-A836-53F234E8DBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372683$B5208003-C227-4F49-AC5A-79EE0841AAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372683$AA9AECCD-AF05-441B-9324-1FFE37FF481C","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":"Q3372683$DBF029C2-D165-4882-BFC6-720566A9667C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"418f298929a9c0b030f87b4db1854fad28b65590","datavalue":{"value":"https://doi.org/10.1017/s0960129505004871","type":"string"},"datatype":"url"},"type":"statement","id":"Q3372683$31BF1B2D-7A0D-409C-81D4-C649D30E7C85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41ecd5d16e791b99f650d290322488e156479b69","datavalue":{"value":"W2153405166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372683$DA30C059-1EE1-492A-9BB9-8B17B9D9D2AE","rank":"normal"}],"P1643":[{"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":"a2204ebcf72db8fbfb1521e93a9c94019e700a73","datavalue":{"value":{"amount":"+0.9156314","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":"Q3372683$FEA1876A-389D-4607-B187-8D560D127CA2","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":"b6112a4244073a305f0e0a3f0c179b7b2103664f","datavalue":{"value":{"amount":"+0.908864","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":"Q3372683$9153D2F2-7E67-4864-86E1-38ADFBC2AF14","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":"7970251dd97070697c5b2d9a59c6a8bc69e74160","datavalue":{"value":{"amount":"+0.9030305","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":"Q3372683$12DE29FA-F4C7-484D-8D60-DC5159F3C023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7bc6bc7524c42e30264621031df737b303646a","datavalue":{"value":{"entity-type":"item","numeric-id":2904625,"id":"Q2904625"},"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":"Q3372683$46D147DC-6135-4E05-B80D-11DDFF2B6420","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":"04a91abba683d03399074798a4a7cf387d116bb2","datavalue":{"value":{"amount":"+0.89779437","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":"Q3372683$0DDEE33B-862D-46EA-8CAC-A5F9811AC64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc04a9ccbd9afff3043d7e8e5262fe9f64f512e2","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa209774d189dc447c4604547f5a2f80561619bb","datavalue":{"value":{"amount":"+0.893306","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":"Q3372683$BCDA8E1B-01E3-4CE1-B0EE-CFE2B4CDA4D4","rank":"normal"},{"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":"46808775e507115d2075af0f2b6de8b1a1ce10ae","datavalue":{"value":{"amount":"+0.8910497","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":"Q3372683$32473C6C-2B1A-42F1-A628-BFF867D8680B","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":"955ff035cf3fb902e1357d174305900f0300541f","datavalue":{"value":{"amount":"+0.8858509","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":"Q3372683$68DC2B0E-066A-4297-94FA-28E596C4BD78","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":"955ff035cf3fb902e1357d174305900f0300541f","datavalue":{"value":{"amount":"+0.8858509","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":"Q3372683$40A69F72-7D7F-4002-ACAC-8417E6E18E05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3372683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3372683"}}}}}