{"entities":{"Q3826519":{"pageid":5856425,"ns":120,"title":"Item:Q3826519","lastrevid":54383378,"modified":"2026-01-26T17:55:23Z","type":"item","id":"Q3826519","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101139"}},"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":"Q3826519$5DEC6ED3-40B9-4011-B010-1C2715926B2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4e5592a3f78db8cac78fd733ef167ecdd982c1e","datavalue":{"value":"0673.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826519$9E6CDCE1-F2C8-4269-84F1-B706A5C79409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3826519$64153CDC-6D99-4586-91BB-85C653AC3121","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826519$4598164B-B913-4B4D-917E-19AA1310A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826519$5C0F0F96-FDEF-4D8F-939E-22443F17C02A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a7233215797a02136ba43164d80ffe8d030bc11","datavalue":{"value":"4101139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826519$9F2D93BB-86D7-47F9-84D1-8801791D230B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e2e4e9cbe7addca4d1c891c78dc2ada8438364","datavalue":{"value":"mechanized constructive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826519$E2619882-4DC0-44B9-AE9D-880D8F1A515F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16122eb8295941a38e44aee0baf82b5aac9659a","datavalue":{"value":"Nuprl proof development system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826519$CBF4C211-BCFA-4D01-B982-BD3F4626335C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812e3553b07592ecaf54ba454e66e95cb44dd30c","datavalue":{"value":"finite set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826519$686241ED-B3BD-406E-B10B-A6B439F2A8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826519$C94F134F-593F-487E-9267-C1099A55B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826519$063071E6-350B-48DB-92D7-A082ED3851F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826519$E7F28787-C2B2-483D-816B-0165EAD4CFC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826519$E823C54B-6BFF-42CE-A847-9C44E4F1EF80","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":"Q3826519$87CEC23F-30ED-46CC-A365-6E2ED4DB635E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542418b998932333df98aeb849260f0e64e3bcdf","datavalue":{"value":{"entity-type":"item","numeric-id":3750136,"id":"Q3750136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b892f7a224368f4a047c0773e7499220feb986","datavalue":{"value":{"amount":"+0.7901399731636047","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":"Q3826519$40F6FDC6-1CB7-4049-822A-DAF458D64FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0cd4da6975dfbacf85c9f93280881ce648adad","datavalue":{"value":{"amount":"+0.770426869392395","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":"Q3826519$38FEB35E-9D48-4B5A-8010-995E57B67F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6069596235a77af4a0ce188dbd6c4aa338ad0602","datavalue":{"value":{"entity-type":"item","numeric-id":3789525,"id":"Q3789525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e793340edd027eee09eff44eff3ca6ef102149df","datavalue":{"value":{"amount":"+0.7682470679283142","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":"Q3826519$B9C5328D-A44F-494B-9EBF-E78D95E305F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5287e0aa1e87217bd42cd2d66e24afc654f209","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508bfca3d587c1e00b9ebe0c2cdf3d0c9dabd18a","datavalue":{"value":{"amount":"+0.7536206841468811","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":"Q3826519$F910965F-2FDC-4805-9E6A-ACED1D725216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4a936d98ae0d5ebdcb9122e43f543841b8a600","datavalue":{"value":{"entity-type":"item","numeric-id":4594262,"id":"Q4594262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54b93fec8e9c0eeadf469578d7771de45d9059a","datavalue":{"value":{"amount":"+0.7516450881958008","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":"Q3826519$2E9AFCD5-58CD-452D-82DC-6FD0BF3737CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3826519","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3826519"}}}}}