{"entities":{"Q5756737":{"pageid":7786288,"ns":120,"title":"Item:Q5756737","lastrevid":50157986,"modified":"2026-01-13T07:25:40Z","type":"item","id":"Q5756737","labels":{"en":{"language":"en","value":"Check It Out: On the Efficient Formal Verification of Live Sequence Charts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187399"}},"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":"Q5756737$0CEF15B2-8BDF-4F77-8EA0-A97E1AC4212D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4782c40a78a17d84e0c88425847aa9b2107ae865","datavalue":{"value":{"text":"Check It Out: On the Efficient Formal Verification of Live Sequence Charts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756737$BB714052-E054-4599-921E-99AC3EDCB48E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1e7d566d8aefe77d1696bbf1d55f5362f9bcc91","datavalue":{"value":"1188.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756737$A770D10F-BF78-4B02-A18A-9286B88BC82C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23d56804052d711ea61c5dffd5241d57e6b1ae81","datavalue":{"value":"10.1007/11817963_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756737$27D16DD7-83E9-49EA-9841-C53D911CAA5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3dc1bc1efb78d6b4ff9b751afa0b3e3e7be48b6","datavalue":{"value":{"entity-type":"item","numeric-id":239135,"id":"Q239135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756737$9AB83A9D-CC37-4F33-AD7A-D2235A3C2E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69fd14b62dc172e64c0b7c449be7f2153de7aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":271720,"id":"Q271720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756737$FEAEEE99-5E27-42FA-8600-481542A80A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1149dc19eb237b70332309cccd20957cd91eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1683434,"id":"Q1683434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756737$5D28281F-1078-40C8-8E90-4C664FE6CA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"631c95d6fe937505106ae7e08d72aa9fbd3956d2","datavalue":{"value":{"entity-type":"item","numeric-id":2754121,"id":"Q2754121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756737$4BA7E94D-FFA2-458A-8A81-E633A7547815","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756737$B2E41C86-F13F-41DF-8BD7-1CCE565A7D4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756737$5B5766CE-8CC9-4A8A-9848-F6D9879272A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756737$0A75AA88-FB6B-4DEA-9C5F-E622C6989882","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"209d81ec13599ef57f5c11507b7a82ac1886f247","datavalue":{"value":"5187399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756737$BBC3EB8F-120C-4656-BDB7-7E4E437824C5","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":"Q5756737$9FF1C685-C69D-4276-B44C-974BAFB09C18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a785fb5c7d4ac1845547b4d3216af31307cd2324","datavalue":{"value":"https://doi.org/10.1007/11817963_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756737$B825B80D-7A07-4E38-9E83-716CCF1A4A05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7129f8ef9a96eb4b42880f729c9e4f3561c5f71","datavalue":{"value":"W1603760039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756737$B5F33DD3-632C-4BF8-8777-661DC1A0681C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19eb3dac85778291952644f09a9308ec034064e9","datavalue":{"value":{"entity-type":"item","numeric-id":5897125,"id":"Q5897125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b07ef92a7ae46d4a6753800a899427bcc5492d","datavalue":{"value":{"amount":"+0.8285252451896667","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":"Q5756737$95C894B6-2CC3-4F59-8774-BB4F4EBBCD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a6afb93987faad280a68b13ba0d6850aece3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3593076,"id":"Q3593076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e859cff40a65832abcf724888cdba8f5f0117afb","datavalue":{"value":{"amount":"+0.8159881830215454","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":"Q5756737$D2A6E5F3-B4CA-4131-B84C-46BB771F05A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3ef8a46652782b7d1cad85782c7f17881136d8","datavalue":{"value":{"entity-type":"item","numeric-id":2769611,"id":"Q2769611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe22db66997fdd161b5479b539cc8eb27934b068","datavalue":{"value":{"amount":"+0.8124093413352966","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":"Q5756737$E3674E41-F5C5-42A9-B795-BCF18AB54AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c97739ecc51dc9b2c500e1b16a8cdb8d69424c5","datavalue":{"value":{"entity-type":"item","numeric-id":2863857,"id":"Q2863857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05139da78603857387060b2a8832932f5ad66b82","datavalue":{"value":{"amount":"+0.7897846698760986","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":"Q5756737$DA4563F0-C270-4950-9D7F-B1509D471D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f45325064c593d6d3024851c918832c30afebc","datavalue":{"value":{"entity-type":"item","numeric-id":1776581,"id":"Q1776581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906cede766974727bc6e10cef637c0f969fa7bbc","datavalue":{"value":{"amount":"+0.7743911743164062","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":"Q5756737$2E4A8C56-D3BB-4176-BCDC-E5B59BE77E6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756737"}}}}}