{"entities":{"Q4181983":{"pageid":6211584,"ns":120,"title":"Item:Q4181983","lastrevid":28404244,"modified":"2024-03-05T13:37:37Z","type":"item","id":"Q4181983","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3619339"}},"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":"Q4181983$B3DBD878-3220-4506-B3A5-37AF58BBCB80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"394d1b748df6a7b37ddab1db6bc81227271a2819","datavalue":{"value":"0398.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181983$4A3D0F0B-0507-46D6-9F8F-146C82BC0C11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c742e24731094a36ba6c5be14f95b68af9e0e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1960441,"id":"Q1960441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181983$607ED51F-AE1C-4F4A-B03B-6C4EDF5E9B62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4181983$82827EB3-0FE2-4276-A189-B7BD5D814058","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181983$1CC6BB7C-996A-460E-B00E-EBDB316B691C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181983$5FAE918A-D2DC-41CF-BB48-C5C9E31BAAFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ae1d30382c1adff6960870b52b2fe2afdeabc7b","datavalue":{"value":"3619339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181983$BA719FA5-5055-4959-BD1E-1360F2B749D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a01a0b2a8650bbb1ebc58ccfc0272e363444954","datavalue":{"value":"Theorem-Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4181983$61543DBA-A12E-4CE3-9236-28D00E0E2BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b7a8855f8b6f6d5409d8d8e4ee388c53069661","datavalue":{"value":"Proof Strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4181983$2E0820CB-5A1D-4C82-9C43-B91C2B7016DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b7a4e582aef5baafb50a664ceef961af5c333b7","datavalue":{"value":"Statistical Analysis of Existing Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4181983$A49E7908-269E-442F-9ABF-415B05819FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f284a0a6a19cf4b6bb5c55263bb4fe0afa755222","datavalue":{"value":"Implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4181983$883B145E-F196-4948-B833-BE483F890FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8baebf104302b01f390a1d15909b9e614a2366","datavalue":{"value":"Experiences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4181983$D9108E90-ADF7-49FA-9F49-B7D46ECCCBF2","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":"Q4181983$DB513FEE-9B94-4011-A47E-C10358177CA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4181983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4181983"}}}}}