{"entities":{"Q3512479":{"pageid":5542383,"ns":120,"title":"Item:Q3512479","lastrevid":50405606,"modified":"2026-01-13T23:50:59Z","type":"item","id":"Q3512479","labels":{"en":{"language":"en","value":"Abstract Interpretation with Applications to Timing Validation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301096"}},"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":"Q3512479$9BC0D4EB-D866-47E0-A4F9-ABA9B3DF009F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3817c256e1364190ac98dd13b22a30033271b3a6","datavalue":{"value":{"text":"Abstract Interpretation with Applications to Timing Validation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512479$1A4250CC-21DA-494D-B23C-E79E95E95421","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27faccaedadbd5f683a01d66f6faacc0b690221a","datavalue":{"value":"1155.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512479$BEDBE614-FDF2-4B87-8E4F-4235FBD39541","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b973d3642d0833db337adb63ce8dd7e18793ae0","datavalue":{"value":"10.1007/978-3-540-70545-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512479$6987D912-9840-4971-A830-0782CB32EF4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51597db41f4c27af74a7dc437f8b3856bf44cec5","datavalue":{"value":{"entity-type":"item","numeric-id":598798,"id":"Q598798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$D125525F-12B5-4771-914A-74DC2BE43005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c04c4d3aa82402df548239aa67b1fec7b261d7","datavalue":{"value":{"entity-type":"item","numeric-id":627127,"id":"Q627127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$5BC5905B-1DA1-41D4-8AB4-95D4EE25D2B7","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":"Q3512479$CF47D114-47A8-49AF-A91C-37BA624B88DA","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":"Q3512479$30E41910-A291-4A84-83CE-F3B693CA592A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512479$12CE8426-7250-40FA-BECB-55EF6D06187D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f19d8c8b7a08d95f2bf9428d0dfda5286e9d5b4","datavalue":{"value":"5301096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512479$8CF7D910-F903-46E8-A481-1E929FCBE869","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":"Q3512479$309ED57E-6A17-48A9-9BEB-D481EAB5D6B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5715efaf33583c5e6d3b5cb9c10fbfed7dd34589","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512479$978F2344-018C-4232-AAD9-E75B33E04F67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f164633452db8b290173b865dde08342f30625d","datavalue":{"value":"W1599545538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512479$E268607A-F461-451C-AF27-17E8995BE560","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$9246CF11-4989-496E-A623-1C75D47AB108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$F3EFB204-7B71-4902-B87E-E5FCD514ADB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6e1588410337dd07172274ddcff3114ce32a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4473749,"id":"Q4473749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$8FADBEEE-17B6-44DE-8708-98AB95C0D9A0","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":"Q3512479$12EFCDE1-AF55-4061-AABA-4CE7CB76209E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737077e12a1f5158c073272edfb045a215ad07d7","datavalue":{"value":{"entity-type":"item","numeric-id":5030186,"id":"Q5030186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$6253502C-6247-4AD8-BD69-9E9DE7321620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2dfbd3f4f504ab8f785cea6f8808b5db160ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1818075,"id":"Q1818075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$4E2A823B-FD2D-4BD3-AE4F-FD38F6D95EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0385beb476f74347b6caaa53186c3cdca7a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$9102B2DB-CD79-4468-A62B-49AE1049CC2D","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":"Q3512479$189B2918-CBEE-49D3-B195-58F9AC77A13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$E748CA40-EAF3-4C1D-9F66-E51678F07637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98378a4e7104bf16de15fad2bc2166765523421c","datavalue":{"value":{"entity-type":"item","numeric-id":1856174,"id":"Q1856174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$83671642-26FF-4A2E-9C86-441E5FFF7C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6748191974cc4152edacc2739f66c80348656bcc","datavalue":{"value":{"entity-type":"item","numeric-id":5312911,"id":"Q5312911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512479$66C9ACA8-1A76-4000-A5A7-D3EBCC573443","rank":"normal"}],"P1643":[{"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":"af048e3d813125c0a99ef12ad6aa496548855348","datavalue":{"value":{"amount":"+0.8905489444732666","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":"Q3512479$B361DEA6-EF2C-4AAD-8FEB-1D8650A5FF3B","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":"6ef4bd5d73dfcbbe4b578b85d696afcfd704c640","datavalue":{"value":{"amount":"+0.8152994513511658","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":"Q3512479$1AC58153-CA9A-4BC4-9B14-FCE26BDB3A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c1b0bc00605c975f5744428b3d0b0bd4af25ef","datavalue":{"value":{"entity-type":"item","numeric-id":5493238,"id":"Q5493238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b247c7bd43e124f6c9daffa15e17177ba9fa6aa","datavalue":{"value":{"amount":"+0.7839902639389038","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":"Q3512479$DC6E2AEE-8B95-4615-9714-8CBC0DC80676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7fcf9c197fc2ba13bf6b08ad679e93c805abf","datavalue":{"value":{"entity-type":"item","numeric-id":5308362,"id":"Q5308362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05647d7ebe9d41ddd7a79225f3af234616a1fb0c","datavalue":{"value":{"amount":"+0.777137041091919","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":"Q3512479$7FF5DBE6-F77E-4B6D-8927-90BE2192C2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b765757611c38d53eea015b10810e6019ad7e4f","datavalue":{"value":{"amount":"+0.7745327353477478","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":"Q3512479$A662FE8A-ADB3-4792-B80D-5F35CEBCF915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512479"}}}}}