{"entities":{"Q3684120":{"pageid":5714026,"ns":120,"title":"Item:Q3684120","lastrevid":50088763,"modified":"2026-01-12T22:10:10Z","type":"item","id":"Q3684120","labels":{"en":{"language":"en","value":"NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3906495"}},"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":"Q3684120$4C7BCD99-6E68-45A2-B3FA-6B04B84E42DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c73dbc939964f103760e2cd23555c95c423d8643","datavalue":{"value":{"text":"NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3684120$DE3CFBF1-2B4C-4206-B76F-2F5E47482C5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dab35b048c624e0af023b31a9404512b9678bebf","datavalue":{"value":"0568.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684120$47FE6887-08E2-4509-BB9E-BF7546CB4DCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3684120$9359B2E9-F2FC-4098-8BE0-0675071417B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3684120$169941DC-F066-499F-98EC-B6CB74178805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3684120$A2DF02FC-E14A-4264-8D22-31D2BC373773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3684120$13E9E175-38E2-48B0-8FC3-605EA0923FB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684120$36CB2D3F-BB32-4C05-AC94-3F850E07BD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684120$C7CD0ABE-7986-4209-8AFC-B4D9CDC0E365","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09e728496c711881492f477b2a54d2fa4b2d0ec2","datavalue":{"value":"3906495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684120$ADE08527-4AB7-44CE-BED7-161231544A59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c709adb5f6fb5bc950535d7c9a863b8c3ccc03be","datavalue":{"value":"Freyd cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684120$E85BC465-1C30-4AA7-AF8A-C29925154C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a2fc753567d72638dd214efe162d4a720b7845","datavalue":{"value":"existence rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684120$D22D1365-803F-461C-A63A-1DAAE9EFB98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1989860f73a98dee879e08e49a07636b6f975828","datavalue":{"value":"disjunction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684120$3FBB7020-0EBF-48C4-A07D-0097B71CB13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db26cbc84d819b3da6cc4a86b7d949326eb83a6c","datavalue":{"value":"uniformity rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684120$A6D300B4-D1F2-4412-97D0-4001E26F844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29eb90da9782d01324827ac5a4b2745849cdd1b9","datavalue":{"value":"independence of premisses rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684120$BF0BFD76-804B-4473-BDC4-5ACF4B84B38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684120$D0AEAEBB-1B7B-4A27-AD3A-62BC4690A9FF","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":"Q3684120$42AF76DE-C254-4DED-A371-7C813741E726","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ecb7d3f54d6a9e9b8be76d4600e86b2eff7c5e1","datavalue":{"value":"https://doi.org/10.1002/malq.19830291004","type":"string"},"datatype":"url"},"type":"statement","id":"Q3684120$A4AA954F-0EBB-4442-99ED-AB9256DBC195","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c119206e60727417c9d403e5bdcb785a8ed0ad5","datavalue":{"value":"W2148723814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684120$E28AD442-0202-4BFC-9C95-9AA416C891CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3b561a5e081cc77e057ea713e53a49331dbd846","datavalue":{"value":"10.1002/MALQ.19830291004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684120$04CBA021-E5EC-4093-9406-455FD6E5DF2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3684120","badges":[]}}}}}