{"entities":{"Q4037098":{"pageid":6066816,"ns":120,"title":"Item:Q4037098","lastrevid":55246570,"modified":"2026-02-05T06:59:01Z","type":"item","id":"Q4037098","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177247"}},"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":"Q4037098$389C44C3-07A3-4DDF-A7BB-4B4354649357","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7683f978fd343ae38cf48526467a17313cb00eb0","datavalue":{"value":"0786.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037098$739B6E3D-0F89-4FAA-A5D0-C7F6FEA60E22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac4ae6628821b0e932a7544f9a1200aadd0cdca7","datavalue":{"value":{"entity-type":"item","numeric-id":685108,"id":"Q685108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037098$3DB4D88B-BF0F-4550-A072-ED5EFCABEF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037098$5FD0EE05-E77C-4A76-A56C-FB350F659419","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-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":"Q4037098$68BE502C-8338-42C1-935F-0DBA5C0950AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037098$423DD416-1158-4C0B-B59D-EB1FECAD26B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037098$2D987EAF-1CEC-4DFE-9042-ADC6AFA03645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037098$E98A3FFD-15B1-4474-8C5B-67F515A34D72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec4bd718df347949c5b1c9b16a839acf05fbd6c8","datavalue":{"value":"177247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037098$C1428227-A919-45A5-837D-402D233F1C69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"333c573c80c91e095a3019f302a175b8134fa2cf","datavalue":{"value":"HOL theorem-prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037098$E7C9FC74-37FC-4B64-8D3A-10361763EB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037098$C41E8712-6C3C-4D74-9A9E-A8A8C5F8FAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037098$A0F73740-68F7-47C9-A6E1-49B72B66C371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548fb38e0e5082d1d0202592e69ac8e93ecf206b","datavalue":{"value":"simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037098$5CEA7D67-61C8-47D2-8D35-79225EFDA171","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037098$FB49BD89-9E9F-4F29-A10E-2B4DF07D4717","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":"Q4037098$10696D62-B9F0-4D82-A446-467D29B9EA80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009ffe0b8825f9515ffa02187a661a990f5a0c02","datavalue":{"value":{"entity-type":"item","numeric-id":4037395,"id":"Q4037395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd8c33b785e3c19d221256212b2f481d5c357d4","datavalue":{"value":{"amount":"+0.9943371415138244","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":"Q4037098$9571C725-DD8E-474A-A75A-6DB48C9851FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bd84c02a46d66ff9c3c5b0be6224db5193a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966ff102f5d11124e9e2a338a0b7486f63332e48","datavalue":{"value":{"amount":"+0.991369366645813","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":"Q4037098$49A073B8-ED1C-403F-A15E-4E498E7DF4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e4514ad0898f78b9ddc3350d378a29c78aa27","datavalue":{"value":{"entity-type":"item","numeric-id":4778616,"id":"Q4778616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c377be27f1b39cc6d5cf3243dee78d14ea458a47","datavalue":{"value":{"amount":"+0.8207964897155762","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":"Q4037098$CF7707EC-4C3E-4398-B451-DA1A4CBE789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f53633211a2359a18e30892966e68fb9322088","datavalue":{"value":{"entity-type":"item","numeric-id":4787228,"id":"Q4787228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8221b659a0d6a0c0c16d881d59d479d5f4284fac","datavalue":{"value":{"amount":"+0.7760905027389526","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":"Q4037098$40164479-9DD9-4311-B8A1-8FFDF256C817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c30314a2b21f3cd09ccb114356acc3c8bd478a","datavalue":{"value":{"entity-type":"item","numeric-id":1870225,"id":"Q1870225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c175e34f4ee2d4ebfa64ba8b3107f03553548b7f","datavalue":{"value":{"amount":"+0.7679474949836731","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":"Q4037098$F37FC39A-49DC-49F2-A67D-88A18BA557A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037098"}}}}}