{"entities":{"Q5503433":{"pageid":7532993,"ns":120,"title":"Item:Q5503433","lastrevid":92510276,"modified":"2026-06-05T01:53:10Z","type":"item","id":"Q5503433","labels":{"en":{"language":"en","value":"A formalism for reasoning about UML activity diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492531"}},"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":"Q5503433$D43BB767-CCFB-4457-9B3F-FA5A189F4F61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40790fb529d48d6c00eb7e8439bf4b96d92c82ed","datavalue":{"value":"1169.68511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503433$22CEAA73-6D1B-4ABE-AB70-663B6A3460FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ffb876442350742c0c614c1896eae27cfd3613b","datavalue":{"value":{"entity-type":"item","numeric-id":5503432,"id":"Q5503432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503433$5BE24B05-24AE-43F5-967A-30E14479B543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5503433$C4D6D107-23EB-46FA-A6DC-76C35A7280DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503433$F95F0982-3D6C-4FEE-86F7-167E6FA44EFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2971cc2f618c6a0d85503e606ebdb9888d66fe9","datavalue":{"value":"5492531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503433$967A9194-B69E-47A8-B1E0-C82D16C589D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683ff20120cf089f2020d009b1923e13410ec722","datavalue":{"value":"UML 2.0","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503433$525CE173-4B0B-4B94-BA5E-6BBA5C5BBA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503433$28A7A017-D881-4A83-B8DC-A2754ACEDD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"998f952a4562e8eb70301ae26ec9c502df097ad1","datavalue":{"value":"workflow managements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503433$04712BF0-68E0-4760-AFDF-1454ED16E1D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503433$87676536-FB6E-4530-B11D-D741083BDE57","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":"Q5503433$CB0F3EDB-FE2F-4E2E-88AC-DB6F111D6F19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087a5a98b57acaf2a4ba920cf6c25ef670f1390b","datavalue":{"value":{"entity-type":"item","numeric-id":5505610,"id":"Q5505610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0751ea61ecb5546ad50beb45bcb158ae441e0adf","datavalue":{"value":{"amount":"+0.8149499893188477","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":"Q5503433$6EB45333-CF76-4082-A85D-2D06AAB7CCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8384a269e2b38583b7970a42df2a53eb511dce09","datavalue":{"value":{"entity-type":"item","numeric-id":5696655,"id":"Q5696655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47522ae51cb583dfb23534028647a6da3123af4","datavalue":{"value":{"amount":"+0.8006781339645386","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":"Q5503433$C251381F-5BC6-461D-8E4C-730A72E47A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a4b3338b3af97897f121003b028b1aee32b4d7","datavalue":{"value":{"entity-type":"item","numeric-id":4483796,"id":"Q4483796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d656dae8334d58c46b004e1b24f660016745b5fc","datavalue":{"value":{"amount":"+0.8005460500717163","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":"Q5503433$D49E3E5C-2887-4D4F-99AA-5E9CE675BFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe3020013e85986e9132c0acd0e361c5680338d","datavalue":{"value":{"entity-type":"item","numeric-id":5464838,"id":"Q5464838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1cf414c58aab5ed8b418cee337b9628564b9fb","datavalue":{"value":{"amount":"+0.7999721169471741","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":"Q5503433$B16217BE-DBD9-4070-9EBF-D24173B14EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a00c868f4a1371a2c0228afa1cb2c872cda024","datavalue":{"value":{"entity-type":"item","numeric-id":3628416,"id":"Q3628416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67dbf9e1bcb54ae8b1aff881f2fa09eafbad280","datavalue":{"value":{"amount":"+0.7908550500869751","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":"Q5503433$D9E6B6A4-1ACB-438B-90B4-A061FCAC8727","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalism for reasoning about UML activity diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalism_for_reasoning_about_UML_activity_diagrams"}}}}}