{"entities":{"Q4159055":{"pageid":6188655,"ns":120,"title":"Item:Q4159055","lastrevid":39410761,"modified":"2024-12-29T06:41:50Z","type":"item","id":"Q4159055","labels":{"en":{"language":"en","value":"Some derived rules of intuitionistic second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3591990"}},"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":"Q4159055$7B77955C-6B61-4991-BCB5-F322B2454020","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c42f39b40b70f1d8225eebad56de7fc844d10b2","datavalue":{"value":{"text":"Some derived rules of intuitionistic second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4159055$C300FD0D-1B76-4E30-9369-D9EA4EBDE6F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41eea66b754d9b308436191bb9ba2e0cab24aff4","datavalue":{"value":"0381.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4159055$734B17D0-7E2D-45A7-AF39-A9F67A1ED6C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4159055$B5E3B102-AFE1-4DDB-992C-763CC7C5C907","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f390dd71b05b66b4144d0b935926206b46f62030","datavalue":{"value":{"entity-type":"item","numeric-id":3213207,"id":"Q3213207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4159055$6EE389F3-4AB0-4193-8C20-89A94234E12F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q4159055$37D1A949-B00D-43B7-B022-E35294CD7BFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4159055$EFE44D1D-06D0-486F-B369-105F34A2604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4159055$21CB8C71-2F08-47E3-9608-4A0C4937C867","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb0472c9f33b4d0efc20d0c832c43c373dc39587","datavalue":{"value":"3591990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4159055$8C87F239-55CA-4EEF-8767-8F33315F1B4B","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":"Q4159055$3BD24DA9-1F2E-420C-AF56-7E7D3D268367","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae142a3cfca10ffb17385b23778bb2cbfb103de","datavalue":{"value":"https://doi.org/10.3792/pja/1195517883","type":"string"},"datatype":"url"},"type":"statement","id":"Q4159055$DD3F366C-89D5-448A-A46C-1BE8BA306F93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85aa466dec654af8cd889aee68ce617b8eba33cc","datavalue":{"value":"W2071649958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4159055$75213D29-D0BB-4768-A14E-096828C04460","rank":"normal"}],"P223":[{"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":"Q4159055$DD6CD9A9-1BF2-4FDD-815C-E48E4989B877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae4fe7fd404ca1eb2442fe926d64b481ae906b2","datavalue":{"value":{"entity-type":"item","numeric-id":4063418,"id":"Q4063418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4159055$0C1CEF31-F0D2-4B73-8A34-6259326B9220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed487916d3cdc9c48e6c95427874ba546cc872ae","datavalue":{"value":{"entity-type":"item","numeric-id":5545953,"id":"Q5545953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4159055$D39364CD-3E7B-41AA-A369-C495DC5946E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4159055$C5678F67-DF1C-4593-ACF0-FD2265879D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4159055$92B752B6-AEB7-40F6-8867-7A65FAD2E422","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f9ce1e38e0f4bcf84b99edabb590a8963cb04b2","datavalue":{"value":"10.3792/PJA/1195517883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4159055$BE7C158B-9CEC-4FE5-975A-55FDA3BED449","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4159055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4159055"}}}}}