{"entities":{"Q5756501":{"pageid":7786052,"ns":120,"title":"Item:Q5756501","lastrevid":50157569,"modified":"2026-01-13T07:23:13Z","type":"item","id":"Q5756501","labels":{"en":{"language":"en","value":"Interprocedurally Analysing Linear Inequality Relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187160"}},"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":"Q5756501$3EF95473-1D9C-47CE-9B3E-E621FC5B68A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47bb98ef1175fb7c551b388df96d5e35426137fa","datavalue":{"value":{"text":"Interprocedurally Analysing Linear Inequality Relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756501$80C2A068-3676-46A3-90D3-70E7E81E9B7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0ff75492408969237889fa29b81084582811597","datavalue":{"value":"1187.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756501$22AEB459-146C-499C-AC00-2F525D8BFEED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77cbfd400c5db945ca8cc48ba9d83ea5274f9ae4","datavalue":{"value":"10.1007/978-3-540-71316-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756501$37436C78-EDDE-4561-BD45-6D2D3D91C2A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756501$27B93A4B-0779-4F79-92AA-DBDC71894276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc9440b4450f5dd6bcc92bb92152e8461510c35","datavalue":{"value":{"entity-type":"item","numeric-id":3522078,"id":"Q3522078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756501$ED73F8A8-3F2D-41E6-ADF4-161DB5DB7620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"430ada19ca65658c82bee1c1c36f2a836b801036","datavalue":{"value":{"entity-type":"item","numeric-id":2802448,"id":"Q2802448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756501$0C2DEC22-7CA1-4E29-ADB1-0D1A457A6BEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756501$225FDF03-CFE5-4F28-8C34-161072898F0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756501$33ABE9CF-396D-47D5-B069-F30E297B772D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756501$6EE8949D-9EDF-4BAA-9B29-1213FA2FD0CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d612b3e5f3602993a353ee38748f806a69db6fb0","datavalue":{"value":"5187160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756501$5AD14213-237C-45F7-BE29-D8EAD5FBB4BD","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":"Q5756501$8A6751C3-BC25-4E23-9DCE-249FD7BDF292","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"389d845b5cf23f3cc0bc1331c3f72fd74f3f116e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756501$EE30EE72-E27A-405D-A5F2-B0B3793CD1A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3c9211cd5123708e005fec05f96c140bc60121d","datavalue":{"value":"W1519509320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756501$C64C298B-C6D0-4C80-93F4-1EA358DC65E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c26e5ed336289ccae46fc46f085ed86ec878e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f333f99f3e71d23a8889d7a5ee3f189089f8b129","datavalue":{"value":{"amount":"+0.8099309802055359","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":"Q5756501$41276470-56D3-4325-AE51-4D2641EFD965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe0d969ba8ffc3369aeffdc9a7736e7ed91f8e4","datavalue":{"value":{"entity-type":"item","numeric-id":3000578,"id":"Q3000578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39d4b883374ff482633db3dcf2de54d17f8c60a","datavalue":{"value":{"amount":"+0.7847229242324829","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":"Q5756501$8E7D05BF-51C7-4E42-B4A5-7A9FDC4A2667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b58f347c2e55215d9020f8b65dddb90d89180f","datavalue":{"value":{"entity-type":"item","numeric-id":5897435,"id":"Q5897435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af7c8b29b2978daf2b9673590390fc84f90803c","datavalue":{"value":{"amount":"+0.7741584181785583","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":"Q5756501$3494877C-8026-4E23-8E2C-097AE271BDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288cf32e858436fc410024ed1cfdfde484c8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507b09d182be10e4cd5fcc9b1cbb77435a1e4cee","datavalue":{"value":{"amount":"+0.7729583382606506","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":"Q5756501$0C073383-58D2-407C-98B5-AAD60DE8B8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f81fe236d1a71531a64b1214931681f0a73866e","datavalue":{"value":{"entity-type":"item","numeric-id":3392932,"id":"Q3392932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95088ed848f1d884ac1d1ecf20b42e7b3ca3217","datavalue":{"value":{"amount":"+0.7710745334625244","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":"Q5756501$8958A31E-9F83-4D53-9D7C-D295DBAC32B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756501"}}}}}