{"entities":{"Q4205404":{"pageid":6235005,"ns":120,"title":"Item:Q4205404","lastrevid":49331182,"modified":"2026-01-06T23:43:23Z","type":"item","id":"Q4205404","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4125356"}},"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":"Q4205404$11947431-F532-4125-A287-B8ADC5A29267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"630bc06548940ddf0c6b7f973ea87c6890ed2270","datavalue":{"value":"0687.01012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205404$BCE7123A-5631-46C0-951F-EC8B27D60496","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q4205404$92D1094B-DD5E-476C-948F-EE1B546C73FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205404$76D4B871-9045-46A1-8EC2-BEC6EABD7287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205404$C180BB0B-2A4D-4B2F-8B5E-CC7C7D117B7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6ae05c0633b5d016bbc031f8c1bd90e0c72a4e9","datavalue":{"value":"4125356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205404$5F07EB66-2610-4C37-BC64-12C9391E1685","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205404$0FE5A372-7461-47F1-AB58-81F8D03DD445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e05c256ac009ee817b8db1237ce1ac60f8e0bfd2","datavalue":{"value":"computerized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205404$D8FD31ED-5F85-46FE-925F-E303C18B101B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ab4e015e00318b0550e0e6fe3545ef7afd5cd8","datavalue":{"value":"Leibniz","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205404$F9E014A0-15C8-4FFB-8489-EF7212F4DB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b859b7710f4daf6bafddb6a08e97fcaddce754c8","datavalue":{"value":"Boole","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205404$225D6BE7-D43E-4D39-97BC-0A8AEE087C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205404$C851C04B-A668-4B9E-B566-94E6C7AD03AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84276cefa81329dc127d99ce48dd9eafbfea0d7f","datavalue":{"value":"Peano","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205404$6397737C-C517-486E-9442-E0029E7C64AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4154f24cfdd0e645011b50e6a97f606af818dab6","datavalue":{"value":"Robinson","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205404$7DBBF64C-286C-4566-B90B-11813EB8D151","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4205404$0E62406C-8B56-4097-9F0B-D40300AC11B6","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":"Q4205404$B0AABB76-F1B2-4597-9B69-014EBB2C5234","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd1334ee7153d6507ea8034e01d52427390b5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5292629,"id":"Q5292629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610d4f599844ea96fec62270d7b7910c635826d0","datavalue":{"value":{"amount":"+0.7593228816986084","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":"Q4205404$E34D6C9E-90E2-4796-810A-A5775A9A2B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9e1805e46e4d175c3999f2a31eac1643180ada","datavalue":{"value":{"entity-type":"item","numeric-id":3369839,"id":"Q3369839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85801056d8cebc7fc0bbf99cac5778f71fe1a84d","datavalue":{"value":{"amount":"+0.7492936253547668","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":"Q4205404$57A306E9-5672-4DE1-8909-2B9212FE439A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e46479e47a407bee34b2b3b7222070ab8b3bb4","datavalue":{"value":{"entity-type":"item","numeric-id":3537709,"id":"Q3537709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ff7470dcd31c10c28573f80e0c97c6b3d378b1","datavalue":{"value":{"amount":"+0.7204371690750122","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":"Q4205404$A8FF36B1-E7AF-4D2D-997A-B7F13BE3993F","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":"d5606e308dfde2911d124bc517193221fc20fc59","datavalue":{"value":{"amount":"+0.7190984487533569","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":"Q4205404$6352DB76-273F-4C31-A10A-75D2EDF3F557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0472be0b21a7fe37fd7800351b21df6068bec11","datavalue":{"value":{"amount":"+0.7124720811843872","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":"Q4205404$99F6FEA8-DD1E-426F-BDAF-0EE929400B46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4205404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4205404"}}}}}