{"entities":{"Q2478551":{"pageid":2489294,"ns":120,"title":"Item:Q2478551","lastrevid":74360439,"modified":"2026-04-14T19:43:55Z","type":"item","id":"Q2478551","labels":{"en":{"language":"en","value":"Probabilistic verification and approximation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5255279"}},"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":"Q2478551$49406F45-E415-45FC-8A2F-051D86CF19CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9945540a7f3807174f748b6f1d99af26868f915","datavalue":{"value":{"text":"Probabilistic verification and approximation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2478551$4DDE4533-7E24-45B6-A1B5-08BC140C9F3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c7a49f4180d92ce9a84d9740311aa5d03fe3762","datavalue":{"value":"1142.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478551$A9A04D97-B519-4E6C-8C79-8578522AF922","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"764dc920edb8b321640d6d8191b1ec243d6b4c52","datavalue":{"value":{"entity-type":"item","numeric-id":2478550,"id":"Q2478550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$A0ABD01B-A254-47FD-98F5-6E8D56F81223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4ec90d133e47d0c18aea7f6eb0155ee89eb2f7f","datavalue":{"value":{"entity-type":"item","numeric-id":630593,"id":"Q630593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$BF247343-2078-4BD3-ADD9-5D9A3C54B5DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$F8A9E044-C258-4BB8-836E-6017E1DA99A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19b8f2af7f0986c9c462b75f4a8bfb541c843b8d","datavalue":{"value":{"time":"+2008-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2478551$0CF8E68E-5C74-4886-8B34-2EB56459DF4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478551$382C38ED-553A-47D0-9369-806EC2CF4543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478551$4818B3F1-1625-4689-B030-2517CDF62FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478551$CF655C5E-31B6-4CAF-8F80-AF3FD61C94E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"478b4cdb9192ed59d5ea3674ca2ed85717ea4768","datavalue":{"value":"5255279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478551$793EF905-DC7F-45C4-8903-41FBA986B95B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2478551$A8CB87C3-083E-44E7-A9FC-2BA5A426AA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01519ccd061de77e4f96d99f701aae2e4e9cc2c","datavalue":{"value":"randomized approximation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2478551$E1EC15A2-C738-40B0-A10C-DBFE1FC24E08","rank":"normal"}],"P1463":[{"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":"Q2478551$F3EE6A49-C373-493C-B6F7-01D4E1FC325F","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":"Q2478551$076998CA-092C-4A40-938A-97480CA16260","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e2b7c2b29b61567021134fcc13b3c046f263332","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.11.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2478551$B116447F-E55C-4648-A457-F66C7F5BB3E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d6348a23808303a61c0f743363d4abaa010da12","datavalue":{"value":"W2092752793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478551$AE57AE64-4C38-49AA-8B7F-B12C048E02A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$3348CFD2-86FC-44AF-BD7B-D30F30513EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a64f52b248c6e54db6201187ef78fb8c9350cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4256220,"id":"Q4256220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$93359530-7C5F-47E0-9A2B-3CF54FD0962D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d323dc2e1f84e44250d95d0988a1f55218f896","datavalue":{"value":{"entity-type":"item","numeric-id":5178993,"id":"Q5178993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$64AEA2EC-C8FB-4186-B326-F703A523C474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$20198DCC-E1D5-49E1-BA44-764BFDF11506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$903C6073-F6A8-43ED-BD7A-25D8D0CFDE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68512525bec2098c874a62ef6abcda962f98df69","datavalue":{"value":{"entity-type":"item","numeric-id":4943879,"id":"Q4943879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$7E06E8BC-7A34-49A3-885E-432FEC846458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$92C7349A-9928-4826-803E-3D7CFE64B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bb98f9058406a06be0a307387539ee9c46e865","datavalue":{"value":{"entity-type":"item","numeric-id":2848422,"id":"Q2848422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$0977659B-F7ED-4C0F-8EA8-123E41373834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1b68f3b9227f6893b9b967eee56379ca0ea92","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$6A9B98DD-A9AE-4F83-8A68-A254618E3F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$1D9CF5D3-1C62-4F80-9B11-A6C65EFE0F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11aa524ad618435d8f7809ba19a1140f36dc0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":2848656,"id":"Q2848656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$B441A54B-4E62-4615-A006-9335EA093A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dab088d995d3d939e403e3a0a80def6dff68a2","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$49FA4FC3-C126-46EC-96FB-5F0DE64FEBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08dd2cde602af137c52ba4f69c22bcd86e50c081","datavalue":{"value":{"entity-type":"item","numeric-id":5332577,"id":"Q5332577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$7793D7B1-3F3B-4C79-A91B-B5135FDB6A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7678cadff422dc18fb5c6f9d2c4055e1ab7c4be8","datavalue":{"value":{"entity-type":"item","numeric-id":1079379,"id":"Q1079379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$66F2AEC3-E167-4995-AA05-9E729A46714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ee4517509ffa7407cb24c16ee1b6eaab95c4ca","datavalue":{"value":{"entity-type":"item","numeric-id":4268894,"id":"Q4268894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$48678835-5261-4243-B5DE-5A1DD113FF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45558739a1380325e41235ea81c2d7698843ce9b","datavalue":{"value":{"entity-type":"item","numeric-id":1079111,"id":"Q1079111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$7BA4496E-60AC-4A5F-8FC0-443F1886B3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb08de34ad3aa597fc5008850a73c3a78897ae","datavalue":{"value":{"entity-type":"item","numeric-id":3834934,"id":"Q3834934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$A58DD5F5-B68C-4383-B349-D1735B9A4BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ddd285aec326434fca2b9d87d6b2ffb199e014","datavalue":{"value":{"entity-type":"item","numeric-id":4813209,"id":"Q4813209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$05833078-853A-4074-97D8-72E60CC701BB","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":"Q2478551$012E9344-247B-4D00-8499-303795552772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473cd61866e2885d9944efcf3021bb7e66a1c593","datavalue":{"value":{"entity-type":"item","numeric-id":2492010,"id":"Q2492010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$178845BE-A22B-4890-8661-40C1EBC69170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18671381aef6d1bb7a844631e84d5c7881118b16","datavalue":{"value":{"entity-type":"item","numeric-id":3135094,"id":"Q3135094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$ABF95455-F49D-4B43-A405-4D28BDFD0B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$A807A474-D2BB-4EED-B11A-E8CA5627C60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$BCED840C-2236-40A4-930C-EE250F832962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237b2e37dda09b6829cc29b36cd88ad81c2173f8","datavalue":{"value":{"entity-type":"item","numeric-id":5898615,"id":"Q5898615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478551$A7902512-9B73-45E1-A5B3-469722DDC6E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"350e7595a05f473727654b1135100f8397023862","datavalue":{"value":"10.1016/J.APAL.2007.11.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478551$0249362C-ECBA-445E-8ED6-E754D8371957","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5bbcca317ee7c4797c4aa77033fb46e5480b43","datavalue":{"value":{"entity-type":"item","numeric-id":1803654,"id":"Q1803654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b3be7eb348ed53e795abfac1a030ac6268cde5","datavalue":{"value":{"amount":"+0.95483094","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":"Q2478551$E0F3D714-BDAA-47D5-9998-D9A15F773A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce018550eadd24e89fcf973622e2d181ee94dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":1126840,"id":"Q1126840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438e5a1128811ef9aea843c6a872781276ec539e","datavalue":{"value":{"amount":"+0.9487171","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":"Q2478551$4F3CE3BE-F978-46E9-B4D9-4978B26E2B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47050d24a0cd8f4b4f5a74c33df1a57fafff555a","datavalue":{"value":{"amount":"+0.941197","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":"Q2478551$97948540-AD58-4C2F-AFB3-CB824F05B644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d02a84ccea218547223dd63bb0b20f2fba85dd","datavalue":{"value":{"amount":"+0.9378263","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":"Q2478551$F6F2E679-D5E3-434A-A39A-F98D0E132668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949dc6185729e487d5eddef1dfe3d84e5d8e1e00","datavalue":{"value":{"entity-type":"item","numeric-id":1977920,"id":"Q1977920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c554a278b17b63d148a5c9d98ec178d81f889f7","datavalue":{"value":{"amount":"+0.92686254","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":"Q2478551$D85F414C-26D8-40DA-ACBC-B76D79ABFA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ed0f5464968f1c3ddbe9cd1c73a72a4f75dde7","datavalue":{"value":{"entity-type":"item","numeric-id":2848656,"id":"Q2848656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7690408408937f96d9874135da16c62d0e8c681a","datavalue":{"value":{"amount":"+0.9242415","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":"Q2478551$1282487C-853C-422E-AD56-D70D17D4E998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f4034399829c7be670eedad7e312c427b8bd41","datavalue":{"value":{"entity-type":"item","numeric-id":5465856,"id":"Q5465856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095969ec6dc84df285cfeb87913c7643b8da035e","datavalue":{"value":{"amount":"+0.92213976","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":"Q2478551$9A94419C-1B55-4A25-9417-CBF90F13F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84c189b87948b49b5fa29ad23a9bdf925b1281d","datavalue":{"value":{"entity-type":"item","numeric-id":3144131,"id":"Q3144131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e642e69dcb8e6ba28b4454df5552f9b9fdc9d33e","datavalue":{"value":{"amount":"+0.9177348","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":"Q2478551$F27F9389-8D81-4841-8FB9-98A511535C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ecc2cc5e0606751dfe32ccb7a2556cfb02f98","datavalue":{"value":{"entity-type":"item","numeric-id":685120,"id":"Q685120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa68b7829cecede2c07fb396552d157d3f0d47d","datavalue":{"value":{"amount":"+0.9164144","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":"Q2478551$652A9D4F-1658-4D08-827F-705639202529","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic verification and approximation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_verification_and_approximation"}}}}}