{"entities":{"Q2830041":{"pageid":2840778,"ns":120,"title":"Item:Q2830041","lastrevid":83753711,"modified":"2026-05-07T10:50:24Z","type":"item","id":"Q2830041","labels":{"en":{"language":"en","value":"On-the-fly fast mean-field model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6649704"}},"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":"Q2830041$27D2CB21-1BF1-409A-8864-0957BD55E5B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21dba3fbc70b6dece8cd10fc9193eb3c221545cf","datavalue":{"value":{"text":"On-the-fly Fast Mean-Field Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2830041$8CCB4B56-933F-44DE-B514-BDF519FB9375","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08672e264866131957fd456da737b03f0db6faf7","datavalue":{"value":"1348.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830041$DD09E158-9D7B-41D3-9E81-4C7E5F7612D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"325c80116cfcdb72be580633a7dd0b5433b4a278","datavalue":{"value":"10.1007/978-3-319-05119-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830041$E1A74D4B-CE81-4647-A945-44A83DD033B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830041$9F41728C-4AD8-4813-B0A6-02C5290851E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830041$CF12B088-E5D1-47DC-8FAE-49D1263D5218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830041$0978267B-26E1-4317-AC45-4AECA8945812","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee0d095f9cd37ccf24b2b7a7c4ea665b54a342f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811921,"id":"Q2811921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830041$E49A20EA-938E-4ECB-A024-A60A027DF7D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a075bd554bad2b16430b9c44ca6d378726682638","datavalue":{"value":{"time":"+2016-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2830041$8934588D-97AD-45B8-A3CF-BBAEEA4C4BB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de64851f58f7d78b2c7d72ef7ae1a635198b21e0","datavalue":{"value":"https://arxiv.org/abs/1312.3416","type":"string"},"datatype":"url"},"type":"statement","id":"Q2830041$E8BF2680-229E-45F6-8D2D-E756BA487567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830041$693B6B78-1F8F-46A1-BC8A-48B75BFEA660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"163bfb61b873555d3a2fad3cdda0d4e3b1de36aa","datavalue":{"value":"6649704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830041$39998060-7010-4829-B5D3-6E58CF660812","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830041$A758515F-D2CB-41B6-AB49-2644568F8A62","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":"Q2830041$FC025E32-D73D-4A24-9D65-D76592F0620F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830041$5A6697D1-0F12-40A2-B557-CCAE724021E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2cffbb03c082dcd74711f84ea10a77ec7c488f0","datavalue":{"value":{"entity-type":"item","numeric-id":32989,"id":"Q32989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830041$531CD969-730A-4078-B52D-EA531621D0DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"911141eaf3e8efa041fe507e313d6f5c5eef5aac","datavalue":{"value":"Q124439023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830041$8DE959CB-7C94-4DCE-AE30-0B2DBF551EFA","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":"Q2830041$EBD8E4C3-9578-4C85-B12F-E3CA01E3DAF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da072dad03b8e0cdcc487e1a7a6822621d0e9315","datavalue":{"value":"W97988159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830041$0AEB77E2-334C-403C-B2F1-EC7C14969609","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e067ceee246493978375fa1d7e50480735b57b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5047045,"id":"Q5047045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cb75bf6ea1d15b071edda8f9718e7ae4417c06","datavalue":{"value":{"amount":"+0.9044433236122132","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":"Q2830041$83405A9C-8CBC-431A-85F8-571BBBFF412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff3a60de5ef49da670df84bd90887c5532833a6","datavalue":{"value":{"entity-type":"item","numeric-id":5216078,"id":"Q5216078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a1910ffcd56b5e8e002266e7119502d2097825","datavalue":{"value":{"amount":"+0.825533926486969","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":"Q2830041$5B13EE48-8E8E-4A56-AB4F-8DBC1F8B24C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a79fda1b04fadbda3344d4cc0dfa1c60f532e9b","datavalue":{"value":{"entity-type":"item","numeric-id":2912688,"id":"Q2912688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6777a684445557f6a6b3c426707cb1f3eb257824","datavalue":{"value":{"amount":"+0.7843244075775146","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":"Q2830041$3276D6F3-BA2B-429F-A6C5-ED72B334FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd7bcf4160e4874a87eefd8c489da494216f6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2346412,"id":"Q2346412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5453407b2e1f8004580f0af168d67c44c313e346","datavalue":{"value":{"amount":"+0.7657738327980042","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":"Q2830041$C96F853A-9BA1-41C0-BDCF-B163F2D34EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccdea1419eefd66c370ca242f3417911eb59625e","datavalue":{"value":{"entity-type":"item","numeric-id":1784959,"id":"Q1784959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7c46c946d3baf0e65f2535ab66466878c7129b","datavalue":{"value":{"amount":"+0.7491560578346252","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":"Q2830041$580D86CC-D008-4B77-B010-8295938CAAD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On-the-fly fast mean-field model-checking","badges":[]}}}}}