{"entities":{"Q2360874":{"pageid":2371617,"ns":120,"title":"Item:Q2360874","lastrevid":52839656,"modified":"2026-01-23T15:06:19Z","type":"item","id":"Q2360874","labels":{"en":{"language":"en","value":"Abstract interpretation as automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6736964"}},"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":"Q2360874$008BB5E5-6D55-4712-81BD-B1410A31D306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6fc77e9a874d920348903e3a293d99f285a343a","datavalue":{"value":{"text":"Abstract interpretation as automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2360874$CB2E1717-D4A5-4D8D-99F8-3A22DB4C5D3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dcc75c9b7a42c7612c3476505e9ff61c484c01f","datavalue":{"value":"1410.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360874$9E429E21-566E-40A3-9402-4C74AF507C84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$26183842-B01B-4ED3-8F9A-DEAE8BA87AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"342bc527848ca7a42df8ff6d1a755158d361e74c","datavalue":{"value":{"entity-type":"item","numeric-id":681347,"id":"Q681347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$F5AB1FC0-4472-4F22-8233-C88697B59729","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$7041892E-E123-475E-A3AF-6299C44632A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b1628a179109832362b66a360ab34948eefb8d4","datavalue":{"value":{"time":"+2017-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2360874$3C58B056-6F79-473C-BB68-890ABD088C2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360874$D605B4F5-DA29-41ED-A2B3-1456C591A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360874$69E6174D-D2AB-4B56-B2A4-8036A655E67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360874$E9BAAAD4-581E-48D3-8860-C97C85C41461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360874$96227C6E-4E4D-4760-8DAE-6D93CF254642","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcebe124bcf05779599c209d29e24775600f9178","datavalue":{"value":"6736964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360874$00E94E28-7DA0-4707-A7A2-75B59EBD7C8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360874$81E5C186-15BC-446B-857F-94A812686F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360874$0AF247B1-E0B0-4BD0-BF10-F2974988EFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2de4032a7f3f4ab22ab484ef6d84d5a9d545726","datavalue":{"value":"Lindenbaum-Tarski construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360874$F86E564B-B896-4D2C-8AB9-59395954B415","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$81EFF03F-9700-4B97-B3C3-DA143264892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cc9c769c3668a0a1aa50bb552f5f533bb41a964","datavalue":{"value":{"entity-type":"item","numeric-id":31808,"id":"Q31808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$BF7A53AB-14EB-4157-9D1D-60908AE328BE","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":"Q2360874$B0A8B5AC-A959-4677-B307-B9B58023E9B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f155dae8b6e3233c0559c7424a6ff84d81eca87","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9382-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2360874$3977E280-71B4-4B2F-B323-45BC5A03370D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85b28ab6338e8cb8b73d88d3c51672de1ed6c074","datavalue":{"value":"W1424885608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360874$89D1192E-A0D2-4C8C-B3A9-CD898514A267","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2831285e9c06a668cd481d158a9997660e1e160","datavalue":{"value":{"entity-type":"item","numeric-id":746776,"id":"Q746776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$16543F34-7F39-4C76-A6FB-16073CB616D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b11bc3b3da7d3aa6e2b0101c4edd6ff5bfcb8","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$5D7F4EF8-2B4E-44A8-9946-941D111BB850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$E64B96AE-289B-4ED0-A1DD-F53BC813569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33244f7bb6c04da758d56eac971580e07b647512","datavalue":{"value":{"entity-type":"item","numeric-id":479837,"id":"Q479837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$13DF08F7-93FE-48A2-B221-61988FD3E563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b32387e29101706f1ba5b72f30a1e62fad7b8b9","datavalue":{"value":{"entity-type":"item","numeric-id":2796076,"id":"Q2796076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$9D359961-C413-419E-9F1D-551EE6A96884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$5BC73487-058B-4E33-BA3B-567349FCD110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$B84E3FE3-282F-4F25-8566-AC5B9FF5E4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4380123f1cdc6d8b00025649580393a84a096266","datavalue":{"value":{"entity-type":"item","numeric-id":5395699,"id":"Q5395699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$8B6434D1-761C-4EE4-9752-E0B0E2CC06F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af3d7417c4a1b24ba13440629544f474a76ce6d8","datavalue":{"value":{"entity-type":"item","numeric-id":2819818,"id":"Q2819818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$C770ACFC-63F5-4011-9622-B3057134CBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccce6a8cba5f659ac5843504ec60716cfb438e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3454115,"id":"Q3454115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$1F5F0FC5-4540-4CEB-A21E-DCC18F0E0AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894a1962cc2051cc4db3a88098a16840f993fc33","datavalue":{"value":{"entity-type":"item","numeric-id":1702895,"id":"Q1702895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$888E5D2D-F603-43A1-8034-3261E4F15761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d4a257ef82cf9bafad6ade7d2102f8d8d9ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":2931790,"id":"Q2931790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$BB55432B-C080-4F5F-A5D1-39450FE3F114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9c6a9c18369979213fbc387ac5168d5b2202a0","datavalue":{"value":{"entity-type":"item","numeric-id":5408412,"id":"Q5408412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$39C3EDA0-6EDE-46D0-9235-2402F961E6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$8CFE3FE7-B896-4F1C-A35B-4075DE0377F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b29f5c346bf5a24701d5c41a17898f8ee49261","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$6DDEE721-D69C-4A23-86E8-3BC7A7673E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761a583f69cec4c5be8f04f0c50f6850fd320730","datavalue":{"value":{"entity-type":"item","numeric-id":5255063,"id":"Q5255063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$3B513E79-6976-4F34-8FEA-D8D156CD68FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$C0DAEE40-EBF2-4488-BA7F-59E5FFE939BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$4186FE38-67E2-4BBA-8ACE-43DE96FB9D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59d33f5b14780d2aabcbabc1a9fbb911632524f","datavalue":{"value":{"entity-type":"item","numeric-id":5452722,"id":"Q5452722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$54E0E350-4545-4DF7-9BE1-59CCF982D1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ee499f94503d7688e68114c8a7d5fc0c365767","datavalue":{"value":{"entity-type":"item","numeric-id":3037385,"id":"Q3037385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$4C875BA3-609C-4F34-8CED-998C997867B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ab6e8e0bdc75b20da172ab4510ad41a1c82a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3608771,"id":"Q3608771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$ABC2B5FA-8424-447B-B4EE-89AFA11D64F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b898b3378e6dce0e6ca53be33ec7d556378d190a","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360874$A14C086E-80F9-41B4-BBFD-529F436DB375","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e8769bb1530265a5d66bb15111c26a8ba758bbd","datavalue":{"value":"10.1007/S10817-016-9382-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360874$8CC4F2EC-D87B-4CB0-9FCF-0A8421994375","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcb699756df25a31694772574fad73e45244a0f","datavalue":{"value":{"entity-type":"item","numeric-id":3454115,"id":"Q3454115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39531184cdb81bdff5ad4d5c8195e93b80ab1f8e","datavalue":{"value":{"amount":"+0.9319623708724976","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":"Q2360874$6A24CDE8-91E6-4153-BB3E-9A2F46169998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58401a7a9f2c25064b1e8710b188cfd2e56223c5","datavalue":{"value":{"amount":"+0.7993183732032776","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":"Q2360874$BDC327AC-D80D-4AB6-9CD1-95822A13FB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09c618116ffba129ce2245f8a3b3753edcf1797","datavalue":{"value":{"entity-type":"item","numeric-id":5305644,"id":"Q5305644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1e192fe74e295e7d73a42bc5a5b39734a37bdd","datavalue":{"value":{"amount":"+0.7887856364250183","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":"Q2360874$D56430F0-DAFE-449C-A67E-B098BA2DE07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d3cc4c569832b21d68d95e91bb81e5372938c6","datavalue":{"value":{"amount":"+0.7779052257537842","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":"Q2360874$40CCC68A-30FE-42AC-80E5-9D8F6AD66FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1096c13f92be729b0c4248f3e5828c2c54c1af6d","datavalue":{"value":{"entity-type":"item","numeric-id":4635587,"id":"Q4635587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5384af2eb7d92974db8acddad97e35be52bdfa0a","datavalue":{"value":{"amount":"+0.7761399745941162","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":"Q2360874$3EB50AC1-29D4-494B-8172-B5842E53C38A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2360874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2360874"}}}}}