{"entities":{"Q656848":{"pageid":658697,"ns":120,"title":"Item:Q656848","lastrevid":63373941,"modified":"2026-04-11T12:25:53Z","type":"item","id":"Q656848","labels":{"en":{"language":"en","value":"The two variable per inequality abstract domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5997558"}},"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":"Q656848$7A17B02D-535F-4BCD-8351-4D67EAD2C8E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de413affe0df3a11f4a76b9d89049caf95aeb7a1","datavalue":{"value":{"text":"The two variable per inequality abstract domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q656848$172510ED-87C7-4412-9F5C-5400292A9C16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"302d5ef37dcfc0ca85dafa391976c4d81d1a62f7","datavalue":{"value":"1232.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656848$7063E9BF-E1DA-4151-A4E0-7574E587B03E","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":"Q656848$4694A1A9-769A-42F1-861B-8136EF8C175F","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":"Q656848$9C13C11B-F69D-4630-BC27-B205DD8BA284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$007A4C45-2B77-4E58-8335-E86417224DD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"838e4cd92c3bfbf203f9466fab8ca1f8d1cd6888","datavalue":{"value":{"time":"+2012-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q656848$54028AF7-2D44-4CA1-B7A0-2CBCF814DB80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d1703216c88b706d1a080fb3200ee516fed307f","datavalue":{"value":"https://kar.kent.ac.uk/30678/1/tvpi-rev.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q656848$A9FFD751-8EC5-49F9-B0AE-26FA66E0E9FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656848$9B144515-7D53-4424-A1F8-ADFB404E215C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656848$3C192A71-9650-4B5D-BEA7-8829A1AAD875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656848$8DBA444A-71E9-461D-913E-6C25DFD5E320","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8981291dca951af457e403582217d79703cf7db","datavalue":{"value":"5997558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656848$3BE2960E-9C8A-429A-956B-3D03AF9EDE06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55aeeb601b094296ae777d3000cdafec0487568b","datavalue":{"value":"polyhedral analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q656848$D1E6381A-3781-4500-A862-A182062301BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q656848$50855572-4985-4C22-9AD3-73B4D5ADC2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q656848$22C9DFD9-9852-4513-A6BF-1FA2345AD1DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb73df82459d3f25f40c06b78cfd0d0320c4914d","datavalue":{"value":{"entity-type":"item","numeric-id":21902,"id":"Q21902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$E4937C74-7B15-4348-BBD1-0EF1DB985AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$18071839-E2D3-4056-A3EF-C5D58DB7A835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$1233D74C-8DBA-4119-B777-07F1ED50669E","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":"Q656848$8832BE46-0930-4DAB-9A50-858B265B3137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"804dceb725f2b5f5ee4b85aa2b2c9e27f61a88f3","datavalue":{"value":"W1991031013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656848$51BD2B6D-8FDA-40FB-8E47-739A4B38E4B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c642d3ed5f726891145ddb88553fa6112586442a","datavalue":{"value":{"entity-type":"item","numeric-id":1251805,"id":"Q1251805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$37B86AFE-CABE-4C1C-BD0C-CF4645DAC499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b70c81afc1baf8946901aee29206ab003de6c11","datavalue":{"value":{"entity-type":"item","numeric-id":1241280,"id":"Q1241280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$883F0EA9-4A46-4E8A-A211-DD71DFD926E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69b422dd861941f383952dd4f998ed57febf89f","datavalue":{"value":{"entity-type":"item","numeric-id":1134526,"id":"Q1134526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$879DBEBD-C472-4239-B417-88FB1BDA9A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe9679f80ee20f49229fd9e19e7b7f944d82e6d","datavalue":{"value":{"entity-type":"item","numeric-id":1199131,"id":"Q1199131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$7362D54E-FE0F-426F-9AA8-DDFBCFF72931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f214d92b54721b2023bc5bf6f717dd369a161b10","datavalue":{"value":{"entity-type":"item","numeric-id":1380123,"id":"Q1380123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$60A83595-84EE-4275-BF85-796C55CBE27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2148cab7bb0f0347dea7e36d9a70bbec7d7c299","datavalue":{"value":{"entity-type":"item","numeric-id":4411960,"id":"Q4411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$ED66514E-24FC-4FDB-B030-3197FC51DB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f73189fb4ddc8c34b937b26a6e2530670d30bc","datavalue":{"value":{"entity-type":"item","numeric-id":4170249,"id":"Q4170249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$397E10DA-9564-4DFB-AC2B-29283A46ED02","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":"Q656848$B7136CD2-1B76-41D4-855E-27F7CE9B9795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a740d882b0f53ab305b0df0cbe6f03c4603339e3","datavalue":{"value":{"entity-type":"item","numeric-id":4249563,"id":"Q4249563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$2DB46BE6-8479-4105-8661-77197FBC18BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0afe23b312c742483b5022f2c4100ff024c46c75","datavalue":{"value":{"entity-type":"item","numeric-id":5200808,"id":"Q5200808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$21F5D059-0A5D-412C-BA8B-18CB9A183816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c3ba7d9b46f7e0e0a225601559be8926e76b58","datavalue":{"value":{"entity-type":"item","numeric-id":3044350,"id":"Q3044350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$BDDD7160-F253-4D9C-AF63-6CA3F7EAC683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e71414912062461b63dcc6abf685164d11957ab","datavalue":{"value":{"entity-type":"item","numeric-id":5623505,"id":"Q5623505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$3956816B-CCEF-492E-974B-C0B8713CA558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928f46ec2cf29941d0b0532ba007525c5e3807f","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$CFCCA711-7297-4AEE-8A6F-498C4E33C657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$E25BC29C-7CA2-426B-BBA9-C1CD29677A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$9DB85290-0DDC-480F-BAD9-926461C77420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$89E6C30D-CB52-42CC-9805-1DB92ADF06A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$26B518C8-1C4B-4E92-B0B9-A567C3F87402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d7136b2ae182ef66b27077299059a989281ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5816762,"id":"Q5816762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$BFF58592-0FDD-4CBB-927E-50CC524E07F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8879eacbb175d3de4e9d23435de9abff4054ec","datavalue":{"value":{"entity-type":"item","numeric-id":4778703,"id":"Q4778703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$B7400E81-9D6E-49E6-9DA6-ECD4030CB59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b93cbcfe92914798c52148f95cc353b5e256c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2552382,"id":"Q2552382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$BB0D5E37-0A4A-4438-964E-B21CBF102166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83934c02f3843ed413f8141b583a9f9ababcb9b","datavalue":{"value":{"entity-type":"item","numeric-id":853727,"id":"Q853727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$73334C04-9A16-493E-B51A-D11EA83D47EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d955470d8b43ba7baaf37e1e717109a01d09796","datavalue":{"value":{"entity-type":"item","numeric-id":4268868,"id":"Q4268868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$9C7920B4-0A68-427D-86F5-3112E54799AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f17b8363bd48c014c1b7c54b945767b1667404","datavalue":{"value":{"entity-type":"item","numeric-id":1433661,"id":"Q1433661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$5D103A07-5782-48A6-95A9-FF9D7014BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2f61da27f952ab7043b082ebdc98abf9197bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4327416,"id":"Q4327416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$8E91C999-1A66-492D-AE44-C043C86080E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c184a968cc4e5306fda681741508fd66f4b9c69","datavalue":{"value":{"entity-type":"item","numeric-id":4391452,"id":"Q4391452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$17FE9771-C074-4354-8AA4-A8E99FD60D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff81489e80366438468bf6dfe10c7a159bc3ea8c","datavalue":{"value":{"entity-type":"item","numeric-id":4057549,"id":"Q4057549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$842FB915-3C66-44CA-A901-AC7B0DC3311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513b674bb8abdc0c5a7c305dfce60536994ac318","datavalue":{"value":{"entity-type":"item","numeric-id":1241283,"id":"Q1241283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$A413A1C7-127E-4472-AF72-98D2757CD9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4affcd19f5a48d3f0b5024aacd9dd119083a96c2","datavalue":{"value":{"entity-type":"item","numeric-id":3676213,"id":"Q3676213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$1B211A2A-70BA-43E1-B9CC-C0C306D14841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ccc981f49eea73910028422d96ea7792393df1","datavalue":{"value":{"entity-type":"item","numeric-id":4195960,"id":"Q4195960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$5E5F5E48-6BF8-49AC-8314-0B3E7B75233E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$A452F9D0-6FCC-45BB-AA3E-559B30816B87","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":"Q656848$5454E5AD-4E8C-44CB-A82D-847A2FBBBC21","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":"Q656848$BB001CE7-C3D1-488A-91B7-5D8ABDF53F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0990793c3ee061ace0a6ccae899c7783993b9b13","datavalue":{"value":{"entity-type":"item","numeric-id":5817857,"id":"Q5817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$DDD72885-5BCE-44BA-840F-93B38A56A8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62acb5eac89db2e3c6032dabab2d88e9279dd27","datavalue":{"value":{"entity-type":"item","numeric-id":4110607,"id":"Q4110607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$E378C251-458E-4DB6-8382-F3C3C6B21357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bbfa2750c080ec67d6b7bc35b58e0a9bc36c96","datavalue":{"value":{"entity-type":"item","numeric-id":3694703,"id":"Q3694703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$34CB44D6-D0AD-4D15-80D3-11435F84F1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b375626e8168abea54be4b23d013772e4058a985","datavalue":{"value":{"entity-type":"item","numeric-id":5898613,"id":"Q5898613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$8624F6CB-0A23-4676-AEBE-0CC1F4D3CB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a8a2682de4f7960cd401b364699d72bbe58a81","datavalue":{"value":{"entity-type":"item","numeric-id":3612010,"id":"Q3612010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$2FEA7847-EA55-4231-A310-6FA48DB450A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$D95E1C33-7259-4F48-8373-A710285D07F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ae588bbc36b40a181ac0e0b634e257b25877a8","datavalue":{"value":{"entity-type":"item","numeric-id":4344098,"id":"Q4344098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$D0F28063-8278-47A7-9BE3-CA97A7709B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bd5a29d3f1799530a2211baceb116aae128a0f","datavalue":{"value":{"entity-type":"item","numeric-id":4401009,"id":"Q4401009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$7183AE4F-E1D6-4AB8-921C-15C000B3E870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbfa73ac9df18013941340d21a3347d9c36dd18","datavalue":{"value":{"entity-type":"item","numeric-id":3857732,"id":"Q3857732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$59329E21-C7B8-4053-A106-5DECD44A57A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c63d982dc105c28707a995483aecf925525eec","datavalue":{"value":{"entity-type":"item","numeric-id":3922186,"id":"Q3922186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$99BFCDD5-6342-47D5-9F31-C9D61C214F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5233708b410e2f543eda93524e978bb73867c8","datavalue":{"value":{"entity-type":"item","numeric-id":3522080,"id":"Q3522080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$874A4B33-947E-482A-B760-BF4D8CF2F05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0237d0a13bef8fc967a6b9137c9fb920c21a4e","datavalue":{"value":{"entity-type":"item","numeric-id":2996136,"id":"Q2996136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$9BE8617C-A701-4E0D-BC7E-680325BCCAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185a28bb16748647ac05e616df254d792db1f3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4831398,"id":"Q4831398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$7AF3AAF5-7FF7-4666-B2F9-6EC48EFB43B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5d2c515f77748296f77794442a602796ac15b3","datavalue":{"value":{"entity-type":"item","numeric-id":5897441,"id":"Q5897441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$62117315-33C9-409D-A1BD-D87246E5892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814fff40ff200bc5e13c6d812176bfb0cc3e6573","datavalue":{"value":{"entity-type":"item","numeric-id":5385594,"id":"Q5385594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$EDBA2498-B935-4C68-AD7F-E8CE80D53E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589122fc263bb9a1fd735f4e58159d24892be2f0","datavalue":{"value":{"entity-type":"item","numeric-id":656848,"id":"Q656848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$0CD061E2-762F-4EA5-AF73-3096B734DA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$96A702B5-E91D-45F5-B3A8-0F2BAD969D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6714703c2ac2de65e10e0dce7b5e113a3ecfe96","datavalue":{"value":{"entity-type":"item","numeric-id":2575737,"id":"Q2575737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$EE50F102-77C4-4B3E-B36E-6039C8BC1567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf549148f17940809830f3b87999fdf98b90f5cf","datavalue":{"value":{"entity-type":"item","numeric-id":3667966,"id":"Q3667966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$4836FE8D-E559-49FE-94D5-5EA75FBE7846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c78940ec2fdb4d4025db7ec2f8b34b4958c72ae","datavalue":{"value":{"entity-type":"item","numeric-id":2819530,"id":"Q2819530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656848$DE472123-9F98-4CCC-801B-4FFCB08CC427","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2269bc984db8033f56714c028dca2fd72830eeb9","datavalue":{"value":"10.1007/S10990-010-9062-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656848$C50B1AB8-20B6-423D-8CE1-86365C962A07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6514006f9a796f8f1182bcc7b59d9cbc2ad9541","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"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":"Q656848$1157E6D5-3746-4D29-8926-5F300B4DDD8D","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":"911e3d2c5e768cc56336425667a4d9a4da1e6eaf","datavalue":{"value":{"amount":"+0.7897111177444458","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":"Q656848$1F867093-6A78-442E-8FFB-18FDBB0C1E9E","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":"d052c9e886140dd00d238e92cb5cb6d79d81f7a2","datavalue":{"value":{"amount":"+0.7695484757423401","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":"Q656848$68368FEA-02D7-4889-B653-51C32A7E2768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783fb6ef410442466c686a4b7454e36ffae23c56","datavalue":{"value":{"entity-type":"item","numeric-id":3000579,"id":"Q3000579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204ad104a892597b935b352ff3a148474da4f229","datavalue":{"value":{"amount":"+0.7665858268737793","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":"Q656848$1A8309CD-E5FA-44B1-8991-1C7A4C327CD9","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":"a695181fad9425a6d01c271bc6715626ce0e4c91","datavalue":{"value":{"amount":"+0.7607564926147461","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":"Q656848$9E82E137-0E8E-4CAF-9ABE-B0FD4A4106A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The two variable per inequality abstract domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_two_variable_per_inequality_abstract_domain"}}}}}