{"entities":{"Q3890092":{"pageid":5919997,"ns":120,"title":"Item:Q3890092","lastrevid":54752825,"modified":"2026-01-29T20:32:45Z","type":"item","id":"Q3890092","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3696479"}},"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":"Q3890092$11A3E770-3692-436C-B308-353ED4D5584A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12f2a3dfc7a0337262b46d506e88493a0ebadfc0","datavalue":{"value":"0445.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890092$08B1ED24-4D0F-452F-BC64-A0FE37C0B690","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"306e9fa2b9b1cc06f5ab4e03a79a9e09120e4add","datavalue":{"value":{"entity-type":"item","numeric-id":1230649,"id":"Q1230649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890092$660FBF07-A049-4B9E-94E4-D1C0FA9B0B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed93d8b13eb745493af934d4adfc5933d013bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3339263,"id":"Q3339263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890092$DA921335-CEEB-4C8D-8FE4-460A9AE5A4D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3890092$F9DA2172-9C28-4598-809A-4516B165A8EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890092$1F293B87-027B-4396-81B2-BA89CC72B483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890092$628AC177-90CB-4D4B-A00B-68239FC990DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890092$E8826C4C-0B67-40F1-AE1B-F8AF4ED649CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890092$A5A173A6-4A4C-46CE-9778-2C8A5572EF7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"746dc5a07b77c10d67d9f308bc42e7361ee7d0e3","datavalue":{"value":"3696479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890092$7857907C-D249-47EA-ABDA-FBFAF8969C9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1686a8035d50d1b490f7ddcba36e4f2a4bc41ada","datavalue":{"value":"program synthesis from incomplete specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3890092$99465CFA-FAA6-4BAF-BF2E-AB76EF760D49","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":"Q3890092$E7635F19-C7B5-4BC2-A3D2-9E8B71FCBABE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3890092","badges":[]}}}}}