{"entities":{"Q5522905":{"pageid":7552465,"ns":120,"title":"Item:Q5522905","lastrevid":40801235,"modified":"2025-04-04T18:22:50Z","type":"item","id":"Q5522905","labels":{"en":{"language":"en","value":"Mechanized mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3235212"}},"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":"Q5522905$0F7DD507-D9A8-4925-8A94-4CD43CF7ED5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b41b55b37355eabdfff896e5ab4f4ae76710127a","datavalue":{"value":{"text":"Mechanized mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5522905$5537DE39-9C4F-47E6-B288-15D3954EEB56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3ee439d597a8df0542e0fed601c9277de93abbd","datavalue":{"value":"0146.00202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5522905$A1AECE89-851A-4262-A7B8-2AA246F3A8A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e902f4fc09b7fa1ce9467a11a41092871293968","datavalue":{"value":"10.1090/S0002-9904-1966-11553-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5522905$FECA63BC-A207-43F6-940B-37B0CE7496E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de70ce1b64faf2f761c09d3aae1f4d0e9e22c2a9","datavalue":{"value":{"entity-type":"item","numeric-id":563252,"id":"Q563252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5522905$DF460850-5946-4A48-B8BB-65654CE9A485","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5522905$AA1A1A3F-547A-4F6E-89BF-848D1B15D1CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b29152725e7ee6f2d3e5de688bdeec7acb631ef","datavalue":{"value":{"time":"+1966-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":"Q5522905$51FF2066-3B92-44D0-B9DC-4F2CE2F71BB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c8e49322bb920768d8286ec2ad46a6f4a755fe2","datavalue":{"value":"00A09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5522905$B079E15D-851C-4188-A72B-2B0D4BD87C75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ef2826ba1c8a2f02739f0635cc6d51ddd65854b","datavalue":{"value":"3235212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5522905$DAD2141F-126B-4006-9DDB-ACE34632C49B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51094ba590cd9353413297e4f1396634e76c9465","datavalue":{"value":"interrelations between mathematics and computers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5522905$FDD89E91-FD31-4C31-BDCB-E836DC19D991","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":"Q5522905$A74222EA-E3E2-451C-B33F-FCEA394E7593","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"684fe9e24b39dd08eb81e5c0e52ea6232add67d6","datavalue":{"value":"https://doi.org/10.1090/s0002-9904-1966-11553-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5522905$B4E36CE2-B8A9-4A0C-8C47-707F842DA040","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c322a70ab8a208c08b6a4ad2b908e13f1c706443","datavalue":{"value":"W4243282846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5522905$9BF1D6E8-AFBD-4054-BB5D-A2E5074BF6C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5839cb3ff0ed090311b4d35bef85ed8cabb8a6b4","datavalue":{"value":{"entity-type":"item","numeric-id":3582704,"id":"Q3582704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$41D93CD8-0791-400A-AD5D-25B83BDFEDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad00713abe75229b8948c9d3212f3c601ca8cd87","datavalue":{"value":{"entity-type":"item","numeric-id":4525303,"id":"Q4525303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a98e6de50e2a832a102ebd9c0a5f19ec0cc3b9","datavalue":{"value":{"amount":"+0.9378645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$4E15E6AC-F432-4FD7-A902-961930A5CAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbc5ecc7c3d9cf3b88c1b0d0dfe3a6fefe9a7c2","datavalue":{"value":{"entity-type":"item","numeric-id":4545702,"id":"Q4545702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2817edd300931f97efea07f11727f6f17ff1d34d","datavalue":{"value":{"amount":"+0.9224458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$D4E8B030-EEA7-4B4B-82F7-55845BE0B290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bc092646f99bba99f2129ec2336dd916e34b09","datavalue":{"value":{"entity-type":"item","numeric-id":3452371,"id":"Q3452371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41f143743461a9839d7e4f94ef53cbca6bce7a8","datavalue":{"value":{"amount":"+0.9163452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$1E0E617D-CA8A-45A3-84AA-3CB41FC983F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3800642f7f3c70c437762037f1eaa93d1e7c426","datavalue":{"value":{"entity-type":"item","numeric-id":4972858,"id":"Q4972858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22222717b94d3498f1b5670991cfe2fac3bafca7","datavalue":{"value":{"amount":"+0.9147731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$B51235B0-8AAB-4039-9D1F-46977EF980CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201f8c2608da825cddeebdd446e4acf42d84fc40","datavalue":{"value":{"entity-type":"item","numeric-id":3640381,"id":"Q3640381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24ee6147e422e6183b50bbd49d4b4604fae8dfc","datavalue":{"value":{"amount":"+0.8952879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$46937D34-7546-4566-A1D6-245F5C1D8ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0254df9f4f76cad0ec1855a19e97bfce6ef1bb","datavalue":{"value":{"entity-type":"item","numeric-id":2988059,"id":"Q2988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31066744d83cd501be6555260934c8dd4707fac5","datavalue":{"value":{"amount":"+0.8769887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$33C1D508-41E8-40B4-BAAA-3C551D2ACBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb60959c13437df1e580c8197bc122b8a16c740d","datavalue":{"value":{"entity-type":"item","numeric-id":3064921,"id":"Q3064921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85e565855b3ef16bf973a983391abbdf4918123","datavalue":{"value":{"amount":"+0.8730743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$AEFBA3AA-A3D1-4435-A5D0-07E63F38867C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b2555d86192e0fa3759b9d44b947e24d3f98ba","datavalue":{"value":{"entity-type":"item","numeric-id":3703844,"id":"Q3703844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13221c45fa84f6d631dc47fc3b8f3ee9542063b7","datavalue":{"value":{"amount":"+0.8726755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$01699318-2FB7-44F4-AEA4-B5B00745262A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e422c25fe8a030263ff5742d33af9982119229","datavalue":{"value":{"amount":"+0.86809635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5522905$CBA4D8B5-52E8-4BCD-A3B9-66EC31A72A0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5522905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5522905"}}}}}