{"entities":{"Q1749121":{"pageid":1759863,"ns":120,"title":"Item:Q1749121","lastrevid":69128490,"modified":"2026-04-13T04:57:57Z","type":"item","id":"Q1749121","labels":{"en":{"language":"en","value":"The abstract domain of trapezoid step functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868744"}},"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":"Q1749121$FDD32F38-A9CD-4828-8A1B-C87BCBE01F77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e83dc9657fb6b092df370b3a9410396654a61455","datavalue":{"value":{"text":"The abstract domain of trapezoid step functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749121$3D44CB75-D370-4043-8303-137636C76C5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c44f98499b79014dc5e1f1790651c55458c8135e","datavalue":{"value":"1387.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749121$E0982BB6-FA3B-4604-823A-FA4B7F056056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$8F0A08A4-F5F6-4EF9-BE81-F0683D3D2EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7de9dc1bb8cf9a7178bb030cb895619011b07ad","datavalue":{"value":{"entity-type":"item","numeric-id":1749120,"id":"Q1749120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$DBC3F7F0-1205-4A3E-B97E-A4460BE8DD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"243400d5ddd1208389d474075e48066f7efc9228","datavalue":{"value":{"entity-type":"item","numeric-id":278743,"id":"Q278743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$BF82D90F-2856-466A-ABB5-3F5A56E63C1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$43275FA5-A3C1-4484-8BE3-43C3172AC160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749121$A9437391-2725-4305-93B0-E3D96A4ACC38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749121$2D4B9AD9-E1E2-4CF0-8C7D-78D78B214BE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a482a974f9ba2f2f3ba92befb4865c3abe6acc33","datavalue":{"value":"6868744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749121$E3554117-4472-4899-BADF-78B041396C8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"912b376560370ff10dddcb7739ed59342ba686a8","datavalue":{"value":"abstract domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749121$288181C1-1E87-4E90-ADC2-1E16E3981F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749121$0855C449-F10F-42F7-B9BE-CF19D3268256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7620d2552caf817c7c00ba231cd6a19ca82dc7b8","datavalue":{"value":"continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749121$43055B9A-74EB-4BA7-B7C8-C5C756073513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb9b0c39642534312eadaac1283c3f05d8c7cebb","datavalue":{"value":"embedded software","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749121$11184BD0-FE8C-4263-92C6-2846F6D0DFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749121$6680C3FB-450E-49F5-99B8-63C93DF92B72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"220b0b6a5c70a3b603ad50e1a7f39159de610716","datavalue":{"value":{"entity-type":"item","numeric-id":14571,"id":"Q14571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$B418A49F-78FC-4607-9EFC-64CE7E6D3748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d003899790ea4243b59c37e2fed3529af97d306","datavalue":{"value":{"entity-type":"item","numeric-id":32154,"id":"Q32154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$28F076E9-536B-45EC-A0BA-7B217AA213AC","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":"Q1749121$58A2D787-C298-47C9-AA4B-1582094DE597","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1119b8a6785c21385fb26f11e143d50087cdeec7","datavalue":{"value":"https://doi.org/10.1016/j.cl.2015.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749121$CF3D0DA3-D55C-40A3-96C0-50DAF1C52E2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"781e1554ae413669573f7b7061cdbaa9e0acec78","datavalue":{"value":"W800283444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749121$BE504884-583F-4642-A6DA-9F2E89A4E5E9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cfbb0254427a7f62de4c82fa386d295ae306541b","datavalue":{"value":"Q115097993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749121$F23CA21C-70DD-49AE-B488-A4EB18C3FF5A","rank":"normal"}],"P223":[{"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":"Q1749121$25D0AD0F-1131-4E01-8FF3-6C5678A9122A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890821d39e22e55d75c64d4152ce3026a412df71","datavalue":{"value":{"entity-type":"item","numeric-id":5452705,"id":"Q5452705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$ADF02EE6-30B1-4AC0-830C-9763261CE166","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":"Q1749121$D07F2D50-92BD-40BD-AFCC-C56AC1646AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ba4898077d7b269de7aceafb8ea43a2729a9a9","datavalue":{"value":{"entity-type":"item","numeric-id":3324260,"id":"Q3324260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$9E9C64E6-1135-49A6-82E0-32B9F2C2E72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d620a6169a812189355805f7f1784b54c3af7cca","datavalue":{"value":{"entity-type":"item","numeric-id":4205736,"id":"Q4205736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$0A888244-D5B4-4F6F-8C8F-6D9BC1345783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c79c3a2c5e0c6d91d5d809ab86bd62267e3bc","datavalue":{"value":{"entity-type":"item","numeric-id":845242,"id":"Q845242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$47AEDDCE-79FC-4568-83D9-77FF74F7F8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa41a25bba9b0800f7b34728327f1a3c9476c9b","datavalue":{"value":{"entity-type":"item","numeric-id":2275526,"id":"Q2275526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$DCCA0264-57B4-4599-BE1D-278A346CECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc0be52416caa14a22aab78d28777e52a103d17","datavalue":{"value":{"entity-type":"item","numeric-id":4659539,"id":"Q4659539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$5FEC88F0-6C33-4AC2-8087-AF55067AA252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586fae6e49225b59a9454fd3e5d7bea4f9f2b19c","datavalue":{"value":{"entity-type":"item","numeric-id":5308687,"id":"Q5308687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$6FC985EF-2B31-4F24-B347-514C537F7336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$75C87A7E-284E-472F-948F-23AD824B2C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecd85fac6a91f87d421a94407c81aa413d02af3","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$03C14FD5-0228-4E2A-9B48-320CCB8A1A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3bb057b1d8997c1b4ffe01d9dfc62c2e96e1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5255062,"id":"Q5255062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$390B22FA-0B3D-4F49-B8A9-E028613BF07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49593499d7416a69a57271ec80df159b9ee3a442","datavalue":{"value":{"entity-type":"item","numeric-id":3484771,"id":"Q3484771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$C76566C6-8711-40F3-B817-333DEC1A93FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098d384722b50b79d0440c50d6f1ab009bd2df57","datavalue":{"value":{"entity-type":"item","numeric-id":3768247,"id":"Q3768247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$9B628054-C139-4141-8C56-D369647228CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bead68560727744b2c55d7fc670162528351061f","datavalue":{"value":{"entity-type":"item","numeric-id":4770519,"id":"Q4770519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$D020862D-5A63-490C-9FC2-2E5255104062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749121$CAFAC5A7-2823-47CB-8C2F-49AE4F928BF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1eb93fc892e7d9c3372e361518d6d8094f8ce0b9","datavalue":{"value":"10.1016/J.CL.2015.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749121$730CAC22-BD97-44B6-9869-C2E00C7FAC0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e301915d462c127e1dc9056840cfc3f7febe6276","datavalue":{"value":{"entity-type":"item","numeric-id":5962973,"id":"Q5962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d952d0dadb30462614ebb6c7ec82c8417967ad84","datavalue":{"value":{"amount":"+0.7280079126358032","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":"Q1749121$DD08EB83-4056-4015-81A1-9BDB6A93B097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed259c6f9d9332850fef864619140414f18612e4","datavalue":{"value":{"entity-type":"item","numeric-id":5170166,"id":"Q5170166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b546f4ec1c4fd39a236a873789e9ad15c05422fb","datavalue":{"value":{"amount":"+0.7003206610679626","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":"Q1749121$143969DC-B573-4FFD-B72C-3555075BFC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c17e1a174912948a421353e27083551b15cf727","datavalue":{"value":{"entity-type":"item","numeric-id":5897434,"id":"Q5897434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5af90bc38480e961fcce8b74c8dc07e9ca4895","datavalue":{"value":{"amount":"+0.6917884349822998","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":"Q1749121$9030D442-D230-4891-B037-8DE488C2546A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7088e199057d99cac44c50cdef75f06b4a51af80","datavalue":{"value":{"entity-type":"item","numeric-id":5170170,"id":"Q5170170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6aacfc1fdcd56c7875015f85806d253fc7c737c","datavalue":{"value":{"amount":"+0.6867697238922119","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":"Q1749121$FBA3990D-3EAD-490C-8291-79C1A232F5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b233650ef5f506da6f4c7fdcf00ad0c945f5f","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e752d19c89a7ad38a473332276abd51c24670f","datavalue":{"value":{"amount":"+0.6843051910400391","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":"Q1749121$5842C2C4-648A-4C2E-873F-68831BBF76BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The abstract domain of trapezoid step functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_abstract_domain_of_trapezoid_step_functions"}}}}}