{"entities":{"Q1798974":{"pageid":1809716,"ns":120,"title":"Item:Q1798974","lastrevid":53239256,"modified":"2026-01-24T12:58:06Z","type":"item","id":"Q1798974","labels":{"en":{"language":"en","value":"Validating mathematical theorems and algorithms with RISCAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957973"}},"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":"Q1798974$7D42FABA-2CBA-4116-B2F7-5BBE2AE625E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aa5839cd0c6d53a678a447e60bdb421b03465d1","datavalue":{"value":{"text":"Validating mathematical theorems and algorithms with RISCAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798974$0FBDE637-EFDA-408B-B34E-314A36CDCBD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f49983b741f016ca2e0915826a7840fe5f64aede","datavalue":{"value":"1417.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798974$B0C434D9-449E-413B-9B40-919DC85BEC4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06afb3adb05385111d262f0e11a7f660d7f9bc12","datavalue":{"value":"10.1007/978-3-319-96812-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798974$736B020F-F7CD-4ADB-AD9B-7C8413FE445D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb33d69587ad5a852773f2fc55274bf330026170","datavalue":{"value":{"entity-type":"item","numeric-id":1019023,"id":"Q1019023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798974$50A6E3C7-6E5A-4F05-995D-8CF1D51E2EAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798974$3E05CE2E-FFB4-420E-ADCD-820C7CC063AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798974$7CB364A9-BD84-419C-AC7C-84CCDE29EAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798974$6F601DB2-7ACA-4F7C-8384-D021DEA91F36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32218158aca14882419a7f3acb323657062eae7d","datavalue":{"value":"6957973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798974$660F2720-451E-47E3-9D91-C4F8E741477B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798974$15BB5D1E-7A3C-48D7-9BD7-7687CCE3691C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798974$14CCF553-8DA7-4ECA-A8D3-CFDF14CD30BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798974$9D0301DD-4E13-4344-99A3-DB6547486CF2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798974$EF32BF07-BE09-4535-9CA0-DD5623A4095A","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":"Q1798974$1E3D7D95-1763-437C-94DE-4FB7E73D3102","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ecf4f22919d110cb75664c32076ec6ddd1c60fe","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96812-4_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798974$2D82BD70-F244-4F69-A1DA-A3F5FD5BB839","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84cbe5247e66db0400ff5bd8382abbe6ff102118","datavalue":{"value":"W2883248299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798974$49F0788D-2947-4FAC-983E-5AE72D8D1921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b3bbe146d8b2ae06d684af4fd6d5641aec915d","datavalue":{"value":{"entity-type":"item","numeric-id":6114445,"id":"Q6114445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b59f5d11362495f7cc4ad56c35c812ae10530ff","datavalue":{"value":{"amount":"+0.8129240870475769","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":"Q1798974$29740FEA-7FC9-4826-9B4C-B5F8FA0CE84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6851b11598f55614eba10658d1d7adf7831b5987","datavalue":{"value":{"entity-type":"item","numeric-id":3393398,"id":"Q3393398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700aa940a7e6a90ae5dc50045e64de5a071b0c5b","datavalue":{"value":{"amount":"+0.6909391283988953","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":"Q1798974$76B06D62-8A48-45AA-9B8F-8D15EDA9B951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214128de06c844878b87e8b8e5ffb2967f90394f","datavalue":{"value":{"entity-type":"item","numeric-id":3591069,"id":"Q3591069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2a6e6a53667f1296b9203e951d64162885e418","datavalue":{"value":{"amount":"+0.6852266192436218","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":"Q1798974$73770FDF-D4D1-431D-AAFA-98CC462D4CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139ec918f6b4972880665f4c6ce4534e328919e2","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d1ae6e61e530276a0391f6af30f07c4ba2233a","datavalue":{"value":{"amount":"+0.6722873449325562","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":"Q1798974$23AA3FA4-9415-400F-A359-F814B9021B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417de2ac49d8f6f8121072a1bf64b7403e269b50","datavalue":{"value":{"entity-type":"item","numeric-id":4286882,"id":"Q4286882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe678c389b93a068af3c619727623e6f4b1dd50","datavalue":{"value":{"amount":"+0.6722449064254761","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":"Q1798974$FE2ED936-4DD0-4682-9BC1-4967F3B7D087","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1798974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1798974"}}}}}