{"entities":{"Q5415618":{"pageid":7445192,"ns":120,"title":"Item:Q5415618","lastrevid":92373089,"modified":"2026-06-05T01:33:45Z","type":"item","id":"Q5415618","labels":{"en":{"language":"en","value":"Reasoning about multi-lingual exception handling using RIPLS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294818"}},"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":"Q5415618$F8AF84BC-C7DD-4C7F-86BE-F2A4576E50C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cbc848b8deb23d56b14b5f6f956b957150df283","datavalue":{"value":{"text":"Reasoning About Multi-Lingual Exception Handling Using RIPLS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415618$FDA5BA8E-17CB-4B72-A4DD-FE47984C91D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"397adfbe219f9bb34a821205430f28c1002550f7","datavalue":{"value":"1286.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415618$956F5F70-6AF3-441F-8478-7A4E0D8FB832","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03caca38f89df37766da47c8a6ebb62c55f4b2eb","datavalue":{"value":{"entity-type":"item","numeric-id":5415617,"id":"Q5415617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415618$B6785459-9455-4E26-BBCD-94CDB1E83F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94e041baf872563e7e24149db79691269ea19919","datavalue":{"value":{"entity-type":"item","numeric-id":4162654,"id":"Q4162654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415618$DAF4DEAC-443D-452F-A42B-13053BA93405","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415618$3F95A987-A15E-4889-8D52-240EA25C1700","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415618$C8179962-544B-41DC-B035-E30B117CFF11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415618$C4C98FF1-05AE-42C0-9F9C-A0810D86CCB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ae86d64aee8bf982726fe3b880a8f143175c35a","datavalue":{"value":"6294818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415618$4B6BBF02-DF0E-47E4-992D-290CEB55DAA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c903d92089dff22847abd0832e98862d75362d91","datavalue":{"value":"exception handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415618$D62E36DC-3309-4293-A1EE-E3A2907FF152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a314f490deb2a00be4aaea916d3a8063b9542ad","datavalue":{"value":"formal methods and software","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415618$1B10E9F7-9122-4DA1-A6D2-E6617F2733D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5aea66354e7437ed43c3853d541f020598a06d7","datavalue":{"value":"multi-lingual programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415618$A9182B3C-D9CF-41D0-B628-897CD547F7D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415618$25711A89-8C32-427D-96CF-4DF724777429","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":"Q5415618$301414BE-E94D-429F-81A9-669A5CD07778","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98b3be7a9354a3cd3fd3babad8498148f57a076f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.061","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415618$A5A038F6-9D7A-4A61-896D-883A3E773541","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09a3661e936cdf9a59ea7f184188e979cfd725c4","datavalue":{"value":"W1992700900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415618$71698271-BCB0-4CA1-BEA5-4BB13455608C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6162a2234cfa6691725745a365b75d4d43df7e","datavalue":{"value":{"entity-type":"item","numeric-id":3189775,"id":"Q3189775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415618$BC9D4A03-EE7A-4121-A5CF-77382FBD05E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415618$1D404408-6ACF-477A-AA47-0AB605B8284C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d244a6c7a50f4a44641ef2857210e95582755f6f","datavalue":{"value":"10.1016/J.ENTCS.2008.04.061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415618$B5D2039E-E3B2-4CC0-9290-3E77F1600EC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a9ff1b1b9ddff092dbff108b08acd26d940abb","datavalue":{"value":{"entity-type":"item","numeric-id":2233542,"id":"Q2233542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be6df5eca89bea0604a386db1a38bd4d25a9882","datavalue":{"value":{"amount":"+0.6926924586296082","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":"Q5415618$2B28A209-3BB1-4B1C-9017-08CB96FDBD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f89c7b44f0b58d677110baa19c730f8b9beeea7","datavalue":{"value":{"entity-type":"item","numeric-id":3528956,"id":"Q3528956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b60885f443c99a8481f9e36225bfbf27b2afb7a","datavalue":{"value":{"amount":"+0.6860910654067993","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":"Q5415618$79E46525-ABC4-4801-B6DA-D4782F8D40C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918b4d55e3010a27c85a2ee91ecdd38a75caf937","datavalue":{"value":{"entity-type":"item","numeric-id":3339264,"id":"Q3339264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e2272dc7e493fdca1426db3979b48e6be6143f","datavalue":{"value":{"amount":"+0.6441173553466797","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":"Q5415618$2D79C5D0-74A7-499F-9852-44F50D96C236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc951d58c701e2ad60e4fce61c3b3169732017d","datavalue":{"value":{"entity-type":"item","numeric-id":5184387,"id":"Q5184387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c8affdd662679b6b5550cf88f7125841241588","datavalue":{"value":{"amount":"+0.6438419222831726","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":"Q5415618$E89BA918-3F3F-4B1C-8BB1-DF08F4B708C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6f7092b762b4d9df8fe34248aead737a835cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3189775,"id":"Q3189775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8aa68bb55aa659286c654565357f3695a647b7e","datavalue":{"value":{"amount":"+0.6438016891479492","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":"Q5415618$02D6D2C0-01DE-47FD-8FA9-CE70C46861BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about multi-lingual exception handling using RIPLS","badges":[]}}}}}