{"entities":{"Q3400637":{"pageid":3411340,"ns":120,"title":"Item:Q3400637","lastrevid":50897531,"modified":"2026-01-15T15:41:11Z","type":"item","id":"Q3400637","labels":{"en":{"language":"en","value":"Nominal verification of algorithm \\(W\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666844"}},"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":"Q3400637$E2778938-0743-4563-8C2A-C57630490A37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaecafdb245d7d9d8feaf1d042f06d98208d495b","datavalue":{"value":"1195.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400637$36B5151B-AA99-4A21-AAAB-F52E192DBA4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400637$00C6953B-C213-44F3-A781-D4ED76DE5D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400637$534585C0-4130-4D01-AE65-FCAEE6D6F62B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400637$A94FFF28-2095-41E7-8054-FAEAD8279CF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400637$505E8157-86ED-48C2-9C82-AFE05CA33894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400637$20FE84FC-7873-47EC-A182-560EB3B47766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400637$D574EDB4-CAC2-4802-AF6F-362B76C3883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400637$C0B4BFCD-691E-47F1-81B6-7206F962E371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400637$6B959658-91C5-43C4-8E1E-639708051615","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08fc46c1413b7d6f46f1e0880596a3d2f3917c95","datavalue":{"value":"5666844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400637$0BD34C5B-0BB3-434F-A5F2-709B8490E507","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400637$6D717823-1099-4BEF-8285-968FBED70AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1652a1ea5185eb94cd4f84bec3b28a0258e8214a","datavalue":{"value":"Nominal Datatype Package","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400637$A4C89159-13AC-4BE7-8C7A-8D7480271A65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400637$F350D50F-E3D4-4E86-8059-F3144B8301A5","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":"Q3400637$F112AD65-7EE1-471F-9A5E-339B70792840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa085ac5ba0c4b8a88a3f802d2741d0b756a39cd","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6acf772b6593b3051e0f065dec11cbec1a969c30","datavalue":{"value":{"amount":"+0.8410567045211792","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":"Q3400637$E8EABE4A-026E-4388-85A3-FAF81EB9A545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1524e2bc38596abb0d01361675a5dbda671013b","datavalue":{"value":{"entity-type":"item","numeric-id":4246952,"id":"Q4246952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978a5363190cd7d925a11afd79e1118e003c6c6e","datavalue":{"value":{"amount":"+0.8104023337364197","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":"Q3400637$C9FBA60B-391E-41EB-8BF3-ADB4134F4583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65ccfe89edfee7e808370feea971f6c76e59d31","datavalue":{"value":{"entity-type":"item","numeric-id":5898172,"id":"Q5898172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978a5363190cd7d925a11afd79e1118e003c6c6e","datavalue":{"value":{"amount":"+0.8104023337364197","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":"Q3400637$51C47584-699A-4F8A-AFF1-ED349D0683D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad75dd62ec10db61a132203b18a115cc71365c0f","datavalue":{"value":{"entity-type":"item","numeric-id":2798047,"id":"Q2798047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6811a24e23613987d3edd74665155cb1d2ee18d8","datavalue":{"value":{"amount":"+0.7504269480705261","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":"Q3400637$4F1D9551-5F00-42ED-B7C5-FBDD913ECE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550d3c7ef6be79cd24b5c2975cc5df7839bc4cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2871867,"id":"Q2871867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a443db8ea01599c2f8c29d1d5fbac973cbfd0f72","datavalue":{"value":{"amount":"+0.7375839352607727","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":"Q3400637$212CA4F3-BBB5-4835-B85E-861D3C90A0D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400637"}}}}}