{"entities":{"Q5929098":{"pageid":8105900,"ns":120,"title":"Item:Q5929098","lastrevid":47600257,"modified":"2026-01-02T04:41:03Z","type":"item","id":"Q5929098","labels":{"en":{"language":"en","value":"Verification of large state/event systems using compositionality and dependency analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1588285"}},"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":"Q5929098$4ACD2521-3317-455D-8984-C7889E72CBEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e8b3879dc07639b9f97db5c1f2272e427fed7fd","datavalue":{"value":{"text":"Verification of large state/event systems using compositionality and dependency analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5929098$CE8C13B2-572F-4FDA-B629-318EA4C38EC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60c018fb4239ca1aca9278bde2d9bce38ef31591","datavalue":{"value":"0970.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929098$1204A8CC-472A-4AA4-B57D-3157FC2299D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99014af8d46d893468574cf3102c68a5cc835afa","datavalue":{"value":"10.1023/A:1008736219484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929098$7D227314-FCE3-4E74-AB42-7EF61802C163","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90fd3ed72868b07086b20ddddaea4e9737005fec","datavalue":{"value":{"entity-type":"item","numeric-id":169902,"id":"Q169902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929098$FFBE1E6B-39B2-41C4-AA9E-93A06E9CA75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc14b91f3ea67d454f18e791d265c69e1964e48c","datavalue":{"value":{"entity-type":"item","numeric-id":169903,"id":"Q169903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929098$1EE1DF65-D3BA-4DE3-8D3B-8CD2901942DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa532253900a57da3ff2d892d85f39b33869ab4","datavalue":{"value":{"entity-type":"item","numeric-id":169904,"id":"Q169904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929098$9B398A92-08CB-4916-8727-784ECB01336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e5bc3b7d845235ddc147465f5a930a5a657b3c","datavalue":{"value":{"entity-type":"item","numeric-id":169905,"id":"Q169905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929098$8E10E0B1-7923-4726-92B7-29FA1ACAC142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d588b6f6df4a5a586ffd800e1c6a68ecb939f3dd","datavalue":{"value":{"entity-type":"item","numeric-id":1858444,"id":"Q1858444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929098$A0DA36A3-1BCD-4A57-8A1B-BA47A52DDB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929098$13B4EEFA-634A-431F-A257-E7F5A860FB0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929098$181E44D3-6D6E-4D62-906B-38C9E8C1C5C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66810b26c53348422cf67dd032df27ab202f42ea","datavalue":{"value":{"time":"+2001-07-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":"Q5929098$77C3960D-9813-4627-890B-81B64BF245DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929098$6BEDA4E9-784D-40EE-9513-71046D982A54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe193b0fb498894bb3f73d2ded473d9ddc99ef72","datavalue":{"value":"1588285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929098$CF121876-3441-4630-87A1-6835C32C011C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929098$E08A6B67-03CD-454F-B5B2-C5F2C59A481C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab40c40a621728a0d7f5ba8d400b8bf1e08c8170","datavalue":{"value":"dependency analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929098$209D351A-B4AA-4A30-BB7B-96B5F6827D23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c08b821e2757e65336a65d387f7a2d3401521642","datavalue":{"value":{"entity-type":"item","numeric-id":17930,"id":"Q17930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929098$2C274FAD-2EC6-47A8-8459-38967EBABF84","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":"Q5929098$06AA22EE-2420-4278-BC9C-3CCA2E680AA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98ef70701615f66d35fbf7600f718fdb76349efd","datavalue":{"value":"https://doi.org/10.1023/a:1008736219484","type":"string"},"datatype":"url"},"type":"statement","id":"Q5929098$2ACF2AFF-2DE5-4136-BDB8-281F24C9E946","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eda4df3232452566d5d26f2fcc8b6ac4989f0d4","datavalue":{"value":"W1625256512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929098$06258DCC-CAFF-4EC5-B0DA-5E4EEB4A3699","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821256108d413c43841696d533605225bf9b19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4818799,"id":"Q4818799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb239fc4bc2bb89494aa8039106ba212b287fd30","datavalue":{"value":{"amount":"+0.7935028672218323","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":"Q5929098$51D58D2D-A3FB-4E3D-9966-FDCF0197EB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02aea7472e9320e25517362827b3d47d7c8ffd8f","datavalue":{"value":{"entity-type":"item","numeric-id":2718777,"id":"Q2718777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d990c377059e519fbf66b1ddae5e78859af9a270","datavalue":{"value":{"amount":"+0.7744500041007996","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":"Q5929098$A69D68CD-2E77-4B94-8525-637E6A90685B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bca09ec366e8289cf8d5cbe3e326096d8f99bf","datavalue":{"value":{"entity-type":"item","numeric-id":2783115,"id":"Q2783115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bace75e8e5bc9a6548763aaffea18436851e2b","datavalue":{"value":{"amount":"+0.7628079056739807","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":"Q5929098$6509343D-FE76-4D75-9385-59BDC5B38BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438725535e326362f431c7d6fcec94651f569fe2","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1b95f68498a67e94a18e355f13bd17a002fafb","datavalue":{"value":{"amount":"+0.7594372630119324","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":"Q5929098$E1CBEF75-2515-401E-96A1-2FBEF8EB1FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f2b1d3bd200409369e68178cc9809d59dead18","datavalue":{"value":{"entity-type":"item","numeric-id":5448763,"id":"Q5448763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd72510c0d8405947006d1d79eb9060f2110a31a","datavalue":{"value":{"amount":"+0.7589927911758423","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":"Q5929098$F890242E-BDD4-4E58-8E54-A31B34F2EA29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5929098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5929098"}}}}}