{"entities":{"Q3450813":{"pageid":5213147,"ns":120,"title":"Item:Q3450813","lastrevid":58183164,"modified":"2026-04-04T03:39:22Z","type":"item","id":"Q3450813","labels":{"en":{"language":"en","value":"A strong multi-typed intuitionistic theory of functionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506066"}},"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":"Q3450813$9B008973-AC33-41F3-8B9A-4BDEE45A2F49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e45a1107509dd0d1eaa707f09310c32b0386eee","datavalue":{"value":{"text":"A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3450813$9EDCF660-7A09-406A-8427-D66BB027A9A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7a8ac3b0d28980207755e36764a446b5d90d445","datavalue":{"value":"1357.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450813$3C8D86DB-1E35-4966-B494-5722BBE9D7C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3450813$2A986DDC-73E1-4DD4-AFB5-6F7D0EFD7B47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70c999ecb23bddbf6e77bf2bde30c8ccb0e50741","datavalue":{"value":"https://arxiv.org/abs/1403.2813","type":"string"},"datatype":"url"},"type":"statement","id":"Q3450813$047E0117-700A-4451-8DF1-53F901533136","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450813$EAAD7BD2-06E2-4F3A-A741-8EDE4D8265E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450813$897DFE5F-F324-4184-A792-FA99EE1CB544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450813$00A1B07C-80DB-4BC1-A5F0-E4DDAB747028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d3d5c83db92aa0bdce713bb5f6aa05677484c9e","datavalue":{"value":"6506066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450813$16A199CC-771C-4497-A645-94CD463F023E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da855445b59cae389fca494b963c3ccb8b3796aa","datavalue":{"value":"intuitionistic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450813$1663652D-D876-4A20-8104-B10648064F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dfd1b62fba7860f537d3879048fab97c44d3731","datavalue":{"value":"lawless sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450813$33DDC7ED-E36D-4665-AE2A-8F0FDB3B8D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f296abd2df2856be9280d30fb06f054fdb7fef","datavalue":{"value":"creating subject","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450813$B7B17665-FEFA-4C1A-9075-E06C200E1A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3221ff3ba498390328c345c5baa1af1f783d165","datavalue":{"value":"Kripke schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450813$4B9A5F59-8FBF-4918-A414-729F0DE04CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9647312fe401bb31971c5efbf7cc94712c75c907","datavalue":{"value":"Beth model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450813$D375F065-FF65-4D6A-880B-8DA1F173ADB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450813$F69B22EE-2A89-4C7D-B8E3-A28EE911785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450813$8A54756A-09E2-44FF-A8AD-2D385FC3A3F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9f80f388021945d2942bf766e11c8aa394afbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2363504,"id":"Q2363504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450813$7952D118-A9E8-4826-A866-08D9782E9E9C","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":"Q3450813$A2DF416F-0F99-4563-946A-DEB6B6D4229D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d9fbdc45bb72119de11f72e9268766bbbd9eb12","datavalue":{"value":"W2402236888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450813$B4489288-3467-4052-8C3F-85C0FB1BDD8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450813$577134A1-3923-4A98-A16E-570DF172CC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4a43f477c9f95ad9247a6dc76ab192301e5859","datavalue":{"value":{"entity-type":"item","numeric-id":754198,"id":"Q754198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450813$66C8E7DA-ABB4-4CD3-BCEE-EA4BB81066C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392de9e32176a97ba1ea63437302e1ba70c2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4182505,"id":"Q4182505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450813$F8C4CEA3-9429-468E-AEF2-31134E82E8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccb87571733bf1a3a53342220ea20f16b09d669","datavalue":{"value":{"entity-type":"item","numeric-id":754200,"id":"Q754200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450813$CA6563E9-5C16-404B-8448-9EE31D4895EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34715ffb7eccc6fbef2150db1063ec86b25bd1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1234293,"id":"Q1234293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450813$49088A3E-0C86-4130-B086-B4506FFD5B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc440e6b746fbcc870102f7e0b8b66275986778","datavalue":{"value":{"entity-type":"item","numeric-id":5320764,"id":"Q5320764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450813$18BB24FE-0265-4641-89E5-8499456112E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66b65fce39a49728b3304ff5025e0126cb2338f9","datavalue":{"value":"10.1017/JSL.2015.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450813$E9F38CA1-220A-44FB-B60E-F77D7F20158C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450813$0649636F-18DA-4156-BFA3-47516B938E3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7988a38536bdbc68b87e3c2fc84ecfb6c546987","datavalue":{"value":{"entity-type":"item","numeric-id":5737992,"id":"Q5737992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067c78e5882f3035093411ca170c5fb2a6bea553","datavalue":{"value":{"amount":"+0.7946969866752625","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":"Q3450813$5F5394D9-D647-4FE0-B89F-E5EC53D3C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95150fb41d5c9ed52a8949c773d78a9930850722","datavalue":{"value":{"amount":"+0.7739130258560181","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":"Q3450813$824B5435-DB59-4BE8-9112-7B8B9CBB1F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6abce847cf695a1699d312233c2b4b9995b7529","datavalue":{"value":{"entity-type":"item","numeric-id":580341,"id":"Q580341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e025802aed071c3b7eda8f6cc9d772082f3e427","datavalue":{"value":{"amount":"+0.7539141178131104","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":"Q3450813$919D70A0-6D0C-425E-969F-259B049D0931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39392e641ff96f169aa42fc4df5cd51bf48cbb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3819065,"id":"Q3819065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35dae41ac6972756fe4bf0c2be90c100e292198","datavalue":{"value":{"amount":"+0.7504697442054749","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":"Q3450813$A99BF707-5029-474C-90A8-13A75C175E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a407972b20364aaf5185a060c0e647801e8a72d9","datavalue":{"value":{"amount":"+0.737351655960083","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":"Q3450813$CECBD718-9A2C-4080-A266-62587C5A55E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3450813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3450813"}}}}}