{"entities":{"Q847645":{"pageid":849493,"ns":120,"title":"Item:Q847645","lastrevid":64824705,"modified":"2026-04-11T22:28:10Z","type":"item","id":"Q847645","labels":{"en":{"language":"en","value":"Invariant \\(P\\)-values for model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673106"}},"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":"Q847645$4B585D70-3620-4034-91F2-1FE6976B7091","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2a356bc28543b980c93c6ee84caa120cce12af1","datavalue":{"value":{"text":"Invariant \\(P\\)-values for model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q847645$3C509B39-3219-435F-8680-E98123B13314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cebe027831de988333deedade942f66ca259ed1","datavalue":{"value":"1181.62030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847645$E3501F92-9359-4872-91B2-F34CD229471A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de39960147da9faf5827ebd918c5db8957d8ece9","datavalue":{"value":"10.1214/09-AOS727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847645$4D4D609A-3490-4005-8AC7-99D415D80492","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02491aae91dc508756380afab406c393849f838","datavalue":{"value":{"entity-type":"item","numeric-id":252234,"id":"Q252234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$97C44A5D-CA76-46DD-91A8-640C1F29ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f6a0b986c0c101ac41ffd7b4622e1ea856ff3b9","datavalue":{"value":{"entity-type":"item","numeric-id":449851,"id":"Q449851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$438BABAD-9638-4E7D-9423-75B5F25ECA1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b73f6da78562727d9e1c290db85e0053cdeb667","datavalue":{"value":{"entity-type":"item","numeric-id":60819,"id":"Q60819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$3EF67F12-01BC-47AC-8906-E2FC00FA0A06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q847645$F544DEB2-1970-49E6-ACDC-660B7563CD72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de4fc2f8b7ae24ddd35afdf9477535e8d16c3fd6","datavalue":{"value":"https://arxiv.org/abs/1001.1886","type":"string"},"datatype":"url"},"type":"statement","id":"Q847645$57AB4C3A-9B27-4810-8267-CFAAA14886EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fc41369e0eec850a15b9488dce7fb1299af94fe3","datavalue":{"value":"62F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847645$F8C2CDDB-3BE0-4B9D-B479-B62F5D915DF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1ecad11c7b401df01c8a9224489a91cbfadeba4","datavalue":{"value":"5673106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847645$A5D05922-FD6F-44C9-ADBF-61C10499767C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154f1206e85c3d1dbb7d6f151e89567d53e7979d","datavalue":{"value":"\\(P\\)-values","type":"string"},"datatype":"string"},"type":"statement","id":"Q847645$1ACFD905-4C1F-463A-86E4-367010E9FD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8215cb0e4927e947efed00d74f0a39e065f8483","datavalue":{"value":"invariance under transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q847645$30FA1D5F-54A1-4A74-830F-C0EA47F4E2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd749ce325716c521d052f37ad5d778306df1cf6","datavalue":{"value":"discrepancy measures for model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q847645$ECE3AD72-062B-4040-BD14-3A14417AD266","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":"Q847645$4603F845-F8F7-4240-9E25-08B1CC2CD5FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f17cd7449ead0c42b4b54139398a203bbe87cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":4541335,"id":"Q4541335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$F35FA15B-7217-48FB-9C09-E99053C0C155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19537697fac068c1fe5b88fc7c2a48101bc7d07c","datavalue":{"value":{"entity-type":"item","numeric-id":449762,"id":"Q449762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$CFF297FB-A60A-49EA-B047-1D1FE116ED32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d019fe818b4953977fe512ff77325271417b2cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1595956,"id":"Q1595956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$24FA2254-4BF0-4C13-9D5E-A02F271DBE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1054712f650867233e8f259022fa84bc18db30af","datavalue":{"value":{"entity-type":"item","numeric-id":3753258,"id":"Q3753258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$6FBFDBA0-0C95-4828-9105-9394F8F7080D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c925d1797a6a316d8f2b322095fae49c1770b1","datavalue":{"value":{"entity-type":"item","numeric-id":4293547,"id":"Q4293547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$4275A6F8-D6C9-4C9B-BF9E-582F4F8DB883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0620de0c39f69ff7b248d1e64f02401dad0f3b13","datavalue":{"value":{"entity-type":"item","numeric-id":3903898,"id":"Q3903898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$42EE27FF-E0D2-45C2-B89A-ED769F1395C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989c8321b8fce661a986eccccb877d873cd7d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4715945,"id":"Q4715945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$F5148B77-3639-4E30-8EFB-F6F67546B2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d8e77df5683835a473fc1a321d2d4e8a3faeea","datavalue":{"value":{"entity-type":"item","numeric-id":3757133,"id":"Q3757133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$F7D7F8A9-091A-44B6-9A39-C8D9BB242346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d060c0db996604fc1b114143609955609243d3","datavalue":{"value":{"entity-type":"item","numeric-id":5546034,"id":"Q5546034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$A2F8BE99-BC64-4A4F-831A-F051BABAB2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e697141c1124af2e9127ad23eabd0cccbf29517","datavalue":{"value":{"entity-type":"item","numeric-id":1805541,"id":"Q1805541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$719B97E4-11E8-4F3C-AD25-CDD15069DBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b01b569145dc6f5065cc8714525a59568c27da","datavalue":{"value":{"entity-type":"item","numeric-id":4223193,"id":"Q4223193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$E98619F6-D7F5-45B2-8770-79F6EA319B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6df7120dd97726e9830c4d3f4f99bc3a4fe726","datavalue":{"value":{"entity-type":"item","numeric-id":4405392,"id":"Q4405392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$4943783C-DB7C-4BED-A3C4-1051C405FACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd994a7d7cd2ab083def16d2bba61fee786e4b78","datavalue":{"value":{"entity-type":"item","numeric-id":4077274,"id":"Q4077274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847645$E2654BF3-4AF4-4C2A-908A-CA7168614D22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7a0da0419860ad1626b8535b6819f49d1a87469","datavalue":{"value":"W2144287467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847645$CABE2B20-E848-40C0-B687-5789C61AD1E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6037dbca45479e3492101557dd0330c393617f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5446538,"id":"Q5446538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7830a34f00f715b7cd20683eb4fcee8883c74c7f","datavalue":{"value":{"amount":"+0.7491125464439392","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":"Q847645$FA36BB74-0A4A-4CFD-8534-B6711995E6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb537cf691b9f58987328ec9b93d12b5045f557","datavalue":{"value":{"entity-type":"item","numeric-id":4558616,"id":"Q4558616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2d0742f29eea57cfb1b769e8fa25c6b61af168","datavalue":{"value":{"amount":"+0.7476623058319092","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":"Q847645$FFBAB341-501D-4ECD-BDAC-09D1E543BF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"559735cbc7859ccf3c92b602ece6df14105828c8","datavalue":{"value":{"entity-type":"item","numeric-id":4323160,"id":"Q4323160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbdb76ed342b82fc235d4d5eaf4c351cf7037ca8","datavalue":{"value":{"amount":"+0.7473201751708984","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":"Q847645$40465217-1719-4E45-8E6B-3FF3C47AB23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f60f10ae2114f215515ba30a1cd8340dcbcf144","datavalue":{"value":{"entity-type":"item","numeric-id":5364022,"id":"Q5364022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8292fa40bc4d9eb970a9bf463cb708a3d48d21","datavalue":{"value":{"amount":"+0.7472817897796631","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":"Q847645$16DBE4C1-8083-43CF-992B-FB5B89B6FF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876ecf8d27df9cdbb6502a87bb35092720ac5ec9","datavalue":{"value":{"entity-type":"item","numeric-id":4541335,"id":"Q4541335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88bc9cf95c7b381c8bf46c3a822f995dc204947","datavalue":{"value":{"amount":"+0.746914267539978","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":"Q847645$D3DE406C-0AE8-4FFA-8D80-BCE53A3C09A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant \\(P\\)-values for model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant_%5C(P%5C)-values_for_model_checking"}}}}}