{"entities":{"Q3481700":{"pageid":5511600,"ns":120,"title":"Item:Q3481700","lastrevid":49390294,"modified":"2026-01-07T02:07:28Z","type":"item","id":"Q3481700","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152375"}},"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":"Q3481700$48008F44-49FA-43FF-921F-920128172565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a5b1a4f324456d9303a64e65713904215d53494","datavalue":{"value":"0703.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481700$68391275-DF47-466D-9E89-6DA86CBCFE47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481700$E53C67B4-574C-4E14-8137-B649B7649B26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3481700$7DECD202-58B7-495F-9121-8646DB9EE2F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481700$AC4D4130-9F32-4B7D-8145-4C2013C18561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481700$D2508AFB-3408-452C-80A4-DF3088E7A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481700$B0656414-56BC-46B3-BF40-95F0CBCF19CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481700$6412BBF5-EF3D-4C21-AC50-B4AAC0967477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481700$055ABAE3-6261-4A1A-9FB2-D1029117F8E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acaf017cb4ac3a66986e47b329ed9ba55240afff","datavalue":{"value":"4152375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481700$7D956052-8DF6-4EED-B550-CD8247B701A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481700$49626327-37C2-461F-9F2A-344104A61C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21750a119d6be4f87cfef4629352ed159ebd2f5","datavalue":{"value":"second-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481700$9E2544FB-F109-4DB4-BCAA-595237EBFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f72bd00bc31f4df6ce5ee25a0abbfbbe0564d3b","datavalue":{"value":"higher-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481700$081C2CC7-3582-4054-B719-B967CEE99C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2314fd8b7a8c5a4ef7e2a8faaf7cf82477cdf21f","datavalue":{"value":"modified Beth model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481700$C504F09A-6E7E-4665-BE7B-84080B3E0478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eed45f7cc697aa422771fc00330a28a8efd56b1","datavalue":{"value":"strange worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481700$C748FABB-4BFB-487B-B817-538B6322E509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6066060965293ec0b04c2b947f81673cbfc8fe94","datavalue":{"value":"cut- elimination theorem for intuitionistic second-order sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481700$0A2E8915-C335-4806-AE70-146A27976FD3","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":"Q3481700$EB9D4014-7805-4F48-8614-7D9AF4C172E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ce2cb6f4d935d793ca4a94b51fd7105403e6a1","datavalue":{"value":{"amount":"+0.8268041610717773","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":"Q3481700$2A8C852E-5E41-48AF-BD07-62313F04D921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4635f16b5808a3d13f3b018983f999b88ac52158","datavalue":{"value":{"entity-type":"item","numeric-id":3792682,"id":"Q3792682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabae87bd038528f6b0cb11d4a418bc56783fdef","datavalue":{"value":{"amount":"+0.7999216318130493","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":"Q3481700$3045DDD9-8ABB-4704-B154-49249E88236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdf29a2f675b4cd9c6f50f62e20f57377b89d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3775557,"id":"Q3775557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6765d2ba359b04ca725cf30c4f6f6ac1b5497b2","datavalue":{"value":{"amount":"+0.796783983707428","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":"Q3481700$F0E7F8A4-E14E-4823-AA7E-A10E90D22FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa561b8b5342ab318639cadc68c91a52aafd256f","datavalue":{"value":{"entity-type":"item","numeric-id":3475264,"id":"Q3475264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7093cee4fa05d9bc72c617e048c072b20b7f495a","datavalue":{"value":{"amount":"+0.7916831374168396","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":"Q3481700$21B38836-0322-4679-8DD9-954072FCDA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0e888fdcbe9803359bf4363aa72e847572b502","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e604ac5f3977b7f10cd5a948c581c55f5406f0b1","datavalue":{"value":{"amount":"+0.7899916172027588","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":"Q3481700$285FD43A-2074-4F8F-924D-C3A2B8271A87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3481700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3481700"}}}}}