{"entities":{"Q392298":{"pageid":394065,"ns":120,"title":"Item:Q392298","lastrevid":61571325,"modified":"2026-04-11T00:12:52Z","type":"item","id":"Q392298","labels":{"en":{"language":"en","value":"Self-referentiality of Brouwer-Heyting-Kolmogorov semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244778"}},"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":"Q392298$DEDC50B1-F549-4EC7-A26E-9369CE219757","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ba0d7c4fa0e0aa7e0b9d583fc688beece4523b4","datavalue":{"value":{"text":"Self-referentiality of Brouwer-Heyting-Kolmogorov semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q392298$B2D32829-26F0-4C36-98D6-9B94F8CF512C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0826730d7ce234fadae0bdc9a2cb402a4396505c","datavalue":{"value":"1348.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392298$FF4B3CD9-1E07-4793-BB48-C85236C42929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5cb9fd95797e0efa825040431f9b1fe097fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":392297,"id":"Q392297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$77D7BB7B-BAF3-43E0-858E-275146200584","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$A9506D5B-B22D-4E1F-B543-509C5E4A021C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a7f0ce9f8644dc92186acf7aa59a26f9b811cbd","datavalue":{"value":{"time":"+2014-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q392298$31FD80E3-ADA7-4AD2-B680-7338348C9276","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392298$9B8BBED8-522A-4810-87B8-A1FA42435833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392298$DFD83079-9381-4526-A0E3-C97A6E07A663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392298$CE9AA478-CAA6-4302-A492-1E1A2AD535B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ecab33396472a3c505dbc187a4cb9f87595bd42","datavalue":{"value":"6244778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392298$E227D55B-58BC-45D0-A368-C35FD4299E42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75eea8d43707120a587300f6ffcab84a74589c0","datavalue":{"value":"self-referentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q392298$D1BA872F-182F-4220-8F8D-A62BF730A52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c95d6371d47e86c84e2b2a5b875b171f4c6886","datavalue":{"value":"BHK semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q392298$A1728B78-7754-43B7-81C6-02DACF7E0D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b355c8a4174d6d8394d7bf240c24bc9a0be14b8","datavalue":{"value":"realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q392298$BCD039C7-48DD-42A6-A8AE-4BC0AD0692F4","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":"Q392298$CBC54DEB-3000-465C-BBAA-FA2D5258C412","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6ccecb0c04e895bbf8220f2095c1192bf624561","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.07.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q392298$91189652-66EC-40F6-9557-9B2456E5D8FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1d03735705348e99b8a2d6785ec511a15fe0a6e","datavalue":{"value":"W2082080353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392298$C9F7CCEA-A607-4579-B652-27BBE880378C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$0C32232A-B0EA-4CC4-A946-E0902809D675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd4bc953f527eefb1cc8a55dc47f07985f7ef44","datavalue":{"value":{"entity-type":"item","numeric-id":2500480,"id":"Q2500480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$5699AB34-FFCF-47E5-B8BD-50D0E2B8ABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e773aec4f521324ba6a5c3d61497aff90ed176","datavalue":{"value":{"entity-type":"item","numeric-id":2904046,"id":"Q2904046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$10D1DC6D-CB68-4B0E-8251-5D5D4559F2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"593def07e4546cce960235af14c5ec86bccd4e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1194106,"id":"Q1194106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$D771F5FD-77E6-45D0-8786-C6285A654BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$DE2974FE-2376-4D4A-9A9D-65B7FD6302C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$EC05671A-6AA2-4121-9E76-D08FF5A7BAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7c19b9441ba399a39ff250e40b5d29fd1c3d5c","datavalue":{"value":{"entity-type":"item","numeric-id":636276,"id":"Q636276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$05F00414-887E-4F94-9398-FAB57DCAF496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$748DD7BC-D0A7-4645-9AB3-A1FEFCBFE918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1458bfac42ad286313aff266819d8c1ef7aaaea","datavalue":{"value":{"entity-type":"item","numeric-id":5613908,"id":"Q5613908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$A7F5BDA6-A632-46C0-BC29-8E202BBB4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779a756daeab8a8a58e91b2835f5b54603849913","datavalue":{"value":{"entity-type":"item","numeric-id":5343326,"id":"Q5343326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$6FB40635-DC70-4FF3-A813-F46E8ABC0E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c257e415898a3c1e1a4dacae491c885b57c42207","datavalue":{"value":{"entity-type":"item","numeric-id":3503641,"id":"Q3503641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$4808E4F4-BBBF-49AD-B681-7EEA7D89701B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c89eda5434976b3e0758b018c264cd9d344921b","datavalue":{"value":{"entity-type":"item","numeric-id":987374,"id":"Q987374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$77F95285-5330-4647-A92C-0948BAE33E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$6C32A712-CA70-4475-87D1-4DA17A645E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$16AB89FE-9E7D-4C25-A7B3-822F27574615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$539667DC-8C7C-4944-ABC2-9E76917A5B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$828052A4-7EC4-4367-B7AA-43EBA2FA5558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223bddfd965cb33cd8a64d9bb320887bce7e3c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3569763,"id":"Q3569763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$2DDAEA13-7C2C-4DB1-A272-94DC495BF20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165997c7e6d3ae49879e0753d771bad55b5bcf0d","datavalue":{"value":{"entity-type":"item","numeric-id":3455862,"id":"Q3455862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$4E933454-A58A-4105-8EB8-4740BBF50D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11447234ec98f704b76fee81896eae94665f2b14","datavalue":{"value":{"entity-type":"item","numeric-id":1678748,"id":"Q1678748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392298$C935B63B-E181-45D4-AB87-BD36EE5678D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80689e75d6033c2e246071acea8a7e7ee36a2743","datavalue":{"value":"10.1016/J.APAL.2013.07.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392298$A1D437E7-0F26-4A72-B4D8-DDBA7D699978","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be30695acf0cd4bc9624ddc4690edefb25d1ae8a","datavalue":{"value":{"entity-type":"item","numeric-id":3455862,"id":"Q3455862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d8c32fac137de7e4688187e75f592d69ae8d21","datavalue":{"value":{"amount":"+0.9658774137496948","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":"Q392298$D3D3AD59-1817-44D6-8E68-A87DBDE2984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d8eb86996814b7cc8576a15477dcc8bcb34c52","datavalue":{"value":{"entity-type":"item","numeric-id":1678748,"id":"Q1678748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc449806617ad45f22b6390bc64d947335df011","datavalue":{"value":{"amount":"+0.7944799065589905","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":"Q392298$F32E7331-936D-432C-AE18-82AAF42B2540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bfa75c83349072944d92a5dd6e0d856c6003f9","datavalue":{"value":{"amount":"+0.7501679062843323","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":"Q392298$E09852D7-448D-4FFD-9CBF-67C9F6E95A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9395d93ced324cdcedd5c63d2a9715547843d38b","datavalue":{"value":{"entity-type":"item","numeric-id":4499151,"id":"Q4499151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237f326af963c44b90c20c12ea75592cf188076c","datavalue":{"value":{"amount":"+0.7492362260818481","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":"Q392298$243B2A10-72C9-46F4-B385-8E7E5FA9557B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749e4e83ef5e0d436a17c3c7bca45ec0b74e72fd","datavalue":{"value":{"entity-type":"item","numeric-id":4531579,"id":"Q4531579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a41d42aa46c9c9b7da503c52aac8e949993493","datavalue":{"value":{"amount":"+0.7416377663612366","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":"Q392298$61F61184-F1B9-4585-B833-2B91C5CC8982","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Self-referentiality of Brouwer-Heyting-Kolmogorov semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Self-referentiality_of_Brouwer-Heyting-Kolmogorov_semantics"}}}}}