{"entities":{"Q862857":{"pageid":864705,"ns":120,"title":"Item:Q862857","lastrevid":64917075,"modified":"2026-04-11T23:05:23Z","type":"item","id":"Q862857","labels":{"en":{"language":"en","value":"Data structures for symbolic multi-valued model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118397"}},"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":"Q862857$D4167494-E288-404C-BF71-D651D74CF69A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99df6e51581c3c2d362488f296902ec226571bd1","datavalue":{"value":{"text":"Data structures for symbolic multi-valued model-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862857$DBADDD08-D7C7-4775-90A6-036F514FCFD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"656b74fde7becd21cec55341eef7d0c132063ac4","datavalue":{"value":"1109.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862857$CEDA102C-E60B-4567-80F8-862FA5610090","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$D8D47F96-3319-43E8-B5DE-5675A11E4347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$F3C230B2-3EA1-4F87-806D-D1EF4EF53F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"655a55d82eb03cffb2eb41cd0fa1ad73918a22d7","datavalue":{"value":{"entity-type":"item","numeric-id":862854,"id":"Q862854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$60CF5F67-D245-4F10-9B70-D54862E3DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d88ac46c93456efca9573212534b50473b9f927","datavalue":{"value":{"entity-type":"item","numeric-id":862855,"id":"Q862855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$ED8BBC2E-E594-4BD9-B422-931344824B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e22c302a2cf7f36f13f1f26a2b2726149428928f","datavalue":{"value":{"entity-type":"item","numeric-id":862856,"id":"Q862856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$988118EF-378A-40D5-8866-4ADCBBA7069E","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":"Q862857$54499BBF-2B9A-4F6C-BD62-50DB0921209F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-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":"Q862857$09D4CA7A-716D-4C88-A391-329447FED23F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862857$BB11E395-EF00-4403-A71F-F6C441B934B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862857$DCB5CD2C-9F6B-4C69-8B1B-AF000478AEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862857$6C74FE22-97BE-4DF9-B50B-538B80CE9070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862857$4D0613CB-67BC-4EE7-AED9-8274DD1EAA52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225e2196523d89038fb072af41165ccaf316467f","datavalue":{"value":"5118397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862857$FB4BB5B4-34A7-404F-AB19-F70CB0481E70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ac8465fe8535df75151a21024f97710e019c10","datavalue":{"value":"Multi-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q862857$90EE02C6-2315-477A-905F-D508EB22DADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f493fad76a9fbc60bdcd3b0bdd5d4fc0d4f5c4","datavalue":{"value":"Symbolic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q862857$5E05C2D1-EF7A-4E0D-8D68-2A60FA70BB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7db2a0738a26bc84a9705c3d0812f6cedb092419","datavalue":{"value":"Decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q862857$643D9062-CE78-42AD-B9DF-55499FD2825C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$59DF1CD8-3495-4F8D-82E5-77C669EC82D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fd5d1c9b0c6d63b761ad02ba2e378dc0fc11214","datavalue":{"value":{"entity-type":"item","numeric-id":14789,"id":"Q14789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$B02CB363-8F86-4D1C-9248-DD09D71774E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$8EB9BBE2-9493-42C7-A57E-D67C24646B6B","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":"Q862857$F3AA8635-A21A-4D4C-B246-52B97B6869FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ebcdf006a10e231cd7ea5f0c66fb4068e4a4d51","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0016-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q862857$4C312535-8644-449F-829F-0F7CEDC84F14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f53813b91872faca0486dd6d9887316f33c219ba","datavalue":{"value":"W2059949763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862857$C78D11F0-6646-4031-99D2-D3DF654F89CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$66A61E69-77B5-4378-B4BE-74023DC07989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$5117FFE7-81A3-4F37-846B-D816446600E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$DD1E00CD-2EED-4717-AA34-4A80F18B8646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8763ab6490670c5d0c807dbcb006e32ee088a12","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$A7B63425-2987-4126-90F8-6F18007F94FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$833AA880-3910-465D-8B55-4B99165AF68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69351ea81f1b7bc5efbff39f5d2782e216e9860d","datavalue":{"value":{"entity-type":"item","numeric-id":4693184,"id":"Q4693184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$CF29D86B-5FBC-458E-93E0-DCE12E2F74BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$5432A8CF-E39C-47B9-A36E-BDEAED311EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$691A3056-3E3B-40F0-8F74-24595FDC3490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ded28dfcddfc12e7756640329f103bf1a26e17","datavalue":{"value":{"entity-type":"item","numeric-id":2754106,"id":"Q2754106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$AA4913B1-9182-4E5F-B72B-568DB7D21045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973035f421250afdf12dec3f786615cdfe8bcc0b","datavalue":{"value":{"entity-type":"item","numeric-id":2769604,"id":"Q2769604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$7DA16F05-8EC9-48D4-9DE0-35EE2530DFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5a4ef9c2d07db759cae7360b9f45883aa9ce65","datavalue":{"value":{"entity-type":"item","numeric-id":862857,"id":"Q862857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$15E4E683-9A8A-4B93-BA46-A53B82733357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d639f9040cbf8a119fff8ba5452b5467f6b925","datavalue":{"value":{"entity-type":"item","numeric-id":4791849,"id":"Q4791849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$C42858C3-C77F-4B4D-9C97-6D76A63BD937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4280c9d4268fc859066ccbdfcb70edf7afbc327","datavalue":{"value":{"entity-type":"item","numeric-id":4806210,"id":"Q4806210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$1328F61C-F712-43CE-9AD4-E0D870FFCF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edc3236947e978753296e165879f20e0686ee53","datavalue":{"value":{"entity-type":"item","numeric-id":2763963,"id":"Q2763963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$E726B3F4-0740-42CA-A2FF-4510B2BD5EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$9E26F2DB-568C-4E5D-B48D-2D3C54E8F2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd867cbdb2e1c0688995908d102d6d971e2d8874","datavalue":{"value":{"entity-type":"item","numeric-id":4494391,"id":"Q4494391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$A6B69B94-6E06-4F7C-93BF-1CCB7B0D9C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$F9CF0471-A304-485B-A738-FDFF6AB99EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$221691F9-023C-4723-A677-F4ED9EE8E51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7bd3a0f5ae0b09e389fafecadd399973d0d282","datavalue":{"value":{"entity-type":"item","numeric-id":2715515,"id":"Q2715515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$AF44ECA9-08A7-472B-A783-C7F86AFDC3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af39ba7611ce840efed59d15b9062e58635f61","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$21D64B25-1FDD-4BD3-B970-DB978704A5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36da588071d067059823d7e571d291ad38c486d","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$EFAE2CC9-4833-463B-A0FA-FA5C284ECB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1372c25eacd52e889e17300f70d330595cb52ac9","datavalue":{"value":{"entity-type":"item","numeric-id":5308426,"id":"Q5308426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$DC636AE5-AD4D-4689-BC3D-FB8D667E0F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5475fa341637e0395243dc6a4588267faec11b","datavalue":{"value":{"entity-type":"item","numeric-id":5898630,"id":"Q5898630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$B13F3CF7-2DB4-4048-A252-ADA94C7BD8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cf2896f81df3f1477e2c05462bbcba3d04e983","datavalue":{"value":{"entity-type":"item","numeric-id":4255977,"id":"Q4255977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$82D981F5-C28A-47E4-8F45-7F1F3A3C1F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93cafc97884fcc9c4f3cf3a7f78c694a2595dae","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$7F287D53-EC73-4572-8F2A-9F62F9CB3A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$4D6C6A63-2046-49A4-87A5-9BC23C43F8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5feb4c46bee8b8f76000d9de8564377e360b7","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$6CF7AA08-8149-4937-967F-EC555E49FD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5228823855efb83bd72957df80935faa3afe5b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$F87F7993-08F8-4D37-8760-4003F5F373A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$D424CD4A-8EC4-4C83-92DE-39D2D879918E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea1eeb484456ae71895943353159f7d548e7ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5949548,"id":"Q5949548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$03B0396C-7B8C-44A9-A776-A3221C3FDD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f89133674e76c29495bcf32ab6232930559f5d","datavalue":{"value":{"entity-type":"item","numeric-id":5312904,"id":"Q5312904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$CC6E6AFD-CFFC-48CF-A1C9-9E6BE67ED872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c258e920b69fc9081ac0baf8648a0039856b1c","datavalue":{"value":{"entity-type":"item","numeric-id":5312902,"id":"Q5312902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$F2D45951-1975-4878-AA36-24D0B08CAC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481547f60ed568130e5c759ceeacc52cf0d1c02c","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$69114844-CBC5-48C2-8DF0-156DCC8EF401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e7d3e225f11bcb5e9772a8f23ee2b525373874","datavalue":{"value":{"entity-type":"item","numeric-id":4934627,"id":"Q4934627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$04779621-60C7-48A3-93B3-F7209F60A66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862857$5DD9FF48-522D-49E3-BD5C-B6F5B2F9059F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aab37e3bd00d7d52d7c3ef718402ea007a805bc5","datavalue":{"value":"10.1007/S10703-006-0016-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862857$AEAD66B7-ED3D-4CF8-B011-E2B897903BB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c745f091e731485f18385d4d0cd1026ea66b85","datavalue":{"value":{"entity-type":"item","numeric-id":2769604,"id":"Q2769604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbc6d6189183d7f9118f45c79b914717994b424","datavalue":{"value":{"amount":"+0.8437731266021729","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":"Q862857$9D4EA693-F3F2-4291-891B-7246A91F486B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760b067db9da312d12ef88c5b6830d46b4878de6","datavalue":{"value":{"entity-type":"item","numeric-id":4791849,"id":"Q4791849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e2200e2acf3e87b8edc2157eb7c9cf58c70df9","datavalue":{"value":{"amount":"+0.8173308968544006","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":"Q862857$3A230F3D-C4A9-4960-A5F5-C8DA0D0BBC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b12f51fa7508470e8c4ac3504e447c6d1dcdb61","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94f95e5a4be2cdaa03ad8c16d82a4aa8dae829f","datavalue":{"value":{"amount":"+0.8141289949417114","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":"Q862857$5425BCD5-BE59-4373-9609-4BF2339CB1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962b23d0e59ac120833f97f18ef5ec888a8a7b28","datavalue":{"value":{"entity-type":"item","numeric-id":2763963,"id":"Q2763963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462c524b9f90691aeda3d3bad7f0ef113384a459","datavalue":{"value":{"amount":"+0.7923250794410706","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":"Q862857$74DF6B6A-8652-40DA-BCEC-6C183F7D3030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca31711aaa221a2cb2e1d07abcdbe3134d735ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a55984fe354480cf6674186048087132291fa6","datavalue":{"value":{"amount":"+0.7854634523391724","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":"Q862857$05053305-EE87-4DF9-A109-96D5212D50C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data structures for symbolic multi-valued model-checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Data_structures_for_symbolic_multi-valued_model-checking"}}}}}