{"entities":{"Q3512505":{"pageid":5542409,"ns":120,"title":"Item:Q3512505","lastrevid":50405744,"modified":"2026-01-13T23:51:04Z","type":"item","id":"Q3512505","labels":{"en":{"language":"en","value":"A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301125"}},"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":"Q3512505$7B66421C-73BB-402B-863A-E31C939E13A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa435bc9d506a43c6e6775a87c4616083acd25a5","datavalue":{"value":{"text":"A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512505$0C0B2502-2BF8-4D05-B449-165E5F2B3815","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"525b5296cd9f97e6dc93f606120a471bef547d6f","datavalue":{"value":"1155.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512505$F13F0901-37CE-49CC-BCA6-716D80604E4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f2127385be94c133e3cdc7ab20c7d48417cc89c","datavalue":{"value":"10.1007/978-3-540-70545-1_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512505$3FA5099D-366E-4EE0-A4ED-86E19B80D0A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b79748e69b13b80e9cac132980bcb17bb8e03dbc","datavalue":{"value":{"entity-type":"item","numeric-id":765510,"id":"Q765510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$2389F865-700F-486A-A216-C6C1D1B51AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$C777098F-6711-40FB-9990-728960E51148","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$0DF864FD-539B-49B0-B960-EA844E822656","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512505$6DA38CEC-594A-4F14-B781-1A2FF9E2E2E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512505$28F6CEE4-E03F-48B5-A296-2101C158DC70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c43accb2ba9e24ef2d36ff3195a784b0c9e338e3","datavalue":{"value":"5301125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512505$57F77014-70F7-4FA5-B420-4548DEA4AC02","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":"Q3512505$153055D3-494F-4BE0-8FF8-64B5984E2E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e2a9aef6585aa44ee478a95a1578528b8336b71","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512505$81340F69-D791-4978-AFB4-D243486BFFCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97cea3d74bc0b80fc64e6695b908242be517d733","datavalue":{"value":"W1492171827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512505$07EB5CAD-80DD-42A1-9C38-96BE12DE1A03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad90f6cec38c35afe0de2280ea56854eb9819aaf","datavalue":{"value":{"entity-type":"item","numeric-id":5897426,"id":"Q5897426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$32BE7E4A-B727-4FFF-8EC8-A5CF4F5DE981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddd0949a53b05a5c6e9163f0e19b465ef959e53","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$E9932BE2-C156-47FD-B35E-BFBD8FA7F1E4","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":"Q3512505$4F0AEE72-35F9-4A21-8E75-418996F400C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e7b8bdc6acef9bf216ea38837cea12e448f3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$330A9F90-49C8-40AF-9D85-8C10BD2510AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b3eab8ea5621b62b0ebdf051228ca6c983dd62","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$3D47B17A-3FC5-4CB4-958F-BF14A56F78CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5a7ec72f75de016381faf5e7bc0d67c18c7bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5716758,"id":"Q5716758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$5F17F5D2-74E4-4BE5-B325-2AF8094BAE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b311763f66db187692c242b6954d5589ac66","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$E75F322A-6F0E-4220-9B1D-40DCA6792C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f984f79ffd058a89b39bf713fe600c366cc21ae","datavalue":{"value":{"entity-type":"item","numeric-id":5458393,"id":"Q5458393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$80087871-C5CE-4367-A58A-8578B2677F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edf356fbbd80fb73637a4e5873af34dc2733137","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$4C6EE1D2-A2A7-4176-9C56-A5D791B75810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d0dd7bb6db6a4c0ce328175c5c1c2e0bc50527","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$8AD5F2A5-3DD3-4F54-9428-95120F5BC236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63cf2ce330aed26a5810a4c85886a9bbb0c7639a","datavalue":{"value":{"entity-type":"item","numeric-id":3452345,"id":"Q3452345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$E6E4EC38-383C-47FA-B1CF-64115AC7996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$AF4E944D-E122-4B8A-A874-1CE6AAEFD02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$D7702592-0F6E-4612-8B62-C522E65C4B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512505$92BC7DA7-E61E-43AB-B56A-F711FD67A513","rank":"normal"}],"P1643":[{"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":"1a5ae267f4777f94b93d0f91ccb3bcb542bad110","datavalue":{"value":{"amount":"+0.7782738208770752","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":"Q3512505$5FFB37EC-A214-4D9E-ACF9-24E820B5AF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed259c6f9d9332850fef864619140414f18612e4","datavalue":{"value":{"entity-type":"item","numeric-id":5170166,"id":"Q5170166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5ae267f4777f94b93d0f91ccb3bcb542bad110","datavalue":{"value":{"amount":"+0.7782738208770752","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":"Q3512505$11E68817-4ED7-4C11-9204-664CB3AB2B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacd4dbec5a12579112dce73a6681bf747d5e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":2796217,"id":"Q2796217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2519b7077abd93110befd1cbddc4e00fae83fda9","datavalue":{"value":{"amount":"+0.7743263244628906","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":"Q3512505$BE0EEE94-1022-4F14-AE1F-94FF52572394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63265ba597b7447f5f5aea714a4dfb159c048d2","datavalue":{"value":{"entity-type":"item","numeric-id":3512479,"id":"Q3512479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5b5602853bd8815eb02b9919d2df7b052b80cd","datavalue":{"value":{"amount":"+0.7567228674888611","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":"Q3512505$60F3838B-1377-4BD9-B097-EDB5E32511F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f178a7db5a158b075e1295df87a323d786d956","datavalue":{"value":{"entity-type":"item","numeric-id":3522071,"id":"Q3522071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7feac5f37208235f43486131271068f2fc619d2c","datavalue":{"value":{"amount":"+0.7360075116157532","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":"Q3512505$133580C0-E56E-4CA2-8FEC-A1914088817D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512505"}}}}}