{"entities":{"Q703848":{"pageid":705697,"ns":120,"title":"Item:Q703848","lastrevid":63748344,"modified":"2026-04-11T15:16:50Z","type":"item","id":"Q703848","labels":{"en":{"language":"en","value":"Stack size analysis for interrupt-driven programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126483"}},"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":"Q703848$E068FE29-D503-46B9-BC1D-CDF7453466DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"385dde16b6c705440e9fdf0c0ac3de609b3baf64","datavalue":{"value":{"text":"Stack size analysis for interrupt-driven programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703848$278E56A6-FA04-47E0-8945-0B52EB18327A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70cce97c46693a02901e8731fde8fcdb6299dd4f","datavalue":{"value":"1090.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703848$82A82BF2-1753-4488-8344-D0F740E29E17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$B66CBEBA-073B-41AC-8559-67DF896E9657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9db8310fe4dfb525a877e8a8cf849852962cab1c","datavalue":{"value":{"entity-type":"item","numeric-id":703846,"id":"Q703846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$38D6C64E-40B9-4322-AB13-0E8B59AE7586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$03185B01-743C-4551-B3DA-B3AC05C9F669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ceab8c004bde5a83743f6287a0710c623740b7d","datavalue":{"value":{"entity-type":"item","numeric-id":703847,"id":"Q703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$36C45082-53DA-4BCC-8D23-86694B02C624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$B6047A2D-EF04-4BEB-880B-A0582C6FBDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$C52D8536-F083-4F57-B451-F70390386B2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$7732E08D-DD03-4792-BE9F-D21CDB1B89EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703848$26E8C00F-5773-4640-9643-306BA24E6515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703848$5E48C78E-FBFE-48DC-85CD-B0DCE7693289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703848$743B76B1-3036-4C3D-8450-E48A7BCEADFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f15d0bc668c404a0e3513ebde56bcdd59508134f","datavalue":{"value":"2126483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703848$F3A30228-F0B6-4C87-8F75-98E665599964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f703cf63359ecd7050cea6c21c99cfc53c4ff1b3","datavalue":{"value":"Program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q703848$43AF02A9-ADD3-4339-819C-93A6E4478631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f7236f3c53fe19eaeacf6b881c65c3511c514f","datavalue":{"value":"Stack bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q703848$06B58675-BDCD-4688-9B31-1A57C9E894C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf88a46a69d712aa3c6c4311de3f38c7add7908","datavalue":{"value":"Interrupt programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q703848$12424776-EE14-4B98-B66D-0536AD74E353","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":"Q703848$153F80AC-312E-4E0F-B1CF-3E1924A837E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"803a1cc8eeb8ca364a8c32818894a46b91810bee","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q703848$08677D34-D9BF-4B32-971E-B8C3B8F35F1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dff7dff072493db33e99d45383111a3ae6db677","datavalue":{"value":"W2166521230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703848$F913B13B-2795-45B0-A844-6BD8EF146CC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4892535842fe45a56dc50700941961b20d5cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3128622,"id":"Q3128622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$4E383C08-C8C6-4A78-AFAF-9B6E12142098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e393d52cbcd09fe4d7f4b56b466ac51a11386a65","datavalue":{"value":{"entity-type":"item","numeric-id":5392296,"id":"Q5392296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$7B00A42E-EFF3-48D0-A776-90BA60153FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$83B544D5-2F15-47BC-8A24-BCC437E0A94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$445F94F1-E80E-4426-A025-875D62243637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813d27419e0af181643f4094c693d01137ff0390","datavalue":{"value":{"entity-type":"item","numeric-id":4813399,"id":"Q4813399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703848$4BD6979C-173C-448B-BDF8-2E976EB5BC64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ccc0f7597b775e6871e63fa016fedd9edd83c90","datavalue":{"value":"10.1016/J.IC.2004.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703848$B04CAA8A-0A1A-447C-A986-A66D42BB4C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b514a66451ca26310d79168d59fcb1e07b5a6cb","datavalue":{"value":{"entity-type":"item","numeric-id":4813395,"id":"Q4813395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b034e01435dd458a85bd05e36d7ad588f8b0f1","datavalue":{"value":{"amount":"+0.9975807666778564","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":"Q703848$AD904923-056E-49FB-9ABC-45F4468399B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894b9fcc069d0fc6594fbdf8fd3c1a7a30a33404","datavalue":{"value":{"entity-type":"item","numeric-id":5392296,"id":"Q5392296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36cf67bcc7bf38da036240365416c8a031b365f4","datavalue":{"value":{"amount":"+0.7480008006095886","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":"Q703848$6BDC9544-FCAB-4810-AC2F-B6FD288691DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89a2b3589400e89342c2bd9f340e4bf75822aa2","datavalue":{"value":{"entity-type":"item","numeric-id":5408535,"id":"Q5408535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387bba36b98079cc28f863cfe6668a477adbcd13","datavalue":{"value":{"amount":"+0.7082039713859558","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":"Q703848$E2D15D56-A235-4BD8-8E33-8DC0265FADC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3b7df1cdb867772fca63ab45d57e7ed9d0380e","datavalue":{"value":{"entity-type":"item","numeric-id":5200480,"id":"Q5200480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2581f9cf3341a0d8fc4df61a70b4715f0a0f85b6","datavalue":{"value":{"amount":"+0.683893620967865","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":"Q703848$2FBF5881-D563-4941-9887-CCEA85CCE437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5139ff30100eb49dc3c78c1ad0b809a19b39e90","datavalue":{"value":{"entity-type":"item","numeric-id":4916234,"id":"Q4916234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c74de30213a1dea43c355850be43c6603e38a73","datavalue":{"value":{"amount":"+0.6660167574882507","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":"Q703848$ADFF2132-CA1F-4D6D-BF33-1DED2C58FEB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stack size analysis for interrupt-driven programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stack_size_analysis_for_interrupt-driven_programs"}}}}}