{"entities":{"Q4994700":{"pageid":7024277,"ns":120,"title":"Item:Q4994700","lastrevid":58387758,"modified":"2026-04-05T00:14:00Z","type":"item","id":"Q4994700","labels":{"en":{"language":"en","value":"A survey on product operators in abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361362"}},"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":"Q4994700$A0D6AEB6-4866-45E0-AFAC-CCB6B80A0F0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7370ff3b84f1145c544683989c0b518e9c120b2d","datavalue":{"value":"1464.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994700$F8047971-9862-4F7F-9082-29B07A5FC2E3","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":"Q4994700$650556AB-4963-43D9-94BB-A9EA6D496C79","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":"Q4994700$404500A8-1C08-42FE-8D3F-D429D4959E73","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":"Q4994700$3EC81670-7678-4D4B-BD81-E898539F078E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2f3a985dcf2407d30ab45f57448460afb353a2a","datavalue":{"value":{"time":"+2021-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994700$E135A5B9-4E67-46EE-AC17-788968B78DA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea7c795ab78658d2d35e3c8e7409e0873db0abd7","datavalue":{"value":"https://arxiv.org/abs/1309.5146","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994700$0DE3F137-8E7F-4D05-AE77-57F4D69FA8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0ce8060b3a8a316fbb3bc34d42084d34c9437b3","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.19","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994700$5C6B2CFD-6DF2-4460-9572-A26C265485E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994700$82D549FD-360E-4A54-BBE1-494CB215301A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994700$DD416177-041F-4C85-9239-FD313DC97922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6fc65c2b1c290db77687eacc933b6ae5d5d850c","datavalue":{"value":"7361362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994700$CD2A3438-4A34-401E-92CB-B51410CD6060","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":"Q4994700$D8E0C2C0-95C6-4CA3-A13E-22C52D9D8BAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed887b53ed329f46ca41b85d1c7fb0cc31c67ee","datavalue":{"value":{"entity-type":"item","numeric-id":2275526,"id":"Q2275526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b701c8213f199247a030bfb64a1ace99d69b683","datavalue":{"value":{"amount":"+0.754638135433197","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":"Q4994700$4000CB69-4B1D-4DB9-8B6C-51CD3DDE39EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d91a47b7ae90ae3e1bd261c70ed3bb621c2e346","datavalue":{"value":{"entity-type":"item","numeric-id":4572005,"id":"Q4572005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b545603c797ca3379f1f8f2466a61b6947d947","datavalue":{"value":{"amount":"+0.7221514582633972","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":"Q4994700$A60C3B6E-749E-46D8-8339-C3D3E60AC8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43db39d0452c662201363e806099e3eb3cb5c7b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960538,"id":"Q1960538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6ab5fbf8d7e3ef6cc448a824d6d9b699739d19","datavalue":{"value":{"amount":"+0.7093601822853088","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":"Q4994700$6D031F8C-408C-4AB2-AD43-89053D038DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20df20d10bd6bd17dff0833ae1564e325270088c","datavalue":{"value":{"entity-type":"item","numeric-id":4738461,"id":"Q4738461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b7fdbef0b8742e51a18dee0c46debd2d91f120","datavalue":{"value":{"amount":"+0.706041693687439","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":"Q4994700$31EC1AF9-9D15-4644-8E62-A2A7E7CFFFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1096c13f92be729b0c4248f3e5828c2c54c1af6d","datavalue":{"value":{"entity-type":"item","numeric-id":4635587,"id":"Q4635587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffac3c81a5de00a6974967b17cbdf07a0816d6d5","datavalue":{"value":{"amount":"+0.7049092650413513","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":"Q4994700$EE55D417-6146-4732-895F-A686F838FA28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994700"}}}}}