{"entities":{"Q1694443":{"pageid":1705184,"ns":120,"title":"Item:Q1694443","lastrevid":68151303,"modified":"2026-04-12T21:46:43Z","type":"item","id":"Q1694443","labels":{"en":{"language":"en","value":"A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833544"}},"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":"Q1694443$34E34884-F699-4C8C-A81D-3EE3B329B204","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86a95f1d639400a9400c5b914bed27ce628238fd","datavalue":{"value":{"text":"A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694443$6FB803F9-07CE-447F-8652-E77ADD3908CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4eac50e00b0dc7a00755d19bb684d617540d5d20","datavalue":{"value":"1495.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694443$8B07910C-AE62-461C-9416-243A6E0F11AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcad9adfe4ff6f229a2db619aba52f305dfba75b","datavalue":{"value":"10.1007/978-3-319-66799-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694443$8E75807C-0A85-42CA-9303-035C0C108A11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06895425d2aaa72da522ff70d5bf83093eb62dfa","datavalue":{"value":{"entity-type":"item","numeric-id":1694439,"id":"Q1694439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694443$AE2E9B69-F512-4FF4-8CBD-D4C11D97BCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef45a818bebbcdb6243d6b873fb2464018616f9","datavalue":{"value":{"entity-type":"item","numeric-id":1694440,"id":"Q1694440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694443$02BA5D69-FA41-4099-93FA-E00E21E6EA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adea07b95559f1e9b36bf14c0614da9b2106d053","datavalue":{"value":{"entity-type":"item","numeric-id":1694441,"id":"Q1694441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694443$63EC7210-F799-45C1-AE4E-5AAB4ADB1086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea9d9dc9d8c46eb6f0a9872336177e185d242dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1694442,"id":"Q1694442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694443$BE66BCA8-5A94-4FE4-8B6F-8094878ACF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d447ede0f262ebe7718f02da8fa70279ad241e85","datavalue":{"value":{"entity-type":"item","numeric-id":390872,"id":"Q390872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694443$51CDE9EC-880D-4811-8098-0FD3B62B1D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0af9afff1c89f44c1f156b7e040e2168709ca7d","datavalue":{"value":{"entity-type":"item","numeric-id":652155,"id":"Q652155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694443$B7FA47EA-4125-4864-8D0A-4105DACC9F47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694443$E3F7D24A-56FA-4931-B576-1028B5B8CF65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694443$73E22C59-B871-419F-AAF2-274C10CA7EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694443$E1411FCA-1A2E-4897-B3E3-4E7CEE7CC93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694443$F5B8A070-C140-4661-B905-90207EB929A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694443$EB69A723-3721-4B93-8D87-4C077D8FA50E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffe251d906375ec36a8074046b81677768f932ae","datavalue":{"value":"6833544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694443$8A15C6C0-6EF2-4542-8D9E-5F329CDDB6F8","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":"Q1694443$A508C4F2-3A2A-4E3B-85BF-3A24521F3AA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e0c495b4fc80c4789734a0f3daae261a477f663","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66799-7_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694443$27D92BB9-C0CA-4E82-B4AC-1D4D51414286","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c81f8d2a751f57b4fb7ef6fd2c65b35c865b5faf","datavalue":{"value":"W2747253451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694443$EF6FF825-E7A9-48E4-AE2C-4677976EB9CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b949f653f9003bcd32a126cc15110b77600156","datavalue":{"value":{"entity-type":"item","numeric-id":2422008,"id":"Q2422008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002412081ba4f26d1ed01e118c7ce75873fda2d6","datavalue":{"value":{"amount":"+0.7702156901359558","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":"Q1694443$21C1385E-2E5B-457D-9971-D33C91EB1125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d447304e670b5b672d24df0f70fdbec1061ab0f7","datavalue":{"value":{"entity-type":"item","numeric-id":2835707,"id":"Q2835707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4c41c8809321cf89986d81bb815abfb88f16f7","datavalue":{"value":{"amount":"+0.7535501718521118","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":"Q1694443$16DACC0D-C5F2-418C-BFC8-886F14961451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15827a1c4232fb217651105b484c447e8b78e010","datavalue":{"value":{"entity-type":"item","numeric-id":1621124,"id":"Q1621124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877713cf756f8a5d2fdca46581d381b097e68ff0","datavalue":{"value":{"amount":"+0.7499889731407166","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":"Q1694443$0E938793-8FB7-4B99-835F-0FDDFE74EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d834572e7901ad77a8de71dbf774d35fa596454f","datavalue":{"value":{"entity-type":"item","numeric-id":2142105,"id":"Q2142105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2545e42ebaa0e56f1b4132a7656a85621e74acb","datavalue":{"value":{"amount":"+0.731329619884491","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":"Q1694443$550634EA-A908-4FBD-8960-71CE9710EB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4640dbb0365eba96710db1cb16e7d3eb5aa094","datavalue":{"value":{"entity-type":"item","numeric-id":2948406,"id":"Q2948406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704ffec4d6253e6514208ac902075f09e0530c98","datavalue":{"value":{"amount":"+0.7285637259483337","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":"Q1694443$85703E3D-7D80-4217-851E-223725FF600B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities","badges":[]}}}}}