{"entities":{"Q866492":{"pageid":868340,"ns":120,"title":"Item:Q866492","lastrevid":64945803,"modified":"2026-04-11T23:17:08Z","type":"item","id":"Q866492","labels":{"en":{"language":"en","value":"Propositional logics of closed and open substitutions over Heyting's arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129042"}},"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":"Q866492$E4EC1CE8-DA15-4416-9388-BDD6DF051EB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f424ac65b2e0f6daeb3f94a83fac29b92819486a","datavalue":{"value":{"text":"Propositional logics of closed and open substitutions over Heyting's arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866492$678A9012-4A70-4BF1-A707-8186E7ADB64A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5938bc41a17dbad48e4705d0ced23327aa64fcfe","datavalue":{"value":"1113.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866492$E8DF9D51-F63E-40D0-A0BF-7A90B8593CB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866492$9CA85D49-E037-4515-BB7B-9C71E5ED5A1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866492$9AB8A9D6-CC11-40FC-9767-58AB74A3A82A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866492$090B89FD-B4D3-424C-BC89-38BE2F8D4B93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"601ed3f71dc992f19729c47a90153e81c8b58366","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26751","type":"string"},"datatype":"url"},"type":"statement","id":"Q866492$6D98C3DB-B6F9-4B61-99B8-6BDD24489196","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866492$8A8A9222-EB6E-49AB-AEF3-633BE366A728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866492$90EFD720-FB0D-4DE8-B14B-77BD5E3398E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866492$15695088-044D-4D8B-A75C-A5C422FFE7E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1cbf49891e95225f1999370725a56bdda5c9c65","datavalue":{"value":"5129042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866492$CFC873F3-BE19-450D-AE69-10FD3670C6F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q866492$31959654-7BB6-4FDC-892C-E5F5B48BD00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q866492$AABFD6A9-E863-4FCC-8297-AB73F86C2EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9d1c924495a127d9958f70855dadf9fb9b926ec","datavalue":{"value":"closed substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q866492$ABCCCAC9-B8A1-47B9-BC71-9943950ADBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa4570d1989d4fdd033de461e678cbd2c10c6a4a","datavalue":{"value":"open substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q866492$D900B20B-11C9-4EC9-AB33-11567F5C17B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96a5741220aa9134613ce14130ffcf557ed229c","datavalue":{"value":"constructive arithmetical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q866492$60A681D0-B0E5-45C6-BCF9-2854DC734B04","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":"Q866492$EA0F450D-4E95-4AC0-86F8-C7ACC413182C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f68e18a214ac3d57550c4a2fc141b1dc4c2afa5","datavalue":{"value":"W2022617953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866492$FF64CF47-1077-4B9B-ACAB-EFFF4458DEA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f68f819b7c6f87d642d754da8c5452b10864f55b","datavalue":{"value":"10.1305/NDJFL/1163775437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866492$0CA77AEE-50F0-48AF-BF87-DC6969C8A1FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa583b578fd8afa0365df90b88ba4ab49564106","datavalue":{"value":{"entity-type":"item","numeric-id":3617381,"id":"Q3617381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7763dc62653f116d5316795114f9825c3e867139","datavalue":{"value":{"amount":"+0.8174870610237122","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":"Q866492$48FC5E30-E37D-4C3B-8C25-22A788BEF58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e384dfcd8ec39ad22cf764af3e8249dd065f76","datavalue":{"value":{"entity-type":"item","numeric-id":3789559,"id":"Q3789559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe18ae7a0a6ac434857861cb4ad010d950c4820","datavalue":{"value":{"amount":"+0.7925938367843628","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":"Q866492$3A0F63BB-3904-426E-A814-AC07FA73B62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c290012b951f8200d47ff6c362e06e5f62564a45","datavalue":{"value":{"entity-type":"item","numeric-id":5957858,"id":"Q5957858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8669504541f894e447d68b72b787ee4ccf4cc1c1","datavalue":{"value":{"amount":"+0.7830947041511536","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":"Q866492$0EB2CCD0-1CDA-4E69-925F-D3A5AB7AA8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d2a328de4393a6138737f57d51c482eacdb107","datavalue":{"value":{"entity-type":"item","numeric-id":2277259,"id":"Q2277259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8669504541f894e447d68b72b787ee4ccf4cc1c1","datavalue":{"value":{"amount":"+0.7830947041511536","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":"Q866492$D29A315E-0C06-4C2F-9A12-3E574CD35848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efedfda5a85a187dbb36e467aaef82128fa7eef6","datavalue":{"value":{"entity-type":"item","numeric-id":3094145,"id":"Q3094145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e18daa2e1c7a3687fca44d441fe91fbf9a9c75","datavalue":{"value":{"amount":"+0.761198103427887","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":"Q866492$A1B98712-5188-4688-974D-D3889CB18BF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional logics of closed and open substitutions over Heyting's arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_logics_of_closed_and_open_substitutions_over_Heyting%27s_arithmetic"}}}}}