{"entities":{"Q5206948":{"pageid":7236519,"ns":120,"title":"Item:Q5206948","lastrevid":53622560,"modified":"2026-01-25T10:54:44Z","type":"item","id":"Q5206948","labels":{"en":{"language":"en","value":"Narrowing operators on template abstract domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145896"}},"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":"Q5206948$2EB1C3A0-FF54-428F-A1E5-50E89266D629","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd712c2c17fe5d497621c387de3fde61ab1a81a9","datavalue":{"value":{"text":"Narrowing Operators on Template Abstract Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206948$D8AD931B-BA70-4B73-8E67-7DDE4897913D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f2fe7c63e6e08737ea44a83eb8fa083ecd91cf0","datavalue":{"value":"1427.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206948$45D49181-3960-44A9-888F-D44FFBC8D7AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"324da8d848076af66183c6a9ae3d29cad1644bd6","datavalue":{"value":"10.1007/978-3-319-19249-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206948$75EBD6ED-44AE-4E8F-9C38-A6DC750F9F61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57a0d1f62d0ca0f4f2a479750cecec4923e5b40","datavalue":{"value":{"entity-type":"item","numeric-id":281280,"id":"Q281280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$1FA2EDCD-F3EC-41F7-8F3E-3429A44134F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d214225eb3391fefedf86dd3a9f69785fc49bf","datavalue":{"value":{"entity-type":"item","numeric-id":1671248,"id":"Q1671248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$AA202550-2AC9-4C94-84CB-5205D30D0D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$5A797208-496C-48F0-84E1-9884E19F771F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf2e86a415f1d5bcb22ada61dbde8bf5253a38e9","datavalue":{"value":{"entity-type":"item","numeric-id":281281,"id":"Q281281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$CE38C0B3-F9BC-4BA0-BB1B-45D09B061AA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$F9B855CE-3B2E-4E94-AECA-7B5DB809C3AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206948$979CFB48-7B9A-4797-80B9-795C3290284B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206948$0465D906-A96D-434D-AA95-5213AD8185EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206948$6E942A06-64F1-41D8-8BD8-FA5FD84FAE1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6955313df4c8563fab2aa4028178831751479f0","datavalue":{"value":"7145896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206948$787D6C7D-701F-4115-ADAA-C3973258C283","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":"Q5206948$6C16BCCA-A142-45D1-B215-0B839E44D896","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05340eb679a5f98a60b3974ce10e960fc5df3ef3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19249-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206948$849466EC-0669-4EE2-AAFD-50E3E8B3B0A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51f3bca618416603d511efa70b8e7583686ae930","datavalue":{"value":"W642452143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206948$5FAFD292-E49E-4A50-9E83-AA17240F9C07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e958689f7d9dabbfa572244742afed969201a5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$DD3EC1D5-31C0-4463-9B6B-14BCCFDDCDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$B6C4D374-52B0-4FB8-AC55-AC9DCB53F9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887cfe3b67abb1e3ad466f485beac0506dcbbdef","datavalue":{"value":{"entity-type":"item","numeric-id":3166219,"id":"Q3166219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$A0A384D2-1A72-44CF-97B3-2276A10C6774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a39da4a57272edb02d6053b5209e8619838564d","datavalue":{"value":{"entity-type":"item","numeric-id":3613383,"id":"Q3613383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$1BE03883-4F92-40D7-AEF4-90A897875B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$5BB17D83-697F-45EB-9F40-5C086E80CAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$0D71B9A4-EACA-4F0A-881D-2CD277505E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206948$928B1624-35A5-4796-8A8C-5198CF2EDA1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c806df68cdaa1090026011753b6589ae9530da0d","datavalue":{"value":{"entity-type":"item","numeric-id":1671249,"id":"Q1671249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81876bbf5b0d98c0dc9ae3fbff5cbf108831965","datavalue":{"value":{"amount":"+0.9414047598838806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206948$1F526FEE-99B6-41B0-87EA-C95B943BB5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed887b53ed329f46ca41b85d1c7fb0cc31c67ee","datavalue":{"value":{"entity-type":"item","numeric-id":2275526,"id":"Q2275526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc9ddfa8b49c95c1e37a7321b284fe6f679f4cd","datavalue":{"value":{"amount":"+0.787071704864502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206948$8A480F6C-5B47-4309-A5AC-3CC8CF7EF849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcc7ff11ca30376c73b5033629ca27de7acaa1b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c92d1cbac85244b60fcb509eac7eafc1ded7e1","datavalue":{"value":{"amount":"+0.7596525549888611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206948$74A0D052-1D4E-4E9A-A9DB-59414EE312D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d432b2dfeaf38617bb08d53ff0489f49e55a2a","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b152f74c1b1c33e7c7c68ed9a814e2dfb3eaec8","datavalue":{"value":{"amount":"+0.7527799010276794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206948$A1E1306D-D1ED-48CA-A0B0-49231A0FE0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838c0e2747b4300ec1274f993ecae31ab0cf4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7efc5e5bad6753fd61406a07f37d8202eaad7011","datavalue":{"value":{"amount":"+0.748711109161377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206948$604637A6-B4FE-4A96-A708-FF7248756F41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206948"}}}}}