{"entities":{"Q6045058":{"pageid":13179214,"ns":120,"title":"Item:Q6045058","lastrevid":47854159,"modified":"2026-01-02T21:33:57Z","type":"item","id":"Q6045058","labels":{"en":{"language":"en","value":"Verification of programs with exceptions through operator precedence automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689394"}},"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":"Q6045058$13DF1FC9-DB4A-41F0-809E-77AFEADCE3D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2d83e7245632906ae487b2dddcd09de533cf75e","datavalue":{"value":{"text":"Verification of programs with exceptions through operator precedence automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045058$172762BF-E775-4BCD-B8CF-454007D7A4DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d761acfafd777eeaf1229ad4430d11d40203d3e8","datavalue":{"value":"1522.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045058$4EDA3367-D8E6-416E-BB8F-C82F9F23F258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d274689dfa8ac556f2db76dae2d43040389ac194","datavalue":{"value":"10.1007/978-3-030-92124-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045058$2F4178B3-64ED-4E2A-B1CE-875552A46343","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df30e4342fc541ce2812727e43bf61b37a6f207","datavalue":{"value":{"entity-type":"item","numeric-id":6045057,"id":"Q6045057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$6AE469EC-6C3E-45EC-BA3A-5DE47CEC8D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c8515c1b785e5654c278b92d972b1672ace3b1","datavalue":{"value":{"entity-type":"item","numeric-id":832276,"id":"Q832276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$5738DABE-52DE-47B4-BCB8-D6A0DCAE7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7fbf2496e246569791b0f06bc68a82062b431a","datavalue":{"value":{"entity-type":"item","numeric-id":719246,"id":"Q719246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$73D54275-8B36-4FC7-A57A-419E00BB0CC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$B0AA4A1D-8D39-4DAB-9D6A-1C7829E52B93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045058$975C0028-E8A5-4DBA-9C8F-1DC916B53EED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0efbd4d78afe3e475613523ce4b7915aa241888d","datavalue":{"value":"http://hdl.handle.net/11311/1199461","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045058$D92E0DA3-D93D-4B7B-931A-655CBD4E0B0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045058$C56E0E92-1E20-43C4-9974-FC32EE7C8639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045058$3AEBB117-6323-46C2-B6BF-E43EFFD4818B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045058$D37924D5-E231-45D5-A9A1-6005F94E7ED9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"421aa53449244b2498ddc2a2d3b0b8920b8515cd","datavalue":{"value":"7689394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045058$9E05A1C8-28E7-4028-8A47-70A4698A73E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045058$D03AE4D2-96DE-4170-8B29-9D1CDD0CE775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f38e24b2c3a3875f856b5a22882b9a03eb539e","datavalue":{"value":"operator-precedence languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045058$E9A0BF82-5108-40F8-85AD-456B41D5D5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045058$BDB8F7F2-DAD7-4877-9434-D186F4839789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045058$D20DAE4A-79A6-4641-AA9F-C5B2038DD4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16260849d15e6a1f1a5e5b052c5f4dea3365792c","datavalue":{"value":"exceptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045058$045E8B85-D7EA-4580-8927-55C463406B2F","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":"Q6045058$C5A8D942-A81B-496E-88EE-458B873D3237","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe1e6fe6dbb9e32f4302484f5e7bb35d98019fed","datavalue":{"value":"W4205181222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045058$A39E12AB-1DD7-4529-80E0-BE0D08970788","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca5a54c67c83770e613bb050b490ce10deacac","datavalue":{"value":{"entity-type":"item","numeric-id":3623007,"id":"Q3623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$DDF5F382-DBEB-4C44-879C-1FE06E2C2B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f134ae5a4000739c8f5fe16dfdf540ab01d298f","datavalue":{"value":{"entity-type":"item","numeric-id":3176375,"id":"Q3176375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$7DCA3F35-2D71-424C-AC17-C375374C2392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60cfa2493d22b1f6e30e78482c1494fed827bb","datavalue":{"value":{"entity-type":"item","numeric-id":5703796,"id":"Q5703796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$F1BC2CFF-DFAA-4CC5-9241-22B1B94819B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$3BC70B18-0876-403E-B3DB-BAC6D4863B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$2A9AAA1E-A7B9-4068-835C-5F7D6654570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$2581AC83-2854-4C4F-A5E0-44D29F9EBACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f0705208bd08bf365d8e849c141104487eec1","datavalue":{"value":{"entity-type":"item","numeric-id":2215961,"id":"Q2215961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$97DA55AE-A059-434C-A6A9-534563ACC1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4de51ac382d2f020bf0242aecfaeb55e5705d2","datavalue":{"value":{"entity-type":"item","numeric-id":832277,"id":"Q832277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$FC2E4623-02F0-45D5-884B-B556B69FA539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$8320AB38-97E5-42C5-99EC-5A803E863FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$5B2006B8-58AA-4521-85F9-54F8A4EA1559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$75038D1D-0D26-497F-8E7D-90799C17A6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aff39c1b2290aa34005c6f3fd9e348438dfa64a","datavalue":{"value":{"entity-type":"item","numeric-id":5343340,"id":"Q5343340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$1E53DFF9-5BEA-440E-A4D7-0131342B97DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec3f4c34e322862b6f23d19fd68055d8d47c69","datavalue":{"value":{"entity-type":"item","numeric-id":294748,"id":"Q294748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$6970A5D3-C3FB-4D94-B715-ADE0B16B704C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551dd0e7d5392840fa888f8996e13322c8f71a4c","datavalue":{"value":{"entity-type":"item","numeric-id":5386261,"id":"Q5386261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$F1D95DA6-4C32-4D3E-B2BE-F0DBD7410AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$750086F2-8309-4C32-B684-1738E8875953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de32e79a316f4ba915617aa14ef93a799456844c","datavalue":{"value":{"entity-type":"item","numeric-id":2944566,"id":"Q2944566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$FF89BF6C-463C-4EE7-9689-F8B37B4B8E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a81eb14cf3d2b93ae7984784bbe538f1740c3c4","datavalue":{"value":{"entity-type":"item","numeric-id":1706605,"id":"Q1706605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045058$7E3D2D4E-96FF-4B42-9DFF-FBC630AB0E26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdeeb36496b10a1dc8006d87953598d35e3fa10e","datavalue":{"value":{"entity-type":"item","numeric-id":2215961,"id":"Q2215961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f4ed4b6c2f07b88357ca99dc6366aae3cfcb0a","datavalue":{"value":{"amount":"+0.8027728796005249","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":"Q6045058$5253AE5C-1C6F-43FE-BBA0-3D56C3D40196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52a7589645de3eb4166e599262dba7da6ae12b5","datavalue":{"value":{"entity-type":"item","numeric-id":832277,"id":"Q832277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e36ca723e4de4b755c6fbef5c747bb8eb9804f","datavalue":{"value":{"amount":"+0.7920326590538025","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":"Q6045058$6C63FCDC-5538-41B6-A644-37F577435264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34954377a258619df7d9ccb479827e447418db2","datavalue":{"value":{"entity-type":"item","numeric-id":2944566,"id":"Q2944566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370bed13bb201358511a3aa89785bad14ca6bca0","datavalue":{"value":{"amount":"+0.7362569570541382","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":"Q6045058$AAB21547-BE75-4B53-A4B6-A80607B51FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de906be3ee8c19a0b25ecebbdb15879528d0fab","datavalue":{"value":{"entity-type":"item","numeric-id":5300857,"id":"Q5300857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3550414cceb351e07e26b670b62905e7070f23a8","datavalue":{"value":{"amount":"+0.7312853336334229","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":"Q6045058$CE82EF6A-33D8-41B7-BD62-026A2E7EBE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d940167d1e1945107459cb065e0d99bd8c58116f","datavalue":{"value":{"entity-type":"item","numeric-id":3007634,"id":"Q3007634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ed730b5e40dda043a94feb8c169e95ddbae194","datavalue":{"value":{"amount":"+0.7053757309913635","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":"Q6045058$C49FEFC5-657B-44E6-9C2C-313E677B162E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045058"}}}}}