{"entities":{"Q405669":{"pageid":407436,"ns":120,"title":"Item:Q405669","lastrevid":61602957,"modified":"2026-04-11T00:25:10Z","type":"item","id":"Q405669","labels":{"en":{"language":"en","value":"Mathematical programming: Turing completeness and applications to software analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340717"}},"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":"Q405669$5FC31A1E-1D0B-4173-978B-29B8CD24DD2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9469f027bd892372e72e0679fa5294d7d3824c6f","datavalue":{"value":{"text":"Mathematical programming: Turing completeness and applications to software analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q405669$DFAB7038-6F97-41E4-826F-5821747C8A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a403f0e41536237ddc1fb38868f224700c0ab1c","datavalue":{"value":"1358.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405669$48218B31-BAE0-4A0B-AF2C-18BB320999F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5136d46eb666ceed9accaea67bac45d312048c6e","datavalue":{"value":{"entity-type":"item","numeric-id":324864,"id":"Q324864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$176FC545-29C8-4798-B30C-F098F305ECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade07f3b66fe858ce3b6caad0dae7a530273705d","datavalue":{"value":{"entity-type":"item","numeric-id":342317,"id":"Q342317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$4D985A1C-B244-4F78-8C59-67E691E612B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$649E7B17-EEB6-4431-8A7B-BA96312B58C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129eeaa36edfc12cfb30819e9dd17da235a8ab47","datavalue":{"value":{"time":"+2014-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q405669$F0B53AA5-0274-4E05-B920-D093814DAE8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405669$24A2C0A1-16B2-456A-BD5C-8942547E3A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405669$3025B245-AC71-400E-A027-56E6D7740525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405669$4C7B54FA-5D35-4730-A71D-90ADC47A1AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405669$5608C9B4-88F6-4001-A41F-D95F11D902FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f549ae6bea9bf6efdfff586f7d19123ea1f1a20","datavalue":{"value":"6340717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405669$F3D8AB69-8F8C-4B68-AF00-269CC2A2C5C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q405669$FDFD7744-342D-46D5-AD22-722F700F3C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q405669$7B1BBA97-5589-4CEC-BE66-363F5BE969AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f141c38fc0f957138a1dcba7841658e980d8f54c","datavalue":{"value":"code verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q405669$91EF2346-B50C-4FCF-A867-8739F68C9931","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8040b4af4bdbddd901625b642758de8b343e3a35","datavalue":{"value":{"entity-type":"item","numeric-id":19867,"id":"Q19867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$6273BCA8-6338-4146-93FA-AC9A8FE29502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb2681abb3bba434415e4fc739b2d99830a88472","datavalue":{"value":{"entity-type":"item","numeric-id":16731,"id":"Q16731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$C6D85599-85CC-47F8-83B7-EC16FBB08AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b1e9068d8d8139c760e5335a41c74d107e1bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":16191,"id":"Q16191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$79FEFFD7-DD6B-412E-8C42-47937EE4E781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$250B7FB9-BC05-4AE8-AC60-3F3466CEF4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c72232bf803200903292e8d91395c8441ec640c","datavalue":{"value":{"entity-type":"item","numeric-id":17125,"id":"Q17125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$4109290F-D7A5-4BA6-AA59-1806A599F34F","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":"Q405669$F76D15FB-CF00-43E1-918C-B6F68405BEED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd64bfae27ef7795ae52ef895d89da78c100832b","datavalue":{"value":"https://doi.org/10.1007/s10878-014-9715-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q405669$E61E7D4E-2479-4EE8-9A46-6127115321C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edc62943e0adad64e49b13a7f9deb73f4ac0c1e0","datavalue":{"value":"W1975283720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405669$1D2FFF83-7AFF-4143-8EA4-BCF3803E6512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d04800089a50be71ae129fd64747fa94ad4d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3559281,"id":"Q3559281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$7C8B4407-0CDD-4DEF-8B56-502DE2502145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fda48c617f429bf708c5450fd522c5826f80e1c","datavalue":{"value":{"entity-type":"item","numeric-id":3396388,"id":"Q3396388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$3C6F2E27-78E7-4CEC-A61F-67D113DB804B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$36B657F7-FA1D-44E4-80CB-F50D036271F1","rank":"normal"},{"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":"Q405669$9EBE1EFC-BDAD-4CF7-94BA-B69200E2FB54","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":"Q405669$983F8A60-AC71-403E-BC8E-7446D510A6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4184bede76260ada121d92dbee6ba4beb4de4f","datavalue":{"value":{"entity-type":"item","numeric-id":3847854,"id":"Q3847854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$83723874-B071-4693-8196-4B137FCFBA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014fff1c94ad59e81787332ae7190a13501142f","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$2D0CF896-C552-47E6-B7C0-B83A172C65B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2073093aeb6208120f213f860dad84eb717663ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756502,"id":"Q5756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$7DE1A0B0-F1F0-45CA-8474-CD6CBFF88E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852a09821e1aeca22ef821f2cca7a12813aee001","datavalue":{"value":{"entity-type":"item","numeric-id":2814107,"id":"Q2814107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$429E876C-EC4D-4479-AFCE-D679DF7012C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"987d5fe9e1eb7279bb9d67d0f9ef48946c41eade","datavalue":{"value":{"entity-type":"item","numeric-id":4004279,"id":"Q4004279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$D17CA6F2-B360-4E43-BB6E-A1E300677BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9170525faf34d26c04595607302c462d55db5a0","datavalue":{"value":{"entity-type":"item","numeric-id":3953760,"id":"Q3953760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$A03D6E63-3465-450B-8AE5-A5D2BFFCB0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527b6347fab5ac85d26c70f591056fd4db8931f7","datavalue":{"value":{"entity-type":"item","numeric-id":5672450,"id":"Q5672450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$2366C531-765F-4B5B-937F-BBBEBE96C325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f9d20828abe33dd544faea2d39ec57ebe7fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3783260,"id":"Q3783260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$C2CDB4F3-087D-42ED-8AC9-8712673B696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09dd7204e878397a1102013dee92f411241f7aef","datavalue":{"value":{"entity-type":"item","numeric-id":2861570,"id":"Q2861570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$3F9E0AF9-CBA9-4E74-8A78-A0B8310F9A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b4dea0854fd1f798d168f43bb00a67443063c13","datavalue":{"value":{"entity-type":"item","numeric-id":848744,"id":"Q848744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$0F836802-909C-40CF-AE8A-475398EFC737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$975F1258-CEF7-415B-9167-13BC73F44CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405669$B40B61DA-6F8B-4434-9964-3B66EAB1AEBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13f8d2afa60ff5f8fcc25b8cc7c5ef6a58a07bd2","datavalue":{"value":"10.1007/S10878-014-9715-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405669$14F57BEF-BEF0-4DDD-BA59-3D48EC75E5EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc1d1515252f1e141ce433dfa3fdaab20d66b46","datavalue":{"value":{"entity-type":"item","numeric-id":3709921,"id":"Q3709921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43336208602bd8013b55088d527646188ba19473","datavalue":{"value":{"amount":"+0.7518929839134216","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":"Q405669$B2CE5791-13C8-4DA3-9E5B-6C13DBF10699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc31841494312ec179742046caff22e01899a14","datavalue":{"value":{"entity-type":"item","numeric-id":5241417,"id":"Q5241417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b95b5da5bd77869e66c8b41cdd352365aba5697","datavalue":{"value":{"amount":"+0.7018548250198364","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":"Q405669$D9AD0340-F540-4181-9ED9-21E06AF4DC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96dedcd70cd50de8eecfb8fbe8988737ffd8c20","datavalue":{"value":{"entity-type":"item","numeric-id":4303127,"id":"Q4303127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7bc0f41e232f049282218655221c0ed561c811","datavalue":{"value":{"amount":"+0.700427770614624","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":"Q405669$A63AB6C7-936C-4D8B-A491-945E91B8BF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f8fb547a6e03c53dd6413528e41785493e63a7","datavalue":{"value":{"entity-type":"item","numeric-id":2879266,"id":"Q2879266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67101b8d2f55c01bdd51539789fb6d79a46a2d50","datavalue":{"value":{"amount":"+0.6854677796363831","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":"Q405669$3014159C-8AE2-47A4-B37D-F70A07191151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c4b0cce3e2196d60d60231c8e3f87c7ff0fd14","datavalue":{"value":{"entity-type":"item","numeric-id":3428749,"id":"Q3428749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539439083001397ac77c3cb53b3a9bc05e822569","datavalue":{"value":{"amount":"+0.6811489462852478","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":"Q405669$B931F449-34FE-42A8-B786-01CF869C65A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical programming: Turing completeness and applications to software analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_programming:_Turing_completeness_and_applications_to_software_analysis"}}}}}