{"entities":{"Q4787855":{"pageid":6817435,"ns":120,"title":"Item:Q4787855","lastrevid":48028879,"modified":"2026-01-03T10:13:53Z","type":"item","id":"Q4787855","labels":{"en":{"language":"en","value":"In Domain Realizability, not all Functionals on C[\u20131, 1] are Continuous"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1850713"}},"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":"Q4787855$A63ED214-3E7A-4710-96AA-63D4806974ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65cde18ace80f1263c48f817cd4f30cf10e0bd5a","datavalue":{"value":"1011.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787855$F4956EBD-C047-4922-9BC7-AA2F11DC2456","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787855$EA6D14F0-43C4-450A-82FE-6D51EE140D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787855$31C2C2E2-A074-48A9-8B8A-FF011025A9A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0aba4047b85ccabdb038f52574d31f909e54ee5","datavalue":{"value":{"time":"+2003-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4787855$B76D2D4E-A35F-41DE-B26B-5656E31DD8D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787855$34835246-CE50-4857-97BD-434B17484C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787855$5C194BEA-2F55-4C5E-9F3B-7A417B68C2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787855$16A30EC4-1FB6-4969-BDD1-327802C0FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787855$6EF8C7DC-3B8D-4521-87FB-5BC36903FFE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94d94dd65a55cc1df2148a6e53df29de774031f5","datavalue":{"value":"1850713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787855$6E771755-ED8B-4C89-A53F-A1D142DD7553","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191860442ecb66daa006e1e4efacebb0fe57d879","datavalue":{"value":"continuity principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787855$44632750-1CE1-4890-BB49-48CD1F92AE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2e99922c09a11e7995f4e55a119c3d7c76a4745","datavalue":{"value":"real-valued functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787855$20A6EE26-062B-4244-9F5B-4BF1E86806F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05e81abdaf414fc31407d88d74b6115d58f4b83","datavalue":{"value":"realizability over domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787855$D5BCFB72-5C02-4325-889A-E7B93144B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dff26ffc0fa8fb28b6b59c3f649daaca66d9c263","datavalue":{"value":"functional realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787855$5E7F10FC-E852-4C04-9E62-D92F2CF0F46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f391ec4413e15b014466da90f9a371f01375e9eb","datavalue":{"value":"type 2 effectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787855$58D725F2-22DD-41FE-ACF5-DFA7DB4C19E3","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":"Q4787855$A4C1ABB8-861C-46CA-B89C-72A4C440D033","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c10e04114f2931cb906ef51768f6bc7442393e66","datavalue":{"value":"W2090411578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787855$180890EA-8949-49E0-9184-79938EC72A16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a0fbdc928fa33e4727bfa98f111ee2eb185166a","datavalue":{"value":{"text":"In Domain Realizability, not all Functionals on C[\u20131, 1] are Continuous","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4787855$CD16062B-6EC9-4260-914C-89F479D5D6C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8c06eacb1bc205e56ba6af1b33927afb18e24ef","datavalue":{"value":"10.1002/1521-3870(200210)48:1+%3C41::AID-MALQ41%3E3.0.CO;2-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787855$27734760-5890-4009-A0F5-DE6E1E8575AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a874eda12c144792aa3a1c52fc2c3ace3c46662b","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200210)48:1+%3C41::aid-malq41%3E3.0.co;2-v","type":"string"},"datatype":"url"},"type":"statement","id":"Q4787855$87887FC6-42B3-467D-A04D-C1FDF78859A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314c66d6b232c6165f59e555df23aa4a50b736f6","datavalue":{"value":{"entity-type":"item","numeric-id":4513589,"id":"Q4513589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dcf052f2d20407c56f0eecce1c6814b97111ff","datavalue":{"value":{"amount":"+0.7479920983314514","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":"Q4787855$A1E0C38B-1CF6-489B-89CF-BE4FBF38A965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93aa6ee66066416c88c248fe1f1b0b2348238ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779633,"id":"Q4779633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e252376438228fd4b1e7b0c687002e2d6f19d835","datavalue":{"value":{"amount":"+0.7424437999725342","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":"Q4787855$441F13E0-1103-48B0-83B0-678F308B0E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9154aac3bcff8f9f9ccf927aa1db81444c9a55","datavalue":{"value":{"entity-type":"item","numeric-id":2851543,"id":"Q2851543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee0f87ae1ab715164367820a5f05d217b79de2c","datavalue":{"value":{"amount":"+0.7402235865592957","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":"Q4787855$DB85C829-D2BA-4800-A49E-0866F361243B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f00aca219ee609ba6645cc8cedc0e8d51709bc","datavalue":{"value":{"entity-type":"item","numeric-id":864424,"id":"Q864424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db021126915be71f2efe2c8ac986f739ff6f92d6","datavalue":{"value":{"amount":"+0.7377744317054749","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":"Q4787855$30BF3E9C-7DAC-4D90-A859-77A08A0A2285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75969d8620760d169e893ebe76042932d41105a4","datavalue":{"value":{"entity-type":"item","numeric-id":1923085,"id":"Q1923085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc950216b2621716af0d4fb7f4355ac15dbf3e21","datavalue":{"value":{"amount":"+0.7332888245582581","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":"Q4787855$ED3E2152-AD8B-4C06-B31E-BFC305EED905","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4787855","badges":[]}}}}}