{"entities":{"Q5900679":{"pageid":8006831,"ns":120,"title":"Item:Q5900679","lastrevid":93572441,"modified":"2026-06-05T04:37:48Z","type":"item","id":"Q5900679","labels":{"en":{"language":"en","value":"Hybrid acceleration using real vector automata (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695363"}},"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":"Q5900679$A6DFB02E-4203-446E-AF53-80AD73E60601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900679$BED646A1-4645-4E45-AAA4-302637700FCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41e15e9fc964c6d985a7db5138b962151ebd26e3","datavalue":{"value":"1278.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900679$3905CFC8-E25F-49F0-AEE9-4D4B7D6A8C77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa0bbc60cbf0355cddd545775bf106af185734a","datavalue":{"value":{"entity-type":"item","numeric-id":1014640,"id":"Q1014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900679$9CEFD479-791B-46CC-831E-7133ABD47F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900679$BCD4DE97-806F-4BAB-90D1-50498A8F2519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5cb5d17dd6a1ed2ae0f01bd95daf08511ee0f2","datavalue":{"value":{"entity-type":"item","numeric-id":2914908,"id":"Q2914908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900679$C75E6EF9-59DA-4866-AC02-243C8A6A1E08","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":"Q5900679$4CC98411-6D3D-44E8-9CC6-67CF8BBCD353","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900679$EDA711BF-B09A-43C7-A907-CCA3C09E3924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900679$23E99CF1-4DA4-4630-B02A-97AC88333256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900679$E9D2C334-24C7-4FF4-9D2C-705045286F67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5670bb63f7191bbf2791c444b5fc6a75b5e121b","datavalue":{"value":"5695363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900679$4357C059-7718-4EAF-A3CC-9312F0984CFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12faf0197c8eccd5f33a8e2b581ff39c1d8a00ed","datavalue":{"value":{"entity-type":"item","numeric-id":33079,"id":"Q33079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900679$7F2BD1FE-1CA6-45A0-9AF3-86CAD39D3A93","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":"Q5900679$16AAE7C1-79A6-41F8-BF60-3E12E65263BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900679$74AD3504-BFF8-4A18-9B9A-5D5DE5DE1F39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900679$8B615F7E-91E7-4652-A771-ABCE8EF37FF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900679$707F268B-4F61-4045-9435-F8112F710E03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3136817e6019879fe9c56456eeb73251c054d67","datavalue":{"value":{"entity-type":"item","numeric-id":5756730,"id":"Q5756730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21cb516e3efa7ee8bf47dc12fbab7e3d82175fd3","datavalue":{"value":{"amount":"+0.8583123087882996","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":"Q5900679$F088945C-59F4-4E77-BCB3-BC5FFE027CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b200cdb202f280680dd16725f110e3ce611a0dde","datavalue":{"value":{"entity-type":"item","numeric-id":3457778,"id":"Q3457778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9543160438fbee1e464ca40166f7d16230dfecf6","datavalue":{"value":{"amount":"+0.8463089466094971","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":"Q5900679$627593BB-0AC3-4C11-8AA1-6C4A96A1987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cd9d5b3293b88b9dbcfd1ec75af32ed51cfc84","datavalue":{"value":{"amount":"+0.7507628798484802","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":"Q5900679$A61EB097-91F7-4BE0-8EC0-77DD7DE5053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080dc784f97d422f30e56964afa2df10bc707388","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811aa0b62ad8900d19f01222260e3e86c486dfda","datavalue":{"value":{"amount":"+0.7413913607597351","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":"Q5900679$E72F5A68-AB1B-4007-87BE-B704E0421B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b6e3008ffc3ca743afd8e7a3f0717f9671bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc875b96c14714ba3acd3663604440ed6b212dd","datavalue":{"value":{"amount":"+0.7383405566215515","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":"Q5900679$1A07BE9C-C2AF-4A07-8E80-B2936FE6BC4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid acceleration using real vector automata (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_acceleration_using_real_vector_automata_(extended_abstract)"}}}}}