{"entities":{"Q1739912":{"pageid":1750654,"ns":120,"title":"Item:Q1739912","lastrevid":68872074,"modified":"2026-04-13T02:47:17Z","type":"item","id":"Q1739912","labels":{"en":{"language":"en","value":"Refinement to certify abstract interpretations: illustrated on linearization for polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048642"}},"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":"Q1739912$F8047B09-3D2C-4045-82A1-786477152826","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3411acdf48a7b37f634523b77aa3ea97d1c3b2db","datavalue":{"value":{"text":"Refinement to certify abstract interpretations: illustrated on linearization for polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1739912$6E69EC30-B2DD-41D6-8CD8-CF678B5D5136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28eb7792aaabcd530331577ae0d16490ec8b24f8","datavalue":{"value":"1465.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$C4CABD3B-EC85-437D-BAAC-C6D256123A95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ed05294a56bc1267717451807768ae6e944f354","datavalue":{"value":{"entity-type":"item","numeric-id":1739910,"id":"Q1739910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$7A3C48AB-73DD-443F-84E4-D12039022AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d925a0d664713074f517800742a96bc5e1515066","datavalue":{"value":{"entity-type":"item","numeric-id":1739911,"id":"Q1739911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$D0DE1497-A9FF-4E78-80F9-3F03A422403D","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":"Q1739912$AD9AAF15-4027-4FA4-9C5C-C8735C8AF5F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-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":"Q1739912$9C010215-C12C-4D71-806B-A1B5D5A13AFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$BA868232-B850-4500-A084-C6A0C3CE21C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2762df744fec88c5da60f696833f02907bd4417a","datavalue":{"value":"52B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$121E31E0-431A-4C70-8810-41A08051C1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$B641BB4A-51BD-4DDC-BADA-A0C2ED372852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$0EF89639-07F7-41F1-A31C-EE7C624EA695","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c38f933539eb582cce133cda348a6f088afd5896","datavalue":{"value":"7048642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$C073E41A-68D2-46F7-BD0D-605AC15024FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739912$0B8211E8-F7DA-407B-9717-80F22D5E7223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49801eee9d53e7243a00d8f19a041ab069d9f8f5","datavalue":{"value":"result certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739912$A5ED063D-D12C-47A3-8836-64E57E5A966B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739912$954F5879-96D0-4DFB-81C1-B6E7766D643D","rank":"normal"}],"P1463":[{"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":"Q1739912$646B7975-872B-492C-B40F-C66F63D74ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$37B8C0CB-E053-43C2-AF66-01E942362173","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":"Q1739912$88E778D8-EFDA-4CED-83A8-946AD2BE2DDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a62fbc0391737f1aa5dc44324f30857f8e6dec96","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9492-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1739912$82EF452B-B320-45C6-8008-09CC04469146","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eb53033c438ea5ad6ca2614b7ed39f68602d6e0","datavalue":{"value":"W2899860906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$6699B4DC-7A96-40C2-A620-0FF2565F96F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9484c9bc6718b97baddc75a606e56b65c62cc744","datavalue":{"value":{"entity-type":"item","numeric-id":3612622,"id":"Q3612622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$E27E8162-8F1D-4583-9AB4-CBEFBAA61E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13109e230082fb00e2046fbe7d1c04662e1ff63","datavalue":{"value":{"entity-type":"item","numeric-id":2945626,"id":"Q2945626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$E387282E-087A-4817-9993-65410AC0A3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f49fa1f49f14748f70e9226f387711ddcf8fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$A2BAA9ED-D792-42D1-B3BF-E6B3944B640A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$AABDC165-D30A-4998-83CB-1884214E61E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$0B69C11C-A25B-4084-9322-9D440432055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$4F6930D2-D757-47F3-AA04-4C78E9F69F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b2685bc6fd0eb7213f4d4ae68981ce568cdb9e","datavalue":{"value":{"entity-type":"item","numeric-id":448993,"id":"Q448993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$2980CC69-B8CD-48CC-9974-3499FA1291FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9811e0f445518a60fcf8a88a2ec5cd76d23ab843","datavalue":{"value":{"entity-type":"item","numeric-id":5477649,"id":"Q5477649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$7B3C29FA-DABE-4C2F-9BB9-2DB2192B3E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcd1262ebaeb142ece48b594c05a6eede332ac","datavalue":{"value":{"entity-type":"item","numeric-id":1112337,"id":"Q1112337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$D49F8745-5564-494D-B691-AFC22317986C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c8ee2ba4761f072245fcda14b83eb5462f27b0","datavalue":{"value":{"entity-type":"item","numeric-id":2796046,"id":"Q2796046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$302911F9-DC46-4C2F-A211-47C4357319DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b27fba20adb4b1be28577604256256716180d","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$69F02798-CC8C-42F7-8F27-088AF188FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864d65898a766783da6ec0392493dd6440361349","datavalue":{"value":{"entity-type":"item","numeric-id":5898628,"id":"Q5898628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$3339CF18-AED1-4786-8A01-56D43F490FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$0355C7D3-6530-4A96-9458-A51F1E6623C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eb31560a769bd532b11507937f960201bcd2a3","datavalue":{"value":{"entity-type":"item","numeric-id":2945641,"id":"Q2945641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739912$9C366FFC-5E88-46E0-B1C7-D7F38C0A9ACE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a87c04ef618eff5d6c04c388423028cbe7d3bb18","datavalue":{"value":"10.1007/S10817-018-9492-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$F42B272C-8F94-4AAD-BC1B-23BA5FB7CE47","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e0b4c046dffaa2cd46867bf550da6766d7a62a78","datavalue":{"value":"Q128953437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739912$5FA32492-0914-4735-BA34-AD4668FD9ABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b076ef968c6ccdb459011b1332ce0fe6f67ecac1","datavalue":{"value":{"entity-type":"item","numeric-id":2945626,"id":"Q2945626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec7a0ee8ee484b5e1a9e5d2007e5b326ec3dee8","datavalue":{"value":{"amount":"+0.9661580324172974","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":"Q1739912$1E2D7094-06F4-40F7-88F2-BFBB6A40A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f49f78ce79e3f09e8799733e1027e4aab21dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3184788,"id":"Q3184788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d3ea67356e715c9354cea65ad0a0806b935dbd","datavalue":{"value":{"amount":"+0.7869515419006348","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":"Q1739912$F9D76875-4734-498F-BC56-4F550C1326BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729b05f2ee8b5c0fc54cafe1361ee598a486056","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06ce39ae0a3b5e620fd4154b41f897430629b8f","datavalue":{"value":{"amount":"+0.7565454244613647","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":"Q1739912$C8E97E52-DC11-41C6-9F03-420514CAA414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db362c8bacc49ba3dbfa2573620311295324663c","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fef7dbf705e7852fef8bb224e92076243ed5c36","datavalue":{"value":{"amount":"+0.752655029296875","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":"Q1739912$0F7734E4-DDD5-4B04-8278-3693F49B3247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5b6de0488af39ef3830498792881213aa4e86d","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc79493e2b216f806a8d58f14b5754f5064687e6","datavalue":{"value":{"amount":"+0.7429869771003723","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":"Q1739912$85895614-21A0-4C5C-9DF7-DB88A69F93EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement to certify abstract interpretations: illustrated on linearization for polyhedra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refinement_to_certify_abstract_interpretations:_illustrated_on_linearization_for_polyhedra"}}}}}