{"entities":{"Q3875927":{"pageid":5905832,"ns":120,"title":"Item:Q3875927","lastrevid":90884138,"modified":"2026-06-04T21:40:43Z","type":"item","id":"Q3875927","labels":{"en":{"language":"en","value":"On the derivability of instantiation properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679821"}},"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":"Q3875927$9387C1B0-E443-4A08-9879-B6422877AAC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"984d908efe604a7576d91b8cdc5787894f6ce6ad","datavalue":{"value":{"text":"On the derivability of instantiation properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3875927$2D36578A-9551-45FC-99C4-D06DDE28EB19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3db47f87c05d486e3c49cbec482112b5d8cb984","datavalue":{"value":"0436.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875927$55D65ABA-B340-47AE-ABF5-1B88DE616B75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"702147122db55af9ceefd10626cc721a500ef6f1","datavalue":{"value":"10.2307/2271871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875927$1040FECC-8D57-4C72-AED1-73C0ABB0C75D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875927$3D91FDFE-A9DB-487B-A460-02357B8EBB90","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":"Q3875927$D99A4259-E03A-4E3F-A0FE-D7286C5BC856","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q3875927$A1FE0254-C189-4FF6-BBFB-E750598EB75A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875927$0E4A836A-2723-48E8-8C8F-C670EB980C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875927$1C0E729D-1722-4CF8-B1B3-FBD537A97D71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21da7864ce2664e1a37615e7473b683f5b4ea241","datavalue":{"value":"3679821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875927$D62FC377-56DC-4286-9707-CA61766EA7F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770a684ff699ada1d6c53ac4e90e487bc2e323a0","datavalue":{"value":"proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875927$A5241FDC-8822-4448-AF57-48A578B046F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39db4b989c1ea4fd4c56649b7a37c6572c01b4ea","datavalue":{"value":"disjunction-property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875927$B36619FA-EA92-405A-8C00-CBF9CFABCEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"487ccd54a929d375cb0a8d58ff59a287e9dcdb9a","datavalue":{"value":"numerical existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875927$43F0A798-E0FF-4C65-BA7F-BE59038A72BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414d24720754c01fa48b192de7f47e7c33f05e62","datavalue":{"value":"recursively enumerable extensions of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875927$02EE66B6-A9F8-4506-80E3-1860E05851BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"686da2aba62bf53955a3393083437bbbc809fba4","datavalue":{"value":"extensions of intuitionistic second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875927$DB0DF428-545D-48E8-8A07-62F0ABD1C42B","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":"Q3875927$3F07A47E-4736-42D7-B436-78B5B9FB7047","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ebb879566aa4e7a25021894324c80c92a28dce9","datavalue":{"value":"https://doi.org/10.2307/2271871","type":"string"},"datatype":"url"},"type":"statement","id":"Q3875927$9B1DF8DA-CA42-4B22-AC8E-242F5688EB0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf1cb5b03016cef0d81eeb49e40a82aab4d7bfa1","datavalue":{"value":"W1970175027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875927$E9D36B18-E88D-40A9-9DB8-484D27AD2A0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7ea38f610625bcd545c72bc177a298f6e2eb43","datavalue":{"value":{"entity-type":"item","numeric-id":4109645,"id":"Q4109645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875927$EC7D8009-F573-439A-B203-FD9211408765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875927$3D62C186-6F69-48E3-97C9-8F0026917712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875927$B06E8DCC-FDE7-4340-894C-B30CB9AD39A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the derivability of instantiation properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_derivability_of_instantiation_properties"}}}}}