{"entities":{"Q832306":{"pageid":834154,"ns":120,"title":"Item:Q832306","lastrevid":64675482,"modified":"2026-04-11T21:29:24Z","type":"item","id":"Q832306","labels":{"en":{"language":"en","value":"Automatic generation and validation of instruction encoders and decoders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498205"}},"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":"Q832306$56947ADE-D843-4A16-B79B-2C736C7A8B0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55c8930825a8f957ed1de1b9c6c55a7f8183222b","datavalue":{"value":{"text":"Automatic generation and validation of instruction encoders and decoders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832306$4B85F9A8-6C12-4FCD-9C38-F2CCFDB57265","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"216fba3187ea08dea94e363af913d1d75e513387","datavalue":{"value":"1493.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832306$2E84ED97-B073-4F7F-8FB3-40BB7E022731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b43d8db9ea6da9146c4cfbfdfed11bc00924e7d1","datavalue":{"value":"10.1007/978-3-030-81688-9_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832306$B1F58C87-D5FA-4DEC-BEDC-61DEFD9C53D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1778503cee59bc09202de4e41088fca35cf6159d","datavalue":{"value":{"entity-type":"item","numeric-id":832302,"id":"Q832302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$99D9C141-A9DE-4207-A690-6D094E621C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d559025c9e62e19b04d0d1defa73dd41d0768f68","datavalue":{"value":{"entity-type":"item","numeric-id":832303,"id":"Q832303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$14348FCA-8886-47A2-A469-900402DE43E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e12155745568d3c366e5bf238348cd36f4f191b5","datavalue":{"value":{"entity-type":"item","numeric-id":832305,"id":"Q832305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$2D8C3A95-0F84-4AA2-B991-8DC4258E115B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cced3922f5d9784f250d7c33c760d794a27f5a4c","datavalue":{"value":{"entity-type":"item","numeric-id":332587,"id":"Q332587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$B478E338-3926-4937-B3C2-FAC493D70061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"347217a6cde399dc020409cdb0aa80ce3f4b1ab3","datavalue":{"value":{"entity-type":"item","numeric-id":660963,"id":"Q660963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$3C4A3850-A181-456A-BABC-7C0982344599","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832306$FEA0526B-8CC2-482E-AFBE-B0AD64721DCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832306$DE3E4712-E070-40C7-874A-58EA8D402F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832306$80E4AC20-135E-47B5-8130-3304471788AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832306$4627631D-3416-44D4-8B41-99B8329CB40B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f63e58eb0209fc7a53e5248e6ba6f94edf08832","datavalue":{"value":"7498205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832306$52CD4782-660E-4658-AFA9-D70B7DA29570","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831d9890bc6de21f2fa341da47a53a82b2d2c634","datavalue":{"value":"formalized instruction formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q832306$0585689E-FB97-4B80-BB79-40506248EE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0388d51fcfc7f0e53081b36f548afe854059cff","datavalue":{"value":"verified parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q832306$65218D86-5531-4996-A3B2-E8AEAA9159F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q832306$182460C2-71C6-4968-AF49-57F97B52D691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9072e4a6d9dafd8c8ec2e3f84628a32b8a5ba17c","datavalue":{"value":"proof synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q832306$5E53A1E6-789B-432B-82B6-B0A5DC78967E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0431edf0fb60c2a23ef932b3f3d1331939ae37ad","datavalue":{"value":"translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q832306$CD36D4FA-BAF1-4147-ADD4-76EBD8955E88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$1E4E1A26-C201-47FD-B7D3-FA8322D0B26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$D40C0EEA-1FCD-406B-A619-5EFDE7744C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$EE9781E7-FD57-4E59-8A0F-F6E177CA88DB","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":"Q832306$8A928200-FB4C-40EF-8B42-250AFE2194F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f85a6cc51f3774abb7a4a57ff0af7c8c2ac45f6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q832306$5662391F-B11E-4DA3-A49C-25CE90ADB406","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0fcd23f0c235c5bf39fcf828f84ac154d5e1af0","datavalue":{"value":"W3186771479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832306$07D4CCFC-09FA-42F1-9430-4AF33A4766BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b596cfd231321f7e5f5e52d0f7df7bfdd20575","datavalue":{"value":{"entity-type":"item","numeric-id":3617698,"id":"Q3617698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$C538D648-0B17-40E7-864D-54553C1638BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51840355e08753d0377af591c495ff9f8053cee","datavalue":{"value":{"entity-type":"item","numeric-id":5747653,"id":"Q5747653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$F7BF803D-5654-4109-9FCE-C19FD17BCE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d2cf5aa71dbe166cb74aacecac561d9e3d134b","datavalue":{"value":{"entity-type":"item","numeric-id":2892741,"id":"Q2892741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$CA3FFF4B-70E5-4929-8D38-62EEE4633961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbfa0add5b4a28e1b031e2492fa01fce378648b","datavalue":{"value":{"entity-type":"item","numeric-id":3100206,"id":"Q3100206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$F678A2A3-5EB1-42C8-AB44-7477C838F8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7849e3cfca982e530ad62fa9171703dfab09d5","datavalue":{"value":{"entity-type":"item","numeric-id":5915877,"id":"Q5915877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$31D0CD26-927F-4926-B5ED-72CF3C1F74A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60573c1365d6ee50045c9be34af5c97b18042cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5915877,"id":"Q5915877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f9f1affbd9e7bdca5afce2a6245e027827f950","datavalue":{"value":{"amount":"+0.7246532440185547","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":"Q832306$BA437F80-5E78-4410-BE0A-EFCC8B6D944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa95cbe1616b98cd37b5b0f0beebf790a9929aae","datavalue":{"value":{"entity-type":"item","numeric-id":2723406,"id":"Q2723406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ccb8bf76045d2dfab3b9da633d1299e6e844372","datavalue":{"value":{"amount":"+0.7200807929039001","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":"Q832306$AC21AEB4-696C-40E0-BB86-EC1EA718D318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ddfc6e38283e8fb16a995da16170c5e6aa43f6","datavalue":{"value":{"entity-type":"item","numeric-id":5919617,"id":"Q5919617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7beba0fa7100b64e5ade118c4459cba8944e6d07","datavalue":{"value":{"amount":"+0.7151744961738586","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":"Q832306$5624EC47-39FC-4F38-B284-D46EDA15CBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944164be6b570fc9ed4a232c7e19770d18883f68","datavalue":{"value":{"entity-type":"item","numeric-id":6487259,"id":"Q6487259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d9c16bb96b72422073dfb35c5bfb40ff68836b","datavalue":{"value":{"amount":"+0.6731640696525574","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":"Q832306$DDF28C4D-14FF-4175-A93D-53020CFBC369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e582f858bd35925726a755a13af036eb880c2eda","datavalue":{"value":{"entity-type":"item","numeric-id":3189822,"id":"Q3189822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab72014c0c2819c9653b1c534c5356bcbabda8fc","datavalue":{"value":{"amount":"+0.6718736290931702","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":"Q832306$C0F7A116-3BA6-4DFA-8DEA-946F14214537","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832306$4D9C3C5D-2763-44FE-A88E-29A404109637","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic generation and validation of instruction encoders and decoders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_generation_and_validation_of_instruction_encoders_and_decoders"}}}}}