{"entities":{"Q4777262":{"pageid":6806842,"ns":120,"title":"Item:Q4777262","lastrevid":37287766,"modified":"2024-07-30T09:29:20Z","type":"item","id":"Q4777262","labels":{"en":{"language":"en","value":"On 2nd order intuitionistic propositional calculus with full comprehension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3453567"}},"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":"Q4777262$81EC1CF8-70B2-4594-B373-42AFB4510A2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"450d6de30023cc42505d7d9bdf8f3e59be1da2b6","datavalue":{"value":{"text":"On 2nd order intuitionistic propositional calculus with full comprehension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4777262$E575190F-07A0-4469-A100-7EBE57042EA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6240331d6d7e7e65015e1e219f4096a6522417e8","datavalue":{"value":"0289.02016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777262$DE0901E7-E79D-42FD-BA7C-5A2872440DCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74a6c1d1f4126ba9216c763c159cae51e9c690df","datavalue":{"value":"10.1007/BF02015377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777262$4421964A-9E1D-4093-9B64-1349EEF337EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$E76393EA-1839-4C5D-BCBA-0FF9D2CED8E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4777262$D239CC59-0E68-438A-8FBE-45BA7150803C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad5d6ed20f65ec2c0f0f7550ce125b04d2764885","datavalue":{"value":"https://eudml.org/doc/137894","type":"string"},"datatype":"url"},"type":"statement","id":"Q4777262$248B406F-C7C6-4ACF-A01B-F7C76D06FC06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777262$222FB7B7-5A2B-4A3D-88E9-06D6D86DAF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777262$CE1F24C6-F804-4031-B603-BB7D6512765F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afce23e4bf7222db59566415d219ea7cfffbb1ed","datavalue":{"value":"3453567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777262$9825C64C-E3D1-4866-8981-87431AB27DB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$20EF0252-3698-438E-B282-080E39E374AB","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":"Q4777262$65D95EF5-E6AF-42A1-B7B0-986CBF14B1D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$15429A47-FC2A-47E1-8AFB-A04838AF1766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e2c2b01fad4a983c99ac89d3f4df75d551130","datavalue":{"value":{"entity-type":"item","numeric-id":5654019,"id":"Q5654019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$13820B9C-9E7D-46E9-942A-057365FB51F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e9834692fa7933718eaac61b3893ca0720d199","datavalue":{"value":{"entity-type":"item","numeric-id":5681991,"id":"Q5681991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$B495FC3B-6957-4FE4-978D-F469AA688915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2385f3293c667ccfacd8c0ad444d7da73782c5a","datavalue":{"value":{"entity-type":"item","numeric-id":5681992,"id":"Q5681992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$D5A9E881-47E3-4E2B-B3B4-1C58825D4D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5beae586b8cf98dcf4183bc82fb0a8ffbadb1d41","datavalue":{"value":{"entity-type":"item","numeric-id":5681990,"id":"Q5681990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$F074ED87-BD1D-4027-A1AF-C8DB0368BD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$8E886738-E820-49BB-A3C9-73D2EBEE4A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777262$CB78DD8E-CC81-4E80-B7E9-FD9C75736BCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e653be11b7d9daf986ba2a73954fdad38e665b6a","datavalue":{"value":"W1994211257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777262$F3B309AF-4BE8-4188-AF44-03F7244A59A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4777262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4777262"}}}}}