{"entities":{"Q3418695":{"pageid":3429398,"ns":120,"title":"Item:Q3418695","lastrevid":87103280,"modified":"2026-06-04T10:41:34Z","type":"item","id":"Q3418695","labels":{"en":{"language":"en","value":"Constructive proof theory and nonstandard analysis. Edited by G. E. Mints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118116"}},"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":"Q3418695$FAE20461-572C-4D57-972A-06B0C682DF22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99db2cb860e1d75a2b70d11182b6c9f8b4b9ef02","datavalue":{"value":"1102.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$1E7A5894-0DC2-41F9-B924-DFFE029FC009","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418695$AAAE9EC6-7A12-45F7-813C-6D2A2D7B6B94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3418695$21D027F7-CD9C-4B79-B0B2-FFF88F68AD54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$1CFB0408-0AED-4F49-A741-2FBE2BF00F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$B0EAE10F-8BAC-4CD7-BC28-0CE16562590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$95C263AE-5890-4A6F-8656-DEA35775FB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$8759ACC5-6FA0-4173-98C7-81F9BD6DA688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$3146E442-0BDE-4CB2-9C32-6F15D454D132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$E0E554E5-BF26-4D3F-BB2A-7A38510A6EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$89F64F8A-9FA5-472B-B4D4-1DBB56ED5D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$C25DAAC7-DA74-4ABD-8E88-351D0ABF13E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ea85259b1ff43238464dc8865f60792539d546a","datavalue":{"value":"5118116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418695$5C702057-D9D4-4189-B12D-3199EFDB9801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8b28c0a5357f1c58284adce198cf6ad46f8c3e","datavalue":{"value":"intuitionistic proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418695$0840FE67-EF54-4AF4-9744-CE58CCDB1419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418695$606A5C93-1794-43EB-A874-DB3D42590850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418695$1A768648-0504-4D43-AB58-B16193D6D485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418695$D77D036D-C038-4126-9BF4-EB12E09A6708","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":"Q3418695$42991216-5483-4983-B5B7-D8296E9D91F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdf29a2f675b4cd9c6f50f62e20f57377b89d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3775557,"id":"Q3775557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93af7d97ae375bdc57bdf05e6dadd23e48a6a37","datavalue":{"value":{"amount":"+0.7274768352508545","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":"Q3418695$2A329A17-C5DB-428E-A942-134FC85445E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98d53aa40b1377787dcd06971b03ee44bf36db9","datavalue":{"value":{"entity-type":"item","numeric-id":1578747,"id":"Q1578747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516c7a8eef5ef75b37cb40e0a9608b8f2ff2c850","datavalue":{"value":{"amount":"+0.7064297199249268","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":"Q3418695$97DB60EA-5788-4534-A962-74D19D47031B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ccb8ea6874079b03e14c4981862782b0788c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4529744,"id":"Q4529744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40162ea1bc877442a5b7a915b5dc438285ca0848","datavalue":{"value":{"amount":"+0.7059946656227112","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":"Q3418695$17EB9C3B-D74A-425F-85B5-86840B93B9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8860e3bd05ae0bad77f1704a771d282e96a569ab","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9f3904811ea362d20ca9d8216f6da032dd01c5","datavalue":{"value":{"amount":"+0.6997557878494263","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":"Q3418695$58E7984B-2828-4EBF-8B78-C09ED30E3D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558391483c1ad6bc50ba3043f9b4ec3d9a40f865","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d50c1daa94835735f134b89663a6bb253c10f9b","datavalue":{"value":{"amount":"+0.6931045055389404","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":"Q3418695$BE5FBB22-28B3-43D9-B1A2-CF2E595F872E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive proof theory and nonstandard analysis. Edited by G. E. Mints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_proof_theory_and_nonstandard_analysis._Edited_by_G._E._Mints"}}}}}