{"entities":{"Q5452705":{"pageid":7482264,"ns":120,"title":"Item:Q5452705","lastrevid":41198829,"modified":"2025-04-18T23:58:13Z","type":"item","id":"Q5452705","labels":{"en":{"language":"en","value":"Abstract Interpretation of the Physical Inputs of Embedded Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259555"}},"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":"Q5452705$0035D5EE-EE59-41A2-B12E-A7CC2EED431F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3055ab64602243ea0c1a86ee407313de3391879","datavalue":{"value":{"text":"Abstract Interpretation of the Physical Inputs of Embedded Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452705$36E280A5-3533-458B-9EF9-373A4CF8065B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3433c21188b9d934c0fc22e2baaa4db7aae1f988","datavalue":{"value":"1138.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452705$E0E1A32A-47C3-4D82-A3DE-A271DA8A1544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7611d51425ec273ed588bd827bd64dfffa773b4","datavalue":{"value":"10.1007/978-3-540-78163-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452705$22178441-A2DD-4734-8AFA-1F7277B0BA87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23cb5932563e31092b87a96584d50cea804635d2","datavalue":{"value":{"entity-type":"item","numeric-id":411435,"id":"Q411435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$9C6EE709-069E-47C1-8638-707F9D136EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79cdc6798004069a0c05cd646360528ca8f098aa","datavalue":{"value":{"entity-type":"item","numeric-id":845240,"id":"Q845240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$2CCDA98E-82CF-46CF-940E-E23C91198B1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$809E85C1-857B-48F0-A41B-53C368F6B259","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452705$B8D34B1E-1317-46D7-9AAF-A1549E067EF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452705$33AAE11E-F331-46CC-8141-A9665BB563A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452705$A7264D98-219B-4E0A-9656-D0AC6CA0E4EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fe968d4869c008775626c9f9ba4b8ecbe512510","datavalue":{"value":"5259555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452705$508E0BEA-7809-4A75-BDDD-A199261E96D0","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":"Q5452705$A2214318-FF9B-4570-BC43-B868D9B65746","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63a3839842af62d4c8cfe5bff31e511c2f7a033e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452705$2AA6F398-3FF2-473A-9667-CCBBF337A6C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5353a54030e4c45ae190b45eae846bc39126559","datavalue":{"value":"W1521140517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452705$1B8AB0BE-6280-4008-A4EF-FC5152AB18F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$5AB41098-D0B9-4D6C-A178-063E1132C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655b7b5239411c608c678f5fc7461f3136608706","datavalue":{"value":{"entity-type":"item","numeric-id":5711514,"id":"Q5711514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$D665FA84-DF19-461F-9F89-887201C37370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792ef4f7b3c840634ea62aa3f3ddd07fba87d54e","datavalue":{"value":{"entity-type":"item","numeric-id":2649272,"id":"Q2649272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$B717E89B-B3C5-41D0-8505-D2914F88B3FF","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":"Q5452705$BF5757F4-FBEB-4A9C-BF26-C69C20F1357D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1224ebe7b8f2144d9e70fd5f03d268889039e820","datavalue":{"value":{"entity-type":"item","numeric-id":5705908,"id":"Q5705908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$4BF4BC0A-092F-413E-BBC2-5C6405FFE6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15493df6f452ee8722c5b938fec71e585253ab8d","datavalue":{"value":{"entity-type":"item","numeric-id":5466488,"id":"Q5466488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$77E1F8DD-090D-4E5E-A357-B34D68256916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c4600dfadd07a24cd31f492d72709127901a51","datavalue":{"value":{"entity-type":"item","numeric-id":4738356,"id":"Q4738356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$A0CFDD3C-897A-440B-83C5-944AACA84A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4843ec228c7173b00495fdb0dbc83e2aa6352d3d","datavalue":{"value":{"entity-type":"item","numeric-id":3142939,"id":"Q3142939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$F88FB3BC-CF9A-41D5-865A-74741E162D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abce7460f53931c79ff8c0ec3edb21464689b134","datavalue":{"value":{"entity-type":"item","numeric-id":4953388,"id":"Q4953388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$091FDC69-769B-4A73-9FCE-59D58351F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4847edae45c8cd5693fd38eaa5f00a7a6f04a7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3259919,"id":"Q3259919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$7F1A3B93-5565-4411-BE3D-976EBD24FA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ea3feadd3737d1cbb39406ad9c8acda1bde7e","datavalue":{"value":{"entity-type":"item","numeric-id":3813179,"id":"Q3813179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$ACB21077-E8D8-46A9-8D1D-5D513FB45B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd82aa976cf773ddaf351fb7592a67b36e021ae","datavalue":{"value":{"entity-type":"item","numeric-id":5711510,"id":"Q5711510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$21DAAA1C-64D8-40FE-866B-CA717FBE56AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ad66455b59f214243128ca82fb02c7629d42c3","datavalue":{"value":{"entity-type":"item","numeric-id":4249571,"id":"Q4249571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$B75D15A6-6963-40DF-9C66-56448B07FE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923be88f47a99ed447fc2dd69c2ad7a6b34e5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":4949367,"id":"Q4949367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452705$A034DED9-C5C0-407D-8DD4-A8E040932C3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5cb1ce38bdc1d63678d497b28cf9a4d60bd9431","datavalue":{"value":{"entity-type":"item","numeric-id":5250313,"id":"Q5250313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f7f9c9ddb1ebb4f8f8fbf57a8ce2afefe05816","datavalue":{"value":{"amount":"+0.8384031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452705$264E5E73-6FF3-4444-8585-3D869313EEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1646a21129a8eec207c3e0dc14103dde355a3af1","datavalue":{"value":{"entity-type":"item","numeric-id":5493380,"id":"Q5493380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45087b0b065caac5940d0edf67520e6938cfaba3","datavalue":{"value":{"amount":"+0.82938015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452705$F0716A9C-CF32-4636-AA2B-7628FCCF1FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640202a31f8c49d131a7b6418020112c3a0d4f4c","datavalue":{"value":{"entity-type":"item","numeric-id":2506297,"id":"Q2506297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a504592c001aab4246afd9d688244abf6bb7222","datavalue":{"value":{"amount":"+0.8165897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452705$FB02F3C5-C1B2-4ED0-BB34-3DC9E5F58CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f90fd7f87c3c12365b7e5f722cc3ecdcdf1344","datavalue":{"value":{"entity-type":"item","numeric-id":4645815,"id":"Q4645815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8201dea692135e56aa6ea29e9ed4f0494279a9b7","datavalue":{"value":{"amount":"+0.81604534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452705$68781244-BFC7-484D-AB58-38E7051C6CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c49d17742449b7cbdbcd56533e4f49cb421d746","datavalue":{"value":{"entity-type":"item","numeric-id":5897072,"id":"Q5897072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e750f91a0238bb6fb0160f408d1d56defaf143","datavalue":{"value":{"amount":"+0.8089837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452705$D10835F4-B114-4C39-AE40-901AF5CF4ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f29916e8598211c5614da25e823d431e0353f49","datavalue":{"value":{"entity-type":"item","numeric-id":5945700,"id":"Q5945700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365244f11cb31f0ddd7c8697adea4faec945c95c","datavalue":{"value":{"amount":"+0.8024582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452705$51E7CB67-F615-4568-BCB2-9DE28228CBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff84767d2c40fab6dd55a1ba7ccdbe86264b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":3377010,"id":"Q3377010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c94fda4f3f24b12615a7001e486b54adc291b5","datavalue":{"value":{"amount":"+0.8007494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452705$F6B34841-6EEE-4372-ACC4-350506674DA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452705"}}}}}