{"entities":{"Q3902952":{"pageid":5932857,"ns":120,"title":"Item:Q3902952","lastrevid":54932308,"modified":"2026-01-30T16:06:39Z","type":"item","id":"Q3902952","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3711903"}},"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":"Q3902952$355ED9E6-AECE-4DA3-BFBB-0D35FBDA3B99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d52f966cbe9d1ab641edc1bfccef99a47ec7b22","datavalue":{"value":"0455.00025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3902952$783BCFC2-30E1-436A-85C3-A5DEBA336A19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3902952$26879B54-0C9B-4695-8834-3C6F2FFBDE61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb92a23a58a049f3c204d4eddc79bea9d2a42861","datavalue":{"value":"00Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3902952$A6507315-6B07-4BDF-8C1C-64AADED01D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3902952$218272A0-C7E2-4202-B580-6253E139BD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3902952$E2053C41-31AC-4835-AC6A-D0836DB32F48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"466958f58c3cbc243e246af7dee1ae65654e965d","datavalue":{"value":"3711903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3902952$31ABF8AC-7924-4A6F-BFF8-9DE176A02787","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3902952$55C7C1AF-4E5C-4D4D-993F-7110CBCC3123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec8e8b0049b2993c302f718ff35544cfb0150a0","datavalue":{"value":"Languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3902952$F200C02A-DA3F-4D2B-8AF6-89C3C32E3219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3902952$FC4B02CE-9481-4581-99CC-D2B8020BCC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46386232ce22237553a09399db388958f7e4ec1b","datavalue":{"value":"language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3902952$0C45AAA4-679E-407C-A553-8D661A85ED68","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":"Q3902952$7722C11B-E87D-4B2A-AD2F-8F2E450A100E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3902952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3902952"}}}}}