{"entities":{"Q456878":{"pageid":458645,"ns":120,"title":"Item:Q456878","lastrevid":62010819,"modified":"2026-04-11T03:10:22Z","type":"item","id":"Q456878","labels":{"en":{"language":"en","value":"The number of countable models in realizability toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6094160"}},"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":"Q456878$30CAE0B8-72EE-4C87-B3E0-487BB569DDBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1eeeca93e6f1d78e0084d7b844087f8a12cfcac","datavalue":{"value":{"text":"The number of countable models in realizability toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456878$8938A757-FDA2-4606-BF5B-7DC2C2CE252D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2b4011745c8d4ab1de424d1f8ca64a06156122a","datavalue":{"value":"1269.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$CEB67E61-5865-46BA-9A46-8F872A6CC91D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d1b913abebe432b46ab73fcc7589e2e15bc874","datavalue":{"value":{"entity-type":"item","numeric-id":456877,"id":"Q456877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$B4ED7BF9-1F78-449C-9989-7E4825C59ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$3A0622F5-7706-48A2-A10F-E914A1B24893","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f739794021e4cde5dedcfec3f5debef30c31d67e","datavalue":{"value":{"time":"+2012-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456878$CA228E8D-630D-4CF3-A8D8-8D0ED277731E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$511DCFA3-C9E5-4F8C-9B57-D66798287220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$D9076C8A-C902-49B4-A724-94BD92D03AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$41C69570-8412-4757-8CE8-80A855FC9D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$B05B0366-7E7F-42E4-84EB-88ED445C9F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$2F39A6B6-8CA3-4566-A21B-DA8EB025B0F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa31ec6d600858c264ded75921d836f650ef91ff","datavalue":{"value":"6094160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$42FDE8E4-6A39-4751-91D7-ED60E0D1EF3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q456878$6EEC9EBC-F474-428B-907E-42599AA8F6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa2218e64624ad05b5bb2448946a19103a8714d4","datavalue":{"value":"number of countable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q456878$0194CA3B-332E-4667-8BE0-59D999BF5278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77f1f95379ce0be87ce62bac04ed556c02623ec","datavalue":{"value":"perfect set","type":"string"},"datatype":"string"},"type":"statement","id":"Q456878$F0DCA371-6914-4EB0-9023-CD18A611D6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q456878$A8133AAE-C6FC-4EDF-9801-E4BE41AA887C","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":"Q456878$4A75F59C-A7F5-41DA-835B-EBB4513FEA8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3887d04b9cd1dea9abc5cf6c8e1ca7a2d3c0d538","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2012.02.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q456878$F8A8A07B-8FDB-47AF-8338-8DBE3A5141F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b946d08cd7e488329ad7066f52750e2e613cc730","datavalue":{"value":"W2126284009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$5295A4E3-F331-4AA7-802D-68596371D553","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$94ED21ED-636F-4C51-BD2E-31C44FDB470E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$8739878C-E6B4-4713-B9B3-E5BA07BBA643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$B8E23B9C-034F-4DE4-87DC-FAE7C81B40CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$B20582AC-7037-4179-A976-9F6007BECFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$DA5FB50E-BED2-4D14-98E6-23901521457B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$7B0426B8-2E64-4F19-97F4-A7AEE32FE0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4999612a16be8a3e90303d96e2839d9fdbab39","datavalue":{"value":{"entity-type":"item","numeric-id":5592229,"id":"Q5592229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$E0F85C60-6414-4126-AD31-F2EB103EA6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9518dd7f95b2c4defe343ee2db5f10db3d13b99","datavalue":{"value":{"entity-type":"item","numeric-id":3146242,"id":"Q3146242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$2BED14B8-7B43-4C20-B4B3-D4669F0C52CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$E009270C-ACD3-4EEA-834C-83F91DC877BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3acfd47dd6fff84b8beb02e66f29862b253eba4c","datavalue":{"value":{"entity-type":"item","numeric-id":5720189,"id":"Q5720189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456878$EC22CCF1-C939-41B1-BFE9-C8824EB9AA1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47785747156e29492de0918f915c4ec19900192e","datavalue":{"value":"10.1016/J.JPAA.2012.02.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456878$E0C0B414-82A4-4548-8DDD-25596B42752B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673bcdf37aaf1446be28547781af5d5044954633","datavalue":{"value":{"entity-type":"item","numeric-id":3093856,"id":"Q3093856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68fdeccd08e5d0a5d4b864009ec432274e68e3c","datavalue":{"value":{"amount":"+0.7830938696861267","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":"Q456878$04B33C3B-7930-404B-82AD-1AD02B5E07DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1496282d88710998a1a31b7cdf3e97b780ce778b","datavalue":{"value":{"entity-type":"item","numeric-id":4356742,"id":"Q4356742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb621c2952dbed2ef7da2ce2bc0f35164e4990a1","datavalue":{"value":{"amount":"+0.7626511454582214","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":"Q456878$735EF4BD-5AA4-4986-AE20-2E2130647D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe02fe9857848298bddb584c270dfdbe4e996bed","datavalue":{"value":{"entity-type":"item","numeric-id":3676125,"id":"Q3676125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23a2b2e8f87acb4d2488e235eca22337f3124a3","datavalue":{"value":{"amount":"+0.7499005198478699","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":"Q456878$7EE722C9-01D8-4536-97A9-B682B6B72622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408d3618e601ef68ad249fb8223006b581df83a4","datavalue":{"value":{"entity-type":"item","numeric-id":938241,"id":"Q938241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a442519a055391d9f80dbe983daabd3bf4a61d","datavalue":{"value":{"amount":"+0.7366827130317688","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":"Q456878$9B730816-C762-4F38-BFE5-CBE605D42F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510187e227362d379ef28e8f04e715169204d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1356980,"id":"Q1356980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301f61a2da33c39800afe053595e91d8b11d400f","datavalue":{"value":{"amount":"+0.7352304458618164","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":"Q456878$D32E1DB4-43F0-4376-ACCE-5A9CF44929C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The number of countable models in realizability toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_number_of_countable_models_in_realizability_toposes"}}}}}