{"entities":{"Q2013393":{"pageid":2024135,"ns":120,"title":"Item:Q2013393","lastrevid":57675513,"modified":"2026-03-31T21:16:16Z","type":"item","id":"Q2013393","labels":{"en":{"language":"en","value":"Nonstandard functional interpretations and categorical models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6761613"}},"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":"Q2013393$B6F87B89-9ABF-4B1C-B204-97A54681A947","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f297ead84599c2a53ff9109b9c9dea3b5ac75d6","datavalue":{"value":{"text":"Nonstandard functional interpretations and categorical models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2013393$92BB4008-FE06-40FC-97AE-DBC3DAEB4CC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"177d3a5b636ae5a5a7b215f1762c72b9a8e1f972","datavalue":{"value":"1431.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013393$96C2941C-BE0B-48C9-84CE-F333650316DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebfec06615a8286f8b20b7f80383b1b6b767007a","datavalue":{"value":"10.1215/00294527-3870348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013393$7EB10F1B-F3B5-40AB-AF23-A9EB8A0B9887","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6eb6255551e877049ad1382340913c72aff647a","datavalue":{"value":{"entity-type":"item","numeric-id":2013392,"id":"Q2013392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013393$510CE716-326E-4974-8B02-6D5ED34F2591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013393$99E7DF9D-CBBD-490E-98AA-CECECB02DFFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013393$7521E237-2A07-4F25-9478-86456B5FC6A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df0e235d1b1d733bcc53fdadfc8ec0d6b69c89be","datavalue":{"value":{"time":"+2017-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2013393$F6518DB2-8E09-43F6-97BA-6BB09EB92648","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef4240eaf562a831f01059ef92a29a22ca3f410f","datavalue":{"value":"https://arxiv.org/abs/1402.0784","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013393$2F41E0C3-D76F-498D-9C1A-009A5CCD1998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e440727f61f342a745e7231dac57a715c8715532","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1492567509","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013393$624D9F68-BC99-4B31-AF3D-03A4383612D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013393$4907B556-1A34-4639-AC75-C83383BE8AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013393$33B3046B-701F-4087-BF27-2D70FC6861AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013393$045E7BAD-7F5D-4B32-8433-95018A76E38F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e479fe2373f138a17c49a11ac6887aa88bdeb72c","datavalue":{"value":"6761613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013393$555B537D-13B4-45B4-91A9-220191D2DD66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0ae92f85a2c0624148c2c26d6bdacf11df2351","datavalue":{"value":"nonstandard arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013393$7C8EF65E-5B31-4B1C-91ED-47A28E02E548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013393$6C2F0685-237F-4B6A-96FE-25EB3B978D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013393$D73B2F67-5F8A-47DF-94F2-336EBB652A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013393$A01E4067-678B-47A0-AE8D-4BDF03F6A16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013393$555CB2E8-99EB-42B1-B6BE-48253F424437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013393$5CF91AC7-D6B3-4BE8-B991-9237266B8E3B","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":"Q2013393$B9596B59-65F5-438D-B640-912299C7C02B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea95423565341b77591d6c649e64c82d2c2b5609","datavalue":{"value":"W3104000888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013393$F9C4CFF0-3C6F-4056-8F6C-734F1BB530EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e68142a32a3a5b269b426f5571e03bcec68080","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c08bf280a2c4f17f814d1d5f726417c912c7680","datavalue":{"value":{"amount":"+0.808935284614563","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":"Q2013393$1E3F5F4E-5648-4A71-A052-B2AE4D32A902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0971ae14a0042af53c3be105ed8834bdf08b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2344622,"id":"Q2344622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7635c1acf59af8a3b11fbf72dbd84e26803027","datavalue":{"value":{"amount":"+0.7750393152236938","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":"Q2013393$CE1B55A7-13A1-467B-8604-5600E9EF1A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9fa0f1363d47f4ff4c01cadd6a88adcc56d024b","datavalue":{"value":{"entity-type":"item","numeric-id":1706266,"id":"Q1706266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e78f97ed4223eb7cbd3bfab415ee1ad7e842b6c","datavalue":{"value":{"amount":"+0.7697057723999023","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":"Q2013393$06E9D428-DF35-4434-96C0-7BD2D2937DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fe3f5abd0e785efd0b6b194791216dc83afcba","datavalue":{"value":{"entity-type":"item","numeric-id":1407559,"id":"Q1407559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31171b09b917fdbab77a41f2abc1c17a1f9b0ed","datavalue":{"value":{"amount":"+0.766538679599762","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":"Q2013393$A612C752-7589-4094-A59A-BC88D311BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e835cf8f8055c9f07f170d70eba8a448d71316b1","datavalue":{"value":{"entity-type":"item","numeric-id":2836179,"id":"Q2836179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7a882c38613c9e1e7d49800e514ebda20f7c32","datavalue":{"value":{"amount":"+0.7530431151390076","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":"Q2013393$455DEFDB-44F0-45E2-A10A-4D9FF62FEF8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2013393","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2013393"}}}}}