{"entities":{"Q3384897":{"pageid":3395600,"ns":120,"title":"Item:Q3384897","lastrevid":55395616,"modified":"2026-02-17T15:29:20Z","type":"item","id":"Q3384897","labels":{"en":{"language":"en","value":"On natural deduction for Herbrand constructive logics. III: The strange case of the intuitionistic logic of constant domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447750"}},"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":"Q3384897$36AFA529-6E32-404F-8533-34075BC29055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$B83692D7-DF86-4BB9-B009-8436C111B58E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384897$7481A210-2FA1-4F32-AB91-54370DBF906E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f96afb6538276fa95a5b57cf13a2d5aac75aa71b","datavalue":{"value":"https://arxiv.org/abs/1803.07313","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384897$FDD77F68-9893-4221-9A2A-17A6CA0FDE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6683548faf72af1e2d9d2405491d15b39c9f1ccb","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLC2018.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384897$5552A50A-57E9-4F05-A465-9FADDBA4AFC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384897$9EB63156-A7D2-49C6-8229-A06773ADECD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6257caa34934b621512b67b35b3223aa701c473","datavalue":{"value":"7447750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384897$D0553132-EB32-4AA8-9DD8-EBAB78F6930A","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":"Q3384897$14593C03-5C9C-43F4-8053-BCF5BA601E3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f4f413a75ddc6c90e76ea9ad5b4723d8e1e7e0","datavalue":{"value":{"entity-type":"item","numeric-id":2974784,"id":"Q2974784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$B2A47EA2-C798-435F-AC6B-469B4295B607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfbf766e74a7e9d852e4279402d50e93b1dddeb","datavalue":{"value":{"entity-type":"item","numeric-id":6064282,"id":"Q6064282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$1349CE4B-2E88-412E-9307-8F49C2414871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"057eaf291313cf4cc461f03bf1f9cc9b1cd86f70","datavalue":{"value":{"entity-type":"item","numeric-id":3007262,"id":"Q3007262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$E1BB58D7-59D6-45A5-99B9-9A09E8571E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50ba61db66a00c67216430e624de9dd1ef188a6","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$04FA9E3A-2029-4E8D-9F9D-1BE2CFFECEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$10B32C65-29E9-4A7A-A7C6-E4E34AAB8B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ca0d51854621bb08fb0858d69501b553d7e23b","datavalue":{"value":{"entity-type":"item","numeric-id":5339292,"id":"Q5339292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$A84EA54E-57B0-4B90-9704-89B4A6A3966C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e485a1f093e0e4f3e22e808637e7ce76dcd40fbe","datavalue":{"value":{"entity-type":"item","numeric-id":4304102,"id":"Q4304102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$434FDEDD-19B7-4F8A-9A56-4D8EF00DFCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$5118D32E-EF90-4D24-B28A-F0326F7C55D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$0C39B808-D9AB-4BFC-8EA1-0DB8FCE6F0AF","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":"Q3384897$207E29B3-CFA5-46A7-B600-000B14A451EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$7A06510D-EB4E-4D6B-9170-59EC9CCCCDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384897$BFC68CE8-DFF0-4C09-894D-E1E1C4F5A427","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea8a5993475450e0cdb8b9a5976198361a50e55","datavalue":{"value":{"entity-type":"item","numeric-id":2869908,"id":"Q2869908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fa52c2969396d65f003294e5bb03614816f90e","datavalue":{"value":{"amount":"+0.7866713404655457","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":"Q3384897$579F1233-2576-4110-AA84-6C2FE3B0ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d508d323f5c53b4d3e4ddc11809273d17c49ac","datavalue":{"value":{"entity-type":"item","numeric-id":2974784,"id":"Q2974784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9a4f07e983d264449e7fdbb48ac2e3ae89942d","datavalue":{"value":{"amount":"+0.765282154083252","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":"Q3384897$BE6B5480-D343-4A09-8416-7619E59707B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c0d009c07d0cd15580458163aa2eb34621ec55","datavalue":{"value":{"entity-type":"item","numeric-id":4934883,"id":"Q4934883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e862f6a1ea3e30470462331a29c238752ea2f888","datavalue":{"value":{"amount":"+0.7636958956718445","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":"Q3384897$0E4FC18B-F8E3-4BE9-A95C-581F876444E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95de8b63776201ea6b05b9c5c78d30975b296a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4304102,"id":"Q4304102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8732bea257cd2d7242cd42a7a6f6dd61eee672","datavalue":{"value":{"amount":"+0.7633562088012695","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":"Q3384897$D07C8EDE-C0F7-4668-A82C-FB5F2A2F2342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f47b30f1001831811bea4fe75bdfb08191afa7","datavalue":{"value":{"entity-type":"item","numeric-id":3322078,"id":"Q3322078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634e7554fa1ff47df146a85f68964ea849e6c3d8","datavalue":{"value":{"amount":"+0.7625719308853149","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":"Q3384897$161C05B0-6198-40B7-AC84-30477472A7AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384897"}}}}}