{"entities":{"Q6535218":{"pageid":14146361,"ns":120,"title":"Item:Q6535218","lastrevid":95734295,"modified":"2026-06-05T09:40:26Z","type":"item","id":"Q6535218","labels":{"en":{"language":"en","value":"A modeling concept for formal verification of OS-based compositional software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770190"}},"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":"Q6535218$D259E4C4-8093-4522-B7A2-29A9B22127E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88ad41cf251bbd19dddf56f1bdb8018e056efacc","datavalue":{"value":{"text":"A modeling concept for formal verification of OS-based compositional software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535218$DDFBF94F-2C4F-4CBE-B75D-0E2DB63BD4F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c721af0a2fc004773b2b7dfe8fb27257bacb0277","datavalue":{"value":"1541.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535218$8E3014DB-9B09-4BB5-A298-C105023234AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b691f36a642feaf14836df8405aff74e053f4ce5","datavalue":{"value":"10.1007/978-3-031-30826-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535218$2FDEBD5D-BEA8-41E2-9F07-0D5E1A8102FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0edf11188b2833207478612468a42aae75fa73d0","datavalue":{"value":{"entity-type":"item","numeric-id":6535217,"id":"Q6535217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$EF1B0977-BDF8-4735-88D0-BBB0B1282E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bed6d2414039609ebe782b0a2f5ec7cd206c6c7a","datavalue":{"value":{"entity-type":"item","numeric-id":1699227,"id":"Q1699227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$784BF530-04D3-45DC-9593-244774A02EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9871e2d43710340f622e8fd158b0d4e95fc9a63","datavalue":{"value":{"entity-type":"item","numeric-id":2169110,"id":"Q2169110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$694D3680-AA50-4423-AA22-2C8A8523F5A2","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":"Q6535218$F6C90DE0-2C61-4347-81AC-3F2C8F920874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318e526d17a089e60f3f8db4747bbb06e4a8d3e2","datavalue":{"value":{"entity-type":"item","numeric-id":438184,"id":"Q438184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$D2988D95-E0C9-4BA3-9EBC-34A1553E7FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535218$4FB4842F-8E28-4B29-A0B2-F0BE73996F28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535218$5A6F5FD4-A8A3-48D5-AFD1-CE2E7E3F3C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535218$5EBFF0DE-29AF-48D1-A9ED-20DE036CA8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535218$2AC17BD1-EB7D-4C7D-9184-658B502E2C5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02282bb5ef37290e6936ca044bba519f363f976a","datavalue":{"value":"7770190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535218$7D049323-68CE-472D-AFDF-A7751902885B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535218$AAFAF8CE-7746-4662-94BF-FB8AE95093E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d9012e9ace873ca33308892db81c6b209fe7ec2","datavalue":{"value":"real-time operating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535218$245B0592-27D7-4AA5-915E-21FDFCBE1806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535218$9AC11488-41AC-4E4D-923B-7247F607E332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ed48111d574f54b8d2bf5f207bca7987bb3929","datavalue":{"value":"Uppaal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535218$5FB2799D-9FFE-4B59-8243-011421E0FA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ebd17a3b7ccb3af59640493711ed2278c06e01","datavalue":{"value":"software composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535218$529DBE3F-CFD2-4F98-9B2A-D0E55E2D85CC","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":"Q6535218$FB5EF342-31D5-4858-AD16-C58D8F7104AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02672decd19d6890bbfa31cf32babfc56732fc6","datavalue":{"value":{"entity-type":"item","numeric-id":6053846,"id":"Q6053846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$13CF2824-D29B-43D7-8F8B-DB27BAE5CED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$B5AF5387-7638-4761-A909-56FE208AE9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$A51B59C1-AC68-4BB5-B3EB-5A2F773037E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4d5df30bde2099983c3bf5f07484cf1031c989","datavalue":{"value":{"entity-type":"item","numeric-id":3181652,"id":"Q3181652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$AC025545-D992-4E11-A75E-76FFF20B5303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$287BD704-E6C9-4FBD-B8EE-12C78478A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69d0e41a21eda9b8e8f69190f440868ba1f4662","datavalue":{"value":{"entity-type":"item","numeric-id":903515,"id":"Q903515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$A5AABD6C-D259-4559-BB04-4653E981FAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73901d66c4278581e8cce3d77cced49f915057d4","datavalue":{"value":{"entity-type":"item","numeric-id":2819848,"id":"Q2819848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$567961EE-69F9-44BA-A3CD-F03A5A1F5E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$D37579C5-B418-46FB-8679-0B116D52ABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159bdf7fb4d943d16ff9515d7f09334dd18a86da","datavalue":{"value":{"entity-type":"item","numeric-id":6485866,"id":"Q6485866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$C43272E0-BE3C-40FB-9220-A9020D458CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$FC5B9E1E-DC95-4CFD-AD58-EC8320133070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$C08FDBCD-303D-4A1E-AA70-F92027C43A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$785FE4A7-6CFC-41CC-9D7F-6B629A58D265","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed5d758f9568df2fc2c63e8fa6d923b7c7a8012","datavalue":{"value":{"entity-type":"item","numeric-id":1663225,"id":"Q1663225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dd663d77c78d2cce0788e4a0b9f3e81e78bc52","datavalue":{"value":{"amount":"+0.7499681711196899","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":"Q6535218$9FBB5DAF-C964-4F74-87BA-0072791EA1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af779daeee2b81695e4c48a17302710e4ab35528","datavalue":{"value":{"entity-type":"item","numeric-id":3386299,"id":"Q3386299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443e36b3a4e9cc7436e654d745db25b1d644e333","datavalue":{"value":{"amount":"+0.7444508075714111","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":"Q6535218$E5D1A4DA-66A4-40E0-866A-430AF07620C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415a3150cb9a91aa083b353b667a9f8acd0b139f","datavalue":{"value":{"entity-type":"item","numeric-id":1019015,"id":"Q1019015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5cafca2238cde0ba1f783773b48e48dcec81a9","datavalue":{"value":{"amount":"+0.7402895092964172","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":"Q6535218$9CFA358A-9CA4-4443-A012-81F18A7BB4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536fe2ce54cd1b17c75ac39c34bb5fa5990f267c","datavalue":{"value":{"entity-type":"item","numeric-id":6535839,"id":"Q6535839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc569c1ab03454c45df5af9baa72ecd0c3529d59","datavalue":{"value":{"amount":"+0.7332450747489929","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":"Q6535218$845F163E-87C5-495D-944E-1C5592B34F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab5f0dac86adcd3433b1b569367c23d0dfdd4b9","datavalue":{"value":{"entity-type":"item","numeric-id":4533015,"id":"Q4533015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8f4af0916462a1f97b6e9797098a0a9c399a93","datavalue":{"value":{"amount":"+0.7294885516166687","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":"Q6535218$DDE239E1-94F1-433F-B122-27308D8F0DB5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535218$75BF8E7D-6E55-476A-8ADB-2BDE88E73F3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modeling concept for formal verification of OS-based compositional software","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modeling_concept_for_formal_verification_of_OS-based_compositional_software"}}}}}