{"entities":{"Q5493399":{"pageid":7522959,"ns":120,"title":"Item:Q5493399","lastrevid":49948684,"modified":"2026-01-12T06:05:08Z","type":"item","id":"Q5493399","labels":{"en":{"language":"en","value":"Programming Languages and Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065875"}},"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":"Q5493399$2CD561FF-9D49-4DFA-8515-089F9E743F74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0750a34bd761da02dc74542a311383d1b6bb3023","datavalue":{"value":{"text":"Programming Languages and Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5493399$7AB7BDF2-D36C-41CF-A1D7-C860D5944C8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"143a9263054eaa9abaafddfca7386ae64326ca10","datavalue":{"value":"1159.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493399$B6FA5650-8A59-43C1-AC09-A67DB0A52D25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1341b2f146a48213e622942eb9fbdde24c3a132a","datavalue":{"value":"10.1007/11575467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493399$7340F52F-04FA-41A7-891A-B78CE61E7875","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5493399$2687AC28-E160-4A5E-899D-172C6AE25D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e296e60635f909e1d7a67ffd7cdd348a4d088e9","datavalue":{"value":{"entity-type":"item","numeric-id":264547,"id":"Q264547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5493399$5B731936-9BD5-4D09-A54D-BF90AB159EA6","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":"Q5493399$0F7F9B59-57E7-4A12-BA0B-9C37E0361775","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d8047ef91e7ccd7af1b39494c1aad77dacfac1","datavalue":{"value":{"time":"+2006-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5493399$4041FF1A-588A-4570-AE25-417DDA66A155","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493399$F05854BD-9007-4ADE-94DC-86A340ACE5DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c387a857415a372edbf02c2bbb1217a8c30cbde6","datavalue":{"value":"5065875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493399$6543CDDB-4FDC-4EE1-AFE5-A300F38F3FF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584589fe912253015538b696d223d6d0b36ab5f","datavalue":{"value":"Mobile Ambients calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493399$257C43A5-A29B-4B36-9640-766CEE8EAFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"196ca29382f0bf76ae89321214e39110757c1489","datavalue":{"value":"BioAmbients calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493399$ABB2FE20-FA17-42AB-AC33-B6CF01F8FD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493399$48422FE0-EC0A-4C39-92EF-D53DDFD32E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493399$5913E296-1C98-4B80-A079-1A6A981209CE","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":"Q5493399$CF1560AA-8CE4-4AE6-B838-DFC15D643DA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7659eb5410d41dfa5a6a9c67f814f2461cc3bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":5385599,"id":"Q5385599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7836bd2e25c21324603576a35fa607e97a5a3ca6","datavalue":{"value":{"amount":"+0.8464147448539734","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":"Q5493399$0E1578FF-E11F-4DD0-9767-20CCEE1F68AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1decaf82694369643113bd45ebfc96eec9d9e8f","datavalue":{"value":{"entity-type":"item","numeric-id":989287,"id":"Q989287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f6df5e0f259e2121cf3c842b3456242343adaf","datavalue":{"value":{"amount":"+0.8298646807670593","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":"Q5493399$F0A38328-75DE-4419-AB61-4C961D12048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfe225237686ae9281556561b94b3c433dee7f3","datavalue":{"value":{"entity-type":"item","numeric-id":5466579,"id":"Q5466579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f01419ac627949ae2dc13d0ed8ec1f8fce6c209","datavalue":{"value":{"amount":"+0.7835288643836975","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":"Q5493399$D81D5E4A-88F9-4563-8F63-885DCF12FBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272c89c458de896f8054e2423bb84efdf3ddca0c","datavalue":{"value":{"entity-type":"item","numeric-id":4681304,"id":"Q4681304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd63a9b246eccbf9a18e0e4181ca31048bed7d24","datavalue":{"value":{"amount":"+0.7700330018997192","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":"Q5493399$E1C2F9D4-850E-4D1B-A240-3E9AC11DAB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2ab3c3e7c4228447a61097d575cca10e27df77","datavalue":{"value":{"entity-type":"item","numeric-id":5743592,"id":"Q5743592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d6e21dc6cd277ecb63905267de898f48c3a675","datavalue":{"value":{"amount":"+0.764696478843689","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":"Q5493399$E8E2342C-2C79-4291-ACC7-08C37E77A033","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5493399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5493399"}}}}}