{"entities":{"Q5897063":{"pageid":7937636,"ns":120,"title":"Item:Q5897063","lastrevid":50898704,"modified":"2026-01-15T15:50:13Z","type":"item","id":"Q5897063","labels":{"en":{"language":"en","value":"Constrained symbolic simulation with Mathematica and ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667300"}},"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":"Q5897063$D439A7E3-E705-4E77-A4B2-F9AD0C456E20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8c8f2d2ec76da52bc4ad5fba0da16b149a776d5","datavalue":{"value":{"text":"Correct Hardware Design and Verification Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897063$CD6A430C-3817-4717-BB5F-77287A7CA447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e9be52e633d42d71267680b28ea1a94b3f220d6","datavalue":{"value":"1179.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897063$7A9B1C9F-27F6-4CAB-8BC0-082D7E6CA3BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fb3df86dd9a50bd27c3b5f7c92a97020441d72","datavalue":{"value":{"entity-type":"item","numeric-id":469362,"id":"Q469362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$0FDC9B97-F14B-4352-A232-D9C6748C160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5178241c0de7f03ca62ce5ca7ee9f20a09be2286","datavalue":{"value":{"entity-type":"item","numeric-id":3404117,"id":"Q3404117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$212FFAD4-269E-4ACC-A99B-84422356FE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$E17B2959-42B3-4458-A65D-4CFDC9A66F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9062c40ba82174d10592ed2b0f4fe897f8658cd","datavalue":{"value":{"entity-type":"item","numeric-id":3404118,"id":"Q3404118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$B89BA734-CFB6-4AD1-8253-9BBE99884622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db104b4a762e3f51912076a84eab8fcea8d94ef6","datavalue":{"value":{"entity-type":"item","numeric-id":931432,"id":"Q931432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$96A93792-2AC5-4E2B-BAB8-A386297406E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$53CA9FF0-1B33-41DF-9F47-CF825FA5D437","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":"Q5897063$F257AA68-A128-41B5-891B-CEFF50F73BEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897063$82835975-F55C-4653-A582-768F62536368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897063$BFCF3DF1-CDA8-4B77-9943-0FDB13000F5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6cf7d0be09f7b5362036ce881b6a224f6cd62a3","datavalue":{"value":"5667300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897063$0C3C419B-25A2-4409-8E45-B3B34903DB75","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$930B7783-2A32-4DFC-9C28-49A32A9157F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$6ADB6C90-F30C-41ED-B6FE-1C960B83D944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897063$D3706DD6-E903-42AE-A23D-D86DEEC5EF26","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":"Q5897063$6B081C1C-45B7-4921-8338-748CF93104F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b8c5cde1231ec6becb5c8cd63c3722e801c9211","datavalue":{"value":"https://doi.org/10.1007/b93958","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897063$2FCE872E-A986-43F5-B347-518781719190","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897063$2C7A0027-129A-463C-835C-DA77C0958304","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897063$A77107E7-B902-4A0D-A748-2FD57FD3A824","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbd83e2bca6759e6fdc73990b033984f619e9cc","datavalue":{"value":{"entity-type":"item","numeric-id":3761701,"id":"Q3761701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ab210789919db826f1ce3411b74b63bd117ffd","datavalue":{"value":{"amount":"+0.6999167799949646","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":"Q5897063$56D41229-CBCB-4AD8-B75D-EE3863483433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68418c1e939c93aa76338246d3f06438fa851d97","datavalue":{"value":{"entity-type":"item","numeric-id":5186771,"id":"Q5186771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe486fe403caf7a4c492193fc0da927bfc42f2c","datavalue":{"value":{"amount":"+0.699521541595459","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":"Q5897063$05BA0BEA-62C3-43AD-A6EE-E01F5515B75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67f146cbc82cc5d55688611e4e6bcd2add2bdaf","datavalue":{"value":{"entity-type":"item","numeric-id":5943268,"id":"Q5943268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b706e7a4472569ae5bf58f474855a31d4eee60f","datavalue":{"value":{"amount":"+0.6991955041885376","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":"Q5897063$AF6B0EA1-4AF4-4A80-80B0-81D8489FBA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db658f2166dbdeb1da0069ffdeb3768231d4329","datavalue":{"value":{"amount":"+0.6991118788719177","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":"Q5897063$02CBA6E1-3313-46D7-9B84-B38FC88B5331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c8eaef69f1bbe3a6e69a056bea247260f2e41c","datavalue":{"value":{"entity-type":"item","numeric-id":5423852,"id":"Q5423852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3778c882c9c2c8909373a1ceb3f45e02459870","datavalue":{"value":{"amount":"+0.6962745189666748","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":"Q5897063$50D60EC3-66DE-4E80-B788-486466BFA351","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897063"}}}}}