{"entities":{"Q3699688":{"pageid":5729594,"ns":120,"title":"Item:Q3699688","lastrevid":50365313,"modified":"2026-01-13T21:54:35Z","type":"item","id":"Q3699688","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924774"}},"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":"Q3699688$518EF944-5000-4C07-8C53-C08E2D363D59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cafb5e441c1108b503c7febc6993c1b39bbb4631","datavalue":{"value":"0578.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699688$37451E25-C053-4441-8683-421061FDA794","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3699688$B7EF41C1-C409-466A-8129-F4B89031FC59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3699688$045D8C6E-A370-4458-AD48-4832BB54D858","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699688$61C3A476-BDED-4AD4-A375-939E54082653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699688$BD433D28-495D-487F-847E-8F6961F48E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699688$84E00600-4539-48F8-9509-31E9CAEAB5B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fac41b890543c162f7833f4a545d94da0b5fa58","datavalue":{"value":"3924774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699688$A2E3DCF2-92C8-4358-A5CD-DC46626E1634","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0429ee50e2d52b97211c82b6623249a62ba21adb","datavalue":{"value":"sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$0337DC82-B060-40A2-89B4-FD61A277802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2e49754c15398b2d3304df82e5eca6cee57bcd","datavalue":{"value":"rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$3185F915-D45F-4D76-A01A-3DA5CDE034A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$0F3E7E31-A333-4AC4-8639-4B1C6AFF7D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e17b0733ad95da16867dadaff0056f6d79aca3c","datavalue":{"value":"axioms for set existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$56B131F4-9F47-419A-A1D9-9ED5A5B10422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea72eabd124938bfbe0dbaa78eee1fd7b14821a8","datavalue":{"value":"formalization of Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$3624723D-6D70-4F06-A98E-F0AEF1BB0977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23ba4f0d1695eaa8639f53f64011d6cefac6dc5c","datavalue":{"value":"formalization of constructive aspects of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$71050588-CA77-4044-87BE-ED0C2A106FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e627e80acedbf30495687b2953324f677e2b6c3","datavalue":{"value":"recursive rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$5628D08A-6ED5-4164-ACF0-00BBEC2ED99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cabb189ee53925055d46271ca9ebfc1c38452c","datavalue":{"value":"differential equations with non- computable solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$FFC0EE5B-249A-41CC-9C84-5362C28F94E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699688$143AB255-27FD-4F54-B2C6-24BE71366893","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":"Q3699688$8B42DB85-1A5F-4A42-B322-F5D1D5F3FBA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f526c4c3639af4e16cc7ec28e3e1ac89ae959ca1","datavalue":{"value":{"entity-type":"item","numeric-id":1688964,"id":"Q1688964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935c35109f639a98ef87996dd7c30f4dc0af0646","datavalue":{"value":{"amount":"+0.7664580941200256","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":"Q3699688$00290E7B-5136-4893-BC4F-C6859809C464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa46556ac3bbe398609859123e15d4e9648e322","datavalue":{"value":{"entity-type":"item","numeric-id":4237644,"id":"Q4237644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff45c59c4fa7feec2e4b32bc57cff33dc8b9f157","datavalue":{"value":{"amount":"+0.7507690191268921","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":"Q3699688$35A95DF5-F068-4804-B862-30169498BFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60679b21b83d7fd41da161a6b80f6976b1d775e4","datavalue":{"value":{"entity-type":"item","numeric-id":793725,"id":"Q793725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9de4e59a6dcf21d0bdcf9e6792ee420f7beb85","datavalue":{"value":{"amount":"+0.7442840933799744","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":"Q3699688$D5B36D4A-E2AB-4104-853F-3D6C30AA85D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da93402c346f273e78d2b5c926d7c288088234e5","datavalue":{"value":{"amount":"+0.741955578327179","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":"Q3699688$F5D918AA-FC8B-4395-9491-131B48108903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05075e3e776ee9f93d14430036cbfd01c1e04450","datavalue":{"value":{"entity-type":"item","numeric-id":1273591,"id":"Q1273591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff02786b3f08ea7330c4bc1def25cb7226d74de","datavalue":{"value":{"amount":"+0.7415032386779785","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":"Q3699688$85705994-D2DA-443A-ACCD-CDCB62566350","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3699688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3699688"}}}}}