{"entities":{"Q2801764":{"pageid":2812502,"ns":120,"title":"Item:Q2801764","lastrevid":44692617,"modified":"2025-11-25T03:12:48Z","type":"item","id":"Q2801764","labels":{"en":{"language":"en","value":"Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6571890"}},"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":"Q2801764$37B67106-9AA1-42D4-BA27-BCF86197F6E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6095139ddfa2a82a6f3683e248db4730392ae2f8","datavalue":{"value":{"text":"Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2801764$B381591A-103D-4267-BE5E-98580F7CEBB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49f087462a3104100aabbab15447a376dd23c79e","datavalue":{"value":"1378.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801764$3E999EC1-4394-4946-ADAF-E7CD14A6B270","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f67b9f1bd94494e37498243736e1755452146a95","datavalue":{"value":"10.1007/978-3-662-49665-7_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801764$A18A412F-8DCC-4C9B-A09D-017ED1A63280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8759ce15eb301f3a733e7d622729cf4f76929225","datavalue":{"value":{"entity-type":"item","numeric-id":682360,"id":"Q682360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801764$44D9CCC0-F047-4280-96C8-102E84FC028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801764$8AC1930F-6DE1-47E6-B5FF-050C6B8A5BF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801764$7BAAE707-DC3C-4E0B-9A68-E9C0C8616AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfbb1de34f7051479a069f4e089aa9f4276a27a7","datavalue":{"value":{"time":"+2016-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2801764$50F5F3FA-4E2C-4F8C-9F0E-B16E8272C7A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801764$3AAC4A1A-56D7-4F0A-BEF1-2B9C8DC3243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801764$3A54AECB-354D-4D53-AD3C-3B3388391ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801764$DC73358E-EC79-4AB5-A6C9-CCF0778125EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf8c903c4e9bc261ae5c72ac424435d5828f4de1","datavalue":{"value":"6571890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801764$94502B5E-E44B-420F-BA5D-048E4F55E844","rank":"normal"}],"P1463":[{"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":"Q2801764$BCE9BD40-3970-4F39-84B1-030DD8DE399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f2d39590f1cfd8c5072378b770a6ef537626322e","datavalue":{"value":{"entity-type":"item","numeric-id":36048,"id":"Q36048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801764$BAAD9B54-88F6-4EA8-8B2A-B4B692840A2B","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":"Q2801764$677AA67C-96F8-4673-9F84-30855F329FBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91ddb79867fa1debbf219cd87e8b3f83755512c3","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49665-7_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2801764$C68D7AAA-71AA-4213-9A82-A3F535BC75DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b293353cf0ab67a023c048e0ba5798bbc8f4622b","datavalue":{"value":"W2477444687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801764$CD223C49-BD87-4E6B-A70D-722A0DC99B6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1605c8cde63a26cc99cdf1e45db7f42c3dd9bf93","datavalue":{"value":{"entity-type":"item","numeric-id":4518894,"id":"Q4518894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7954c0f0c75171b8eacf7c4d7ebef59b21b0c9b2","datavalue":{"value":{"amount":"+0.8990489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2801764$E6BCF497-7233-4908-AEB0-18302D74C373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0fdd75a45dfca390eeb59a04e76adba51f8ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5493232,"id":"Q5493232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faaabed406ff8820007d136e53be1df74e83a795","datavalue":{"value":{"amount":"+0.89594936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2801764$ABFE385F-D515-475F-8252-BFF3FF05D394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee8fff1c76d4e0123eb64394bb6ab65223b5cb","datavalue":{"value":{"entity-type":"item","numeric-id":5194962,"id":"Q5194962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5d6c3b7e719a3a3a024b5277d452090c6e9ec4","datavalue":{"value":{"amount":"+0.88815117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2801764$39B1E721-9DD5-4A90-99BD-A0D3882B8E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30200af6e12b11a1c4f472652b92ff43843a9259","datavalue":{"value":{"entity-type":"item","numeric-id":5394561,"id":"Q5394561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de6793419f354230a1f1ff716486d735d721c90","datavalue":{"value":{"amount":"+0.8857324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2801764$E13C95EE-5216-4558-A383-6C86802F07D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e6b5302683360907da256906c47a77a0a40ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4884666,"id":"Q4884666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96040907fd430e03fee1186068e08c15b84ebd55","datavalue":{"value":{"amount":"+0.88296753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2801764$42C5D5BC-5CDE-4B73-B1EA-121941D8E375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aecf97479ecb2e0408151dcb2ea4fcdfa025448","datavalue":{"value":{"entity-type":"item","numeric-id":439944,"id":"Q439944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9f6aad1ed3fc828c3a5b3d8c16ef7a1ba3f0bd","datavalue":{"value":{"amount":"+0.88198745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2801764$49719237-EE3F-4163-9A37-D463F69E2E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8785fdc3b665f792d872207eb191a9027d3185db","datavalue":{"value":{"entity-type":"item","numeric-id":682350,"id":"Q682350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f30f4b1a00032837c7b9cfa8d6e5521dce0033","datavalue":{"value":{"amount":"+0.8819128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2801764$7C88AF20-19F4-49D5-AC34-254A72567D19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2801764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2801764"}}}}}