{"entities":{"Q2810691":{"pageid":2821429,"ns":120,"title":"Item:Q2810691","lastrevid":52547489,"modified":"2026-01-22T22:41:29Z","type":"item","id":"Q2810691","labels":{"en":{"language":"en","value":"Automating soundness proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589329"}},"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":"Q2810691$FEBB4A82-BCCA-4509-BDA4-F8B8D99A321E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc8f8ea6c38dd4511556cfdebbf7546d5b4e9390","datavalue":{"value":"1339.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810691$7896BBB7-E6A8-4810-BF8C-432132A9A138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b73ea77b55f66caebdb675084a7121d3c23f6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1014570,"id":"Q1014570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$15C85C82-E817-4015-8A75-C6B14B59B791","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":"Q2810691$F7911543-1BDD-4D77-9861-2B8E66D3F752","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76ffc69a7d5fd5bda3b4ed249f40dec5f4ba2327","datavalue":{"value":{"time":"+2016-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810691$D7EA7EFA-6D9C-4823-AF93-2E6D2640A268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810691$5ACF6E7C-70F9-456E-816B-92525B7D5890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810691$001B0E69-AD67-4D3B-91FF-15C6D9C406CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810691$72ED67A9-7E5B-4A33-A67E-DB0086940554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de2ee4cac27f76e028a471904981f1ba65b61f05","datavalue":{"value":"6589329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810691$8FD872BD-FF81-4C94-8905-ED634EAB4759","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810691$C668E4E1-24E8-4373-884E-73EFF3199897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810691$F949510A-7B74-49EC-819B-D15E1DAF9338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810691$80928729-3B53-44A3-A709-5F751052B5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810691$404FBCDF-E949-4385-8A20-B2FE8EF084DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$F8895A20-4D52-4FCB-8EDB-54C36F7DEF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$6AE48008-92B4-4DA2-B637-7DB2D3E23766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$BAB7AD26-8A49-449A-A01B-05DDD56808C7","rank":"normal"},{"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":"Q2810691$BB629AB8-EBD7-4D85-B793-70051C5129A3","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":"Q2810691$F7334C8C-792E-43EA-B3D4-E7C3B97801CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23556226108c7c5427d4496350c023be82da54a4","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.076","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810691$6B116443-003C-41F1-95D7-EA54E3CF4EC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4285565a6f4c89540b7927d2b50cd132cb072bf9","datavalue":{"value":"W2008256913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810691$D338B1A5-B850-4C31-9452-4BC7F9B05DE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$AC3CEE56-9B76-480E-8AD0-BF7523070F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5be20bcaacec13dbd2e6917fdb7ce145bf2056f","datavalue":{"value":{"entity-type":"item","numeric-id":4736873,"id":"Q4736873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$4533C15E-AA2C-4926-B658-E40022BA8A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$1DAFD882-364E-4574-96FA-369B1C20F814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8f696f84212a8b1569227e4bc6ff7a353277b0","datavalue":{"value":{"entity-type":"item","numeric-id":5234712,"id":"Q5234712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$D3623743-B8D4-489D-9086-51952D83FA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$D208FC8C-F283-45AD-9F91-AAA7ECD68F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$C68D689E-08DF-4333-A270-D33DEEE37B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$03B06071-F94C-4B9F-9C0F-10B31F5F663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76218017137beb3b9737323c750b2d479072697f","datavalue":{"value":{"entity-type":"item","numeric-id":5705905,"id":"Q5705905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$70D7EDA9-823E-41CE-B651-8B71384BF1FF","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":"Q2810691$AD029A78-4A83-4F00-80CA-5C24228F04EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$F3D62A9F-CEBE-412F-B6DB-DA2D0B2A77E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$DF2B5966-6DDC-499C-8065-18E19EF6D8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$89A8DF1B-DC54-497E-9C8E-F283B971D8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$C26D5B8D-2E0C-4E58-9BC5-897380EEA05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2b6ef7829b1f1653c38a19e4d033bd8c87449f","datavalue":{"value":{"entity-type":"item","numeric-id":1575273,"id":"Q1575273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810691$DCC47D32-E939-440F-9308-AA5699B9BD86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f942e9e3efdf503aa48f9f60da2ad9bf33753039","datavalue":{"value":"10.1016/J.ENTCS.2009.07.076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810691$D25D1B67-2F35-484D-8482-DB87694F9D47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82b6d3157a4411b1fd62f1cda096c5ca476a4d61","datavalue":{"value":{"text":"Automating soundness proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810691$5228882B-C4F3-48AE-AAD9-F59BE9B2C394","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea22e35b59d27c012893b3152823290c19f30ea9","datavalue":{"value":{"entity-type":"item","numeric-id":2848938,"id":"Q2848938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8c657f1ba894df224bd533835142f3b81eec7e","datavalue":{"value":{"amount":"+0.7103022336959839","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":"Q2810691$0E20DEE3-731E-4B33-A2DA-D797D1FB076E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a56b92f49b4deaf84feb3b1ea35d5d027da5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4945209,"id":"Q4945209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b49ce7170bfbb34d687ababcd7997ee187ad47","datavalue":{"value":{"amount":"+0.7077603936195374","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":"Q2810691$71AF233C-6E86-4E0E-BB35-386848355250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d658500dde96051b50fd8aeae793e2321af12e71","datavalue":{"value":{"entity-type":"item","numeric-id":4428316,"id":"Q4428316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd914762fa55c2151d175a2a468e30ef0e63023","datavalue":{"value":{"amount":"+0.7069501876831055","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":"Q2810691$15451966-3DD1-4CD5-9EA6-9D08BAA63E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd58fd6243ca5ecfa61b5100df2e972a1ed7fb82","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e93567c58bf2dc00210c065066b50b226658d03","datavalue":{"value":{"amount":"+0.698967695236206","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":"Q2810691$47DE4767-7F70-43D0-AE74-72255E3D4F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df7469fd4b6c75916ba7f5d92ca1cc77277afb2","datavalue":{"value":{"entity-type":"item","numeric-id":4736873,"id":"Q4736873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d634cde8834967c8dd7b965d07c558e7eb122cda","datavalue":{"value":{"amount":"+0.6988036036491394","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":"Q2810691$64D887B5-242D-4257-AE88-A5E02D3F8DF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810691"}}}}}