{"entities":{"Q4025005":{"pageid":6054766,"ns":120,"title":"Item:Q4025005","lastrevid":55212493,"modified":"2026-02-04T21:17:01Z","type":"item","id":"Q4025005","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 120344"}},"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":"Q4025005$D06E7952-06E0-4C1F-8DC9-C4AB61C715BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cdaaac89e1e055ba2b9c804e2139bb2b82a150c","datavalue":{"value":"0759.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025005$903D1739-54C6-4E31-B18C-E23B6C6423B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23acbc6230e4c1052d3cb9926986de493fe2c1ae","datavalue":{"value":{"entity-type":"item","numeric-id":3211277,"id":"Q3211277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4025005$C0A906D0-BA0D-4B02-AD39-0950E440A7F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23a4a462ecb1c2bb71942cea74b7fdc5aca3680","datavalue":{"value":{"time":"+1993-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4025005$92DDAD51-BCC7-468C-BFEF-7DA9EA423FA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025005$AB601EE6-2DFC-4A39-8CB9-6EF45A05A887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025005$48F630B1-F1B2-48B9-A58B-DB5A420A7787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025005$EC33A890-E987-440E-87C5-5F9B836C4C3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4b5339ca0fd458ce3916f3e29a69d423a384c98","datavalue":{"value":"120344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025005$805E66F6-7BBE-4538-94AC-A55F25EF7DF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f05dbf023170b72e57ea8b675bd49b2602d979","datavalue":{"value":"formalization without axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025005$E2920527-A241-4B96-8416-04F5476FAF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea1c24c937090ef87e744d06d4420190b80a286","datavalue":{"value":"single-axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025005$607939A9-9634-4CB0-B2F7-56D0F123DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025005$3FB99AA9-FF56-4F5E-9D60-E05B544645B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f98f542a145a5049faf85206d311c7d4361fd5a","datavalue":{"value":"classical functional calculus with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025005$286DE1C7-9A5D-4F00-B6A7-119A2CC0BE1A","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":"Q4025005$D72124C5-6A22-4EEF-9E28-3FE6B021602F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e35cace918b15415ca1442fadeafeaea84fb760","datavalue":{"value":{"entity-type":"item","numeric-id":2079705,"id":"Q2079705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f981ea934a5d7227fd770eab86ef17a0470a492","datavalue":{"value":{"amount":"+0.88537484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$B5FC3B02-B571-44FB-872B-CDD026BFBA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1ff08fbdda17bf7d34b5007ffedf5ffa163966","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5056874bfc4bc07a8534410db906ef251fe9e621","datavalue":{"value":{"amount":"+0.8796648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$B56170B2-030D-4B94-8C40-57B178C7964E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791f26464432118af3b965aefa97edb68441ef00","datavalue":{"value":{"entity-type":"item","numeric-id":1861136,"id":"Q1861136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a703ad91458df7e3b3c12422ac4add9ccc0d0b","datavalue":{"value":{"amount":"+0.86710066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$4CC9E14B-978A-4D47-8240-069A66B5BD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c923ddd15f79dfbca8384384648c8cac732f34c","datavalue":{"value":{"entity-type":"item","numeric-id":1800388,"id":"Q1800388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3343dbabe1b665727886d08c80698a222db5bc","datavalue":{"value":{"amount":"+0.8552725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$07881E2D-62A0-4783-83DA-AD44C53CEFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c44fbdebc2ed1857f0b95606d24ec1a15d046d","datavalue":{"value":{"entity-type":"item","numeric-id":2941457,"id":"Q2941457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fdea4fe6938daa8a8e6a72bc16a61518337dbb","datavalue":{"value":{"amount":"+0.8533671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$F11CE49C-32CD-4B0B-8103-8E1D58A0671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a239c364a42321866431e77af3687a18702baef","datavalue":{"value":{"entity-type":"item","numeric-id":2531278,"id":"Q2531278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117fb6111c092f280c812771316a9bc20d45123b","datavalue":{"value":{"amount":"+0.8529363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$18B8FA4C-0F55-4EE2-B86C-EED59AF9B2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a631f66903ded8ce51d6467b3a86178b9c14554","datavalue":{"value":{"entity-type":"item","numeric-id":5413326,"id":"Q5413326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4676c454bc06975ba80014e7e68f20b54cacea7f","datavalue":{"value":{"amount":"+0.84938926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$3D5B317C-757A-4645-8AB4-08A13D981C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10855755db8edc0e3c5cbb07d8037d903554aec","datavalue":{"value":{"entity-type":"item","numeric-id":688567,"id":"Q688567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493f46723ea6e48a89563ba7c1039fa51bdc5240","datavalue":{"value":{"amount":"+0.8470298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$2F3C4DD0-909E-4034-A9DD-DA1359BB8B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c490c720dd97a9bcb1f4b008a70601304f0cb6b","datavalue":{"value":{"entity-type":"item","numeric-id":4211202,"id":"Q4211202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b295fe2083eddb0e5fbecc4e961080d1a43cea","datavalue":{"value":{"amount":"+0.8425184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$F6EF1122-3246-4EF0-A55F-A3C2083C862E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed86c63c2e33d854f126a08a31d642e611b02742","datavalue":{"value":{"entity-type":"item","numeric-id":3035477,"id":"Q3035477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8522b560661a8177d6ab9f878d5d8c8841ccadfa","datavalue":{"value":{"amount":"+0.836241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4025005$5838974B-388B-47D1-A5EE-0AC3D4DDC192","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4025005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4025005"}}}}}