{"entities":{"Q1891140":{"pageid":1901882,"ns":120,"title":"Item:Q1891140","lastrevid":71075502,"modified":"2026-04-13T19:19:10Z","type":"item","id":"Q1891140","labels":{"en":{"language":"en","value":"Safety analysis versus type inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 758656"}},"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":"Q1891140$0456E180-2F28-42E9-B93C-D45E84DEF5B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93c844b373d5add05983be1c43d3facc69f79a7f","datavalue":{"value":{"text":"Safety analysis versus type inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891140$A2322E82-01F9-44AD-A1BD-25760F49C7D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"364f55107efc8f298607f7951edbe8a5c820a32c","datavalue":{"value":"0941.68831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891140$16CA6C1B-BBF7-4D5E-9198-3C7F55A2F7E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891140$02E1D897-B2FB-4772-9763-CC316CF945A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d335d38758832e72d934ab76956198e7e084cb","datavalue":{"value":{"entity-type":"item","numeric-id":685349,"id":"Q685349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891140$59F8294F-174E-464B-A52F-A798622B7811","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891140$517166DC-4CD2-4486-8F1F-05BB6B079E29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c5fb5fc74d29567f00414ae378dbfc04be0b06","datavalue":{"value":{"time":"+2000-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891140$5DE227D7-4D9E-4104-8F19-9B39C09A3D4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d944864806b97f1adff02016bbe6836966dfd05","datavalue":{"value":"https://semanticscholar.org/paper/5a321d9be4f5d8272109e6b0d9f89b8f321f4a4a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891140$E00234F2-ECBE-4BDC-B351-DBB3856A5A49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891140$C24E02E3-9C5A-4981-9DF9-144C983E8350","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d4f0c4a61635b19a424b62975b58d4dfaeee905","datavalue":{"value":"758656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891140$EED67C9A-7022-4604-AA31-E59454A3E3E6","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":"Q1891140$075F610F-A2C4-4EB3-925C-CE1BC270CB5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"908399ca76e1c26ffd5dae62a9243f12692c620d","datavalue":{"value":"W2068711880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891140$8A9A1ACF-7B7E-4BAC-BC12-3B5366E872F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7b261b7b2b4906ab5ac371646e8f28fa93c64fa","datavalue":{"value":"10.1006/INCO.1995.1058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891140$9EE3A1E5-5415-4185-A5A0-EA4EE3307AB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety analysis versus type inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_analysis_versus_type_inference"}}}}}