{"entities":{"Q3511227":{"pageid":5541131,"ns":120,"title":"Item:Q3511227","lastrevid":50401562,"modified":"2026-01-13T23:38:03Z","type":"item","id":"Q3511227","labels":{"en":{"language":"en","value":"Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299126"}},"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":"Q3511227$CF62A423-E3D3-4D75-AE42-013B50C79CC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1f75d5de762eca959b4d127f50b5854d2f1910b","datavalue":{"value":{"text":"Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511227$D4319A8E-789B-4A3E-BA61-120073FE1811","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09612a57f51e9de74783c62f958b9195cba34a67","datavalue":{"value":"1141.68460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511227$4FD7C63D-8784-4BBC-AFB5-73F4A654BD83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af6f96c57bf156efecb80e797d53660637b4d71e","datavalue":{"value":"10.1007/11867340_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511227$01790BD3-5F71-484C-B0A4-EF10D37F6448","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"910d5ee4d7f701b00b34e57e548f9db3d32f3d73","datavalue":{"value":{"entity-type":"item","numeric-id":1028733,"id":"Q1028733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511227$40DB0938-31F6-420A-A779-7F7CEF49FA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10f309f2cb0d234bbae53fd552f3e432906eb1ce","datavalue":{"value":{"entity-type":"item","numeric-id":1028734,"id":"Q1028734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511227$EB2DD89E-BB27-4B9B-9B46-19723B094F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8469b68c7ddc2524c8a70a55b2913fe4e92213d","datavalue":{"value":{"entity-type":"item","numeric-id":1028736,"id":"Q1028736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511227$74F788CE-63B9-405C-B65A-356612884956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511227$3C2D4686-1193-4EEA-BAF4-460FC36999C0","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":"Q3511227$6227E033-80B4-4FEB-8903-C290B814092F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511227$CACE8E3F-366C-4997-80CD-8BF07EFEB832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511227$F47E54DD-9120-4261-B69F-86B553820A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511227$A23E0B03-7DD4-4F25-8D2C-811E7523F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511227$F9A23B80-316D-4512-B907-6B08EE00694F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edc2e9d8540fd9a58aec98f1c31bbec47996dd70","datavalue":{"value":"5299126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511227$3A5A53E3-CE26-4EF0-86D0-DC23783F980D","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":"Q3511227$72EACBD4-0E7C-436E-8317-CD220E8A3419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7cde50eb7dd7fe6fc5c058c54f0fa6f41d45c6e","datavalue":{"value":"https://doi.org/10.1007/11867340_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511227$CE272E85-1D98-478D-B661-7BC2B7A82F3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"532df98c966fd9d35511dc20ea29f951a1eda722","datavalue":{"value":"W1567141323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511227$41F94AC0-416B-40EB-B2E3-704E7F000D68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d713e0da00a37b326d8f8f07beaa4e9a6e5162","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27872b03f1028d4070b3160024b963bf26dbb468","datavalue":{"value":{"amount":"+0.9605494737625122","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":"Q3511227$E682CAAF-D0D0-4086-B9C9-D0BC79FF58CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e127554853b8a1092a1e3da564ba8c7a7f8ed68","datavalue":{"value":{"entity-type":"item","numeric-id":2842571,"id":"Q2842571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339b75f4a8721e37e6f346b26b80dcb6eb0b2d96","datavalue":{"value":{"amount":"+0.7845503091812134","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":"Q3511227$96BC873E-680A-45BB-A4C6-7B817D761514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc9c7adf0165f357f42a19f4bf038f7028a3a74","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c1c08849c2f730bcaa5c973318f9435ff7da8b","datavalue":{"value":{"amount":"+0.7620392441749573","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":"Q3511227$16BE0A79-B852-4D94-831B-81F109119D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665068f317d1d3c991e0efa3a5cd1a686ce8b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4417609,"id":"Q4417609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a68c74c23d5311e5e2179740e4d1c994956fa38","datavalue":{"value":{"amount":"+0.7595008015632629","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":"Q3511227$FE94EE2D-A2B8-4747-8C19-977E08391E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a083ae7da9b9dd6e7c69613a4208b6d1596d","datavalue":{"value":{"entity-type":"item","numeric-id":4982084,"id":"Q4982084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55370cd3298d93030c6f6ec6642c276c5540ee34","datavalue":{"value":{"amount":"+0.7522932887077332","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":"Q3511227$4B3C14C8-04BF-4340-A2F9-899CC06525B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511227"}}}}}