{"entities":{"Q2398494":{"pageid":2409237,"ns":120,"title":"Item:Q2398494","lastrevid":44017236,"modified":"2025-11-19T01:25:59Z","type":"item","id":"Q2398494","labels":{"en":{"language":"en","value":"Linear templates of ACTL formulas with an application to SAT-based verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6760796"}},"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":"Q2398494$8957ABA0-B406-4B8A-A4C5-7D389C84B4E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"418f11f94e36c9a747e90cdc4f43c04a65607768","datavalue":{"value":{"text":"Linear templates of ACTL formulas with an application to SAT-based verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2398494$372E1CFD-1DC1-4BF7-B21F-F84912849EF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a931f7c1bbc308635a1dfdec2492970940a1a0d4","datavalue":{"value":"1409.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398494$0739D3D1-9C8E-4BD3-94B8-C6A2FEB4928B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2eeb79e367cee99c5957fd91537ec95c42abec3","datavalue":{"value":{"entity-type":"item","numeric-id":896914,"id":"Q896914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$54214F29-F0F0-46F2-A518-878A7FDAE162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$83CCCEE3-951F-401D-B936-ABA7CC086ABB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$07EEF076-F1D9-480A-AE04-1DC0633C795E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1d7c0d25932e6c783b5452f9f0c5ca5bd63b788","datavalue":{"value":{"time":"+2017-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2398494$2B5AD56B-7CFF-4CDF-9AF6-14C31F109152","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398494$93B08287-2ED2-4C8A-A464-BF276726897B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398494$224D4AF0-55AB-493D-937D-958EAD859198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5707fa4aaa5e60a13e60af78028e7856c1e66d5","datavalue":{"value":"6760796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398494$B6C2D05B-2004-4702-9448-8EFE35ED3E99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398494$8B026D86-BC01-4398-9F4F-2B45F0C7B836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b39d62d9570b8d27af09160791ba11bdb73004","datavalue":{"value":"bounded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398494$A59EC37E-FBA7-4FF4-8FA2-F01B2AE248DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398494$FC8203AD-8D4E-4167-929D-A0D826423779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bed5fedd910d1941dd101097da3f1a486f4c606","datavalue":{"value":"linear counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398494$E7B1CEA1-EB70-4034-8927-22DB173BCF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335cb892eac670ba1f3f470183c143e033185662","datavalue":{"value":"SAT-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398494$64E81658-5A19-48E1-94C3-3F2A892E3360","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$3CB0A7AE-4E4B-4B9C-9EEF-6C41BF17EDB5","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":"Q2398494$9A8077D3-24E2-42E3-979C-0951AB150F73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3c57105f46f06a71fcf4be5d457b581c0cb978","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2017.06.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2398494$D5ACCD40-FFC2-4E48-A6A2-A2F2F95296FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05b6c23c1968ea7a1a017111fae2910b655969e1","datavalue":{"value":"W2690776731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398494$B8503FBD-99B1-45EC-8D4D-44B9943BC5BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d56ce70e0c8b36aa729e660ba1565c08593a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5943101,"id":"Q5943101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$BDBF9080-A34E-4F4F-BDEF-240EACAF6E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$9D67F723-B199-48CE-BA7C-E31AE1D8FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512e0b06f0b5668911d61ea5465b69a660f3a50f","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$27DE53F2-889B-4C52-9D46-C8716A6EC16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$C18A486B-2069-4A11-A124-6946B1AE0E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$C346C17B-C230-4535-825D-F409BE24911D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$DD44E716-CAF2-4739-9806-60335F4CD736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7697901abf56c21392ee231c58fb6021011d0ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2864383,"id":"Q2864383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$566DF3CC-F600-47FA-BC48-BBA44E354897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5f3cd0c0fdd70d2eae3e5f69e2ee0aa687d8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$81E7CD48-14A1-43EB-940D-863614CB88C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34790fd400d407736ea9d9598ca6214077e301e8","datavalue":{"value":{"entity-type":"item","numeric-id":433331,"id":"Q433331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$C4098E8B-507E-4E60-90E2-DB0F9A3262B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268d05e5ca4c257e5447995fdf9928273cd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":3454102,"id":"Q3454102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$D017E422-040D-476D-8F12-8D26E3EEBAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f746658d1b249a35120427b20e3d72936e3691a5","datavalue":{"value":{"entity-type":"item","numeric-id":3510810,"id":"Q3510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$C1F8A941-45BE-49F8-9AA5-DBFF0739AEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bf56316f400add0d0fd24e4ac8769d1d269f45","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$8FFAC9F7-0D0B-4FCF-9D08-C5A7918309CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b60bd5e31f9ae9f1564921464f5fc21a2b45225","datavalue":{"value":{"entity-type":"item","numeric-id":5479152,"id":"Q5479152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$4D3CE661-B035-44DB-B52F-B64F1B6213B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a561ea5d3c712d8c4918f50b9db6f8fad2ca0c8","datavalue":{"value":{"entity-type":"item","numeric-id":4654277,"id":"Q4654277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$35B498FB-7BBD-44F6-A508-2C7A9F0E35B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e206af7944c265e8499eb72efe90fa460846802","datavalue":{"value":{"entity-type":"item","numeric-id":4902327,"id":"Q4902327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$32876F70-0D44-428E-9680-FF3E3FDEA0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a26ee146647c9cf8255800b1d37f118aaf20e3","datavalue":{"value":{"entity-type":"item","numeric-id":3192192,"id":"Q3192192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$FD6A87A6-0FB2-4927-B5A5-A6A2851D3E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9721deb9442f38adb19cb0812a8c6d85f84e24c8","datavalue":{"value":{"entity-type":"item","numeric-id":483292,"id":"Q483292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398494$C136F398-C584-45E2-85B6-3DFF905BED7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4e7c979d3e49d589ce91aae548c5c612daf1bca","datavalue":{"value":"10.1016/J.IPL.2017.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398494$C32724D0-1B74-42DB-B1E0-89513CD24370","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea53f4d0daf48dd7127e69ca85211a01679fed0d","datavalue":{"value":{"entity-type":"item","numeric-id":2583288,"id":"Q2583288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d590a853950c99d48756bca87051bee2cccede79","datavalue":{"value":{"amount":"+0.8604443","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":"Q2398494$03853523-D3D0-4D26-93EF-255EF90FF82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54449545db1be63a57ebdce251e1dd4911aa793","datavalue":{"value":{"entity-type":"item","numeric-id":5943101,"id":"Q5943101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44518a297650c6ebf738dba7268a491e6334436","datavalue":{"value":{"amount":"+0.85806686","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":"Q2398494$F28F4AB3-0CA5-43F2-BED7-B7C986AD6DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af19ccdef1e99b8edba00a8411399340c3366375","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aab9f0942b1fefba674c3973de6296b45e973c4","datavalue":{"value":{"amount":"+0.85682875","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":"Q2398494$6A65A065-C998-4342-A56D-85B37ACC2E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e285b1a9095f370590c24f79161dd94db6b4d9","datavalue":{"value":{"entity-type":"item","numeric-id":2335900,"id":"Q2335900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c533a76f6fdf1ffd4c7f5ceca9a7a242dbea7c97","datavalue":{"value":{"amount":"+0.85516685","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":"Q2398494$0E6DFC32-C283-4BA7-9AE7-7CF04E122292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760a14bfabc4e10a8a1363a170fc2f2ca225ee11","datavalue":{"value":{"entity-type":"item","numeric-id":3079919,"id":"Q3079919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce0e35a254dcac780b49d32b68967902a069942","datavalue":{"value":{"amount":"+0.8550563","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":"Q2398494$3244BC0D-E093-4226-A54F-268D642B2CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491d1e2c981881103d04499ddf67b94cdb44c034","datavalue":{"value":{"entity-type":"item","numeric-id":4809056,"id":"Q4809056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b5eb667c5a31f6761f6bc63ca51dd9253bc8da","datavalue":{"value":{"amount":"+0.8515706","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":"Q2398494$AA3AAAC2-0331-4AF0-A38D-847E24B51FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ef019ff45542b2e9fb9aab563a2f0f87e7c660","datavalue":{"value":{"entity-type":"item","numeric-id":3599093,"id":"Q3599093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c814bb3179e141f4f77434d61d93527406a5f5ee","datavalue":{"value":{"amount":"+0.8513265","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":"Q2398494$63CCF344-63D1-4F80-93E6-4DAD5CB71860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec1845d5b805a33a9b6dc48ef7a1a69c506e41c","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7469624edad9b5e2cdc5b9db3f0328f41614188c","datavalue":{"value":{"amount":"+0.84904456","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":"Q2398494$3F94E75A-17FE-4E2C-90C4-AC3E6A054FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff398daa810e103a4cd1e0b35ba7a69419d933d0","datavalue":{"value":{"entity-type":"item","numeric-id":5703769,"id":"Q5703769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865f08313757ba4e8595881f776afbdea1634e50","datavalue":{"value":{"amount":"+0.8490161","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":"Q2398494$31D47161-A5AD-4AD8-8B37-17473A856517","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2398494","badges":[]}}}}}