{"entities":{"Q3455862":{"pageid":5235262,"ns":120,"title":"Item:Q3455862","lastrevid":52414190,"modified":"2026-01-22T14:34:23Z","type":"item","id":"Q3455862","labels":{"en":{"language":"en","value":"Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520055"}},"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":"Q3455862$76286B71-B8FD-47F0-9A5E-A433346981D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"166230d1e245c8180e1ca5d8d3ed2aa56b969e49","datavalue":{"value":{"text":"Self-referentiality in the Brouwer\u2013Heyting\u2013Kolmogorov Semantics of Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455862$D548D234-FBDB-40BE-9631-14E164130EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78e78fd2380e6e38fae85960ec9795711c859be3","datavalue":{"value":"1348.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455862$2B6900A6-91B3-429B-8BB2-92178D7482B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6affe8cfb1e941ec510f7e18589fe35f013871c1","datavalue":{"value":"10.1007/978-3-642-35722-0_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455862$1FA82698-344E-4F0A-8397-E338591BD9B4","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":"Q3455862$F33A5F46-2F3F-4A97-86A5-32F908CF9157","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455862$EEC50D3F-5F4C-4147-A68A-3E17F462B6F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455862$5508B972-36A2-4A7F-A2EF-94A4F1F0161B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455862$A75EBB50-5AD1-4249-A57A-862F23E119CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455862$7ADC5079-B90E-4922-AB31-984AD6EF916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455862$68BDB004-152C-409E-80AE-C39D8BD8BAC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fccf849353bc663f4de216a69b8678a854454fa4","datavalue":{"value":"6520055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455862$6FD7A4CF-F286-4578-9340-EA05CB61D3E6","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":"Q3455862$33272157-A3E9-4CA4-8CD0-8F296626D014","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3828919ffd824aa0ce5239efb57a73e2431c855","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35722-0_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455862$BBA8D248-19FE-4EA9-B8CA-904B67EC84B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e8cdae2b68d3a59bc2b612800126336f6374b77","datavalue":{"value":"W167667726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455862$0E462931-40EE-47C8-9BE9-2AF65C5E4A54","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":"Q3455862$A59FE726-63BD-4B76-AD2A-32E8C286B841","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":"Q3455862$AE3DC5AE-1182-4CB1-B852-038FE0B22B4A","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":"Q3455862$1C68D86A-A8C6-4A8F-91C7-A87B2DF66479","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":"Q3455862$E43B694B-03BD-4F0B-8104-52C651379BCD","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":"Q3455862$F7E996F6-577A-43F9-921E-1576D2726BEC","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":"Q3455862$6EED51B9-8E2D-483F-BCC7-6A382C570233","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":"Q3455862$1D7AEDF5-3030-4EBC-BAA0-7A13502DD76F","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":"Q3455862$A8422570-D429-46C8-AA54-B957F6935E3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f89e3998c6b93f9f42714dc0fb6d4d44b6b4cd99","datavalue":{"value":{"entity-type":"item","numeric-id":392298,"id":"Q392298"},"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":"Q3455862$825B249E-6A54-4104-AD3B-6355C2B145E2","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":"8d332081e8223b31c917c4751176f1a17967146b","datavalue":{"value":{"amount":"+0.7937883734703064","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":"Q3455862$6AA98AE7-C17E-465E-9E62-008474A1C516","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":"4ecbb057d4d5927eaf9796bb309cef4c42bd5f29","datavalue":{"value":{"amount":"+0.7688561677932739","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":"Q3455862$589811A9-F954-4B5C-8C8E-B45559296617","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":"32712465f6ae37d8c165d17234d53bffdcb43dce","datavalue":{"value":{"amount":"+0.7679219245910645","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":"Q3455862$A4CB449F-EA94-47CA-85EE-CA2F0CD6D2CA","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":"a57a0620e67bb8064948ac381fe3597e8f1892bf","datavalue":{"value":{"amount":"+0.755652904510498","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":"Q3455862$2843F669-0E3B-43D3-9CDA-0A73BCA82916","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455862"}}}}}