{"entities":{"Q5906925":{"pageid":8019823,"ns":120,"title":"Item:Q5906925","lastrevid":46708980,"modified":"2025-12-25T10:54:33Z","type":"item","id":"Q5906925","labels":{"en":{"language":"en","value":"A \\(\\kappa\\)-denotational semantics for map theory in ZFC+SI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178204"}},"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":"Q5906925$538CD3D7-894B-4022-A7BD-A83800C5D9C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49a89ad5cbafbea292d3cd2de2afa36e7db962e8","datavalue":{"value":{"text":"A \\(\\kappa\\)-denotational semantics for map theory in ZFC+SI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5906925$706A932C-486C-4D59-A78A-F6476C12AF4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ddee8fb2a3ad2ea3bcff3c13a27d53dadf326af","datavalue":{"value":"0912.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906925$625B3E8F-FB0E-48A5-8295-F0A0F60C1C14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc128672789d770523e24ce1550f8406fb9590f3","datavalue":{"value":"10.1016/S0304-3975(96)00302-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906925$FACCD34D-5DC5-4675-BE71-A4788325E259","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd558cb7d4c7acf53a3fe2f7290c3e105f4274","datavalue":{"value":{"entity-type":"item","numeric-id":906268,"id":"Q906268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$BF5582D1-3CC4-4DAB-A691-BEF247B5C259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68270b02753f40aeb8c3f7c3db3ee0bba3d62f","datavalue":{"value":{"entity-type":"item","numeric-id":1391738,"id":"Q1391738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$024C2011-E95F-473D-A1D5-75A31B9ED2CF","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":"Q5906925$55B32183-A6E4-447F-A775-3D4E72BD9608","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5906925$A556399A-81BA-4BBE-8B17-C1AD38E0844D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906925$D47F9BD1-98BD-40AC-99B1-80F9A41E1912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d7217885e2bf545e8f93167c0f8521b834f352f","datavalue":{"value":"1178204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906925$EA0DEE5B-D7B6-4F5C-945D-A4233792AF8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5906925$97370B62-2B33-489C-900A-3457FCC86650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5906925$3CB08CCF-0792-4DDC-BB0F-C632602AD00E","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":"Q5906925$BC66AB6E-97FB-45C6-A0F0-28E101B50035","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$12192194-7428-46CB-9FB1-B8596EC97375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$59F0872F-F864-4B61-93E1-D8641315F7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$FC525940-804F-4DF3-9B5D-2F53776782ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$EB60C27C-3D8E-4A2C-8251-B8AA58D092B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$867DBC3B-1D72-427B-AA5A-86F72175931E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$3D96878C-F85F-4D2B-9994-B2F2C5F66A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$06C60E03-41F2-47C8-8457-614DBF10B98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0a1e0dadf7413f34ec8d383700eef58356b0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1104320,"id":"Q1104320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$F759E228-4CF0-4688-BE51-AE019D80AC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0f64cc99cb8bcdc12a07911f76a1f78bedc63e","datavalue":{"value":{"entity-type":"item","numeric-id":3812243,"id":"Q3812243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$3BBA00BE-8C36-4B34-9405-27138DAE94A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef2ab9c6997f51b87759e059d0418fd2324c6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1121865,"id":"Q1121865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$5BE50630-7886-4769-A3D9-78676BEB9AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede00a0126bcab8d203e10471ec524376d847ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4847018,"id":"Q4847018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$1598FA7F-A45D-46D0-8AA0-6CCC67F0C760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$3EE482D5-0B97-4E44-8F8D-B6AA66A5D3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a442df7fc5b2e13404a6aff88cfc0223c7cbae","datavalue":{"value":{"entity-type":"item","numeric-id":1193653,"id":"Q1193653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$9F200C34-50D2-4BBE-BF1E-C41C6DB6DFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3a099729583d59408a7da433cedb74227ab9fa","datavalue":{"value":{"entity-type":"item","numeric-id":1892095,"id":"Q1892095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$370E28CF-4ECB-4D04-B187-1AFDBD33CD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$5A275CC1-3492-4F52-8C80-03A32381DB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$358AF040-B7FF-4312-AA9A-1EC789634E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd77c1416f46db1e477c06eb4d0c6518ccbfab0","datavalue":{"value":{"entity-type":"item","numeric-id":3326830,"id":"Q3326830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$F1199458-6AB3-4E82-8F93-D9AC9990DF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$CE867D0F-1B85-41ED-95D5-7D8142B7482E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdcd8c6e33c963f119b0f27089fc31ce7bb8c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4749207,"id":"Q4749207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$D8CDD22E-4AC2-4CD0-B485-95B56A5525F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7dc6af235299e701bc04fb405eb0b14220420","datavalue":{"value":{"entity-type":"item","numeric-id":3707983,"id":"Q3707983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$D1A73A44-3A75-4F6B-B2B7-4137E8A6441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294990d6d9cdabb49d7071c56e14fde1e4bcf31a","datavalue":{"value":{"entity-type":"item","numeric-id":3567775,"id":"Q3567775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$8A2050FD-AEDB-4C5E-B5DE-9EFE574316DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$391AB379-52B6-4A20-BBF6-27ECB7C0F145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85c9823713798f462284d18e0098c29f26d98df","datavalue":{"value":{"entity-type":"item","numeric-id":4109651,"id":"Q4109651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$E0F5E696-CB51-44EB-B7E4-5BB0A514E1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e384a648b452f8656c8a88f9cffb922d3750483","datavalue":{"value":{"entity-type":"item","numeric-id":4109652,"id":"Q4109652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$D3B935BF-DF3C-46AC-95FB-029D0E5BEE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906925$94C2F5E7-8221-4378-A629-9FF0CC5BC27F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71690b7d8fa1848a2d6f71ed383a6f17c9da4494","datavalue":{"value":{"entity-type":"item","numeric-id":1193653,"id":"Q1193653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1754c1706021c74b12c8f06bb61cea9d9f85ae0c","datavalue":{"value":{"amount":"+0.8941020369529724","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":"Q5906925$1688251A-6930-49FD-B021-8061CDECE1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dff8dba3462c0d742281e13a3acf2e9f92c2e18","datavalue":{"value":{"entity-type":"item","numeric-id":906269,"id":"Q906269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688f56490ee9297d2efa5d5899c5fa4edbf74f8b","datavalue":{"value":{"amount":"+0.8722597360610962","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":"Q5906925$AE9E5620-7AD7-445C-9FF8-82D62C4B6833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f258b91fde8742d8ef058d184dbf90dd37e628dd","datavalue":{"value":{"entity-type":"item","numeric-id":3084835,"id":"Q3084835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba20f0b01d5de5360bb8785ca36f1258c75daa2","datavalue":{"value":{"amount":"+0.8342221975326538","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":"Q5906925$294AD33D-F293-41CA-815D-98EBACE0345F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01dd5089f7e311a7c90bf9996164b5af3b03be4","datavalue":{"value":{"entity-type":"item","numeric-id":877560,"id":"Q877560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dadf653a826201dc6a03f07a6cc60c1d1e183b8","datavalue":{"value":{"amount":"+0.8174700140953064","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":"Q5906925$D2F8090C-7CD7-4177-B577-3D1CA1CDA76C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5906925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5906925"}}}}}