{"entities":{"Q3613374":{"pageid":5643280,"ns":120,"title":"Item:Q3613374","lastrevid":50603657,"modified":"2026-01-14T13:13:28Z","type":"item","id":"Q3613374","labels":{"en":{"language":"en","value":"Static Analysis in Disjunctive Numerical Domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528243"}},"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":"Q3613374$BDC88848-4CB7-4E93-82F8-C11640AB77B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b967a3d01688bbf972b1ae6081bdf0ade4b71fa","datavalue":{"value":{"text":"Static Analysis in Disjunctive Numerical Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613374$37FAC437-0A1B-4F26-B3B6-F62EF4D3AF64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfbbf51c20ca3f6c1302fa55211dab272a2f0b9d","datavalue":{"value":"1225.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613374$A5EFD4E8-29F3-42E6-8CE8-7CEA54B25D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0e3148fbcd2f712a9404757d76c8a9b5dc60bb1","datavalue":{"value":"10.1007/11823230_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613374$41092A2C-47B5-4AC8-9A0D-772DBF242AEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613374$15F64031-86F6-4922-9324-B48C8D087A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf482bc390836e4c23988820629e51ba0628faa","datavalue":{"value":{"entity-type":"item","numeric-id":947792,"id":"Q947792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613374$BBFB1317-C275-41B9-B6BB-41CA49EC8B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f6375daeb8e65fb1e2514cf51af034b0e089d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2643298,"id":"Q2643298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613374$B0829409-4748-43FE-8B19-1131B3904547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613374$EFE4A7C8-1BB7-4F5D-A5A1-B18871B26C48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613374$695153C1-5EF9-4D4C-A329-2FE01D2F7C21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613374$9D9DDDC9-7638-4BE1-A13F-9632A01B368B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613374$C484E199-0CF7-4612-8C1F-AD9DBCF5C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34a168fb3a5d9a7cf8cac2cdc24ae08d3f435434","datavalue":{"value":"65Y99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613374$D1DA1077-DC86-4CDD-A72E-56C6F6A2A593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613374$096672BE-EB57-4ED6-97A3-AF08BF914100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc21b2a3bdd9161441f9dc5c8e83eb1f19b4ba26","datavalue":{"value":"5528243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613374$F57A0EDA-FDB8-4565-9281-9BA02480CF69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46ff34e1d84d0a4729956c7d4ecfc0d65ecd906","datavalue":{"value":{"entity-type":"item","numeric-id":25615,"id":"Q25615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613374$5DE140F1-5E92-41A2-864C-29C76EED9D36","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":"Q3613374$4D176514-3880-463C-9FEF-BB42A11282FE","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":"Q3613374$2B202226-789B-4E83-9043-41095E164478","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":"Q3613374$77E94681-F983-4B14-9524-D7D2216AACE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c54de5480e527ea1c5a538bf4f858f43c06affeb","datavalue":{"value":"https://doi.org/10.1007/11823230_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613374$8978B768-0582-4C79-91D4-3E1F627DDBE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da9862bde6924ccd5b1369d2c41954d8b8f4bfb1","datavalue":{"value":"W1570919259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613374$DDFDA741-D12B-4892-B362-77DFE8C2E8E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8d70b5f3c7aa995de75ab746d8ca8c0c4382df","datavalue":{"value":{"entity-type":"item","numeric-id":6045021,"id":"Q6045021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0bcb86f2a300359c6eb819d7f9b6aaaec47eb1","datavalue":{"value":{"amount":"+0.8008614778518677","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":"Q3613374$CCDE4284-C6A5-4C12-A7C9-C4B8FDEE24C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db362c8bacc49ba3dbfa2573620311295324663c","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68f6e173b6536a5afc6a449fda7aed8288bdd41","datavalue":{"value":{"amount":"+0.7785376310348511","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":"Q3613374$1B667667-34D1-4687-8FA5-4A21438C7D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0885dd0d35a868ac005c1d4c4fd7f0046b0472","datavalue":{"value":{"entity-type":"item","numeric-id":4530865,"id":"Q4530865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91bff34ffc07dd1f783edab25c5698d075e386a","datavalue":{"value":{"amount":"+0.775048553943634","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":"Q3613374$7AC861DE-2E3A-492A-87B3-3BBF71E7272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba3f7e4fbfa02fca18eb45ed6e6f5186bf707da","datavalue":{"value":{"entity-type":"item","numeric-id":5458394,"id":"Q5458394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e649d06e86dcf73cfa1d5589208d157594827709","datavalue":{"value":{"amount":"+0.7699108123779297","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":"Q3613374$E61FADAC-1DE5-4007-A64B-CADF468E166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8f836a2688392302397813872f78dec52f14f5","datavalue":{"value":{"entity-type":"item","numeric-id":4930734,"id":"Q4930734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6180ea5b831d4ce103d4d77f3fe0d460d439ee5e","datavalue":{"value":{"amount":"+0.7684745788574219","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":"Q3613374$89D4FD43-9111-42D0-B155-0E8B5D196186","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613374"}}}}}