{"entities":{"Q4743763":{"pageid":6773343,"ns":120,"title":"Item:Q4743763","lastrevid":34678770,"modified":"2024-06-13T16:14:02Z","type":"item","id":"Q4743763","labels":{"en":{"language":"en","value":"Numerical theorem proving by electronic computers and its application in various branches of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3799051"}},"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":"Q4743763$D6544282-6536-4164-94FE-4E2E05A25F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed10a685d0f79064bf17f7b17df90b24ecb24906","datavalue":{"value":{"text":"Numerical theorem proving by electronic computers and its application in various branches of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4743763$C44B55AE-9EBE-4278-845B-E56BDAF7C367","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90e8d39b788f9dd31d9f295ebedb044ef1f9ba75","datavalue":{"value":"0506.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4743763$C4632C7C-0A24-4B6D-B7BE-0241944FF1D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd335236dd7de9c84080f4d07041a5de73232ad4","datavalue":{"value":"10.1007/BF01069169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4743763$C4D2B0F1-2B93-45CD-9AB5-8EFB9B9541E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9074d6b50b569e6872cd856b25c089390b002261","datavalue":{"value":{"entity-type":"item","numeric-id":1051898,"id":"Q1051898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$9B1D018A-B99E-4E96-B75B-48472A6DBCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc5fa34d6fa0fa4570cd290f45ae6eddbbe33a5","datavalue":{"value":{"entity-type":"item","numeric-id":3029261,"id":"Q3029261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$D5568D93-28A6-46AF-8401-DA043C7BD182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1886ea9fd319e2955bdcb399b851e38cfaf2e1a3","datavalue":{"value":{"entity-type":"item","numeric-id":3361493,"id":"Q3361493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$8AF2B27B-098C-4D80-A47D-737ACC021392","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$9971540B-C7A4-42F0-8E58-5EC9601E61B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q4743763$7CC3643C-B35D-4AE3-B469-B28F8CEBA566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4743763$17FCB58D-C62C-436E-8184-C27E6653FA59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8b6b9dee3072b3616621eae4f913a5c352575d3","datavalue":{"value":"3799051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4743763$2B44FA37-8102-450B-8AFE-F4990C0083AF","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":"Q4743763$1F2D8D51-AEA9-44D8-AFF8-847D47AE8E94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66d8856f8e177b00cfa580d673e297badf4214","datavalue":{"value":{"entity-type":"item","numeric-id":5653579,"id":"Q5653579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$95F38130-2292-40CF-8458-655998ADC30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beedbc7a74a7aa139f9c9ab3d247ae750e3fd3b6","datavalue":{"value":{"entity-type":"item","numeric-id":4164851,"id":"Q4164851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$CAB4EBB4-6BEE-4C60-A4E5-F76B9F59E7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c5990025a0adb5810416749c7fb8516a653a84","datavalue":{"value":{"entity-type":"item","numeric-id":3338243,"id":"Q3338243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$62451D12-C63F-4135-A167-DC33C398B3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f7b5c583481c0bc1ce98388e87d53f71ff0062","datavalue":{"value":{"entity-type":"item","numeric-id":3899395,"id":"Q3899395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$F807FBB2-D547-4E31-B25F-342A0E4BCBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61b04f5da374fe1fe60ace3143093d7215d8960","datavalue":{"value":{"entity-type":"item","numeric-id":1258611,"id":"Q1258611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$5F403922-8C0A-4E32-B8FD-8BCF8666E0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a787e6d5fbc0112635b6190bf0ab4b2bf19230ef","datavalue":{"value":{"entity-type":"item","numeric-id":3240931,"id":"Q3240931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$51FD5027-78DC-4249-A9B2-919E5E367BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8257d70a0bb933692d03d2395bb8a09daf2d694","datavalue":{"value":{"entity-type":"item","numeric-id":5650957,"id":"Q5650957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4743763$AA1DF761-D37A-4B63-9986-FDCF9EACD1F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4743763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4743763"}}}}}