{"entities":{"Q6567702":{"pageid":14178857,"ns":120,"title":"Item:Q6567702","lastrevid":55703317,"modified":"2026-02-17T21:20:05Z","type":"item","id":"Q6567702","labels":{"en":{"language":"en","value":"Modeling a hardware synthesis methodology in Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876651"}},"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":"Q6567702$7C105C8E-FB3B-444E-A80D-7E82CA1555BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9176c7a6d6c1dde56bb6417d775e366a3c0674c","datavalue":{"value":{"text":"Modeling a hardware synthesis methodology in Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567702$F5C94729-E07F-4676-803E-9325685C5CBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce79bbdbaebb399a02b7a2381fc454962621b08a","datavalue":{"value":"1543.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567702$AB8519C2-8C2E-4514-B2B6-875FBA1BD868","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567702$2E1E1E3F-D8ED-42F7-A860-2990C3377F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"216c3bbee331bb3268d1fb25b59225a0a959366e","datavalue":{"value":{"entity-type":"item","numeric-id":1405994,"id":"Q1405994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567702$43E2ECE2-3831-46AC-9EE4-122BFE6688BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-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":"Q6567702$99D85543-4BC9-4608-9967-AEEA7BCCA56C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567702$628091F8-63F2-4A0C-AAF2-A16100A6B950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567702$A0752690-C92F-44CD-AB2F-D712C0D4640F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eb970435789820d51a20d053fd777d7b914329b","datavalue":{"value":"7876651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567702$EB5CB6E5-3245-4511-895F-22183F4F578C","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":"Q6567702$3327BD94-ECB6-4879-9791-AFA2457FDE62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567702$A4100BB5-CAD5-4217-8C35-C9367A9A07AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bcaa5d163f01fa01e5403009d52fc79e5569831","datavalue":{"value":"10.1007/BFB0105395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567702$C579EC45-0411-4862-B40F-13760E1240E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3ac044e76f1d2bcaaad5bae3d89ef8629ec184","datavalue":{"value":{"entity-type":"item","numeric-id":3043815,"id":"Q3043815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225487795bea70e30674a5baebef1c443feed3a6","datavalue":{"value":{"amount":"+0.800911009311676","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":"Q6567702$147AD4DC-F9CC-41A8-B7E1-9D4B0307287B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8745c9701638d74fcbee36846694c2e0d1fb75bc","datavalue":{"value":{"entity-type":"item","numeric-id":3024870,"id":"Q3024870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dd2f9f6d6f975dc2819a5134c61a2ef1f24879","datavalue":{"value":{"amount":"+0.7801902890205383","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":"Q6567702$B99E3C7D-0BDC-4CEB-B501-E4C14343F13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28b103fe9541ff23ddf2638ad78b494fbe5d860","datavalue":{"value":{"entity-type":"item","numeric-id":3189816,"id":"Q3189816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e524da2f6687e5a0c4f5721fcaef48dde6d187","datavalue":{"value":{"amount":"+0.7798516154289246","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":"Q6567702$2E5F735A-3391-4964-8A71-0C74E85640A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97a045a9ae8b979b91ad86a6b165d944935a3c0","datavalue":{"value":{"entity-type":"item","numeric-id":4503963,"id":"Q4503963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72021e823a6082db69f8e5db7436446f4fac0d83","datavalue":{"value":{"amount":"+0.7645812034606934","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":"Q6567702$32F55486-4F95-4C52-BEF8-BB940F10F4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ea0da66b44dec5f9a2e759ecd3bf5888881eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2642982,"id":"Q2642982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d620748db57411bba97bfb5cf7178f137a8c53a1","datavalue":{"value":{"amount":"+0.7608266472816467","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":"Q6567702$E991BC07-EE30-42CF-9271-9034E05A9D7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567702"}}}}}