{"entities":{"Q2899004":{"pageid":2909729,"ns":120,"title":"Item:Q2899004","lastrevid":51509879,"modified":"2026-01-18T13:54:01Z","type":"item","id":"Q2899004","labels":{"en":{"language":"en","value":"The language of formal mathematics Russell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6055320"}},"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":"Q2899004$D585C61B-98E4-477D-A0E6-0EB185CBC33C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3983d2d5ca8fad6610314f7c07422710ddfa137","datavalue":{"value":"1249.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899004$4E6D772D-8A4B-466D-939B-2DC0E836564B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d4d67d8df930b1130da626eccae828e4ebe1484","datavalue":{"value":{"entity-type":"item","numeric-id":779162,"id":"Q779162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2899004$C591094D-C4C7-499A-85E8-3ABC397AC010","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8169782b0c1573ab69940e37078f3a0c71cae46","datavalue":{"value":{"time":"+2012-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2899004$56962CA8-8B4C-4874-9CCD-40BC3B17CB7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899004$B35A1739-479B-4EE4-A379-28649B72D128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899004$3468F0B4-D273-46F2-9E18-FA695DA3E478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899004$A46B73B4-3486-47EE-8733-C5AFE2B4E3CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98c0fe16a2c0b8b4184947906764062bb1b6ca0f","datavalue":{"value":"6055320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899004$D86692B2-4A97-469C-BB9B-8047ED94CC90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc238ea6cb52c715bab39832f2cd5b4837c9294f","datavalue":{"value":"formal mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2899004$DA72A1E8-42C2-4EDF-BA15-1E38C1F579D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2899004$2720B58C-438C-4E49-9718-22AAF7DCFFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085414148e9104e16ab9e4f7775ff0845643dc3c","datavalue":{"value":"presentation of mathematical knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2899004$3A164802-6EC3-4910-A6FA-B8CA7FFD49FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"469a37eaa0138059cea004c31c160c0611296251","datavalue":{"value":"automated proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2899004$C2A35CA7-626D-4B48-B585-CE23BCFE2AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958fc0733e0a91bbd78f2cadc712e553cbe8252f","datavalue":{"value":"Russell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2899004$78718051-DE74-4DC7-9EE3-4A2443E02582","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550541b08bcfd7113a03dc69a25fcd69cb35ddef","datavalue":{"value":{"entity-type":"item","numeric-id":25224,"id":"Q25224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2899004$7A476887-7EEF-472A-90B9-271F26E6A3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"057bc692c64d0289802f023bf7f662e0efd56b17","datavalue":{"value":{"entity-type":"item","numeric-id":25225,"id":"Q25225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2899004$DF144C3D-4863-4269-8495-7B3BF22C8A1B","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":"Q2899004$EE59C060-EA53-44EB-8F21-902565B80E85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6c545cd00d5733d185a92d477670065fed839d6","datavalue":{"value":{"text":"The language of formal mathematics Russell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2899004$3DE5BBBF-6DCA-4BE7-A368-C6448CAFB25D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a759a6aa711e0f4b33e673c6ad25e33676785b47","datavalue":{"value":{"entity-type":"item","numeric-id":6773955,"id":"Q6773955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2899004$A4171DC5-9907-453A-9BB2-16504373D135","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c373f9163265131594ddf1bf6b37fdc0703be04","datavalue":{"value":{"entity-type":"item","numeric-id":5398218,"id":"Q5398218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ebd62ab5526b2653a6f05bf9a0ba6ea87c538a","datavalue":{"value":{"amount":"+0.7625566124916077","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":"Q2899004$9CB19646-31AE-4BEE-A86C-EAE922BC39E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76dcd5ed729a0862e7e5437f6d26a1b142eab262","datavalue":{"value":{"entity-type":"item","numeric-id":2219386,"id":"Q2219386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c68e5a60cc946fee2d6d65768649da57fffe14","datavalue":{"value":{"amount":"+0.7266773581504822","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":"Q2899004$CFB59B5A-AE26-4F77-A213-7188B2D4AD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79f9f5dde2744a8ff68feff1bf3c92886eaf880","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9adfbdc478b9b24e5d3f3244a79161442122d41a","datavalue":{"value":{"amount":"+0.7226517200469971","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":"Q2899004$33E34EB5-1ED7-4615-9344-F6DCF0DF01EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29535e7ca4d6c47595ffa26b0781a54f23d93f98","datavalue":{"value":{"entity-type":"item","numeric-id":2847392,"id":"Q2847392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc45068d09740b7398017b1e04244d978782b7a6","datavalue":{"value":{"amount":"+0.720187246799469","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":"Q2899004$CDFAA714-0FC9-41FA-966E-52D2D28B770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54beaf1bed1a3eb297952b34feb5b59dfa0ff3d6","datavalue":{"value":{"entity-type":"item","numeric-id":2866734,"id":"Q2866734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35356f8e6d1deb4b7c25e9a291fbe13d01faaae4","datavalue":{"value":{"amount":"+0.7091569900512695","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":"Q2899004$31F0C127-9000-47B4-9393-ACB45F36D70E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2899004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2899004"}}}}}