{"entities":{"Q4165377":{"pageid":6194978,"ns":120,"title":"Item:Q4165377","lastrevid":31678695,"modified":"2024-03-19T19:05:35Z","type":"item","id":"Q4165377","labels":{"en":{"language":"en","value":"Some models for intuitionistic finite type arithmetic with fan functional"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3598463"}},"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":"Q4165377$921532DA-7756-44EF-9BE1-E094E7CFCF3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8186469b996aa0fc5d9452f9910e7862550ce5","datavalue":{"value":{"text":"Some models for intuitionistic finite type arithmetic with fan functional","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4165377$4ECF4876-C07C-45BF-A9E0-E3F9A15BCD62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5365f0ee3ac031290363590308e2344be33d209e","datavalue":{"value":"0385.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4165377$61B70057-1B92-4331-A198-39113F97163A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44d8e428fbb826201df69a38b504b29acb9afd67","datavalue":{"value":"10.2307/2272120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4165377$80721010-CDEC-43F9-8668-A09653E7D0E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7bcd31c089eea43fd8677a5426b0c7b8e7e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":792318,"id":"Q792318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4165377$571E26B0-AE05-4A7B-9331-DB12F3CEBC11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4165377$B2984B61-7CB1-435B-A779-FBC20B29537F","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":"Q4165377$59E196A3-9B86-4316-8AB7-8640C1F5F35A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4165377$F5CF5385-7728-4638-A8C4-547C6B2BAC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4165377$F7686FAB-FAC6-4CDA-B7B7-FA7E5903F029","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c58e5211c14f19e79a95c7609f154b5f1b73a47e","datavalue":{"value":"3598463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4165377$187DB1F9-7357-4B34-8B5E-53057E29AD4C","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":"Q4165377$9DA1B831-0DDF-438E-A45E-2163551E1475","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"608c0a142af3a1653c790a7af5cce4c70ece1a72","datavalue":{"value":"https://doi.org/10.2307/2272120","type":"string"},"datatype":"url"},"type":"statement","id":"Q4165377$33E7D5C8-6D71-42DA-BA8A-1AAE5BC17229","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e4f7dcafdbd2d1d96921293b2efbfe696657b85","datavalue":{"value":"W2038499438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4165377$46FAFEF8-7053-4390-BD32-8FB817EDCEBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4165377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4165377"}}}}}