{"entities":{"Q3616347":{"pageid":5646253,"ns":120,"title":"Item:Q3616347","lastrevid":49694854,"modified":"2026-01-09T03:47:51Z","type":"item","id":"Q3616347","labels":{"en":{"language":"en","value":"On second order intuitionistic propositional logic without a universal quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532614"}},"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":"Q3616347$96CAB2F1-6136-476D-84CD-613EF9C16C0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05340eb91a36738853bcdc31ea05f421d85e336c","datavalue":{"value":{"text":"On second order intuitionistic propositional logic without a universal quantifier","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3616347$74DFC788-A193-4FB4-AFD1-2C952D22A397","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"440d8963b9facfebc9757d76803fa79a9a018d23","datavalue":{"value":"1163.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616347$228CD890-03BD-4B34-A5CA-938937F39BC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2094ea0738e5bf7c114481073bff8eb28b382fdb","datavalue":{"value":{"entity-type":"item","numeric-id":549717,"id":"Q549717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616347$ACCABA75-D12E-4CDD-B934-B52EE74B3DDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3616347$74F9458F-923F-4B6B-8908-CA3314D3C939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616347$FA9A2B64-7BB1-45D3-A8D5-D4E7B870FDF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b03e761d32f2739050a1828db86e0c47a7b5f4e5","datavalue":{"value":"5532614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616347$39EC4CC9-F615-478A-8869-7C8CAB67098C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2260f76f79a0908063211cd2aa3f10191c097a","datavalue":{"value":"second-order intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616347$56A3832D-34BB-4DAC-BDAA-F9792C01D2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1415e9a69bb48ccb94d7a4e794186d5a0711f30","datavalue":{"value":"Glivenko theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616347$D2835178-4D35-4194-95F5-B72B21EB442E","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":"Q3616347$FD806798-A1AC-4DE1-BEFB-1D46A44C5EFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc133bfe58394e6b431a580edf9d318e56e65e84","datavalue":{"value":"https://doi.org/10.2178/jsl/1231082306","type":"string"},"datatype":"url"},"type":"statement","id":"Q3616347$8C8C3EF8-802F-4250-9A00-E396A632C2F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad853f797dda98981c85698ae9e6054778689199","datavalue":{"value":"W2021824907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616347$96482CC8-150D-4B0A-97A0-2FCD677E1FCA","rank":"normal"}],"P223":[{"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":"Q3616347$950ACAFA-CD19-4E6C-B6D8-4328AAC3FAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e464c616f2e2691354af42b0da1133f170b7a09e","datavalue":{"value":{"entity-type":"item","numeric-id":1327718,"id":"Q1327718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616347$A2A6BC3D-8065-425A-A6A9-55A106F1A2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c1977bc7aaa0db26e3dfb0d125f9ac377a8abf","datavalue":{"value":{"entity-type":"item","numeric-id":5937836,"id":"Q5937836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616347$8015756E-6AD5-44CC-BED0-A77C24A38116","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dc6966c0533ff5b91fccd616a3217e1ec17815a","datavalue":{"value":"10.2178/JSL/1231082306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616347$5393F045-CF4E-4136-A731-8868397D5E1B","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":"Q3616347$00C37E61-4270-4278-8D06-3264711F3579","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c333501388da7f7d83c2fdb2bf7af09b199e52","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6568fc6e3446c505d4c09d22691ab8f3b41390d0","datavalue":{"value":{"amount":"+0.94374907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$0A06D92A-84D6-46A0-B02B-88A5C448B7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad5a8b797fea84a67761f6b044fdd87da47bc48","datavalue":{"value":{"entity-type":"item","numeric-id":1361248,"id":"Q1361248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28299a13b19b2fde5249efb73bf3ce7b8f8ef217","datavalue":{"value":{"amount":"+0.9347012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$3F8FCD8D-7AD6-4A60-A413-1744F4A50BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e703f2bb542fa3d548921ab0230928ae2de1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4459601,"id":"Q4459601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5306f7de9e202704083b99088423ebaff22845c3","datavalue":{"value":{"amount":"+0.9171595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$E5ECC8DD-05C1-40A1-BB89-223EC3114120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c31d50259931960c8496f17cdd878c7492bdd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1061123,"id":"Q1061123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62fb73f97455c50981256796d171ac3f42de3aa","datavalue":{"value":{"amount":"+0.90310043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$700AC3B1-A469-46D3-BA61-76273CD95A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9206ffccc557957bf7b3f6246019eb1e1730f875","datavalue":{"value":{"entity-type":"item","numeric-id":1595922,"id":"Q1595922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9345bd1b051fcede91b48f5d298c2aa7717606b","datavalue":{"value":{"amount":"+0.8946307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$0D61966C-8150-45EA-9309-EAF8DF2C4B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5eb07dcb2f22fed3fd3f3b504542c918a76e021","datavalue":{"value":{"entity-type":"item","numeric-id":2053351,"id":"Q2053351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35159658ddf8039011e9f0d19463f80d962fcabb","datavalue":{"value":{"amount":"+0.8941404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$9C440F1B-EFD5-430B-9BC0-8EBF463D5275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b0eb1b7508ea0b5923bb9996cc9dcc4e03c159","datavalue":{"value":{"entity-type":"item","numeric-id":3647305,"id":"Q3647305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3025395a5f21ce6f1d6666838d383fbbc8e19a18","datavalue":{"value":{"amount":"+0.8934325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$E34D203A-2A46-4DBF-A7F9-B56512FF7433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d6ead87bf0e90341091bf3c07ddfb46a765dff","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ddf6540e20bcefabd9a2257feca94b44b0cc90","datavalue":{"value":{"amount":"+0.89114714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$FC262F4A-F4D9-4527-A9D6-0A0EEB679EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad28eb7c4c69d36a7246716c7539d498dcb5a05b","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb701178e89e66e59b679eb59912abf5d7677d5","datavalue":{"value":{"amount":"+0.8909815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$46C6E9F2-9563-404B-AA5A-D0E2047D64CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d886e0e830c068e08ac3ab53f48522901c12c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4364519,"id":"Q4364519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf39955941c1e79b1b30f1817d1af41b2093aba","datavalue":{"value":{"amount":"+0.88918066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3616347$A037ADEE-B131-4546-9C89-658CA6C81D0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3616347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3616347"}}}}}