{"entities":{"Q2372186":{"pageid":2382929,"ns":120,"title":"Item:Q2372186","lastrevid":72630672,"modified":"2026-04-14T06:11:06Z","type":"item","id":"Q2372186","labels":{"en":{"language":"en","value":"The computational complexity of scenario-based agent verification and design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174338"}},"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":"Q2372186$4AE46704-2053-427C-BF31-DE25DB7ABCBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e61b985c541f6e37676391a21420f26146d50c86","datavalue":{"value":{"text":"The computational complexity of scenario-based agent verification and design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372186$8EE272BA-BDA3-4897-814E-6338DBE2E277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"725ff240c48ba7b1e5027c7364b61e78d648c2b8","datavalue":{"value":"1122.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372186$B129E1C5-1CD1-46F8-A9D6-635FC2EAA821","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8de91cf39f42ac50d1a3dc3e6dbfb7c0bbbb2cb","datavalue":{"value":{"entity-type":"item","numeric-id":856939,"id":"Q856939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$B47F49EF-EAFD-4B59-A279-ECCAC1D30D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5ec58a0b89f617124dd985267643140ebe98b26","datavalue":{"value":{"entity-type":"item","numeric-id":685614,"id":"Q685614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$D6E497BF-4DAB-4194-B598-308F959476E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$A4A367AE-6461-4254-9CD1-AD3253E6F8C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1c38db5340c04383b1791c03458c798d747c85","datavalue":{"value":{"time":"+2007-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372186$7F15D048-43DA-4FD9-ACFB-0F84EE515649","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372186$4C3E4D49-06CD-4F22-AF50-C8ADE14BFB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372186$9A28B811-C526-4BDC-A51D-9E67BAC80BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372186$2F3B4BCF-3A5E-4E17-9E97-F273BF608305","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0edd9cff4fca853c8435af59fb70a045e1770a85","datavalue":{"value":"5174338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372186$F44D6B43-FBC4-40F2-AF00-10E074713773","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b8c04feebd4dc8574108ed3e74451ba30e8f3d","datavalue":{"value":"scenarios","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372186$1997415B-ACE2-45AD-B388-D20C6AC552D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b5b5a4f0c825ea91b5dc8ad46045a364b8968b","datavalue":{"value":"strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372186$313E1C36-E411-451D-BD7D-0F9C4F4F49AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c4dae5fd3bd89b9f1154813a97884ecd7feab2","datavalue":{"value":"AUML","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372186$2CD5F0B0-EE4E-400F-82B3-991191E83E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9cd0a1dc9df95871e5ddd964d62ccd7b15d241","datavalue":{"value":"live sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372186$C933A96D-AB8D-4996-869B-F6D90DD4BFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372186$3064DDF4-1D41-4FCE-A716-D8697E804752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372186$FE39D0F1-D27A-49C2-8005-BCA6523C928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372186$DC7940B4-62CB-4202-BBBC-A40FF7179016","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"371406a043e069d30f6f1d468943360839c2befd","datavalue":{"value":{"entity-type":"item","numeric-id":18320,"id":"Q18320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$B831A8CD-973A-4769-B90E-2C562BDF2BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$6AACFDCE-D0BE-4E5F-9CEE-96B12BA91A4E","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":"Q2372186$F8EE2A84-DF3A-416E-986F-6D3C9058F638","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a82ffd86c3e3b5f87738503d30c008bb50410ff","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.12.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372186$7ACF9F26-7FB4-4340-91EF-B1F43E99D2EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee9b27143180298fb20305d7266fdbf5145690d8","datavalue":{"value":"W2098069058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372186$4DD1E48E-37B6-4734-B18E-AD5FC285BF4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec42e407228050cf85fa2248f65bf77ef81cfcd","datavalue":{"value":{"entity-type":"item","numeric-id":5178866,"id":"Q5178866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$D119F842-451E-4701-90F9-A875B74C3DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$E3A4DC7C-C0F1-44F2-BEC3-D891342591C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fece6af361699ab9658302d402323049acc5a294","datavalue":{"value":{"entity-type":"item","numeric-id":4824478,"id":"Q4824478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$D7700934-2542-4B01-A877-87B366EF9A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$B9FC3B78-0D7F-44C9-A7E8-B2F54B5A5D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$0AD8F38D-1B2D-497E-B963-FABAC450D0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761764ab341e3c45ab12b1fd51baacfaf6590a95","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$02AF6DB4-693D-482D-8138-0A3CA4B1B5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$507ADE62-B347-4C66-8E0E-AAC872E8F26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04035c7fdda99f9c1b704f71fe00133669329424","datavalue":{"value":{"entity-type":"item","numeric-id":5901665,"id":"Q5901665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$1310CBE7-7AED-434C-8258-D30113E0EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$0334B5BF-CD52-456C-9FF5-8D3830CB3395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957ca1b3f93af567f6152b6b43dd2b5768568d53","datavalue":{"value":{"entity-type":"item","numeric-id":3021937,"id":"Q3021937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$A1E3D854-89B5-4D79-BAC0-C30202A65BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bee29b1bc340eeef425ddbacbb3d5362eb0e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":1854510,"id":"Q1854510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$E96E41F6-2EB5-4BFE-810E-6C5156B38E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea76b1f57dce86ca9a4a845c18da439f767e1338","datavalue":{"value":{"entity-type":"item","numeric-id":4413201,"id":"Q4413201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$07C12035-D0F6-453B-A41A-38190C0EE0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec0259ee4b24873b4f3fffeb5dc21688bd67cea","datavalue":{"value":{"entity-type":"item","numeric-id":4412832,"id":"Q4412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$297A84F0-E7E3-4395-BB37-D1E6BD21A115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$FDC0115B-5157-4C42-8463-4E30E3C69DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e822826ef2497f550a67f6305020a0e46bc0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4484484,"id":"Q4484484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$A5D2898D-927A-41A9-B330-219F8D6340E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$340F0D88-1FDF-4F5B-B709-630591FE1A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$62D0701F-85FD-415C-A9FC-23DC6F11299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfac4b2482a11bfbeb0f34f94bd679e9bbb3fcf","datavalue":{"value":{"entity-type":"item","numeric-id":4386937,"id":"Q4386937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$EA134309-2897-4116-A03A-0542EEC6210E","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":"Q2372186$F48D24F5-8F63-41B1-BC98-030C6E0477AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$B997BB7C-1418-465A-872F-DB1BA2C12B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbae19a6c7794101e6abb42e7a408d804c91a240","datavalue":{"value":{"entity-type":"item","numeric-id":814461,"id":"Q814461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$2380AA5E-CBEF-4A07-97E9-0D7BE0CD2406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$8377511C-9B43-4F08-9249-D9B0F9327185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a613a47011f46503782be16fa8feb625c1aca7de","datavalue":{"value":{"entity-type":"item","numeric-id":2390212,"id":"Q2390212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$4941044F-7A7F-480A-BE5B-C08A357827CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e520ac910e5e7e247de7017e5d4cfab23d4f6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3998976,"id":"Q3998976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$E8F4B0B6-41A6-4DAB-A05E-67ACC06958FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$087526A6-4309-4B88-9F16-6AEECBB34D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6babb4a8f91e0aa1d6b20fd807112d8a90f311c","datavalue":{"value":{"entity-type":"item","numeric-id":4739289,"id":"Q4739289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$B705F94F-49FA-4A23-9436-338CF88AFA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372186$4CF5F3CC-4D97-428D-9DEA-732070A3F479","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a018a16383b46d0658ca34600ceb30833289ed7","datavalue":{"value":"10.1016/J.JAL.2005.12.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372186$29089920-4F51-407D-AB83-B56870E1EF8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea7ffdc85ecefa05a7baacca30052c1827d6f54","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b374244cc1f9a3b7ab47517984cb3c3ca7a3c3","datavalue":{"value":{"amount":"+0.89118433","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":"Q2372186$3126D8A1-D095-497C-A2FB-5CCCCD852D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0dfe6888e8821c28b5b9ddd1301f8fd102ebe5","datavalue":{"value":{"entity-type":"item","numeric-id":1040334,"id":"Q1040334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9005e553e2635c0aca935aeb5e3681305ce5903","datavalue":{"value":{"amount":"+0.8845148","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":"Q2372186$AEBCD2AB-88E7-4698-9395-83A16204D9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a41bd364839a2a7fe17958c3fe5b558bc3b486","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5602af56336e18293bb75a55f0152349bf6140e3","datavalue":{"value":{"amount":"+0.86105573","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":"Q2372186$DDA3E906-CF55-4D11-B762-F0746B4031F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3cf8d1d04b7c7a47c5c871786dc4af98fc0135","datavalue":{"value":{"amount":"+0.85180163","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":"Q2372186$1E1B92EC-E237-4709-80E1-569CD3200255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb41057b930d8fdda3df949744cd5f2ce3f5eec2","datavalue":{"value":{"entity-type":"item","numeric-id":310089,"id":"Q310089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89873ee439031779c4f26f781a5be087fdd22f0d","datavalue":{"value":{"amount":"+0.8488773","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":"Q2372186$75214C7F-5E43-4A4D-B2B7-2792C31EA4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e848a56748a17b8009260e19709e840cd5682ece","datavalue":{"value":{"entity-type":"item","numeric-id":2502156,"id":"Q2502156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f595c0e559d1447fa904233695e4e7c48060fc30","datavalue":{"value":{"amount":"+0.84823173","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":"Q2372186$4D105613-B152-4DC3-8A35-892AEA0A4B67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The computational complexity of scenario-based agent verification and design","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_computational_complexity_of_scenario-based_agent_verification_and_design"}}}}}