{"entities":{"Q1679097":{"pageid":1689838,"ns":120,"title":"Item:Q1679097","lastrevid":68122728,"modified":"2026-04-12T21:35:23Z","type":"item","id":"Q1679097","labels":{"en":{"language":"en","value":"Verification complexity of a class of observational properties for modular discrete events systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803937"}},"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":"Q1679097$45506F31-5D0B-4887-98BB-ECB878CEC1B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f6fc1473db2a26814485b19d77d54f9962f829b","datavalue":{"value":{"text":"Verification complexity of a class of observational properties for modular discrete events systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1679097$F7C7AA23-2237-4CBD-82A8-DF5852868AD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bee666a06cd927b0715b1b29af6e9e64d7c3c0a8","datavalue":{"value":"1373.93220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679097$A242DCD2-6B38-4CE0-AF88-8AB816922936","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae766f32955aa7d2690d09de2d7f9a1e0e586835","datavalue":{"value":{"entity-type":"item","numeric-id":286343,"id":"Q286343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$7AAF9353-A11B-4456-A54E-CF8FB604B269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$0224D143-0F1A-49FE-8DEB-B0BBBC152238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$7221DF4D-B982-427D-8ACD-56EDA25E8F9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1679097$7ED9E7D1-FE50-4DC6-925D-240F3E607CE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679097$72E6EEAD-F561-441F-8AE0-A9C7C1031968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679097$392D10CD-5FDB-4CF0-82B9-EBBDAE2C5073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679097$1DCD9497-6517-43C4-AC7B-C88D52EC8A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"355ea56a4f84d7973d94c70a8b1f92966ec83542","datavalue":{"value":"65Y20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679097$C6BA9380-7ACB-4C93-A141-5FDF824E2769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"665e59debd5e1d4de6f54b0673cb1e890bd6bd66","datavalue":{"value":"6803937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679097$04A2CCDC-5266-4716-99A1-4A1D0ADFD6E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679097$9387FC99-3F25-4EE9-AD98-BC09F0CB15E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b7528120ef50a8f5205cf42893c121e1d21b40","datavalue":{"value":"PSPACE-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679097$12D7682C-3F07-4696-BE6F-63F30C9F77E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"248fee604e5f3e6230e0ae4184e5ed01252c6fbc","datavalue":{"value":"modular diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679097$8F0B074C-C0ED-463E-A356-CF6CE7E26048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679097$ACCAD8C9-E6B3-44DF-911A-7D9E0154A02D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$61EF2995-4A89-4C10-BC7E-107F70344290","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":"Q1679097$90B7B366-6F7A-4ED9-8FE6-F94AFDDAD685","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"183faaaac0d6c43fedb0ac1f62189c74fbd5b51f","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2017.06.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1679097$32004998-1815-463C-A6B5-D54D96DAF530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18911ed42439641731b45d8da33e1b6a63f153cb","datavalue":{"value":"W2730583255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679097$6386D473-29EC-4786-BDAE-C05B9555B055","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$E99CF83C-5A9F-4FAC-AB26-B7858D2D73B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de90ecf248fdd85bbfc61fb72f9f962624b00204","datavalue":{"value":{"entity-type":"item","numeric-id":5352876,"id":"Q5352876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$B84EE71B-40D6-41C8-B260-62F9C66451BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c89e7154871c2e01642342eb18919cd6da5f339","datavalue":{"value":{"entity-type":"item","numeric-id":3602752,"id":"Q3602752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$EAFBEC39-FEE4-4865-B966-EAF592FCF466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96893175fcb13dc264027df3fc57baa169981d44","datavalue":{"value":{"entity-type":"item","numeric-id":853677,"id":"Q853677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$6E5D9A0F-8409-4811-94A2-9B7D445E3B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294dba982d7e9358051e91f911a0679da5e99b50","datavalue":{"value":{"entity-type":"item","numeric-id":1773098,"id":"Q1773098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$E3A2997F-28E2-4B69-B373-3D3C27C08A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709c6ccb0f43edf500a3924e26fd6e95732b2025","datavalue":{"value":{"entity-type":"item","numeric-id":4974263,"id":"Q4974263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$68C86EB7-FA12-4382-AF98-B5C219947375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$C782C0C6-6F72-4B12-8AEB-433FB7F815AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1cabe91680f97c42516886ceb64827a1ccea34","datavalue":{"value":{"entity-type":"item","numeric-id":1012718,"id":"Q1012718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$1C20FC5A-9B01-4C1B-B979-C022B29CE1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b032ee5d2e680ed57ff1e605162c721f0cb98206","datavalue":{"value":{"entity-type":"item","numeric-id":5347774,"id":"Q5347774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$B79064DE-D1BE-440B-97E9-AF1DCFB944EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10dace2a923b796c96f274efbf1216b572d4326","datavalue":{"value":{"entity-type":"item","numeric-id":987647,"id":"Q987647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$39CC5F17-095F-4933-BB9E-26A0C72F349A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$9E2C0B1E-1E21-4E83-B119-B877D72A15CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c96016133f001299a67548984b80285ad92359b","datavalue":{"value":{"entity-type":"item","numeric-id":4540472,"id":"Q4540472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$276D8A1C-A08B-4C10-BE4E-00D047B69462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4366d3764c614c6bab3d5bfed286131e1940e9a7","datavalue":{"value":{"entity-type":"item","numeric-id":2440703,"id":"Q2440703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$237B390C-189D-452B-9B90-099FCB3C1C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aff915519e5873b3276e30e59df6a6b8cc65f40","datavalue":{"value":{"entity-type":"item","numeric-id":5274143,"id":"Q5274143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$6A95171E-DA67-4DBA-8A58-354D8F0B3761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$0C1ADDE8-7AB5-4883-8FF5-4A4F7673F0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83961394e025c765559831ccc9cca439070a3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":5347782,"id":"Q5347782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$030DE06B-F650-40DC-B064-AE662A911A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbb75078cfc8933d5e744c45592124f26a6ae35","datavalue":{"value":{"entity-type":"item","numeric-id":1773103,"id":"Q1773103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$5A3FC38C-D191-4214-AA79-5977E1605C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36cab8137f4fa3a9098b122455a6c5d02c52bed9","datavalue":{"value":{"entity-type":"item","numeric-id":5266687,"id":"Q5266687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$66E23579-EE91-480C-959D-8007975769C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa3eeeeb3c8a3a6066b8c40815a510ff335cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5352820,"id":"Q5352820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$116464EB-75FD-4B49-AD68-388A6964C6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$00EEB073-E2F2-43C3-83DA-96BE322E390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$EBE67871-01DA-48D6-BBE4-B280D995744B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59ccfb596b02d57aab3d7965825add95aca4653","datavalue":{"value":{"entity-type":"item","numeric-id":5353060,"id":"Q5353060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$1F501F2A-D7DC-4712-BF4D-EFF4388C75B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bd7129f38d194cdcd23f8a5c5d0549588d5e29","datavalue":{"value":{"entity-type":"item","numeric-id":5282320,"id":"Q5282320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$FCAFC5D5-27CF-4F10-AA54-83FC739D3D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37256b174ebaaa0ed93676be784c9f15b363d318","datavalue":{"value":{"entity-type":"item","numeric-id":458885,"id":"Q458885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$19CA9A4A-6B8B-4858-A68C-C731C0594C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a45415c61f5a2543c1c923c13cbf76075f8e90","datavalue":{"value":{"entity-type":"item","numeric-id":1123861,"id":"Q1123861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$8BA9D754-1E38-4EEA-BD13-430DD3ABB376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afe6fa4592414eda389c64f513f729b2a69f046","datavalue":{"value":{"entity-type":"item","numeric-id":5347768,"id":"Q5347768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$DE6CB81E-799C-4856-9067-913729F76808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e187c29d43f1916763258e56eb41784ed7d07a","datavalue":{"value":{"entity-type":"item","numeric-id":2999115,"id":"Q2999115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$3E1A9632-BEE4-45EF-901A-830B46C08109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2752ca93f1ca445946c89e4c8b81a43dfbc982dc","datavalue":{"value":{"entity-type":"item","numeric-id":900685,"id":"Q900685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$6BBD0C66-F7E1-4A1D-B11F-4FF239D54C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4e39cac1be71c6762af84fd87f4243af5695b4","datavalue":{"value":{"entity-type":"item","numeric-id":5267079,"id":"Q5267079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679097$D2378EB0-9349-4699-8F56-32BE9C44C8DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"307014c123095743f776f9356762e509bdac505c","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.06.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679097$01465CBA-0A01-485D-ACBD-67E65A3BDB84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e4697760c2127ff172947138448f701cb0342e","datavalue":{"value":{"entity-type":"item","numeric-id":1737732,"id":"Q1737732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344b1d195ecc9f4abfbcc58cdfe47c7e350409ab","datavalue":{"value":{"amount":"+0.8631454110145569","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":"Q1679097$2262B50A-256C-454B-B32E-E50D0AA5651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa4de3573e698332679bc85c6c27fa781969d46","datavalue":{"value":{"entity-type":"item","numeric-id":853677,"id":"Q853677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5767b660ac6f68f9308772ef4be89c8541b22cbe","datavalue":{"value":{"amount":"+0.8254426121711731","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":"Q1679097$FF208222-C293-4F1D-9353-337E2293A917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4697b4db06e85fa04dae1f7d76f565ef8299a1f9","datavalue":{"value":{"entity-type":"item","numeric-id":2391506,"id":"Q2391506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6b6b95007821ce95083a7610493b5492ff271b","datavalue":{"value":{"amount":"+0.7711738348007202","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":"Q1679097$5F16D69B-CE12-47DF-9B8C-9A2D27E1ACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffda91862b62d1550b5eedfa21f151cd181d997","datavalue":{"value":{"entity-type":"item","numeric-id":1797011,"id":"Q1797011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74cdce06d1ba14f08861fbe45855becd5cb5883","datavalue":{"value":{"amount":"+0.7673298120498657","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":"Q1679097$078CDC6B-2B70-405C-A382-05439543B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee4198fe9881653eb5b27084233a27059691161","datavalue":{"value":{"entity-type":"item","numeric-id":2065231,"id":"Q2065231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1ab4bebb365cb1c6bc9c242fdf9f6b9e6e226e","datavalue":{"value":{"amount":"+0.7637401819229126","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":"Q1679097$0DE0C8A2-08F0-493F-83EE-1C1C60C777ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification complexity of a class of observational properties for modular discrete events systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_complexity_of_a_class_of_observational_properties_for_modular_discrete_events_systems"}}}}}