{"entities":{"Q5009707":{"pageid":7039284,"ns":120,"title":"Item:Q5009707","lastrevid":55388128,"modified":"2026-02-17T15:17:22Z","type":"item","id":"Q5009707","labels":{"en":{"language":"en","value":"A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7379292"}},"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":"Q5009707$B07752CB-9B0F-4466-AB1C-ABDF72722887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc978b2da7506eafbb99d4b3d415f16e267cf300","datavalue":{"value":"10.23638/LMCS-17(2:21)2021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009707$3FA35E3C-0B28-4898-92F2-4E7ECE004C72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$2B7A3F6D-6E09-42A9-A15D-00ED1BFBCFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6081bfbbb83793d494afc06884c66bee72821c4","datavalue":{"value":{"entity-type":"item","numeric-id":1756494,"id":"Q1756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$358C371E-5C16-4525-B996-565987FC8F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$E713104A-9B21-4B3C-B498-894F1244506A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d568e2ef8fb63864b6d6f453e43251e7302bcaee","datavalue":{"value":{"time":"+2021-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009707$321E7E3F-3E40-4930-914A-DBB98D5C5137","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f1906030331cec2d1a15fa4141bb91757d16820","datavalue":{"value":"https://arxiv.org/abs/1905.11966","type":"string"},"datatype":"url"},"type":"statement","id":"Q5009707$D0E60242-1744-40ED-8720-1F7D13BEA119","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009707$4AAC1F37-A180-44CB-BDD2-CB5F7568BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009707$88990F4E-3A99-4BD8-84BA-3945E894C5B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10e3a9a09f0ee3fc4c6c783911c8641e13f769b3","datavalue":{"value":"7379292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009707$FE028BE0-3FE7-4FA4-AD97-1BD4949DE719","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009707$3015A589-18FE-4288-9A01-3D821CA6D558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009707$D5C8A2AA-D25D-4ED6-975F-5B9CF2788C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009707$70DD0089-0141-4578-B8E0-2A2715F340E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771de2f6118e08f17a01405fe2293f523f4c572f","datavalue":{"value":"pointfree topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009707$024B2627-19B1-42AD-817C-469C6EE8A803","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":"Q5009707$07CBE06A-E626-4C4B-A074-DF822403B3A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$64BF7097-17D8-4772-A6E1-51E73F72A89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35bbe68490c50c9ba0411154bd3c7b741d2d71d","datavalue":{"value":{"entity-type":"item","numeric-id":2575764,"id":"Q2575764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$C5629077-F9C7-47BF-93FC-2E7BD3E887F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f0a63d2c9b7bac2d65c24493d26685d2b7c0a6","datavalue":{"value":{"entity-type":"item","numeric-id":4907839,"id":"Q4907839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$408F8541-01E8-4D05-9AEE-AE5B00D201C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92516c28f6a511aff0e0fb8bd6a766afdc41d11e","datavalue":{"value":{"entity-type":"item","numeric-id":4647570,"id":"Q4647570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$412E5223-94F2-46CA-88EA-7068EDA149FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae646c02f2ed444c88bd5f06f06bfba25d28d3a","datavalue":{"value":{"entity-type":"item","numeric-id":4981443,"id":"Q4981443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$75B3B150-18CF-49CD-9558-6EE20932D763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$A9C547F2-1183-462A-9C4B-496D3656ABBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3d70349d9a8586fb1aed0acdd17eed8931db2f","datavalue":{"value":{"entity-type":"item","numeric-id":3583800,"id":"Q3583800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$DFA204AB-DC3E-4926-A166-B77EBEFE5354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$287A9A04-62CE-4494-8722-EA6D830EEF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1267b45d8099c29e4fe884fdaca51b3687417c","datavalue":{"value":{"entity-type":"item","numeric-id":1756495,"id":"Q1756495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$1AD1F9B6-7736-4936-8AC9-1DDFC676A72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$D2AAE64F-E345-4D4D-B3A4-185A2DB35280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$A18F75F6-2B76-42F3-842D-8EA68D9DB424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcae29434b408608cbdccc82a521cfc4aa06606d","datavalue":{"value":{"entity-type":"item","numeric-id":2855642,"id":"Q2855642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$841D93BF-79B6-44AC-B48F-53F5E674D293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$9928A861-6392-418A-B6A7-299D5065DE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa933416699cd682536c8bd053812d0b5ba0eccf","datavalue":{"value":{"entity-type":"item","numeric-id":2254599,"id":"Q2254599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$4E9D0491-135D-44D8-B39B-50D86805698B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cb318559b5e8b835fb9fc7ea1d7ddb2a0c1f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5718565,"id":"Q5718565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$6744C5D0-FE0B-4901-86E8-1494E39DA34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda3e15907e441be605ceb15f6558accdc37dc6","datavalue":{"value":{"entity-type":"item","numeric-id":4982399,"id":"Q4982399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$21328942-9611-46DE-801D-E00BC7F63CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa86ab79cfca002aa7d840638e1129fb4774e49","datavalue":{"value":{"entity-type":"item","numeric-id":5311765,"id":"Q5311765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$C2502D36-531B-43EF-9156-9214CB4B5424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$FDDD52BC-2A5B-42B0-849E-79E81A6EB7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f5182c5f84b08fd5162da8260189a7d667355c","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$AECBE651-AD9D-404A-8AF4-9E9724B3F64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f488b7f2e77626d70e996d6e274a43197a05eba","datavalue":{"value":{"entity-type":"item","numeric-id":5718569,"id":"Q5718569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$E0FDAC5E-5D40-4705-9F0F-2CE006EABBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23f15f5e03bb8c15e4fe98a6305ada5e7f790b9","datavalue":{"value":{"entity-type":"item","numeric-id":5945010,"id":"Q5945010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$A21203D7-04AA-48A9-938B-910C81226735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$CECD01D6-A04A-4786-9A57-5850F98E624C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d001cd86787341ec5bc110963875587437aece0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427787,"id":"Q1427787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$10D99642-E2A4-4106-B865-4A14CB468A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$E435F488-B0F5-4CD6-9A18-6435D70B8199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e2f65b49ee29719dbf75ab930fb27483bf073a3","datavalue":{"value":{"entity-type":"item","numeric-id":866574,"id":"Q866574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009707$A9F0981B-6BBE-4A17-8118-530D6C0A11E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70d61ddc1476d2149e63840aae68cb6eceb1fda","datavalue":{"value":{"entity-type":"item","numeric-id":5277976,"id":"Q5277976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cede51a4b15f90ec7d76377a2052b8e56b7a37","datavalue":{"value":{"amount":"+0.8698897957801819","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":"Q5009707$05FE8AAE-8F76-4750-9AC7-CD1825BF57D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285c9a79dce21f58dc06c393ce588eb72d7358a0","datavalue":{"value":{"entity-type":"item","numeric-id":5060191,"id":"Q5060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5ab5150f3b3d81caaccf362f7bebb4c492635c","datavalue":{"value":{"amount":"+0.8321915864944458","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":"Q5009707$10A3B09C-67E5-4A93-8CE9-D31702E3B22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917f3a46fd7089a4951412636ca5a562dd8a77c2","datavalue":{"value":{"entity-type":"item","numeric-id":1756495,"id":"Q1756495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad10dce9a35f549a882558c1f93e580061254883","datavalue":{"value":{"amount":"+0.8216859102249146","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":"Q5009707$9B2F3050-D426-4CEC-8E07-038192E6CE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4067ae2d880ffb4902c82352ef360606ffb0321","datavalue":{"value":{"entity-type":"item","numeric-id":5858930,"id":"Q5858930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2466985b0217e618b4e1d5a1860819f7717438c","datavalue":{"value":{"amount":"+0.7909806370735168","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":"Q5009707$529683A1-6D60-4170-B5FD-6F770AB35712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbd848bc04dd79b349b04c731ea0ea452535ba3","datavalue":{"value":{"entity-type":"item","numeric-id":2878782,"id":"Q2878782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5942e78dd928209660d79612467c66ff015d4942","datavalue":{"value":{"amount":"+0.7882859706878662","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":"Q5009707$0C7B60AA-40B8-4A4C-9AC4-51347E4EB303","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5009707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5009707"}}}}}