{"entities":{"Q4664201":{"pageid":6693782,"ns":120,"title":"Item:Q4664201","lastrevid":48451858,"modified":"2026-01-04T20:45:19Z","type":"item","id":"Q4664201","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2152635"}},"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":"Q4664201$5F125F7F-221A-4EC6-9152-A5521B658131","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5f640dc4b009ec093c59f3d189e1215a9de65b8","datavalue":{"value":"1068.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$21BBC907-57CF-4D5D-94A2-CA778C257621","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69cf2a81b6ae1673a040d25ae05c9f6a7d99e6cc","datavalue":{"value":{"time":"+2005-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4664201$23E8F7C0-7403-49EF-86A0-0A18EEEDC7AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23e7cdaf2e82f5cc864274e843d1c5be36653b9f","datavalue":{"value":"68Q01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$E07C7D11-E48F-4199-A7BA-9DBDD6D08F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$C9A9FBE8-723D-4F3C-BEBA-100177E44FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$DFA56EBC-D2A8-418E-8BE8-69B07B37EDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$C45CBB90-4573-4279-9521-A077D12ADF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$24E24AB6-FA3A-4450-AC75-90DD5DDBBB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$AA5F21A1-8088-408A-B6B2-DE85248BFCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$DC1616E3-57B3-42FF-A22F-6BEE151B0C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$862641B0-EBF5-41FE-A92A-369F3B3FB2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$98D46D80-522B-4738-B476-EBCF6186E12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$14513024-6F97-4475-9376-6220E446C666","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ff5dcd392a59bac782f5b432bac0df2bd6f1b7a","datavalue":{"value":"2152635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664201$073A197F-A0FB-43B2-8D7F-DB38DE437AEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35a28917c8ae07193eb94e733cb6eb2a2bc62daf","datavalue":{"value":"sociology of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664201$57756BB8-4F73-4857-95F2-299C03CC8117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b926a7391a45985e1aa553a89005b5b7aec9cd51","datavalue":{"value":"role of mathematical proofs in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664201$0A245C02-068B-4195-AFBE-17E59917D344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664201$FB17D1BD-460E-4798-B8F4-689A8F3CF034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664201$E756A1AD-4ADF-4604-BCE8-5B7670B71777","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39a82971f6ecbad2ae07a3cfbba93be5b8be6f47","datavalue":{"value":{"entity-type":"item","numeric-id":2281472,"id":"Q2281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664201$13570F9D-0425-45E1-808F-287964F48500","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":"Q4664201$ACE05777-E9E8-44C1-84A6-9F85D104EFCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b967f8c6e4dfe4f9d47445c9acc7fcc7c03a7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5302558,"id":"Q5302558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c503bb1c8596253a8514d8655a81bd703c4384","datavalue":{"value":{"amount":"+0.781507670879364","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":"Q4664201$D5AC85A1-89B5-4CB0-9286-F9B703150471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32069b0589eb4db5087176898bae93506014dd43","datavalue":{"value":{"entity-type":"item","numeric-id":5301848,"id":"Q5301848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fbf1fcf60825c16304c60a236fb47b2f78e18e","datavalue":{"value":{"amount":"+0.7801441550254822","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":"Q4664201$B0A50FD6-0389-4A13-8D92-490AE6BA50E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2107af212bcc0df322b391be9730724b151c2e","datavalue":{"value":{"entity-type":"item","numeric-id":3598067,"id":"Q3598067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4c9f3df94c8e6703371302fad78a78b012580a","datavalue":{"value":{"amount":"+0.7748245596885681","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":"Q4664201$F226085D-61D2-454D-A905-4AA49117D7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541dc53bfce951ee9b6ef5687f1c57d534039241","datavalue":{"value":{"entity-type":"item","numeric-id":4558269,"id":"Q4558269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d951cb9013a5acc50693238f6da7c46a996a662","datavalue":{"value":{"amount":"+0.7744980454444885","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":"Q4664201$3BE16EE7-F2A4-4CD3-A984-5BED9B9A9573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b3c56429c9c8743a5a714a691c631666af3416","datavalue":{"value":{"entity-type":"item","numeric-id":4890909,"id":"Q4890909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cd8366d46f8f5cc89c0a447d52287961839302","datavalue":{"value":{"amount":"+0.7705844044685364","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":"Q4664201$707BEF82-67FE-4C91-8915-12B1E7ADC073","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4664201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4664201"}}}}}