{"entities":{"Q433331":{"pageid":435098,"ns":120,"title":"Item:Q433331","lastrevid":61792233,"modified":"2026-04-11T01:41:42Z","type":"item","id":"Q433331","labels":{"en":{"language":"en","value":"SAT-based verification for timed component connectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6055918"}},"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":"Q433331$FE08A1B5-72AA-48A7-A025-692DEB3760C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43dae215e82244691d3c922112852a8ca15eac3c","datavalue":{"value":{"text":"SAT-based verification for timed component connectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q433331$FD90C944-8969-4F15-A994-B58C39280B8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15e47f09e5f8b1db9ba87de78f1f6fc904a55d8b","datavalue":{"value":"1279.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433331$21E50A7D-73D5-4D6D-A9E6-51A4CD106A1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac76fda835058f1223424ed89dcefe308527fa2","datavalue":{"value":{"entity-type":"item","numeric-id":433330,"id":"Q433330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$0AA93B08-0045-4DE3-8509-5F4701E9D177","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$D100E726-112C-4346-AC8B-A4F8BD327C7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8169782b0c1573ab69940e37078f3a0c71cae46","datavalue":{"value":{"time":"+2012-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q433331$A0F81C6E-D805-4139-8CFB-214E095DC0E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433331$2EDDE2C5-9C66-43E0-96C6-4845E4A957D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433331$1EBBBAA4-5A3F-4D3F-A65C-EB66A41E648F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433331$A518A826-7EFF-4F73-B64A-48C761625C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433331$61D2EE0B-09C2-4871-9F9D-6A4F3FF0DA8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3daf9ff020738de93045322892098b328fd6f6bf","datavalue":{"value":"6055918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433331$CFC31616-7150-4005-92F5-A3F980395F63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66768dad21271ebf5a431a2bafb77c2ce2e7b139","datavalue":{"value":"timed constraint automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q433331$5242F26F-5D40-4B8A-A0B4-420D212FDECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q433331$91F73497-3767-4596-A83A-DFC2D717DC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q433331$D4CEE19B-B72B-4F63-9FF3-F14DECDF9A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q433331$5E4E94E6-94CE-4C23-8199-79B3CA7498D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7b98a1bac14dad9a40e120167dd89b3de4274dd","datavalue":{"value":"component-based software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q433331$3B45C674-260D-42C9-86B0-647D4FA4FB91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$FA6DA9D2-26DD-46D9-94FD-4FE608823896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$988F4657-BBFC-408E-B09F-3D4803E72088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$04291C69-65FF-40C1-B17C-FB650C58B9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$6031CAE6-02CB-4203-9F41-D5B879E36CE8","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":"Q433331$D4663ECB-E0B4-44E1-B579-5A02DB1F3C2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91e073533922979bf1c1897f09c6e9b42e2aabd3","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q433331$1B705FFF-746A-44DB-9B96-8C74B49D8602","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2fdd7ecb01743f3eae83e12bb4deb270a598c0f","datavalue":{"value":"W2137162774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433331$C8CE6AAF-563E-481D-AB8B-25C5E9303441","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$57F65E3E-0F3B-458C-BF99-EE1DB2175D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$93B74CDE-7469-466F-861E-47E5B52E2727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a7f52d1a85eea1cb2fa0afaf4cb5ab7a50ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$84061159-C497-47F8-952C-2832CD85A00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93883db00833e89e855c8e92c4e962692b3eeca8","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$A908D3AB-7A3D-4873-A894-A1EF10AFA12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$77F4A583-2591-4898-8E9C-53E25C556AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$554C824F-1A3F-4165-A711-17F95E33BEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44596e640e5e3e57caf4b683e0619bf841b94e82","datavalue":{"value":{"entity-type":"item","numeric-id":3956374,"id":"Q3956374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$17B4F2B9-22B5-4661-BA98-A8E3F70B0246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$9837FBD5-224D-43C5-96B6-42A0AFCC0997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$7D1D2937-9BF7-4F39-8C59-FC4EADC33318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$11291E84-9C12-44D3-AECB-2AE840BCB11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$E4E4E5B4-E061-43F3-9957-3630E59022D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af62bfd2162dabdadb1d68f1499174dc7482fad7","datavalue":{"value":{"entity-type":"item","numeric-id":5716597,"id":"Q5716597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$9EBF9C64-D66C-4241-8CAE-CA1F92B1E09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8076b6611ff93f76e16697ed5d667d576985e783","datavalue":{"value":{"entity-type":"item","numeric-id":2989003,"id":"Q2989003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$D0CAD17D-1F3A-4934-B85A-95CD6134A441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e8e338d9ed33100c62e1ce875a7d62929baa8b","datavalue":{"value":{"entity-type":"item","numeric-id":3765231,"id":"Q3765231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$DD2AF75D-EC68-4C12-98E1-6D7FE5578105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02bb13653bf736c163884115eb3f8d59e19d2e63","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$02B81030-1681-4C60-BC58-3623D3A7C7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$8E488E2E-6023-434C-99A2-B4035965DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$6D408B09-A0E9-4F2C-BFAC-7EB19A4A2946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$BC502593-7974-42E4-A6FC-A606E23C1357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433331$917B0B32-EBBE-4DBF-8C1C-666C9F7EE961","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d21d95b1bc26473679a6e879aac84d20cbb4c52c","datavalue":{"value":"10.1016/J.SCICO.2011.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433331$DD04E9B6-ED36-4F88-9B7E-4334E6E6ED98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a0eb8cbb315bfd694ccc9a36c9205dd065e121","datavalue":{"value":{"entity-type":"item","numeric-id":2989003,"id":"Q2989003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q433331$F6586ED9-6296-49D8-ACD5-1B1ED49A7BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f0971bca0a57f7e6422a1e0d4bede755d8fd34","datavalue":{"value":{"amount":"+0.87179005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q433331$779ABAF5-A60D-4B5E-A0F3-8AB832E4F01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665068f317d1d3c991e0efa3a5cd1a686ce8b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4417609,"id":"Q4417609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4775f26655c7feb8e24e3301761fdae796d297e6","datavalue":{"value":{"amount":"+0.86574507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q433331$94CE7CFD-B1A8-43C9-A9FA-46AA33C072B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123e937c53af54b9fceb23f35b3fc65fe9959e73","datavalue":{"value":{"entity-type":"item","numeric-id":5897956,"id":"Q5897956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113c34921440c13b9a3fadc8bada6fb25af371c5","datavalue":{"value":{"amount":"+0.8626673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q433331$8DC2FE88-B53D-4AD0-9BE9-976440D795B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e127554853b8a1092a1e3da564ba8c7a7f8ed68","datavalue":{"value":{"entity-type":"item","numeric-id":2842571,"id":"Q2842571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c408ffbe2c7ebe5d24088e0e651c1df4efddcd1d","datavalue":{"value":{"amount":"+0.8605418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q433331$A4061FDB-8604-4464-AE57-382C15A331E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abac55d9f7895b2e5b029e50155c40a323265791","datavalue":{"value":{"entity-type":"item","numeric-id":4989716,"id":"Q4989716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919c5ea71f66d4d22b2c71335ddda1176c77ed81","datavalue":{"value":{"amount":"+0.86009026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q433331$81B39D33-5DF1-4201-B776-7028ECE062F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bd13a6d7f81ecf8c119d510e2e24fc745bdff3","datavalue":{"value":{"entity-type":"item","numeric-id":5899155,"id":"Q5899155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effae0791555fbdf7d596ba38fa8478c01a6f1be","datavalue":{"value":{"amount":"+0.8569959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q433331$FC019614-04BB-44F3-B586-304D30213D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d677d69eecda253b84c249b0ecf339f118c3668e","datavalue":{"value":{"amount":"+0.8569802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q433331$C152F702-355C-4F26-91E7-4F4D58273F85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-based verification for timed component connectors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT-based_verification_for_timed_component_connectors"}}}}}