{"entities":{"Q4517378":{"pageid":6546971,"ns":120,"title":"Item:Q4517378","lastrevid":28694017,"modified":"2024-03-05T15:11:32Z","type":"item","id":"Q4517378","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1534592"}},"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":"Q4517378$5D8CAF38-CC44-4637-966B-D8F060D4D541","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25a8889afcd23497b893be01d12153943b218b62","datavalue":{"value":"0951.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517378$F27D4E38-85FD-49A7-B644-0D928F815CD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab002db918bbb151948ce7762095540e9daea75","datavalue":{"value":{"entity-type":"item","numeric-id":174257,"id":"Q174257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517378$FC475C5A-AEA1-4D40-AD3B-9EC613BD363F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4365647193ed4a3731f3f75096c7829a0ec73b10","datavalue":{"value":{"entity-type":"item","numeric-id":912595,"id":"Q912595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517378$30AD0076-9119-42F2-ABEA-F69780B0B243","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6246d2b0758e40e13ebf36e49fe4eeee1d8a2e43","datavalue":{"value":{"time":"+2000-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4517378$8CD2602D-4061-4C80-8A15-CBC01BD7F8A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517378$7315B1F6-F3E4-49BB-B879-64DA9721C668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517378$97548F1C-F977-4E96-A55E-FCA79BB2F3D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d478e3ed790425f3d510494cfcbf192f3e32b12","datavalue":{"value":"1534592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517378$E02840E0-964E-40BE-8C84-BB83068E3455","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f5696f476232cd5d266d67d2d75e4654fe4194","datavalue":{"value":"program flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517378$8396E4D7-2CC8-4E82-8DDC-1FEBCF068A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517378$1EC77D7E-78B6-48A0-871F-C89FCD641B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517378$2DB266DF-7998-42AF-B73A-502EAE627503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ff22fde538525b3a4079601bc5c637861c213d7","datavalue":{"value":"recursion scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517378$316D6EFF-66B1-47AD-AE63-69CFB5B7E86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517378$02C5484C-29B4-443D-AC42-8B22963EA5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c0970594a5a83cbf5a72e516bb295a5f1334a88","datavalue":{"value":"parameter dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517378$55C68C8F-0DA6-44BA-9809-BFF61BE8DE0B","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":"Q4517378$820D9FA5-B799-4B2A-BD79-15F06791C174","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4517378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4517378"}}}}}