{"entities":{"Q832071":{"pageid":833919,"ns":120,"title":"Item:Q832071","lastrevid":57180231,"modified":"2026-03-27T09:39:58Z","type":"item","id":"Q832071","labels":{"en":{"language":"en","value":"Active and sparse methods in smoothed model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498050"}},"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":"Q832071$3E7DF99D-7233-4ABB-B561-9DF3C0694DD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f952bd6229d446a9e97c60d70e6862eded53ef2","datavalue":{"value":{"text":"Active and sparse methods in smoothed model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832071$E05E4B78-6057-4648-9E3D-A1659EB64E86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6571148225e95572a04b5a663d60c8aa59090c28","datavalue":{"value":"1491.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832071$713C501E-3202-4DF4-8E19-24494A2AA3B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d72f059ad0de596dc0cfb8e1cef7e55fe0988e1","datavalue":{"value":"10.1007/978-3-030-85172-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832071$EDDF3630-CE78-47B3-A138-1CCB2D856CC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba146272a7790b16847b5bbfb18d9de7b52b24ca","datavalue":{"value":{"entity-type":"item","numeric-id":832070,"id":"Q832070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$BF7206D5-29BC-48E8-B3E1-F0E67477842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89ad271a572aa42ab46d561d11e2cdae61630d8c","datavalue":{"value":{"entity-type":"item","numeric-id":470010,"id":"Q470010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$85779E05-E789-4F4F-AB22-CA184FDDEE30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-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":"Q832071$5626D876-AAFE-4605-AD45-B59F254C44A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ce3a3aa7c829b3947c5d4819b21b28b1d202f6a","datavalue":{"value":"https://arxiv.org/abs/2104.09940","type":"string"},"datatype":"url"},"type":"statement","id":"Q832071$7A310846-6BFB-4A42-B450-D07E81565D24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832071$BA2BC99D-B32F-4D8E-93D9-2ED496C83B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832071$FCCC0251-A5A5-4EBD-AE2A-8573D5DA73AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832071$3D404FD9-1387-45D7-94BE-5FA679A22B6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b88b29425cddd89c826fc53514b7f52b225f0e","datavalue":{"value":"7498050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832071$AD7BFE28-C703-4B65-9F48-B23EE6F761CB","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":"Q832071$F3FE8B32-72DC-45CB-86B9-56CFC80CC4F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f3967057efccdd50feabe5d5dce3c6742d58b1","datavalue":{"value":"W3183852024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832071$E16D0839-E171-44F2-BBC2-9B6FF0349672","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"589c340747955fdce87947ff5d43715615956ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2348023,"id":"Q2348023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$E638963D-EE70-43BE-B836-CA39EBBC5BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e18cf3fb61738b07cb7d8c5a689529cb8381d03","datavalue":{"value":{"entity-type":"item","numeric-id":259074,"id":"Q259074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$0F24ABF1-B7CD-4EDD-9FB3-47C7CF2C1414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157a27473a3169f78149da7dbcb09ab72920f13c","datavalue":{"value":{"entity-type":"item","numeric-id":2324239,"id":"Q2324239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$95FE086A-143F-4386-B054-DCCD56E86B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418e11ba9aa00fff66327c25b31244f2eff73009","datavalue":{"value":{"entity-type":"item","numeric-id":2780851,"id":"Q2780851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$CABA4910-EF17-46FE-9637-01463BAFACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$12780480-5BC2-4F98-9FFD-E7C20B4C100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$86C33D66-6980-4579-9692-089AC7052655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497cceac7d6c6acd7624c65e3bd42c3b938c2d3b","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$47D00949-5A9D-4203-88C9-EA4A71149671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$442BCB68-31B8-4C83-B6CA-A219BDD7A0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a863bec650c3a4861273a0e14be3049bab38643","datavalue":{"value":{"entity-type":"item","numeric-id":3394879,"id":"Q3394879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$B1E8BA60-7629-4CE2-B1A7-D46C8E203EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc451f3379ca9ddb598a83f7342261279396ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":1406613,"id":"Q1406613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$AC7992E1-5692-484E-968B-85E372B5E249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$D34B2581-5803-46FE-8F4D-84D66FABBCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76da51ef37bf122b97206f8fcc37359bb2b5d49","datavalue":{"value":{"entity-type":"item","numeric-id":2841737,"id":"Q2841737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$341F1897-8FAC-41BF-BFCE-C2941DE4F192","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832071$DCE7828A-690C-4FCF-944A-332F840E2567","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e895e6f3c9971a8388a0ebadf5d797ef506ac291","datavalue":{"value":{"entity-type":"item","numeric-id":259074,"id":"Q259074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e0ec7616c1c994e4dfd08f41406ced34230725","datavalue":{"value":{"amount":"+0.8154476284980774","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":"Q832071$222D23ED-53FE-4EC0-8C7C-292745E29AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8b0745cd5ce3b3a50d8657bf28a15531cbf687","datavalue":{"value":{"entity-type":"item","numeric-id":6104816,"id":"Q6104816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da74a732dbefcfb67e0378a01cc3055d7c575405","datavalue":{"value":{"amount":"+0.7222381234169006","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":"Q832071$C3495B12-2597-4C80-A88D-B6D1453AE3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcaef94edb4c039b293ee152a0c3efaa63556d59","datavalue":{"value":{"amount":"+0.6992185115814209","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":"Q832071$1573154B-ED29-42D9-8257-B8B937C37374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c34f93c259408c506a35ff4b3377dd1b8a1a707","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce973972386a51a0aad5ded82b3d1ed65561eb5","datavalue":{"value":{"amount":"+0.6925703883171082","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":"Q832071$9551BAE4-030C-4FCC-9310-1F263B905398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62793263bf7fd7d4a956482396e7198ee351626","datavalue":{"value":{"entity-type":"item","numeric-id":4960924,"id":"Q4960924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44041064b3b244696322efb31cfc7001e030dbce","datavalue":{"value":{"amount":"+0.6925472617149353","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":"Q832071$C4BF7E23-A891-48CC-B4F8-1C96CE10EEBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832071"}}}}}