{"entities":{"Q4008745":{"pageid":6038551,"ns":120,"title":"Item:Q4008745","lastrevid":55158877,"modified":"2026-02-04T06:14:00Z","type":"item","id":"Q4008745","labels":{"en":{"language":"en","value":"On an interpretation of second order quantification in first order intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63176"}},"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":"Q4008745$9040B2C1-CD3A-4AD7-8EC6-691581084D54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9672f146c69a0757f599b3b19360ea5532f3a30","datavalue":{"value":{"text":"On an interpretation of second order quantification in first order intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4008745$636F62CE-469E-4161-BDA8-53ACEE865AA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26c76c60b7e23d98a80808695bca0a8932fb0ef8","datavalue":{"value":"0763.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008745$DAD52F01-7F63-4B80-BD72-53742331A70C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf96027ac358dc8dd7c83bb40cd27b120904622","datavalue":{"value":"10.2307/2275175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008745$85C2E463-B2C6-47BF-BF5A-FE7239310FCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008745$CA0BE99B-5B7E-425B-9E70-B91E5D8FC3F5","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":"Q4008745$A6158FCF-E64E-4E76-8501-AEFCF2FB2733","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4008745$1AA144CA-DAEE-4ECD-8FCB-3CDF3A8124A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008745$66F420BF-5D1B-46E2-BDB5-FDAC9BD773D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008745$9EA8C242-B93B-42DD-8E32-184D8D8EE677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008745$9F5D8D8F-D171-4874-8966-5053F40B082A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb946dad6089ab6755feff7e5d134d11d70a8a1f","datavalue":{"value":"63176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008745$E595AA09-6B5F-4E3E-A860-C905B59DED8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee8a9fd57a612438f9b912a31d7bb6669a334bd","datavalue":{"value":"Heyting's intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008745$314B8254-91CA-4692-8969-66FC49C1BB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008745$18B918C9-CF9D-40A8-8FB6-F02D6E7DADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90570d029341bb3bae1faf1b80cf84b194c877c","datavalue":{"value":"second order propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008745$15DDC505-7455-4D18-9475-10B36DFF51C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008745$D4B2B318-68AB-4137-8F89-27E1993EDB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008745$BC902377-6DA7-4230-BF19-8DCD818A1B09","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":"Q4008745$E3B0C325-51EF-4B95-971B-A42A33E05155","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68e1b3fd4b2665280d8927f2763a8b2c0a64957a","datavalue":{"value":"https://doi.org/10.2307/2275175","type":"string"},"datatype":"url"},"type":"statement","id":"Q4008745$FF323A03-6754-43C6-B1F2-5BBC6623F16C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5ec441e8be8583278ba9a4380f46604e65bde10","datavalue":{"value":"W2127394739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008745$CF219B11-74DF-4655-AF0E-D59F890AF248","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008745$31484FD5-CAAF-46AF-9D02-D096D006BD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008745$44C5DB84-48D3-4938-9B85-C1F227188C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4e1942e8c9a338a1aa0ea9d4fd1cd681599620","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008745$B370DD2C-6789-4A58-B29F-02F343309453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9916acae3c5f1fa2203775504b75059dc2c908","datavalue":{"value":{"entity-type":"item","numeric-id":5608767,"id":"Q5608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008745$1F081814-8CB9-4F2C-B5A7-A044BBD8B576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008745$5641951A-1CFB-45E8-9906-A6E7EE7E9D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322c4c11391c1c0aa5fd668b6cf5c7f82ad0a3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1053098,"id":"Q1053098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008745$EFD0B83B-ACEA-403A-A368-CFEB2C9CCE7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75725363fd29ef4e45e356fda1c10a93266a8f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3616347,"id":"Q3616347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6568fc6e3446c505d4c09d22691ab8f3b41390d0","datavalue":{"value":{"amount":"+0.94374907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$E83E7C0F-6F62-4680-B452-55C8B7FD156A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e703f2bb542fa3d548921ab0230928ae2de1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4459601,"id":"Q4459601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e699f32ef3c9c046e0ade149bac0b94f7dc66527","datavalue":{"value":{"amount":"+0.9265405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$CCD20C81-9B5A-40B2-AF58-0424D8B5D204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00bc71a74e7918332d43e3c6d79192fe538b6874","datavalue":{"value":{"entity-type":"item","numeric-id":3597382,"id":"Q3597382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2503c55f1afc718cceb057299dd6a8e02d07ca1a","datavalue":{"value":{"amount":"+0.9068209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$F468FA6C-73E1-4A9F-A6C0-6C14C564C66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad5a8b797fea84a67761f6b044fdd87da47bc48","datavalue":{"value":{"entity-type":"item","numeric-id":1361248,"id":"Q1361248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a481d4a21c09a3409040392c78c2498f96b6d1","datavalue":{"value":{"amount":"+0.906355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$74652DA6-F58C-4F6C-8C31-DAA687E59185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b663e42e16167f767820b45f94dd7f5ffb45fa","datavalue":{"value":{"entity-type":"item","numeric-id":5311712,"id":"Q5311712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f379004beac89e9819a1f010e4c1d3aa39e3fcd9","datavalue":{"value":{"amount":"+0.90327406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$1CAD6C3E-D050-4F29-BCDF-3676B2664CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c31d50259931960c8496f17cdd878c7492bdd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1061123,"id":"Q1061123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0b1599cafb17ebb0006d89bcfdf0fa6a80e669","datavalue":{"value":{"amount":"+0.902729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$23AD852E-B51F-4B5C-9EE8-322477C7D96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07e9316d068246cada83dbda1bfa6a906536061","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722e45a5689b47d4e6781a9a6cb92875fc542fa8","datavalue":{"value":{"amount":"+0.9018809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$E2455EF9-50A1-44C6-A859-9434980F28D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9d0e5579194b44055473be0e5b3ec60f1a6d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3299518,"id":"Q3299518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029d250c8cb0af904106070cb9bd7b69626f489b","datavalue":{"value":{"amount":"+0.9000729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$80BD0629-CB7B-4C0E-9B17-529F602D5293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b0eb1b7508ea0b5923bb9996cc9dcc4e03c159","datavalue":{"value":{"entity-type":"item","numeric-id":3647305,"id":"Q3647305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6686ec9afb4ad8f51e72b75070a65a3b56b92c","datavalue":{"value":{"amount":"+0.89976585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$48D7A693-654E-4E82-B5E7-98C590142760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef64bd8f02f26053f8db7fb18d26ca99ea93e1ac","datavalue":{"value":{"entity-type":"item","numeric-id":5414135,"id":"Q5414135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59230e6cf3cc7fb0659fa2c23db618a88c66e3cb","datavalue":{"value":{"amount":"+0.89951074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4008745$A2CC3FFE-7062-4EE2-BD6B-74C0104FB790","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4008745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4008745"}}}}}