{"entities":{"Q5480169":{"pageid":7509729,"ns":120,"title":"Item:Q5480169","lastrevid":49883239,"modified":"2026-01-11T14:44:22Z","type":"item","id":"Q5480169","labels":{"en":{"language":"en","value":"Guided model checking with a Bayesian meta-heuristic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5042673"}},"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":"Q5480169$5F50A38A-272B-4594-AD58-BC3255864919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72b18da8a72f639ddae14c668d8ec995d7feea4c","datavalue":{"value":"1096.68673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480169$B4C4A989-4C01-460A-A46D-A58D8E2AC166","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d85a27ba2b9544b016b1499e0ba5bedac0259484","datavalue":{"value":{"time":"+2006-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5480169$9DF52DD3-5B73-4F71-ACDA-CA846C7E107B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480169$93C85FAC-993B-42EE-AE28-A3146531791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480169$90ED16CC-ABF4-407D-9C5A-972DBD99A799","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e611ce17fb8b946d8a7e0e4481d9ba8c2b0907be","datavalue":{"value":"5042673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480169$BC4A38BD-1B87-46EC-9AE9-6EC31203D89E","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":"Q5480169$F33B5F1E-E5E0-49DC-8CC1-D161146F7955","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac20a690109042c82b16f340273a51f7f72895c","datavalue":{"value":{"entity-type":"item","numeric-id":2093157,"id":"Q2093157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4c61a8bfe8045efde4baace4fbb2383b00d741","datavalue":{"value":{"amount":"+0.7379100918769836","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":"Q5480169$C186C6C2-019A-473C-A3E0-9FBC49E7FA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b09e2fecb0c07b29b5d6d381a95c3ad04f26318","datavalue":{"value":{"entity-type":"item","numeric-id":5394185,"id":"Q5394185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8743d5cd51c4370442440b554d499019ae3730d3","datavalue":{"value":{"amount":"+0.7354087829589844","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":"Q5480169$6DF73403-FEF6-46CF-B439-85CA57F0FB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931c69edb82621504d9a470ff7512c72b953d9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4738485,"id":"Q4738485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03ff626834dd3b5da6d68ce57b4de1679749485","datavalue":{"value":{"amount":"+0.7348155379295349","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":"Q5480169$1C511451-40D6-4BBD-BBCB-5652E1E63503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dac45c8603c2a08b3f04f2a6d036c596191ef2e","datavalue":{"value":{"entity-type":"item","numeric-id":5899034,"id":"Q5899034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf125670ade2f409beb95ef665465500f5b2e1bf","datavalue":{"value":{"amount":"+0.7233498692512512","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":"Q5480169$0289A384-8043-4989-9814-C226AF273713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7347074cbfb534ca6dcdb555198bf94230c6659d","datavalue":{"value":{"entity-type":"item","numeric-id":4493879,"id":"Q4493879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3db597db4ab98d088b2a50d0297ee3c17d2311","datavalue":{"value":{"amount":"+0.7216570377349854","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":"Q5480169$417DB10C-19FF-4443-8347-B58883DEA21C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5480169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5480169"}}}}}