{"entities":{"Q1687754":{"pageid":1698495,"ns":120,"title":"Item:Q1687754","lastrevid":71999934,"modified":"2026-04-14T01:59:37Z","type":"item","id":"Q1687754","labels":{"en":{"language":"en","value":"Using abstract stobjs in ACL2 to compute matrix normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821862"}},"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":"Q1687754$91C412B5-D96A-4321-AA74-A2D6484CCC7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c28641a112ac63aedfd69b1dc7c49c8a0f00f86c","datavalue":{"value":{"text":"Using abstract stobjs in ACL2 to compute matrix normal forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687754$6481C75C-C2BE-4F3A-87EC-C4F70349C327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ca70650f0d3f9bb4c9ad5b6e1cdb37edbe9d43b","datavalue":{"value":"1484.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687754$E5DBC6B3-9EBA-404A-AD86-E6AC2FE8D6C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a1899d1657e27aaf71fd5158b182c2ff0267224","datavalue":{"value":"10.1007/978-3-319-66107-0_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687754$FCC9C604-16ED-4385-A870-79FB5EE203CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"962ccc22140a8c8a26cb1ba76269211b5ea9b1db","datavalue":{"value":{"entity-type":"item","numeric-id":1413643,"id":"Q1413643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$ECF7864B-CF18-41B2-9359-BE7B25A9DC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76b38168777167ff49199bd7f47bfebb8e51e498","datavalue":{"value":{"entity-type":"item","numeric-id":438547,"id":"Q438547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$5AE26570-92A5-44AA-BED4-7B89EB492D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$73F8AB4B-43F6-496C-BD3D-6CA611540C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5989ab1028cea7e9ee7fb42127fc02a808a197","datavalue":{"value":{"entity-type":"item","numeric-id":438548,"id":"Q438548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$22D51854-B482-48E1-97A3-5628B8E9BC5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687754$BFB3C49E-EE62-4267-843C-EE9943F33F86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687754$2142B350-7998-4ED7-9EFD-0B668DCF854D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a06299a38dab9dd1c28e96fe2a7f8cac0943d746","datavalue":{"value":"15B36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687754$EC427BA3-0AE4-4811-B520-4DDC79AC25E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687754$7DA77CB4-2CCD-4783-ABFB-B30A1E074462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687754$A817D130-8140-4FAB-9977-A21FC1180538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94e8e5c6a0a452c31fb0e86860ee106a73edd1f7","datavalue":{"value":"6821862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687754$F3416868-8FEA-48C9-83B8-5CA395BA80B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f75d418c6568ad1ebad624da84f2b623fcfbff","datavalue":{"value":"matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687754$19DD9ED6-67F0-41BB-A5B6-A1D500D498AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dd5926fa2c4f0ee181b086899e10f05b3e9148","datavalue":{"value":"ACL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687754$DEC0D4C8-A06B-4C4B-9E48-AF339558BA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90dc9da79d0481057e48bc2ad5df9cb38b8bd7f8","datavalue":{"value":"abstract stobjs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687754$E92C3B91-973B-4553-AE1A-CC096F296D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496af8ce997a517f7b4b31cd1fc7db7c67f18725","datavalue":{"value":"matrix normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687754$EFA564EA-21AC-4221-B409-2EFF348EAB7F","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":"Q1687754$AF1297DE-B927-4B2F-A12C-1D995AB1C43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$F14BE112-A624-43E0-B5F4-3BC451613625","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":"Q1687754$A63B20E9-A697-44B7-BCD0-DEFD9483C257","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efd5eb5cd772e5d26ee4a0a7ab4bef735571f806","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66107-0_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687754$D903A61F-DDBA-4833-A9BE-7D464D8B45ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f3a2dfa29f10dcecb054c629680a4a03af96eb2","datavalue":{"value":"W2750465938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687754$369A952D-1443-4A6E-80E9-E2C0017375A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18e692c38a354cbb692c1ceb6300201a93c45d4","datavalue":{"value":{"entity-type":"item","numeric-id":5371950,"id":"Q5371950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$B4ADC20D-616D-4635-8536-78CC784C2B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b498ee6e6da5028f261924fcf793055d69f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$73BACCCA-F9A2-436A-8FAB-A423B3319954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c970b6e7b82c5bbe7bcae84fe64572f2ca1d605","datavalue":{"value":{"entity-type":"item","numeric-id":5739892,"id":"Q5739892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$485441AD-9B8B-4C27-B1B7-3C33586B4C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446374df6c50565e89a26cde61b70240f20045f9","datavalue":{"value":{"entity-type":"item","numeric-id":3026176,"id":"Q3026176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$9FEE721C-70E1-44FD-AA83-E6B7DC45D0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f97e95be859e33663b52106e626b60cd96dc530","datavalue":{"value":{"entity-type":"item","numeric-id":3088000,"id":"Q3088000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$C70525DE-1C1F-4215-84C8-42F15FD3CBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ba097736a3ec464d04ee0276247ed2893d0a55","datavalue":{"value":{"entity-type":"item","numeric-id":2946715,"id":"Q2946715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$12F8D568-A9A7-4D54-B68D-050A6CCE3426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6892125d7f187396099efde77729ec33c2b8f3","datavalue":{"value":{"entity-type":"item","numeric-id":677923,"id":"Q677923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687754$AD790ADC-3C03-4624-811E-529BCCAB7281","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3e279c84cc95382a112c016dbd1b10581ec064","datavalue":{"value":{"entity-type":"item","numeric-id":2883836,"id":"Q2883836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21c415a6e01ab2c772a6765f609ac5eeebccda7","datavalue":{"value":{"amount":"+0.6972792148590088","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":"Q1687754$5EE57777-26EF-409E-A9ED-552F70E0776B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae5c094896d5f2529ff1cddef50cb49c9c956db","datavalue":{"value":{"entity-type":"item","numeric-id":5713948,"id":"Q5713948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e3e774ab4fc9abf34407eaf1d134928a448761","datavalue":{"value":{"amount":"+0.6785770654678345","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":"Q1687754$CDF4B33E-EDAD-4526-A6CB-0575D310DE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0594f4c979126902584456435d87ef9adbc73610","datavalue":{"value":{"entity-type":"item","numeric-id":2102950,"id":"Q2102950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910e8c789038b46ca881cb9b9fbd2223bf2489a2","datavalue":{"value":{"amount":"+0.6785212159156799","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":"Q1687754$41EC8618-12EB-48D1-8745-CD084942F770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1fdd9520e602dfc771c2278c107adc0bccaec9","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1827f3f39c1cf544e88f1207cbf74c6c36f3eb46","datavalue":{"value":{"amount":"+0.6768659353256226","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":"Q1687754$C5EC7087-FFF8-4E52-9B84-69908C116E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9874c1f3b2517c3d0548fd4b65b85afeaaa563a5","datavalue":{"value":{"entity-type":"item","numeric-id":2959006,"id":"Q2959006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"638c2cc99e2426244b248c60fabd98463e04bb79","datavalue":{"value":{"amount":"+0.675563395023346","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":"Q1687754$6E832393-01B5-4E8F-B187-053AC5FFF125","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using abstract stobjs in ACL2 to compute matrix normal forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_abstract_stobjs_in_ACL2_to_compute_matrix_normal_forms"}}}}}