{"entities":{"Q3718128":{"pageid":5748034,"ns":120,"title":"Item:Q3718128","lastrevid":50681066,"modified":"2026-01-14T19:09:16Z","type":"item","id":"Q3718128","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947598"}},"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":"Q3718128$6125ED57-0125-4EAA-9121-561825FAF247","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"965279176e2bed198d78ec0e804afb1d8a685bd8","datavalue":{"value":"0589.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718128$EB47DE04-549E-4B94-9993-0BBD8071BCE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718128$2E7E793D-33D5-4700-AC31-C977B19E3BB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3718128$B4CC2547-A240-4D63-86AA-1A5FB6D1FF75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718128$B4D1C3C6-3202-4FAE-B055-A9F83E54344D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718128$8E248512-096D-4611-A5BD-C804E82F257F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ab7468eb95e9d65ec42b584679f5ab3cd152dac","datavalue":{"value":"3947598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718128$FA1C0E9A-2CD4-4373-AEF8-DF80042DFC1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718128$1E590222-AFE6-4CDB-AFCD-ABBFAA1352E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d02f7af6be36cc91013405c2d427dcd2285160","datavalue":{"value":"data flow analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718128$94643936-89EF-4C13-9DB2-BAC647CE2CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718128$9B3B81D6-C3D3-44CC-9D3F-98A6C5E5C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718128$298D56DF-1EEF-463C-9FB1-087FB379B1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cab29f5d522ecefb58b9d1100ee81131c4f846d9","datavalue":{"value":"denotational metalanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718128$700BDC7C-AFB3-419D-AD26-072F8E79927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c4dd19ef47981a441a3f2a1fe7973dac4ad2831","datavalue":{"value":"compile-time entities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718128$DD3CF930-4432-4F60-91C5-C2CA0C90E616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89da387ba744b42d771a2fd2e31d8f0fa8e0048a","datavalue":{"value":"run-time entities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718128$1F278E34-55A1-423A-880F-7FD532DF3D7B","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":"Q3718128$5C340587-DD57-4F26-B585-B8CC378C55D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e06a3b5c7c2c8963e7002a9d56fb4d1394a9917","datavalue":{"value":{"amount":"+0.92366695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718128$61685B34-8F3E-4BEE-BC61-8B6336BF1E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13fe6ee2b1ce2f33767a93cbe3adbd2fd8fc78ce","datavalue":{"value":{"entity-type":"item","numeric-id":1084389,"id":"Q1084389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bd2ca69b7e011bc74ed66721fbbdabbf8fb386","datavalue":{"value":{"amount":"+0.85309726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718128$320A93BA-3313-49D3-9582-BE82E4E70D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328b43185d1dc7f7141c94273926440366342c03","datavalue":{"value":{"entity-type":"item","numeric-id":1035705,"id":"Q1035705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ce7b0efb281d5a793d17e2797a70f864c99883","datavalue":{"value":{"amount":"+0.8521105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718128$970B2967-526F-4DB1-9D9E-6982691A0525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8afe6f2e7c895513b89152d8d915d4d6d71d3a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3348896,"id":"Q3348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1745ad5c76e9d475b76db1ca89087b06f175ce34","datavalue":{"value":{"amount":"+0.8507847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718128$7FBF264E-B401-47E2-B886-BD07AD225245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02235fdc3ac4c446ceea6a457501e96a6a72a87","datavalue":{"value":{"entity-type":"item","numeric-id":3613381,"id":"Q3613381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8f5e1937de5b9391903cd3660aab49fbcac262","datavalue":{"value":{"amount":"+0.84878445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718128$055DDB71-9E3C-43F2-9673-B7AFE3C0DE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f2005576d5c913144e0cc43c5a878efbc34682","datavalue":{"value":{"entity-type":"item","numeric-id":2360874,"id":"Q2360874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e9a7a66be1e23f86c10a05617174f231fdc704","datavalue":{"value":{"amount":"+0.8471732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718128$697E9D40-80A5-42A9-BED7-FA3576DEC080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3718128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3718128"}}}}}