{"entities":{"Q3402292":{"pageid":3412995,"ns":120,"title":"Item:Q3402292","lastrevid":50894864,"modified":"2026-01-15T15:23:10Z","type":"item","id":"Q3402292","labels":{"en":{"language":"en","value":"Symbolic bounded conformance checking of model programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665781"}},"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":"Q3402292$54F56448-EF4A-4200-99F9-37A1C5D43336","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72a63e7d77647b39572a33eb36d23640dd73cb4a","datavalue":{"value":{"text":"Symbolic Bounded Conformance Checking of Model Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3402292$767F5D67-E382-4A3A-9E99-48695AB0D579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ed98f2f48a1dd314e3715b9098ab399457dddab","datavalue":{"value":"1274.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402292$88A02D0D-0928-4AA1-A3A8-E7585B64FDDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd6b6ca4833da7d26ffe7f4d9c340b8209501d59","datavalue":{"value":"10.1007/978-3-642-11486-1_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402292$806F558D-4875-4CC1-BB61-D097B227CCCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402292$536FDB13-7A41-4642-BBEB-5F51627E6459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402292$A6679174-C151-4DD2-86E5-D3DD86E3D907","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402292$0CC6A7B4-068D-4D04-B40D-0FC882BB846A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3402292$A2024D45-DC95-43D5-AB85-A80FA2655AD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402292$5BF9D1BC-4B3B-450C-91DD-C26EA4409742","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"849a1f96c21e6dcf66f74e18327ecbe16d0aff69","datavalue":{"value":"5665781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402292$E5EA781F-0FE3-421B-AF65-88BB5503E423","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402292$88C7BA84-ABDD-4106-8D14-060B6DE299D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402292$8C133220-2D63-43EA-A9F9-8C6C3D035AA2","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":"Q3402292$97ABECB5-BB34-47FE-B2F6-ED14EC3A6C48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bf15f061ddeb358baadb14ff1ff1cff4e8bb67c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11486-1_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3402292$A55E1C7D-928C-4413-85B0-BBC31D268540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b598d56fd2677db0b9d94c94a3bc26d0c83f258","datavalue":{"value":"W2136613387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402292$046A988B-FA93-41B8-B40C-402B828573C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1acd609f92ba4dbfc67b146e1c204e8b4bd4780","datavalue":{"value":{"entity-type":"item","numeric-id":3393419,"id":"Q3393419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6f0dbba27c8806d5ae0d2accb916530d4496dc","datavalue":{"value":{"amount":"+0.801624596118927","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":"Q3402292$31EB9793-5F4B-427B-A338-827752A5039C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c862c04a905e7c5feaf5cb26e9eb2a5dba0905","datavalue":{"value":{"entity-type":"item","numeric-id":4804894,"id":"Q4804894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0f20bd1435db2048c8464289c04d27295b8e72","datavalue":{"value":{"amount":"+0.7521824240684509","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":"Q3402292$AB8807E3-E437-4F17-BE16-523204178EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bc4433e20bbf1ca4a7bd0a5fde00fe23ab4b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1990501,"id":"Q1990501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d14aef27eda4e50c24bfc31baed8e42e5a423a1","datavalue":{"value":{"amount":"+0.7424783110618591","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":"Q3402292$2BC61E8B-5FB4-40EB-B3F1-B5A9FA9ACF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9d06cf2d8edff08f922c79b6a1fb638ac93b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2026779,"id":"Q2026779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bc2b80f980b92c7191f97fa4510d21d138d8e3","datavalue":{"value":{"amount":"+0.738427996635437","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":"Q3402292$F2F380B9-69A2-4A3F-88B8-B1AF1B5CC099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d77a8a4d278a87f1125a4c49d5cb18dd60f229","datavalue":{"value":{"entity-type":"item","numeric-id":5897078,"id":"Q5897078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0fc69d4333d6c8b8b6c63540abb0b22c34733a","datavalue":{"value":{"amount":"+0.7274807095527649","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":"Q3402292$D3B23B87-987C-4624-9CD3-45C3EF50007D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3402292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3402292"}}}}}