{"entities":{"Q3210191":{"pageid":3220899,"ns":120,"title":"Item:Q3210191","lastrevid":45698185,"modified":"2025-12-16T13:32:01Z","type":"item","id":"Q3210191","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191138"}},"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":"Q3210191$E3763E96-4E12-4AA3-B775-5115ACD72B61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b748698f901877f8717dd03c5b996e9905f0af21","datavalue":{"value":"0722.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210191$ED49AB3B-E242-4131-9387-52D55BBA9226","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3210191$5B96862D-2BC7-4116-921B-C43E218672F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210191$3EA032AE-5CD5-48D9-8E31-36B30442A12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210191$6B4DCD50-6F55-4F08-92F2-4A3FD6F09394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210191$5B10B1A8-9C0D-49D6-AB0A-A0CCEAB546A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb900ca3fda9027450f1b986e3562a7e1ef46f1f","datavalue":{"value":"4191138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210191$2BF515DE-A600-4ACA-A8C3-B4BD13E3A3FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da0c5519514ac3965949f4e0a6515fe19478e262","datavalue":{"value":"verification of formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210191$E84BD5AD-C2F0-45CD-9289-9B6BBAED28A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e10659ec0ab4c1636b61cba98e7ea0e00939e8","datavalue":{"value":"Automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210191$834068C7-0921-4324-833A-A3D2F4620A91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3210191$918C6D70-00B7-4178-85BC-392AFF7E169F","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":"Q3210191$4DB6B93E-01B9-4A4E-BB6F-8F88B406E2EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f12f07dfbc6376d967dfe9c5176f0772f411cbb","datavalue":{"value":{"entity-type":"item","numeric-id":6481711,"id":"Q6481711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3210191$C8633C5B-B8E9-495F-BF56-477AFA513F34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3210191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3210191"}}}}}