{"entities":{"Q3079912":{"pageid":3090627,"ns":120,"title":"Item:Q3079912","lastrevid":51200063,"modified":"2026-01-17T05:11:35Z","type":"item","id":"Q3079912","labels":{"en":{"language":"en","value":"Two variables per linear inequality as an abstract domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860250"}},"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":"Q3079912$D2315BD0-6BF3-4B16-8B17-C2C06F8193C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2c039bb423cd7c367518e919c76771c138951d4","datavalue":{"value":{"text":"Two Variables per Linear Inequality as an Abstract Domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079912$83EA7BBA-4C85-4C20-9EC0-27BF1C5AC5D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ddc02af1f11e0d826fd19caafc05c1a4c7644ad","datavalue":{"value":"1278.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079912$AD764826-8847-46E7-966C-24467EC8A856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ac1e757b844ed9de55134b8c6ae40a4310b16b","datavalue":{"value":"10.1007/3-540-45013-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079912$A16AB355-5F7F-4C3A-B4DA-CB6B7C43DC78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78b7d66740c8762cd844a3ad525063cf0729d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":656847,"id":"Q656847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079912$FB107990-A432-4976-83A9-295B2FDD6A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079912$6A55BFAA-A786-49F9-BEAF-084DB80A1B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b78be09e060d47a3be0e8316b77e796d8d6efd97","datavalue":{"value":{"entity-type":"item","numeric-id":294782,"id":"Q294782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079912$5E96AEB5-ACF3-475D-A706-5A0895A4D204","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079912$B263B34D-1A6A-4CD9-B530-02281CD548DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-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":"Q3079912$2E539AAC-28BE-4671-BAE7-39798BB0EF3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d477d5ef9a92ecc141a883e90cca8e805673ef98","datavalue":{"value":"http://openaccess.city.ac.uk/1709/1/Two_variables_per_linear_inequality_as_an_abstract_domain.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079912$8E8C1AE8-266D-4D70-A826-D8A80CFDC0EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079912$7146EEE9-D99A-4F0B-9761-C6D329742714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2762df744fec88c5da60f696833f02907bd4417a","datavalue":{"value":"52B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079912$6F0B7DE5-546F-4FB8-A241-1622593626BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079912$188B4999-F85D-4547-ACCC-A2658ED90525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079912$C57D0252-ABFD-4239-818A-D7E79A2305B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a9dffb64810877f05df1e7578a579b673d3d67","datavalue":{"value":"5860250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079912$698601A6-AD9A-4E91-85A3-3F59609B16C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079912$493C84A4-1361-44B4-AF65-6DBA894E173B","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":"Q3079912$FBE1E4F9-AE5D-401E-99E0-6D52393E02D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6e69555c7000114a85e76608644410fd7e78d5b","datavalue":{"value":"W1957766372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079912$5295E21C-D403-41F3-BB85-3CCF0A1AA7CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d143fe7056dbbae9fdcc5ccb8897a7d277f75b47","datavalue":{"value":{"entity-type":"item","numeric-id":656848,"id":"Q656848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e18b8df55920d015e492bdd5d604a76c6a8f71","datavalue":{"value":{"amount":"+0.8300588726997375","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":"Q3079912$74E239C4-CF56-492C-B15E-C30B80B0ABAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f4003e678df777ddce754716cc9bae4d5064ef","datavalue":{"value":{"entity-type":"item","numeric-id":1733055,"id":"Q1733055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896f068bbc4f709bd0c2f2fd31ce059171236f90","datavalue":{"value":{"amount":"+0.7416772842407227","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":"Q3079912$AC5935BB-3508-4B3C-B6E1-F7CF528F0FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882ea569c499cfe4200b4f05143fa4d37cbbd307","datavalue":{"value":{"entity-type":"item","numeric-id":3656879,"id":"Q3656879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d091b30297b9e08657db2e8dddc5caacf41e7e","datavalue":{"value":{"amount":"+0.7356881499290466","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":"Q3079912$0E957B45-A73B-4C29-998A-795DBB5E5336","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":"eede2dc4bc052e895dc022b8cd60a9fe4f48fce0","datavalue":{"value":{"amount":"+0.7167156338691711","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":"Q3079912$CD4BC55C-2C01-40B4-BEF8-8E326AF1A64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec570d5829beedbfc349d0394b951142f0e8197","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e129a0789783d9e4ca510bf037bc994b4cc459ed","datavalue":{"value":{"amount":"+0.6991491317749023","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":"Q3079912$7138A8B3-035C-4C99-B34F-AC57C6065ADD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079912"}}}}}